runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482570-1307576447/watcher-3482570-1307576447 -o /tmp/evaluation-result-3482570-1307576447/solver-3482570-1307576447 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482570-1307576447.opb -seed 2078187392 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.29 0.44 0.15 4/530 17955
/proc/meminfo: memFree=31575268/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 947875876 15175680 420 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735174501 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/17955/statm: 3705 420 259 364 0 192 0
[startup+0.034696 s]
/proc/loadavg: 1.29 0.44 0.15 4/530 17955
/proc/meminfo: memFree=31575268/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 947875876 15441920 545 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/17955/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100679 s]
/proc/loadavg: 1.29 0.44 0.15 4/530 17955
/proc/meminfo: memFree=31575268/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/17955/stat : 17955 (python) R 17953 17955 17508 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 947875876 15753216 705 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735221895 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17955/statm: 3846 705 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.300642 s]
/proc/loadavg: 1.29 0.44 0.15 4/530 17955
/proc/meminfo: memFree=31575268/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=87836 CPUtime=0.05 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 2703 0 1 0 4 1 0 0 17 0 1 0 947875876 89944064 2418 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 8
/proc/17955/statm: 21959 2418 746 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87836
[startup+0.700578 s]
/proc/loadavg: 1.29 0.44 0.15 4/530 17955
/proc/meminfo: memFree=31575268/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=123884 CPUtime=0.18 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 5413 932 1 0 12 6 0 0 15 0 1 0 947875876 126857216 3779 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 8
/proc/17955/statm: 30971 3779 987 364 0 2803 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123884
[startup+1.5004 s]
/proc/loadavg: 1.29 0.44 0.15 2/531 17960
/proc/meminfo: memFree=31553312/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293480
[startup+3.10115 s]
/proc/loadavg: 1.29 0.44 0.15 2/526 17986
/proc/meminfo: memFree=31686272/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 947875997 290033664 5692 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 1886745705402302724 0 0 17 4 0 0 0
/proc/17961/statm: 70809 5692 352 364 0 5696 0
[pid=17964] ppid=17961 vsize=2520 CPUtime=1.89 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 650 0 0 0 189 0 0 0 22 0 1 0 947875997 2580480 392 33554432000 134512640 136139019 4291454576 18446744073709551615 134632465 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 630 392 184 398 0 230 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 579236
heavy processes:
[startup+6.30061 s]
/proc/loadavg: 1.35 0.47 0.16 2/531 18036
/proc/meminfo: memFree=31570268/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.02 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 889 0 0 0 1 1 0 0 15 0 1 0 947875997 290033664 5716 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 1886752508630499588 0 0 17 4 0 0 0
/proc/17961/statm: 70809 5716 376 364 0 5696 0
[pid=17964] ppid=17961 vsize=2916 CPUtime=5.09 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 734 0 0 0 509 0 0 0 25 0 1 0 947875997 2985984 476 33554432000 134512640 136139019 4291454576 18446744073709551615 134634712 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 729 476 184 398 0 329 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 579632
[startup+12.7005 s]
/proc/loadavg: 1.40 0.49 0.17 3/534 18043
/proc/meminfo: memFree=31551684/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.04 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 891 0 0 0 2 2 0 0 15 0 1 0 947875997 290033664 5716 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 72409437758827181 0 0 17 4 0 0 0
/proc/17961/statm: 70809 5716 376 364 0 5696 0
[pid=17964] ppid=17961 vsize=3320 CPUtime=11.49 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 848 0 0 0 1149 0 0 0 25 0 1 0 947875997 3399680 590 33554432000 134512640 136139019 4291454576 18446744073709551615 134598361 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 830 590 184 398 0 430 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 580036
[startup+25.5013 s]
/proc/loadavg: 1.53 0.57 0.20 3/534 18043
/proc/meminfo: memFree=31551296/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.1 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 899 0 0 0 5 5 0 0 15 0 1 0 947875997 290033664 5716 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/17961/statm: 70809 5716 376 364 0 5696 0
[pid=17964] ppid=17961 vsize=3996 CPUtime=24.29 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 994 0 0 0 2429 0 0 0 25 0 1 0 947875997 4091904 736 33554432000 134512640 136139019 4291454576 18446744073709551615 134832236 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 999 736 184 398 0 599 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 580712
Solver just ended. Dumping a history of the last processes samples
[startup+38.301 s]
/proc/loadavg: 1.60 0.61 0.22 3/534 18044
/proc/meminfo: memFree=31550532/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.14 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 904 0 0 0 7 7 0 0 15 0 1 0 947875997 290033664 5716 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/17961/statm: 70809 5716 376 364 0 5696 0
[pid=17964] ppid=17961 vsize=4396 CPUtime=37.09 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 1105 0 0 0 3709 0 0 0 25 0 1 0 947875997 4501504 847 33554432000 134512640 136139019 4291454576 18446744073709551615 134828868 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 1099 847 184 398 0 699 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37.67
Current children cumulated vsize (KiB) 581112
[startup+41.5005 s]
/proc/loadavg: 1.64 0.64 0.23 3/534 18044
/proc/meminfo: memFree=31550532/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.16 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 999 0 0 0 8 8 0 0 15 0 1 0 947875997 290033664 5721 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 1886745705402302724 0 0 17 6 0 0 0
/proc/17961/statm: 70809 5721 381 364 0 5696 0
[pid=17964] ppid=17961 vsize=4536 CPUtime=40.28 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 1134 0 0 0 4028 0 0 0 25 0 1 0 947875997 4644864 876 33554432000 134512640 136139019 4291454576 18446744073709551615 134867658 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 1134 876 184 398 0 734 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40.88
Current children cumulated vsize (KiB) 581252
[startup+44.7009 s]
/proc/loadavg: 1.66 0.66 0.24 3/534 18044
/proc/meminfo: memFree=31550280/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.18 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 1000 0 0 0 9 9 0 0 15 0 1 0 947875997 290033664 5721 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/17961/statm: 70809 5721 381 364 0 5696 0
[pid=17964] ppid=17961 vsize=4536 CPUtime=43.49 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 1151 0 0 0 4349 0 0 0 25 0 1 0 947875997 4644864 893 33554432000 134512640 136139019 4291454576 18446744073709551615 134648574 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 1134 893 184 398 0 734 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.11
Current children cumulated vsize (KiB) 581252
[startup+45.5008 s]
/proc/loadavg: 1.66 0.66 0.24 3/534 18044
/proc/meminfo: memFree=31550280/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.18 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 1000 0 0 0 9 9 0 0 15 0 1 0 947875997 290033664 5721 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/17961/statm: 70809 5721 381 364 0 5696 0
[pid=17964] ppid=17961 vsize=4672 CPUtime=44.29 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 1162 0 0 0 4429 0 0 0 25 0 1 0 947875997 4784128 904 33554432000 134512640 136139019 4291454576 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 1168 904 184 398 0 768 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.91
Current children cumulated vsize (KiB) 581388
[startup+46.3006 s]
/proc/loadavg: 1.66 0.66 0.24 3/534 18044
/proc/meminfo: memFree=31549784/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.18 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 1000 0 0 0 9 9 0 0 15 0 1 0 947875997 290033664 5721 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/17961/statm: 70809 5721 381 364 0 5696 0
[pid=17964] ppid=17961 vsize=4672 CPUtime=45.09 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 1166 0 0 0 4509 0 0 0 25 0 1 0 947875997 4784128 908 33554432000 134512640 136139019 4291454576 18446744073709551615 134877160 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 1168 908 184 398 0 768 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 45.71
Current children cumulated vsize (KiB) 581388
[startup+46.5006 s]
/proc/loadavg: 1.66 0.66 0.24 3/534 18044
/proc/meminfo: memFree=31549784/32951124 swapFree=49879164/67111528
[pid=17955] ppid=17953 vsize=293480 CPUtime=0.44 cores=0,2,4,6
/proc/17955/stat : 17955 (python) S 17953 17955 17508 0 -1 4202496 9710 932 1 0 35 9 0 0 18 0 2 0 947875876 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 8
/proc/17955/statm: 73370 7214 1870 364 0 8257 0
[pid=17961] ppid=17955 vsize=283236 CPUtime=0.18 cores=0,2,4,6
/proc/17961/stat : 17961 (python) S 17955 17955 17508 0 -1 4202560 1000 0 0 0 9 9 0 0 15 0 1 0 947875997 290033664 5721 33554432000 4194304 5683644 140733813030624 18446744073709551615 216735198735 0 0 16781312 33554946 72556772316949165 0 0 17 6 0 0 0
/proc/17961/statm: 70809 5721 381 364 0 5696 0
[pid=17964] ppid=17961 vsize=4672 CPUtime=45.29 cores=0,2,4,6
/proc/17964/stat : 17964 (clasp-1.3.7-x86) R 17961 17964 17964 0 -1 4202496 1171 0 0 0 4529 0 0 0 25 0 1 0 947875997 4784128 913 33554432000 134512640 136139019 4291454576 18446744073709551615 134875760 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17964/statm: 1168 913 184 398 0 768 0
[pid=17955/tid=17963] ppid=17953 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/17955/task/17963/stat : 17963 (python) S 17953 17955 17508 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 947875997 300523520 7214 33554432000 4194304 5683644 140733813030624 18446744073709551615 216747002289 0 0 16781312 33554434 18446604447533702208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 45.91
Current children cumulated vsize (KiB) 581388
Child status: 0
Real time (s): 46.5845
CPU time (s): 46.018
CPU user time (s): 45.813
CPU system time (s): 0.204968
CPU usage (%): 98.784
Max. virtual memory (cumulated for all children) (KiB): 581388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.813
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17451
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= 1762
involuntary context switches= 81
runsolver used 0.269958 second user time and 0.528919 second system time
The end