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-3482663-1307576496/watcher-3482663-1307576496 -o /tmp/evaluation-result-3482663-1307576496/solver-3482663-1307576496 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482663-1307576496.opb -seed 1342833978 -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.94 0.73 0.27 2/446 26348
/proc/meminfo: memFree=29859876/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 922 0 0 0 0 0 0 0 17 0 1 0 947880650 16158720 801 33554432000 4194304 5683644 140734242330976 18446744073709551615 4531893 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26348/statm: 3945 801 350 364 0 432 0

[startup+0.0524699 s]
/proc/loadavg: 1.94 0.73 0.27 2/446 26348
/proc/meminfo: memFree=29859876/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=25316 CPUtime=0.03 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 1343 0 0 0 3 0 0 0 17 0 1 0 947880650 25923584 1189 33554432000 4194304 5683644 140734242330976 18446744073709551615 4681967 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26348/statm: 6329 1190 438 364 0 730 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25316

[startup+0.100562 s]
/proc/loadavg: 1.94 0.73 0.27 2/446 26348
/proc/meminfo: memFree=29859876/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=58884 CPUtime=0.05 cores=0,2,4,6
/proc/26348/stat : 26348 (python) D 26346 26348 25621 0 -1 4202496 2116 0 0 0 5 0 0 0 17 0 1 0 947880650 60297216 1869 33554432000 4194304 5683644 140734242330976 18446744073709551615 231890566791 0 0 16781312 2 18446744071696489144 0 0 17 0 0 0 0
/proc/26348/statm: 14721 1869 508 364 0 1310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 58884

[startup+0.300501 s]
/proc/loadavg: 1.94 0.73 0.27 2/446 26348
/proc/meminfo: memFree=29859876/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=58884 CPUtime=0.05 cores=0,2,4,6
/proc/26348/stat : 26348 (python) D 26346 26348 25621 0 -1 4202496 2116 0 0 0 5 0 0 0 17 0 1 0 947880650 60297216 1869 33554432000 4194304 5683644 140734242330976 18446744073709551615 231890566791 0 0 16781312 2 18446744071696489144 0 0 17 0 0 0 0
/proc/26348/statm: 14721 1869 508 364 0 1310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 58884

[startup+0.700344 s]
/proc/loadavg: 1.94 0.73 0.27 2/446 26348
/proc/meminfo: memFree=29859876/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=124016 CPUtime=0.19 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 5423 933 1 0 15 4 0 0 16 0 1 0 947880650 126992384 3782 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895488512 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/26348/statm: 31004 3782 987 364 0 2836 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 124016

[startup+1.50027 s]
/proc/loadavg: 1.94 0.73 0.27 3/447 26354
/proc/meminfo: memFree=29837068/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=382656 CPUtime=0.9 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 34041 933 1 0 77 13 0 0 16 0 1 0 947880650 391839744 31902 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895177104 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26348/statm: 95664 31902 1781 364 0 30557 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 382656

[startup+3.10096 s]
/proc/loadavg: 1.94 0.73 0.27 3/447 26354
/proc/meminfo: memFree=29715548/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=431180 CPUtime=2.5 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 45718 933 1 0 235 15 0 0 18 0 1 0 947880650 441528320 43579 33554432000 4194304 5683644 140734242330976 18446744073709551615 5114666 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26348/statm: 107795 43579 1781 364 0 42688 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 431180

[startup+6.30035 s]
/proc/loadavg: 2.02 0.77 0.28 3/447 26354
/proc/meminfo: memFree=29603820/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=527616 CPUtime=5.7 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 69364 933 1 0 552 18 0 0 25 0 1 0 947880650 540278784 67225 33554432000 4194304 5683644 140734242330976 18446744073709551615 4619735 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26348/statm: 131904 67225 1781 364 0 66797 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 527616

[startup+12.7011 s]
/proc/loadavg: 2.02 0.79 0.29 3/447 26354
/proc/meminfo: memFree=29404332/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=728780 CPUtime=12.11 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 117339 933 1 0 1185 26 0 0 25 0 1 0 947880650 746270720 115200 33554432000 4194304 5683644 140734242330976 18446744073709551615 47798618361631 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26348/statm: 182195 115200 1781 364 0 117088 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 728780

[startup+25.5007 s]
/proc/loadavg: 2.02 0.83 0.31 3/447 26354
/proc/meminfo: memFree=29240880/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=869180 CPUtime=24.91 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 260953 933 1 0 2444 47 0 0 25 0 1 0 947880650 890040320 153641 33554432000 4194304 5683644 140734242330976 18446744073709551615 47798451650040 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/26348/statm: 217295 153641 1815 364 0 152188 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 869180

[startup+51.1168 s]
/proc/loadavg: 2.01 0.94 0.36 3/451 26359
/proc/meminfo: memFree=28927048/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=889176 CPUtime=50.52 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 265953 933 1 0 5005 47 0 0 25 0 1 0 947880650 910516224 158641 33554432000 4194304 5683644 140734242330976 18446744073709551615 47798451987455 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/26348/statm: 222294 158641 1816 364 0 157187 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 889176

[startup+102.301 s]
/proc/loadavg: 2.10 1.13 0.45 3/455 26365
/proc/meminfo: memFree=28727024/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=791668 CPUtime=101.71 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 281017 933 1 0 10108 63 0 0 25 0 1 0 947880650 810668032 134310 33554432000 4194304 5683644 140734242330976 18446744073709551615 4510689 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/26348/statm: 197917 134310 1865 364 0 132807 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 791668

[startup+162.301 s]
/proc/loadavg: 2.08 1.30 0.55 3/459 26371
/proc/meminfo: memFree=28382376/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=791668 CPUtime=161.7 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 281017 933 1 0 16092 78 0 0 25 0 1 0 947880650 810668032 134310 33554432000 4194304 5683644 140734242330976 18446744073709551615 4639781 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/26348/statm: 197917 134310 1865 364 0 132807 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 791668

[startup+222.3 s]
/proc/loadavg: 2.03 1.43 0.64 3/463 26376
/proc/meminfo: memFree=27916656/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=801920 CPUtime=205.96 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 281240 933 1 0 20505 91 0 0 25 0 2 0 947880650 821166080 134320 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/26348/statm: 200480 134320 1872 364 0 135367 0
[pid=26374] ppid=26348 vsize=791676 CPUtime=0.06 cores=0,2,4,6
/proc/26374/stat : 26374 (python) S 26348 26348 25621 0 -1 4202560 892 0 0 0 2 4 0 0 18 0 1 0 947901304 810676224 132815 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949368 0 0 17 6 0 0 0
/proc/26374/statm: 197919 132815 371 364 0 132806 0
[pid=26376] ppid=26374 vsize=439836 CPUtime=15.72 cores=0,2,4,6
/proc/26376/stat : 26376 (minion) R 26374 26376 26376 0 -1 4202496 203845 0 0 0 1545 27 0 0 25 0 1 0 947901306 450392064 102613 33554432000 134512640 165565024 4294077024 18446744073709551615 159718384 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/26376/statm: 109959 102613 263 7582 0 102374 0
[pid=26348/tid=26375] ppid=26346 vsize=801920 CPUtime=0 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 933 0 0 0 0 0 0 25 0 2 0 947901305 821166080 134320 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.74
Current children cumulated vsize (KiB) 2033432

[startup+282.301 s]
/proc/loadavg: 3.06 1.81 0.82 3/466 26385
/proc/meminfo: memFree=23860240/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=812176 CPUtime=248.76 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 282127 1184796 1 0 20507 92 3609 668 20 0 3 0 947880650 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26348/statm: 203044 134327 1875 364 0 137928 0
[pid=26380] ppid=26348 vsize=801932 CPUtime=0.11 cores=0,2,4,6
/proc/26380/stat : 26380 (python) S 26348 26348 25621 0 -1 4202560 927 0 0 0 6 5 0 0 18 0 1 0 947905569 821178368 132820 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510598 0 0 16781312 33554946 72409437758827384 0 0 17 4 0 0 0
/proc/26380/statm: 200483 132820 372 364 0 135367 0
[pid=26382] ppid=26380 vsize=166772 CPUtime=33.05 cores=0,2,4,6
/proc/26382/stat : 26382 (clasp-1.3.7-x86) R 26380 26382 26382 0 -1 4202496 53277 0 0 0 3294 11 0 0 25 0 1 0 947905570 170774528 39477 33554432000 134512640 136139019 4292338000 18446744073709551615 134815756 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26382/statm: 41693 39477 172 398 0 41293 0
[pid=26348/tid=26375] ppid=26346 vsize=812176 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 1184796 0 0 0 0 3609 668 25 0 3 0 947901305 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
[pid=26348/tid=26381] ppid=26346 vsize=812176 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26381/stat : 26381 (python) S 26346 26348 25621 0 -1 4202560 28 1184796 0 0 0 0 3609 668 20 0 3 0 947905570 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 281.92
Current children cumulated vsize (KiB) 1780880

Solver just ended. Dumping a history of the last processes samples

[startup+283.101 s]
/proc/loadavg: 3.06 1.81 0.82 3/466 26385
/proc/meminfo: memFree=23860244/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=812176 CPUtime=248.76 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 282127 1184796 1 0 20507 92 3609 668 20 0 3 0 947880650 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26348/statm: 203044 134327 1875 364 0 137928 0
[pid=26380] ppid=26348 vsize=801932 CPUtime=0.13 cores=0,2,4,6
/proc/26380/stat : 26380 (python) S 26348 26348 25621 0 -1 4202560 930 0 0 0 7 6 0 0 18 0 1 0 947905569 821178368 132820 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510598 0 0 16781312 33554946 72409437758827384 0 0 17 4 0 0 0
/proc/26380/statm: 200483 132820 372 364 0 135367 0
[pid=26382] ppid=26380 vsize=166772 CPUtime=33.85 cores=0,2,4,6
/proc/26382/stat : 26382 (clasp-1.3.7-x86) R 26380 26382 26382 0 -1 4202496 53277 0 0 0 3374 11 0 0 25 0 1 0 947905570 170774528 39477 33554432000 134512640 136139019 4292338000 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26382/statm: 41693 39477 172 398 0 41293 0
[pid=26348/tid=26375] ppid=26346 vsize=812176 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 1184796 0 0 0 0 3609 668 25 0 3 0 947901305 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
[pid=26348/tid=26381] ppid=26346 vsize=812176 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26381/stat : 26381 (python) S 26346 26348 25621 0 -1 4202560 28 1184796 0 0 0 0 3609 668 20 0 3 0 947905570 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 282.74
Current children cumulated vsize (KiB) 1780880

[startup+295.901 s]
/proc/loadavg: 3.32 1.93 0.87 3/465 26385
/proc/meminfo: memFree=23938376/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=812176 CPUtime=248.76 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 282127 1184796 1 0 20507 92 3609 668 20 0 3 0 947880650 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26348/statm: 203044 134327 1875 364 0 137928 0
[pid=26380] ppid=26348 vsize=801932 CPUtime=0.16 cores=0,2,4,6
/proc/26380/stat : 26380 (python) S 26348 26348 25621 0 -1 4202560 941 0 0 0 8 8 0 0 18 0 1 0 947905569 821178368 132820 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510598 0 0 16781312 33554946 72409437758827384 0 0 17 4 0 0 0
/proc/26380/statm: 200483 132820 372 364 0 135367 0
[pid=26382] ppid=26380 vsize=166772 CPUtime=46.63 cores=0,2,4,6
/proc/26382/stat : 26382 (clasp-1.3.7-x86) R 26380 26382 26382 0 -1 4202496 53277 0 0 0 4652 11 0 0 25 0 1 0 947905570 170774528 39477 33554432000 134512640 136139019 4292338000 18446744073709551615 134815739 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26382/statm: 41693 39477 172 398 0 41293 0
[pid=26348/tid=26375] ppid=26346 vsize=812176 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 1184796 0 0 0 0 3609 668 25 0 3 0 947901305 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
[pid=26348/tid=26381] ppid=26346 vsize=812176 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26381/stat : 26381 (python) S 26346 26348 25621 0 -1 4202560 28 1184796 0 0 0 0 3609 668 20 0 3 0 947905570 831668224 134327 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 295.55
Current children cumulated vsize (KiB) 1780880

[startup+299.101 s]
/proc/loadavg: 3.32 1.93 0.87 3/468 26389
/proc/meminfo: memFree=23908728/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=822432 CPUtime=248.79 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 282955 1184796 1 0 20509 93 3609 668 20 0 4 0 947880650 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26348/statm: 205608 134333 1877 364 0 140489 0
[pid=26380] ppid=26348 vsize=801932 CPUtime=0.18 cores=0,2,4,6
/proc/26380/stat : 26380 (python) S 26348 26348 25621 0 -1 4202560 1108 0 0 0 9 9 0 0 19 0 2 0 947905569 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26380/statm: 200483 132845 396 364 0 135367 0
[pid=26382] ppid=26380 vsize=166772 CPUtime=48.12 cores=0,2,4,6
/proc/26382/stat : 26382 (clasp-1.3.7-x86) T 26380 26382 26382 0 -1 4202496 53277 0 0 0 4801 11 0 0 25 0 1 0 947905570 170774528 39477 33554432000 134512640 136139019 4292338000 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/26382/statm: 41693 39477 172 398 0 41293 0
[pid=26380/tid=26386] ppid=26348 vsize=801932 CPUtime=0 cores=0,2,4,6
/proc/26380/task/26386/stat : 26386 (python) S 26348 26348 25621 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 947910390 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554946 18446604445921304896 0 0 -1 6 0 0 0
[pid=26387] ppid=26348 vsize=812188 CPUtime=0.01 cores=0,2,4,6
/proc/26387/stat : 26387 (python) S 26348 26348 25621 0 -1 4202560 764 0 0 0 0 1 0 0 18 0 1 0 947910392 831680512 132800 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510598 0 0 16781312 33554946 10931065984525500676 0 0 17 6 0 0 0
/proc/26387/statm: 203047 132800 348 364 0 137928 0
[pid=26389] ppid=26387 vsize=133352 CPUtime=1.65 cores=0,2,4,6
/proc/26389/stat : 26389 (wbo1.4a) R 26387 26389 26389 0 -1 4202496 16941 0 0 0 162 3 0 0 25 0 1 0 947910393 136552448 16683 33554432000 134512640 135751879 4292965440 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/26389/statm: 33338 16683 6380 303 0 10865 0
[pid=26348/tid=26375] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 1184796 0 0 0 0 3609 668 25 0 4 0 947901305 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
[pid=26348/tid=26381] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26381/stat : 26381 (python) S 26346 26348 25621 0 -1 4202560 28 1184796 0 0 0 0 3609 668 20 0 4 0 947905570 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 4 0 0 0
[pid=26348/tid=26388] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26388/stat : 26388 (python) S 26346 26348 25621 0 -1 4202560 29 1184796 0 0 0 0 3609 668 20 0 4 0 947910393 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 298.75
Current children cumulated vsize (KiB) 2736676

[startup+302.301 s]
/proc/loadavg: 3.22 1.93 0.88 3/468 26390
/proc/meminfo: memFree=23831224/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=822432 CPUtime=248.79 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 282955 1184796 1 0 20509 93 3609 668 20 0 4 0 947880650 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26348/statm: 205608 134333 1877 364 0 140489 0
[pid=26380] ppid=26348 vsize=801932 CPUtime=0.18 cores=0,2,4,6
/proc/26380/stat : 26380 (python) S 26348 26348 25621 0 -1 4202560 1108 0 0 0 9 9 0 0 19 0 2 0 947905569 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26380/statm: 200483 132845 396 364 0 135367 0
[pid=26382] ppid=26380 vsize=166772 CPUtime=48.12 cores=0,2,4,6
/proc/26382/stat : 26382 (clasp-1.3.7-x86) T 26380 26382 26382 0 -1 4202496 53277 0 0 0 4801 11 0 0 25 0 1 0 947905570 170774528 39477 33554432000 134512640 136139019 4292338000 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/26382/statm: 41693 39477 172 398 0 41293 0
[pid=26380/tid=26386] ppid=26348 vsize=801932 CPUtime=0 cores=0,2,4,6
/proc/26380/task/26386/stat : 26386 (python) S 26348 26348 25621 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 947910390 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554946 18446604445921304896 0 0 -1 6 0 0 0
[pid=26387] ppid=26348 vsize=812188 CPUtime=0.02 cores=0,2,4,6
/proc/26387/stat : 26387 (python) S 26348 26348 25621 0 -1 4202560 927 0 0 0 0 2 0 0 18 0 1 0 947910392 831680512 132824 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510598 0 0 16781312 33554946 10931072787753697540 0 0 17 6 0 0 0
/proc/26387/statm: 203047 132824 372 364 0 137928 0
[pid=26389] ppid=26387 vsize=210408 CPUtime=4.85 cores=0,2,4,6
/proc/26389/stat : 26389 (wbo1.4a) R 26387 26389 26389 0 -1 4202496 48306 0 0 0 480 5 0 0 25 0 1 0 947910393 215457792 48048 33554432000 134512640 135751879 4292965440 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/26389/statm: 52602 48048 18386 303 0 30129 0
[pid=26348/tid=26375] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 1184796 0 0 0 0 3609 668 25 0 4 0 947901305 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
[pid=26348/tid=26381] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26381/stat : 26381 (python) S 26346 26348 25621 0 -1 4202560 28 1184796 0 0 0 0 3609 668 20 0 4 0 947905570 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 4 0 0 0
[pid=26348/tid=26388] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26388/stat : 26388 (python) S 26346 26348 25621 0 -1 4202560 29 1184796 0 0 0 0 3609 668 20 0 4 0 947910393 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 301.96
Current children cumulated vsize (KiB) 2813732

[startup+303.101 s]
/proc/loadavg: 3.22 1.93 0.88 3/468 26390
/proc/meminfo: memFree=23803192/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=822432 CPUtime=248.79 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 282955 1184796 1 0 20509 93 3609 668 20 0 4 0 947880650 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26348/statm: 205608 134333 1877 364 0 140489 0
[pid=26380] ppid=26348 vsize=801932 CPUtime=0.18 cores=0,2,4,6
/proc/26380/stat : 26380 (python) S 26348 26348 25621 0 -1 4202560 1108 0 0 0 9 9 0 0 19 0 2 0 947905569 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26380/statm: 200483 132845 396 364 0 135367 0
[pid=26382] ppid=26380 vsize=166772 CPUtime=48.12 cores=0,2,4,6
/proc/26382/stat : 26382 (clasp-1.3.7-x86) T 26380 26382 26382 0 -1 4202496 53277 0 0 0 4801 11 0 0 25 0 1 0 947905570 170774528 39477 33554432000 134512640 136139019 4292338000 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/26382/statm: 41693 39477 172 398 0 41293 0
[pid=26380/tid=26386] ppid=26348 vsize=801932 CPUtime=0 cores=0,2,4,6
/proc/26380/task/26386/stat : 26386 (python) S 26348 26348 25621 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 947910390 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554946 18446604445921304896 0 0 -1 6 0 0 0
[pid=26387] ppid=26348 vsize=812188 CPUtime=0.02 cores=0,2,4,6
/proc/26387/stat : 26387 (python) S 26348 26348 25621 0 -1 4202560 927 0 0 0 0 2 0 0 18 0 1 0 947910392 831680512 132824 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510598 0 0 16781312 33554946 10931072787753697540 0 0 17 6 0 0 0
/proc/26387/statm: 203047 132824 372 364 0 137928 0
[pid=26389] ppid=26387 vsize=230004 CPUtime=5.65 cores=0,2,4,6
/proc/26389/stat : 26389 (wbo1.4a) R 26387 26389 26389 0 -1 4202496 55258 0 0 0 559 6 0 0 25 0 1 0 947910393 235524096 55000 33554432000 134512640 135751879 4292965440 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/26389/statm: 57501 55000 21262 303 0 35028 0
[pid=26348/tid=26375] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 1184796 0 0 0 0 3609 668 25 0 4 0 947901305 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
[pid=26348/tid=26381] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26381/stat : 26381 (python) S 26346 26348 25621 0 -1 4202560 28 1184796 0 0 0 0 3609 668 20 0 4 0 947905570 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 4 0 0 0
[pid=26348/tid=26388] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26388/stat : 26388 (python) S 26346 26348 25621 0 -1 4202560 29 1184796 0 0 0 0 3609 668 20 0 4 0 947910393 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 302.76
Current children cumulated vsize (KiB) 2833328

[startup+303.501 s]
/proc/loadavg: 3.22 1.93 0.88 3/468 26390
/proc/meminfo: memFree=23803192/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=822432 CPUtime=248.79 cores=0,2,4,6
/proc/26348/stat : 26348 (python) S 26346 26348 25621 0 -1 4202496 282955 1184796 1 0 20509 93 3609 668 20 0 4 0 947880650 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26348/statm: 205608 134333 1877 364 0 140489 0
[pid=26380] ppid=26348 vsize=801932 CPUtime=0.18 cores=0,2,4,6
/proc/26380/stat : 26380 (python) S 26348 26348 25621 0 -1 4202560 1108 0 0 0 9 9 0 0 19 0 2 0 947905569 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26380/statm: 200483 132845 396 364 0 135367 0
[pid=26382] ppid=26380 vsize=166772 CPUtime=48.12 cores=0,2,4,6
/proc/26382/stat : 26382 (clasp-1.3.7-x86) T 26380 26382 26382 0 -1 4202496 53277 0 0 0 4801 11 0 0 25 0 1 0 947905570 170774528 39477 33554432000 134512640 136139019 4292338000 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/26382/statm: 41693 39477 172 398 0 41293 0
[pid=26380/tid=26386] ppid=26348 vsize=801932 CPUtime=0 cores=0,2,4,6
/proc/26380/task/26386/stat : 26386 (python) S 26348 26348 25621 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 947910390 821178368 132845 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554946 18446604445921304896 0 0 -1 6 0 0 0
[pid=26387] ppid=26348 vsize=812188 CPUtime=0.02 cores=0,2,4,6
/proc/26387/stat : 26387 (python) S 26348 26348 25621 0 -1 4202560 929 0 0 0 0 2 0 0 17 0 1 0 947910392 831680512 132824 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895510598 0 0 16781312 33554946 3109402343431471104 0 0 17 6 0 0 0
/proc/26387/statm: 203047 132824 372 364 0 137928 0
[pid=26389] ppid=26387 vsize=168232 CPUtime=6.05 cores=0,2,4,6
/proc/26389/stat : 26389 (wbo1.4a) R 26387 26389 26389 0 -1 4202496 65551 0 0 0 597 8 0 0 25 0 1 0 947910393 172269568 39054 33554432000 134512640 135751879 4292965440 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/26389/statm: 42058 39054 142 303 0 41753 0
[pid=26348/tid=26375] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26375/stat : 26375 (python) S 26346 26348 25621 0 -1 4202560 26 1184796 0 0 0 0 3609 668 25 0 4 0 947901305 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
[pid=26348/tid=26381] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26381/stat : 26381 (python) S 26346 26348 25621 0 -1 4202560 28 1184796 0 0 0 0 3609 668 20 0 4 0 947905570 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 4 0 0 0
[pid=26348/tid=26388] ppid=26346 vsize=822432 CPUtime=42.77 cores=0,2,4,6
/proc/26348/task/26388/stat : 26388 (python) S 26346 26348 25621 0 -1 4202560 29 1184796 0 0 0 0 3609 668 20 0 4 0 947910393 842170368 134333 33554432000 4194304 5683644 140734242330976 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 303.16
Current children cumulated vsize (KiB) 2771556

[startup+303.701 s]
/proc/loadavg: 3.22 1.93 0.88 3/468 26390
/proc/meminfo: memFree=23803192/32950928 swapFree=52246700/67111528
[pid=26348] ppid=26346 vsize=637892 CPUtime=303.4 cores=0,2,4,6
/proc/26348/stat : 26348 (python) R 26346 26348 25621 0 -1 4202496 334820 1306463 1 0 20513 100 9025 702 17 0 1 0 947880650 653201408 88235 33554432000 4194304 5683644 140734242330976 18446744073709551615 231895145911 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/26348/statm: 159473 88235 1870 364 0 94366 0
Current children cumulated CPU time (s) 303.4
Current children cumulated vsize (KiB) 637892

Child status: 0
Real time (s): 303.744
CPU time (s): 303.472
CPU user time (s): 295.412
CPU system time (s): 8.05977
CPU usage (%): 99.9104
Max. virtual memory (cumulated for all children) (KiB): 5718792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 295.412
system time used= 8.05977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1655192
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= 2106
involuntary context switches= 2794

runsolver used 1.40978 second user time and 2.92656 second system time

The end