runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inesct-1.0/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/debian-dudf//103c9978-5408-11df-9bc1-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/inesct-1.0/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.05 1.02 0.94 4/38 4389 /proc/meminfo: memFree=791836/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) R 4387 4388 3447 769 3447 4194304 346 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 260 1283457024 134512640 135191968 4288894240 18446744073709551615 4159271328 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/4388/statm: 596 260 221 166 0 28 0 [pid=4389] ppid=4388 vsize=2384 CPUtime=0 /proc/4389/stat : 4389 (inesct-1.0) R 4388 4388 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 39 1283457024 134512640 135191968 4288894240 18446744073709551615 4159271328 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/4389/statm: 596 39 0 166 0 28 0 [startup+0.116888 s] /proc/loadavg: 1.05 1.02 0.94 4/38 4389 /proc/meminfo: memFree=791836/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=0.01 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 750 0 0 0 1 0 0 0 25 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.206904 s] /proc/loadavg: 1.05 1.02 0.94 4/38 4389 /proc/meminfo: memFree=791836/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=0.01 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 750 0 0 0 1 0 0 0 25 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.306914 s] /proc/loadavg: 1.05 1.02 0.94 4/38 4389 /proc/meminfo: memFree=791836/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=0.01 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 750 0 0 0 1 0 0 0 25 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.707011 s] /proc/loadavg: 1.05 1.02 0.94 4/38 4389 /proc/meminfo: memFree=791836/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=0.01 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 750 0 0 0 1 0 0 0 25 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+1.50721 s] /proc/loadavg: 1.12 1.03 0.94 2/48 4399 /proc/meminfo: memFree=758700/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=0.01 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 750 0 0 0 1 0 0 0 25 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 [pid=4391] ppid=4389 vsize=865064 CPUtime=1.49 /proc/4391/stat : 4391 (java) S 4389 4388 3447 769 3447 4202496 14661 0 1 0 143 6 0 0 25 0 9 0 526349877 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159599762 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4391/statm: 216266 13247 2720 10 0 210604 0 [pid=4391/tid=4392] ppid=4389 vsize=865064 CPUtime=1.08 /proc/4391/task/4392/stat : 4392 (java) R 4389 4388 3447 769 3447 4202560 3298 0 1 0 107 1 0 0 25 0 9 0 526349878 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4124545299 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4391/tid=4393] ppid=4389 vsize=865064 CPUtime=0.31 /proc/4391/task/4393/stat : 4393 (java) S 4389 4388 3447 769 3447 4202560 9822 0 0 0 27 4 0 0 16 0 9 0 526349878 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159613960 0 0 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4391/tid=4394] ppid=4389 vsize=865064 CPUtime=0 /proc/4391/task/4394/stat : 4394 (java) S 4389 4388 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 526349878 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159613168 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4391/tid=4395] ppid=4389 vsize=865064 CPUtime=0 /proc/4391/task/4395/stat : 4395 (java) S 4389 4388 3447 769 3447 4202560 8 0 0 0 0 0 0 0 15 0 9 0 526349878 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159613168 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4391/tid=4396] ppid=4389 vsize=865064 CPUtime=0 /proc/4391/task/4396/stat : 4396 (java) S 4389 4388 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526349879 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159621456 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4391/tid=4397] ppid=4389 vsize=865064 CPUtime=0.08 /proc/4391/task/4397/stat : 4397 (java) S 4389 4388 3447 769 3447 4202560 425 0 0 0 8 0 0 0 18 0 9 0 526349879 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159613168 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4391/tid=4398] ppid=4389 vsize=865064 CPUtime=0 /proc/4391/task/4398/stat : 4398 (java) S 4389 4388 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526349879 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159613168 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=4391/tid=4399] ppid=4389 vsize=865064 CPUtime=0 /proc/4391/task/4399/stat : 4399 (java) S 4389 4388 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 526349879 885825536 13247 1283457024 134512640 134550932 4293720352 18446744073709551615 4159613960 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 871452 [startup+3.1131 s] /proc/loadavg: 1.12 1.03 0.94 2/41 4402 /proc/meminfo: memFree=786524/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=2.34 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 808 19001 0 1 1 0 207 26 16 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 6388 heavy processes: [startup+6.31356 s] /proc/loadavg: 1.11 1.03 0.94 2/41 4404 /proc/meminfo: memFree=758376/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=2.34 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 808 19001 0 1 1 0 207 26 16 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 [pid=4403] ppid=4389 vsize=2900 CPUtime=0.01 /proc/4403/stat : 4403 (sh) S 4389 4388 3447 769 3447 4194304 362 0 0 0 1 0 0 0 16 0 1 0 526350117 2969600 325 1283457024 134512640 135191968 4287562864 18446744073709551615 4159158686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4403/statm: 725 325 221 166 0 157 0 [pid=4404] ppid=4403 vsize=29968 CPUtime=3.89 /proc/4404/stat : 4404 (msuncore) R 4403 4388 3447 769 3447 4202496 7764 0 0 0 387 2 0 0 25 0 1 0 526350117 30687232 7287 1283457024 134512640 135858300 4289033728 18446744073709551615 135344249 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4404/statm: 7492 7287 137 329 0 7161 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 39256 [startup+12.7058 s] /proc/loadavg: 1.10 1.03 0.94 2/41 4404 /proc/meminfo: memFree=756888/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=2.34 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 808 19001 0 1 1 0 207 26 16 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 [pid=4403] ppid=4389 vsize=2900 CPUtime=0.01 /proc/4403/stat : 4403 (sh) S 4389 4388 3447 769 3447 4194304 362 0 0 0 1 0 0 0 16 0 1 0 526350117 2969600 325 1283457024 134512640 135191968 4287562864 18446744073709551615 4159158686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4403/statm: 725 325 221 166 0 157 0 [pid=4404] ppid=4403 vsize=31552 CPUtime=10.28 /proc/4404/stat : 4404 (msuncore) R 4403 4388 3447 769 3447 4202496 8141 0 0 0 1024 4 0 0 25 0 1 0 526350117 32309248 7664 1283457024 134512640 135858300 4289033728 18446744073709551615 135341717 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4404/statm: 7888 7664 137 329 0 7557 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 40840 Solver just ended. Dumping a history of the last processes samples [startup+12.8059 s] /proc/loadavg: 1.10 1.03 0.94 2/41 4404 /proc/meminfo: memFree=756888/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=2.34 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 808 19001 0 1 1 0 207 26 16 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 [pid=4403] ppid=4389 vsize=2900 CPUtime=0.01 /proc/4403/stat : 4403 (sh) S 4389 4388 3447 769 3447 4194304 362 0 0 0 1 0 0 0 16 0 1 0 526350117 2969600 325 1283457024 134512640 135191968 4287562864 18446744073709551615 4159158686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4403/statm: 725 325 221 166 0 157 0 [pid=4404] ppid=4403 vsize=31552 CPUtime=10.38 /proc/4404/stat : 4404 (msuncore) R 4403 4388 3447 769 3447 4202496 8141 0 0 0 1034 4 0 0 25 0 1 0 526350117 32309248 7664 1283457024 134512640 135858300 4289033728 18446744073709551615 134620403 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4404/statm: 7888 7664 137 329 0 7557 0 Current children cumulated CPU time (s) 12.73 Current children cumulated vsize (KiB) 40840 [startup+13.6062 s] /proc/loadavg: 1.10 1.03 0.94 2/41 4404 /proc/meminfo: memFree=756888/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=2.34 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 808 19001 0 1 1 0 207 26 16 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 [pid=4403] ppid=4389 vsize=2900 CPUtime=0.01 /proc/4403/stat : 4403 (sh) S 4389 4388 3447 769 3447 4194304 362 0 0 0 1 0 0 0 16 0 1 0 526350117 2969600 325 1283457024 134512640 135191968 4287562864 18446744073709551615 4159158686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4403/statm: 725 325 221 166 0 157 0 [pid=4404] ppid=4403 vsize=31552 CPUtime=11.18 /proc/4404/stat : 4404 (msuncore) R 4403 4388 3447 769 3447 4202496 8141 0 0 0 1114 4 0 0 25 0 1 0 526350117 32309248 7664 1283457024 134512640 135858300 4289033728 18446744073709551615 134658994 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4404/statm: 7888 7664 137 329 0 7557 0 Current children cumulated CPU time (s) 13.53 Current children cumulated vsize (KiB) 40840 [startup+14.4065 s] /proc/loadavg: 1.10 1.03 0.94 2/41 4404 /proc/meminfo: memFree=756888/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=4004 CPUtime=2.34 /proc/4389/stat : 4389 (cudf-solver.py) S 4388 4388 3447 769 3447 4202496 808 19001 0 1 1 0 207 26 16 0 1 0 526349876 4100096 644 1283457024 134512640 135539072 4292171856 18446744073709551615 4159232414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4389/statm: 1001 644 348 251 0 302 0 [pid=4403] ppid=4389 vsize=2900 CPUtime=0.01 /proc/4403/stat : 4403 (sh) S 4389 4388 3447 769 3447 4194304 362 0 0 0 1 0 0 0 16 0 1 0 526350117 2969600 325 1283457024 134512640 135191968 4287562864 18446744073709551615 4159158686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4403/statm: 725 325 221 166 0 157 0 [pid=4404] ppid=4403 vsize=31552 CPUtime=11.98 /proc/4404/stat : 4404 (msuncore) R 4403 4388 3447 769 3447 4202496 8141 0 0 0 1194 4 0 0 25 0 1 0 526350117 32309248 7664 1283457024 134512640 135858300 4289033728 18446744073709551615 135343535 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4404/statm: 7888 7664 137 329 0 7557 0 Current children cumulated CPU time (s) 14.33 Current children cumulated vsize (KiB) 40840 [startup+14.8366 s] /proc/loadavg: 1.10 1.03 0.94 2/41 4404 /proc/meminfo: memFree=756888/1048576 swapFree=2091896/2097144 [pid=4388] ppid=4387 vsize=2384 CPUtime=0 /proc/4388/stat : 4388 (inesct-1.0) S 4387 4388 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 526349876 2441216 261 1283457024 134512640 135191968 4288894240 18446744073709551615 4159269278 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4388/statm: 596 261 222 166 0 28 0 [pid=4389] ppid=4388 vsize=6748 CPUtime=14.77 /proc/4389/stat : 4389 (cudf-solver.py) R 4388 4388 3447 769 3447 4202496 1627 27527 0 1 5 0 1442 30 15 0 1 0 526349876 6909952 1306 1283457024 134512640 135539072 4292171856 18446744073709551615 135064229 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/4389/statm: 1687 1306 348 251 0 988 0 Current children cumulated CPU time (s) 14.77 Current children cumulated vsize (KiB) 9132 Child status: 0 Real time (s): 14.9023 CPU time (s): 14.8409 CPU user time (s): 14.5329 CPU system time (s): 0.308019 CPU usage (%): 99.5883 Max. virtual memory (cumulated for all children) (KiB): 872256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5329 system time used= 0.308019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30948 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1189 involuntary context switches= 1332 runsolver used 0 second user time and 0 second system time The end