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/201007050905/inesct-1.0/randadea40.cudf.easy.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/easy//randadea40.cudf /home/misc2010/tmp/201007050905/inesct-1.0/randadea40.cudf.easy.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.11 1.14 1.06 5/39 29360 /proc/meminfo: memFree=471956/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=0 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29359] ppid=29358 vsize=10964 CPUtime=0.01 /proc/29359/stat : 29359 (java) R 29358 29357 24102 769 24102 4202496 1092 0 0 0 1 0 0 0 25 0 2 0 525157190 11227136 523 1283457024 134512640 134550932 4292040608 18446744073709551615 4159536088 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0 /proc/29359/statm: 2741 523 220 10 0 1222 0 [pid=29359/tid=29360] ppid=29358 vsize=10964 CPUtime=0 /proc/29359/task/29360/stat : 29360 (java) R 29358 29357 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 2 0 525157191 11227136 523 1283457024 134512640 134550932 4292040608 18446744073709551615 4159536088 0 0 16781312 0 0 0 0 -1 0 0 0 0 [startup+0.196841 s] /proc/loadavg: 1.11 1.14 1.06 5/39 29360 /proc/meminfo: memFree=471956/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=0 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29359] ppid=29358 vsize=864524 CPUtime=0.19 /proc/29359/stat : 29359 (java) S 29358 29357 24102 769 24102 4202496 4611 0 1 0 19 0 0 0 25 0 9 0 525157190 885272576 3684 1283457024 134512640 134550932 4292040608 18446744073709551615 4160091282 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29359/statm: 216131 3684 1892 10 0 210469 0 [pid=29359/tid=29360] ppid=29358 vsize=864524 CPUtime=0.13 /proc/29359/task/29360/stat : 29360 (java) R 29358 29357 24102 769 24102 4202560 2878 0 1 0 13 0 0 0 25 0 9 0 525157191 885272576 3684 1283457024 134512640 134550932 4292040608 18446744073709551615 4124192132 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 870916 [startup+0.20684 s] /proc/loadavg: 1.11 1.14 1.06 5/39 29360 /proc/meminfo: memFree=471956/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=0 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29359] ppid=29358 vsize=864524 CPUtime=0.2 /proc/29359/stat : 29359 (java) S 29358 29357 24102 769 24102 4202496 4669 0 1 0 20 0 0 0 25 0 9 0 525157190 885272576 3742 1283457024 134512640 134550932 4292040608 18446744073709551615 4160091282 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29359/statm: 216131 3742 1892 10 0 210469 0 [pid=29359/tid=29360] ppid=29358 vsize=864524 CPUtime=0.14 /proc/29359/task/29360/stat : 29360 (java) R 29358 29357 24102 769 24102 4202560 2878 0 1 0 14 0 0 0 25 0 9 0 525157191 885272576 3742 1283457024 134512640 134550932 4292040608 18446744073709551615 4124205143 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 870916 [startup+0.30687 s] /proc/loadavg: 1.11 1.14 1.06 5/39 29360 /proc/meminfo: memFree=471956/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=0 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29359] ppid=29358 vsize=864524 CPUtime=0.29 /proc/29359/stat : 29359 (java) S 29358 29357 24102 769 24102 4202496 5116 0 1 0 28 1 0 0 25 0 9 0 525157190 885272576 4189 1283457024 134512640 134550932 4292040608 18446744073709551615 4160091282 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29359/statm: 216131 4189 1892 10 0 210469 0 [pid=29359/tid=29360] ppid=29358 vsize=864524 CPUtime=0.23 /proc/29359/task/29360/stat : 29360 (java) R 29358 29357 24102 769 24102 4202560 2878 0 1 0 22 1 0 0 25 0 9 0 525157191 885272576 4189 1283457024 134512640 134550932 4292040608 18446744073709551615 4124151796 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 870916 [startup+0.706994 s] /proc/loadavg: 1.11 1.14 1.06 5/39 29360 /proc/meminfo: memFree=471956/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=0 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29359] ppid=29358 vsize=865372 CPUtime=0.7 /proc/29359/stat : 29359 (java) S 29358 29357 24102 769 24102 4202496 8915 0 1 0 68 2 0 0 25 0 9 0 525157190 886140928 7801 1283457024 134512640 134550932 4292040608 18446744073709551615 4160091282 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29359/statm: 216343 7801 2715 10 0 210681 0 [pid=29359/tid=29360] ppid=29358 vsize=865372 CPUtime=0.47 /proc/29359/task/29360/stat : 29360 (java) R 29358 29357 24102 769 24102 4202560 2878 0 1 0 46 1 0 0 25 0 9 0 525157191 886140928 7801 1283457024 134512640 134550932 4292040608 18446744073709551615 4160115399 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 871764 [startup+1.50726 s] /proc/loadavg: 1.11 1.14 1.06 3/47 29368 /proc/meminfo: memFree=437584/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=0 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29359] ppid=29358 vsize=865492 CPUtime=1.49 /proc/29359/stat : 29359 (java) S 29358 29357 24102 769 24102 4202496 16202 0 1 0 142 7 0 0 25 0 9 0 525157190 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160091282 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29359/statm: 216373 14791 2716 10 0 210711 0 [pid=29359/tid=29360] ppid=29358 vsize=865492 CPUtime=0.81 /proc/29359/task/29360/stat : 29360 (java) R 29358 29357 24102 769 24102 4202560 3510 0 1 0 79 2 0 0 25 0 9 0 525157191 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4124982834 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29359/tid=29362] ppid=29358 vsize=865492 CPUtime=0.58 /proc/29359/task/29362/stat : 29362 (java) S 29358 29357 24102 769 24102 4202560 11138 0 0 0 53 5 0 0 17 0 9 0 525157191 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160105480 0 0 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=29359/tid=29363] ppid=29358 vsize=865492 CPUtime=0 /proc/29359/task/29363/stat : 29363 (java) S 29358 29357 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525157192 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160104688 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=29359/tid=29364] ppid=29358 vsize=865492 CPUtime=0 /proc/29359/task/29364/stat : 29364 (java) S 29358 29357 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525157192 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160104688 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=29359/tid=29365] ppid=29358 vsize=865492 CPUtime=0 /proc/29359/task/29365/stat : 29365 (java) S 29358 29357 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525157192 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160112976 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=29359/tid=29366] ppid=29358 vsize=865492 CPUtime=0.07 /proc/29359/task/29366/stat : 29366 (java) S 29358 29357 24102 769 24102 4202560 438 0 0 0 7 0 0 0 16 0 9 0 525157192 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160104688 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=29359/tid=29367] ppid=29358 vsize=865492 CPUtime=0 /proc/29359/task/29367/stat : 29367 (java) S 29358 29357 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525157193 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160104688 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=29359/tid=29368] ppid=29358 vsize=865492 CPUtime=0 /proc/29359/task/29368/stat : 29368 (java) S 29358 29357 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525157193 886263808 14791 1283457024 134512640 134550932 4292040608 18446744073709551615 4160105480 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 871884 [startup+3.11316 s] /proc/loadavg: 1.18 1.16 1.07 2/40 29371 /proc/meminfo: memFree=467392/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=2.2 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 807 19141 0 1 0 0 198 22 16 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 6392 heavy processes: [startup+6.31382 s] /proc/loadavg: 1.18 1.16 1.07 2/40 29373 /proc/meminfo: memFree=441352/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=2.2 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 807 19141 0 1 0 0 198 22 16 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29372] ppid=29358 vsize=2892 CPUtime=0 /proc/29372/stat : 29372 (sh) S 29358 29357 24102 769 24102 4194304 360 0 0 0 0 0 0 0 16 0 1 0 525157415 2961408 324 1283457024 134512640 135191968 4288732560 18446744073709551615 4159211934 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29372/statm: 723 324 221 166 0 155 0 [pid=29373] ppid=29372 vsize=29528 CPUtime=4.05 /proc/29373/stat : 29373 (msuncore) R 29372 29357 24102 769 24102 4202496 7948 0 0 0 400 5 0 0 25 0 1 0 525157415 30236672 7166 1283457024 134512640 135858300 4291639424 18446744073709551615 134620115 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/29373/statm: 7382 7166 137 329 0 7051 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 38812 [startup+12.706 s] /proc/loadavg: 1.15 1.15 1.07 2/40 29373 /proc/meminfo: memFree=439864/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=2.2 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 807 19141 0 1 0 0 198 22 16 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29372] ppid=29358 vsize=2892 CPUtime=0 /proc/29372/stat : 29372 (sh) S 29358 29357 24102 769 24102 4194304 360 0 0 0 0 0 0 0 16 0 1 0 525157415 2961408 324 1283457024 134512640 135191968 4288732560 18446744073709551615 4159211934 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29372/statm: 723 324 221 166 0 155 0 [pid=29373] ppid=29372 vsize=31064 CPUtime=10.44 /proc/29373/stat : 29373 (msuncore) R 29372 29357 24102 769 24102 4202496 8695 0 0 0 1038 6 0 0 25 0 1 0 525157415 31809536 7552 1283457024 134512640 135858300 4291639424 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/29373/statm: 7766 7552 137 329 0 7435 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 40348 Solver just ended. Dumping a history of the last processes samples [startup+12.806 s] /proc/loadavg: 1.15 1.15 1.07 2/40 29373 /proc/meminfo: memFree=439864/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=2.2 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 807 19141 0 1 0 0 198 22 16 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29372] ppid=29358 vsize=2892 CPUtime=0 /proc/29372/stat : 29372 (sh) S 29358 29357 24102 769 24102 4194304 360 0 0 0 0 0 0 0 16 0 1 0 525157415 2961408 324 1283457024 134512640 135191968 4288732560 18446744073709551615 4159211934 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29372/statm: 723 324 221 166 0 155 0 [pid=29373] ppid=29372 vsize=31064 CPUtime=10.54 /proc/29373/stat : 29373 (msuncore) R 29372 29357 24102 769 24102 4202496 8695 0 0 0 1048 6 0 0 25 0 1 0 525157415 31809536 7552 1283457024 134512640 135858300 4291639424 18446744073709551615 134663182 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/29373/statm: 7766 7552 137 329 0 7435 0 Current children cumulated CPU time (s) 12.74 Current children cumulated vsize (KiB) 40348 [startup+13.6063 s] /proc/loadavg: 1.15 1.15 1.07 2/40 29373 /proc/meminfo: memFree=439864/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=2.2 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 807 19141 0 1 0 0 198 22 16 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29372] ppid=29358 vsize=2892 CPUtime=0 /proc/29372/stat : 29372 (sh) S 29358 29357 24102 769 24102 4194304 360 0 0 0 0 0 0 0 16 0 1 0 525157415 2961408 324 1283457024 134512640 135191968 4288732560 18446744073709551615 4159211934 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29372/statm: 723 324 221 166 0 155 0 [pid=29373] ppid=29372 vsize=31064 CPUtime=11.34 /proc/29373/stat : 29373 (msuncore) R 29372 29357 24102 769 24102 4202496 8695 0 0 0 1128 6 0 0 25 0 1 0 525157415 31809536 7552 1283457024 134512640 135858300 4291639424 18446744073709551615 134625965 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/29373/statm: 7766 7552 137 329 0 7435 0 Current children cumulated CPU time (s) 13.54 Current children cumulated vsize (KiB) 40348 [startup+14.0064 s] /proc/loadavg: 1.15 1.15 1.07 2/40 29373 /proc/meminfo: memFree=439864/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) S 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=4008 CPUtime=2.2 /proc/29358/stat : 29358 (cudf-solver.py) S 29357 29357 24102 769 24102 4202496 807 19141 0 1 0 0 198 22 16 0 1 0 525157189 4104192 644 1283457024 134512640 135539072 4294146672 18446744073709551615 4158679454 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29358/statm: 1002 644 348 251 0 303 0 [pid=29372] ppid=29358 vsize=2892 CPUtime=0 /proc/29372/stat : 29372 (sh) S 29358 29357 24102 769 24102 4194304 360 0 0 0 0 0 0 0 16 0 1 0 525157415 2961408 324 1283457024 134512640 135191968 4288732560 18446744073709551615 4159211934 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29372/statm: 723 324 221 166 0 155 0 [pid=29373] ppid=29372 vsize=31064 CPUtime=11.74 /proc/29373/stat : 29373 (msuncore) R 29372 29357 24102 769 24102 4202496 8695 0 0 0 1168 6 0 0 25 0 1 0 525157415 31809536 7552 1283457024 134512640 135858300 4291639424 18446744073709551615 134673678 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/29373/statm: 7766 7552 137 329 0 7435 0 Current children cumulated CPU time (s) 13.94 Current children cumulated vsize (KiB) 40348 [startup+14.4307 s] /proc/loadavg: 1.15 1.15 1.07 2/40 29373 /proc/meminfo: memFree=439864/1048576 swapFree=2095456/2097144 [pid=29357] ppid=29356 vsize=2384 CPUtime=0 /proc/29357/stat : 29357 (inesct-1.0) R 29356 29357 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525157189 2441216 261 1283457024 134512640 135191968 4287110064 18446744073709551615 4158704030 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/29357/statm: 596 261 222 166 0 28 0 [pid=29358] ppid=29357 vsize=0 CPUtime=14.37 /proc/29358/stat : 29358 (cudf-solver.py) Z 29357 29357 24102 769 24102 4202508 2613 28691 0 1 10 0 1399 28 15 0 1 0 525157189 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29358/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.37 Current children cumulated vsize (KiB) 2384 Child status: 0 Real time (s): 14.4312 CPU time (s): 14.3889 CPU user time (s): 14.0929 CPU system time (s): 0.296018 CPU usage (%): 99.7069 Max. virtual memory (cumulated for all children) (KiB): 872204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.0929 system time used= 0.296018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31677 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= 1213 involuntary context switches= 1350 runsolver used 0 second user time and 0 second system time The end