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-3482662-1307576495/watcher-3482662-1307576495 -o /tmp/evaluation-result-3482662-1307576495/solver-3482662-1307576495 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482662-1307576495.opb -seed 920069841 -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.89 0.68 0.24 2/501 31992
/proc/meminfo: memFree=26900848/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 947880486 16633856 923 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367546624 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/31992/statm: 4061 923 381 364 0 548 0

[startup+0.0945859 s]
/proc/loadavg: 1.89 0.68 0.24 2/501 31992
/proc/meminfo: memFree=26900848/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=96132 CPUtime=0.06 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 3034 464 1 0 5 1 0 0 18 0 1 0 947880486 98439168 2484 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/31992/statm: 24033 2484 792 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96132

[startup+0.107413 s]
/proc/loadavg: 1.89 0.68 0.24 2/501 31992
/proc/meminfo: memFree=26900848/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 3170 928 1 0 6 1 0 0 18 0 1 0 947880486 98435072 2484 33554432000 4194304 5683644 140735894003952 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31992/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128

[startup+0.301314 s]
/proc/loadavg: 1.89 0.68 0.24 2/501 31992
/proc/meminfo: memFree=26900848/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=190664 CPUtime=0.22 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 6544 928 1 0 17 5 0 0 17 0 1 0 947880486 195239936 4837 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/31992/statm: 47666 4837 1400 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 190664

[startup+0.700231 s]
/proc/loadavg: 1.89 0.68 0.24 2/501 31992
/proc/meminfo: memFree=26900848/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=375496 CPUtime=0.54 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 32285 928 1 0 41 13 0 0 17 0 1 0 947880486 384507904 30147 33554432000 4194304 5683644 140735894003952 18446744073709551615 47298899346412 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31992/statm: 93874 30147 1781 364 0 28767 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 375496

[startup+1.50114 s]
/proc/loadavg: 1.89 0.68 0.24 3/502 31997
/proc/meminfo: memFree=26777076/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=399472 CPUtime=1.34 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 38063 928 1 0 120 14 0 0 18 0 1 0 947880486 409059328 35925 33554432000 4194304 5683644 140735894003952 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31992/statm: 99868 35925 1781 364 0 34761 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 399472

[startup+3.10084 s]
/proc/loadavg: 1.89 0.68 0.24 3/502 31997
/proc/meminfo: memFree=26740372/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=448932 CPUtime=2.94 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 50040 928 1 0 278 16 0 0 21 0 1 0 947880486 459706368 47902 33554432000 4194304 5683644 140735894003952 18446744073709551615 4539104 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31992/statm: 112233 47902 1781 364 0 47126 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 448932

[startup+6.30025 s]
/proc/loadavg: 2.06 0.74 0.26 3/506 32001
/proc/meminfo: memFree=26611872/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=550072 CPUtime=6.15 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 74386 928 1 0 595 20 0 0 25 0 1 0 947880486 563273728 72248 33554432000 4194304 5683644 140735894003952 18446744073709551615 47298899346507 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31992/statm: 137518 72248 1781 364 0 72411 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 550072

[startup+12.701 s]
/proc/loadavg: 2.05 0.76 0.27 2/494 32074
/proc/meminfo: memFree=26564180/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=749672 CPUtime=12.54 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 123665 928 1 0 1225 29 0 0 25 0 1 0 947880486 767664128 121527 33554432000 4194304 5683644 140735894003952 18446744073709551615 4571167 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31992/statm: 187418 121527 1781 364 0 122311 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 749672

[startup+25.5007 s]
/proc/loadavg: 2.18 0.85 0.31 3/495 32327
/proc/meminfo: memFree=26370484/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=869044 CPUtime=25.35 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 260920 928 1 0 2486 49 0 0 25 0 1 0 947880486 889901056 153608 33554432000 4194304 5683644 140735894003952 18446744073709551615 251370955445 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/31992/statm: 217261 153608 1815 364 0 152154 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 869044

[startup+51.1009 s]
/proc/loadavg: 2.12 0.94 0.35 3/502 32340
/proc/meminfo: memFree=26233956/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=791532 CPUtime=50.95 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 280984 928 1 0 5042 53 0 0 25 0 1 0 947880486 810528768 134277 33554432000 4194304 5683644 140735894003952 18446744073709551615 47298732698724 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/31992/statm: 197883 134277 1865 364 0 132773 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 791532

[startup+102.3 s]
/proc/loadavg: 2.05 1.10 0.44 3/506 32345
/proc/meminfo: memFree=25473288/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=791532 CPUtime=102.15 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 280984 928 1 0 10152 63 0 0 25 0 1 0 947880486 810528768 134277 33554432000 4194304 5683644 140735894003952 18446744073709551615 4509199 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/31992/statm: 197883 134277 1865 364 0 132773 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 791532

[startup+162.3 s]
/proc/loadavg: 2.02 1.26 0.53 3/510 32351
/proc/meminfo: memFree=24726036/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=791532 CPUtime=162.15 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 280984 928 1 0 16137 78 0 0 25 0 1 0 947880486 810528768 134277 33554432000 4194304 5683644 140735894003952 18446744073709551615 4876471 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/31992/statm: 197883 134277 1865 364 0 132773 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 791532

[startup+222.301 s]
/proc/loadavg: 2.24 1.46 0.64 3/517 32359
/proc/meminfo: memFree=23454244/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=801784 CPUtime=200.33 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 281207 928 1 0 19946 87 0 0 25 0 2 0 947880486 821026816 134287 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31992/statm: 200446 134287 1872 364 0 135333 0
[pid=32357] ppid=31992 vsize=791540 CPUtime=0.09 cores=0,2,4,6
/proc/32357/stat : 32357 (python) S 31992 31992 31489 0 -1 4202560 898 0 0 0 4 5 0 0 18 0 1 0 947900533 810536960 132782 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566863 0 0 16781312 33554946 72114768642583300 0 0 17 0 0 0 0
/proc/32357/statm: 197885 132782 371 364 0 132772 0
[pid=32359] ppid=32357 vsize=512436 CPUtime=21.76 cores=0,2,4,6
/proc/32359/stat : 32359 (minion) R 32357 32359 32359 0 -1 4202496 221993 0 0 0 2146 30 0 0 25 0 1 0 947900534 524734464 120763 33554432000 134512640 165565024 4294404112 18446744073709551615 159718384 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32359/statm: 128109 120763 263 7582 0 120524 0
[pid=31992/tid=32358] ppid=31990 vsize=801784 CPUtime=0 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 2 0 947900534 821026816 134287 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 2105760

[startup+282.301 s]
/proc/loadavg: 3.59 1.93 0.85 3/519 32366
/proc/meminfo: memFree=19411256/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=812040 CPUtime=247.27 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 282092 1185345 1 0 19948 89 3966 724 20 0 3 0 947880486 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31992/statm: 203010 134294 1875 364 0 137894 0
[pid=32363] ppid=31992 vsize=801796 CPUtime=0.16 cores=0,2,4,6
/proc/32363/stat : 32363 (python) S 31992 31992 31489 0 -1 4202560 929 0 0 0 8 8 0 0 18 0 1 0 947905281 821039104 132787 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566918 0 0 16781312 33554946 72114768642583300 0 0 17 0 0 0 0
/proc/32363/statm: 200449 132787 372 364 0 135333 0
[pid=32365] ppid=32363 vsize=167236 CPUtime=34.27 cores=0,2,4,6
/proc/32365/stat : 32365 (clasp-1.3.7-x86) R 32363 32365 32365 0 -1 4202496 53410 0 0 0 3419 8 0 0 25 0 1 0 947905283 171249664 39611 33554432000 134512640 136139019 4293115136 18446744073709551615 134815847 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/32365/statm: 41809 39611 172 398 0 41409 0
[pid=31992/tid=32358] ppid=31990 vsize=812040 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 1185345 0 0 0 0 3966 724 25 0 3 0 947900534 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
[pid=31992/tid=32364] ppid=31990 vsize=812040 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32364/stat : 32364 (python) S 31990 31992 31489 0 -1 4202560 28 1185345 0 0 0 0 3966 724 20 0 3 0 947905283 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 281.7
Current children cumulated vsize (KiB) 1781072

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

[startup+282.501 s]
/proc/loadavg: 3.59 1.93 0.85 3/519 32366
/proc/meminfo: memFree=19410516/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=812040 CPUtime=247.27 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 282092 1185345 1 0 19948 89 3966 724 20 0 3 0 947880486 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31992/statm: 203010 134294 1875 364 0 137894 0
[pid=32363] ppid=31992 vsize=801796 CPUtime=0.16 cores=0,2,4,6
/proc/32363/stat : 32363 (python) S 31992 31992 31489 0 -1 4202560 929 0 0 0 8 8 0 0 18 0 1 0 947905281 821039104 132787 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566918 0 0 16781312 33554946 72114768642583300 0 0 17 0 0 0 0
/proc/32363/statm: 200449 132787 372 364 0 135333 0
[pid=32365] ppid=32363 vsize=167236 CPUtime=34.49 cores=0,2,4,6
/proc/32365/stat : 32365 (clasp-1.3.7-x86) R 32363 32365 32365 0 -1 4202496 53410 0 0 0 3441 8 0 0 25 0 1 0 947905283 171249664 39611 33554432000 134512640 136139019 4293115136 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/32365/statm: 41809 39611 172 398 0 41409 0
[pid=31992/tid=32358] ppid=31990 vsize=812040 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 1185345 0 0 0 0 3966 724 25 0 3 0 947900534 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
[pid=31992/tid=32364] ppid=31990 vsize=812040 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32364/stat : 32364 (python) S 31990 31992 31489 0 -1 4202560 28 1185345 0 0 0 0 3966 724 20 0 3 0 947905283 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 281.92
Current children cumulated vsize (KiB) 1781072

[startup+295.3 s]
/proc/loadavg: 3.97 2.10 0.92 3/522 32369
/proc/meminfo: memFree=19354932/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=812040 CPUtime=247.27 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 282092 1185345 1 0 19948 89 3966 724 20 0 3 0 947880486 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31992/statm: 203010 134294 1875 364 0 137894 0
[pid=32363] ppid=31992 vsize=801796 CPUtime=0.21 cores=0,2,4,6
/proc/32363/stat : 32363 (python) S 31992 31992 31489 0 -1 4202560 938 0 0 0 11 10 0 0 18 0 1 0 947905281 821039104 132787 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566918 0 0 16781312 33554946 72114768642583300 0 0 17 0 0 0 0
/proc/32363/statm: 200449 132787 372 364 0 135333 0
[pid=32365] ppid=32363 vsize=167236 CPUtime=47.26 cores=0,2,4,6
/proc/32365/stat : 32365 (clasp-1.3.7-x86) R 32363 32365 32365 0 -1 4202496 53410 0 0 0 4718 8 0 0 25 0 1 0 947905283 171249664 39611 33554432000 134512640 136139019 4293115136 18446744073709551615 134815762 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/32365/statm: 41809 39611 172 398 0 41409 0
[pid=31992/tid=32358] ppid=31990 vsize=812040 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 1185345 0 0 0 0 3966 724 25 0 3 0 947900534 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
[pid=31992/tid=32364] ppid=31990 vsize=812040 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32364/stat : 32364 (python) S 31990 31992 31489 0 -1 4202560 28 1185345 0 0 0 0 3966 724 20 0 3 0 947905283 831528960 134294 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 294.74
Current children cumulated vsize (KiB) 1781072

[startup+298.501 s]
/proc/loadavg: 3.97 2.10 0.92 3/526 32373
/proc/meminfo: memFree=19310136/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=822296 CPUtime=247.3 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 282920 1185345 1 0 19950 90 3966 724 20 0 4 0 947880486 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31992/statm: 205574 134300 1877 364 0 140455 0
[pid=32363] ppid=31992 vsize=801796 CPUtime=0.24 cores=0,2,4,6
/proc/32363/stat : 32363 (python) S 31992 31992 31489 0 -1 4202560 1104 0 0 0 12 12 0 0 19 0 2 0 947905281 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 200449 132812 396 364 0 135333 0
[pid=32365] ppid=32363 vsize=167236 CPUtime=48.18 cores=0,2,4,6
/proc/32365/stat : 32365 (clasp-1.3.7-x86) T 32363 32365 32365 0 -1 4202496 53410 0 0 0 4810 8 0 0 25 0 1 0 947905283 171249664 39611 33554432000 134512640 136139019 4293115136 18446744073709551615 134815699 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/32365/statm: 41809 39611 172 398 0 41409 0
[pid=32363/tid=32370] ppid=31992 vsize=801796 CPUtime=0 cores=0,2,4,6
/proc/32363/task/32370/stat : 32370 (python) S 31992 31992 31489 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 947910107 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554946 18446604444178620672 0 0 -1 0 0 0 0
[pid=32371] ppid=31992 vsize=812052 CPUtime=0.01 cores=0,2,4,6
/proc/32371/stat : 32371 (python) S 31992 31992 31489 0 -1 4202560 760 0 0 0 0 1 0 0 18 0 1 0 947910109 831541248 132767 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566918 0 0 16781312 33554946 3746874600823161089 0 0 17 6 0 0 0
/proc/32371/statm: 203013 132767 348 364 0 137894 0
[pid=32373] ppid=32371 vsize=140248 CPUtime=2.23 cores=0,2,4,6
/proc/32373/stat : 32373 (wbo1.4a) R 32371 32373 32373 0 -1 4202496 20140 0 0 0 221 2 0 0 25 0 1 0 947910111 143613952 19884 33554432000 134512640 135751879 4294456800 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/32373/statm: 35062 19886 7697 303 0 12588 0
[pid=31992/tid=32358] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 1185345 0 0 0 0 3966 724 25 0 4 0 947900534 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
[pid=31992/tid=32364] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32364/stat : 32364 (python) S 31990 31992 31489 0 -1 4202560 28 1185345 0 0 0 0 3966 724 20 0 4 0 947905283 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 6 0 0 0
[pid=31992/tid=32372] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32372/stat : 32372 (python) S 31990 31992 31489 0 -1 4202560 29 1185345 0 0 0 0 3966 724 20 0 4 0 947910111 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 297.96
Current children cumulated vsize (KiB) 2743628

[startup+301.701 s]
/proc/loadavg: 4.06 2.15 0.94 3/526 32373
/proc/meminfo: memFree=19239580/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=822296 CPUtime=247.3 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 282920 1185345 1 0 19950 90 3966 724 20 0 4 0 947880486 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31992/statm: 205574 134300 1877 364 0 140455 0
[pid=32363] ppid=31992 vsize=801796 CPUtime=0.24 cores=0,2,4,6
/proc/32363/stat : 32363 (python) S 31992 31992 31489 0 -1 4202560 1104 0 0 0 12 12 0 0 19 0 2 0 947905281 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 200449 132812 396 364 0 135333 0
[pid=32365] ppid=32363 vsize=167236 CPUtime=48.18 cores=0,2,4,6
/proc/32365/stat : 32365 (clasp-1.3.7-x86) T 32363 32365 32365 0 -1 4202496 53410 0 0 0 4810 8 0 0 25 0 1 0 947905283 171249664 39611 33554432000 134512640 136139019 4293115136 18446744073709551615 134815699 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/32365/statm: 41809 39611 172 398 0 41409 0
[pid=32363/tid=32370] ppid=31992 vsize=801796 CPUtime=0 cores=0,2,4,6
/proc/32363/task/32370/stat : 32370 (python) S 31992 31992 31489 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 947910107 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554946 18446604444178620672 0 0 -1 0 0 0 0
[pid=32371] ppid=31992 vsize=812052 CPUtime=0.03 cores=0,2,4,6
/proc/32371/stat : 32371 (python) S 31992 31992 31489 0 -1 4202560 923 0 0 0 1 2 0 0 18 0 1 0 947910109 831541248 132791 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566918 0 0 16781312 33554946 3746879136308625665 0 0 17 6 0 0 0
/proc/32371/statm: 203013 132791 372 364 0 137894 0
[pid=32373] ppid=32371 vsize=210296 CPUtime=5.43 cores=0,2,4,6
/proc/32373/stat : 32373 (wbo1.4a) R 32371 32373 32373 0 -1 4202496 48266 0 0 0 537 6 0 0 25 0 1 0 947910111 215343104 48010 33554432000 134512640 135751879 4294456800 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/32373/statm: 52574 48010 18372 303 0 30100 0
[pid=31992/tid=32358] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 1185345 0 0 0 0 3966 724 25 0 4 0 947900534 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
[pid=31992/tid=32364] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32364/stat : 32364 (python) S 31990 31992 31489 0 -1 4202560 28 1185345 0 0 0 0 3966 724 20 0 4 0 947905283 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 6 0 0 0
[pid=31992/tid=32372] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32372/stat : 32372 (python) S 31990 31992 31489 0 -1 4202560 29 1185345 0 0 0 0 3966 724 20 0 4 0 947910111 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 301.18
Current children cumulated vsize (KiB) 2813676

[startup+302.501 s]
/proc/loadavg: 4.06 2.15 0.94 3/526 32373
/proc/meminfo: memFree=19214284/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=822296 CPUtime=247.3 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 282920 1185345 1 0 19950 90 3966 724 20 0 4 0 947880486 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31992/statm: 205574 134300 1877 364 0 140455 0
[pid=32363] ppid=31992 vsize=801796 CPUtime=0.24 cores=0,2,4,6
/proc/32363/stat : 32363 (python) S 31992 31992 31489 0 -1 4202560 1104 0 0 0 12 12 0 0 19 0 2 0 947905281 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 200449 132812 396 364 0 135333 0
[pid=32365] ppid=32363 vsize=167236 CPUtime=48.18 cores=0,2,4,6
/proc/32365/stat : 32365 (clasp-1.3.7-x86) T 32363 32365 32365 0 -1 4202496 53410 0 0 0 4810 8 0 0 25 0 1 0 947905283 171249664 39611 33554432000 134512640 136139019 4293115136 18446744073709551615 134815699 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/32365/statm: 41809 39611 172 398 0 41409 0
[pid=32363/tid=32370] ppid=31992 vsize=801796 CPUtime=0 cores=0,2,4,6
/proc/32363/task/32370/stat : 32370 (python) S 31992 31992 31489 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 947910107 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554946 18446604444178620672 0 0 -1 0 0 0 0
[pid=32371] ppid=31992 vsize=812052 CPUtime=0.03 cores=0,2,4,6
/proc/32371/stat : 32371 (python) S 31992 31992 31489 0 -1 4202560 923 0 0 0 1 2 0 0 18 0 1 0 947910109 831541248 132791 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566918 0 0 16781312 33554946 3746879136308625665 0 0 17 6 0 0 0
/proc/32371/statm: 203013 132791 372 364 0 137894 0
[pid=32373] ppid=32371 vsize=228296 CPUtime=6.23 cores=0,2,4,6
/proc/32373/stat : 32373 (wbo1.4a) R 32371 32373 32373 0 -1 4202496 54485 0 0 0 616 7 0 0 25 0 1 0 947910111 233775104 54229 33554432000 134512640 135751879 4294456800 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/32373/statm: 57074 54229 20942 303 0 34600 0
[pid=31992/tid=32358] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 1185345 0 0 0 0 3966 724 25 0 4 0 947900534 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
[pid=31992/tid=32364] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32364/stat : 32364 (python) S 31990 31992 31489 0 -1 4202560 28 1185345 0 0 0 0 3966 724 20 0 4 0 947905283 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 6 0 0 0
[pid=31992/tid=32372] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32372/stat : 32372 (python) S 31990 31992 31489 0 -1 4202560 29 1185345 0 0 0 0 3966 724 20 0 4 0 947910111 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 301.98
Current children cumulated vsize (KiB) 2831676

[startup+302.901 s]
/proc/loadavg: 4.06 2.15 0.94 3/526 32373
/proc/meminfo: memFree=19214284/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=822296 CPUtime=247.3 cores=0,2,4,6
/proc/31992/stat : 31992 (python) S 31990 31992 31489 0 -1 4202496 282920 1185345 1 0 19950 90 3966 724 20 0 4 0 947880486 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/31992/statm: 205574 134300 1877 364 0 140455 0
[pid=32363] ppid=31992 vsize=801796 CPUtime=0.24 cores=0,2,4,6
/proc/32363/stat : 32363 (python) S 31992 31992 31489 0 -1 4202560 1104 0 0 0 12 12 0 0 19 0 2 0 947905281 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 200449 132812 396 364 0 135333 0
[pid=32365] ppid=32363 vsize=167236 CPUtime=48.18 cores=0,2,4,6
/proc/32365/stat : 32365 (clasp-1.3.7-x86) T 32363 32365 32365 0 -1 4202496 53410 0 0 0 4810 8 0 0 25 0 1 0 947905283 171249664 39611 33554432000 134512640 136139019 4293115136 18446744073709551615 134815699 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/32365/statm: 41809 39611 172 398 0 41409 0
[pid=32363/tid=32370] ppid=31992 vsize=801796 CPUtime=0 cores=0,2,4,6
/proc/32363/task/32370/stat : 32370 (python) S 31992 31992 31489 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 947910107 821039104 132812 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554946 18446604444178620672 0 0 -1 0 0 0 0
[pid=32371] ppid=31992 vsize=812052 CPUtime=0.03 cores=0,2,4,6
/proc/32371/stat : 32371 (python) S 31992 31992 31489 0 -1 4202560 923 0 0 0 1 2 0 0 18 0 1 0 947910109 831541248 132791 33554432000 4194304 5683644 140735894003952 18446744073709551615 251367566918 0 0 16781312 33554946 3746879136308625665 0 0 17 6 0 0 0
/proc/32371/statm: 203013 132791 372 364 0 137894 0
[pid=32373] ppid=32371 vsize=236208 CPUtime=6.64 cores=0,2,4,6
/proc/32373/stat : 32373 (wbo1.4a) R 32371 32373 32373 0 -1 4202496 57596 0 0 0 656 8 0 0 25 0 1 0 947910111 241876992 57340 33554432000 134512640 135751879 4294456800 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/32373/statm: 59052 57340 22010 303 0 36578 0
[pid=31992/tid=32358] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32358/stat : 32358 (python) S 31990 31992 31489 0 -1 4202560 26 1185345 0 0 0 0 3966 724 25 0 4 0 947900534 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
[pid=31992/tid=32364] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32364/stat : 32364 (python) S 31990 31992 31489 0 -1 4202560 28 1185345 0 0 0 0 3966 724 20 0 4 0 947905283 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 6 0 0 0
[pid=31992/tid=32372] ppid=31990 vsize=822296 CPUtime=46.9 cores=0,2,4,6
/proc/31992/task/32372/stat : 32372 (python) S 31990 31992 31489 0 -1 4202560 29 1185345 0 0 0 0 3966 724 20 0 4 0 947910111 842031104 134300 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444938110016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 302.39
Current children cumulated vsize (KiB) 2839588

[startup+303.301 s]
/proc/loadavg: 4.06 2.15 0.94 3/526 32373
/proc/meminfo: memFree=19214284/32950928 swapFree=34421304/67111528
[pid=31992] ppid=31990 vsize=637760 CPUtime=302.83 cores=0,2,4,6
/proc/31992/stat : 31992 (python) R 31990 31992 31489 0 -1 4202496 348526 1307133 1 0 19958 98 9466 761 17 0 2 0 947880486 653066240 88205 33554432000 4194304 5683644 140735894003952 18446744073709551615 4622783 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/31992/statm: 159440 88205 1873 364 0 94332 0
[pid=31992/tid=32372] ppid=31990 vsize=637760 CPUtime=102.27 cores=0,2,4,6
/proc/31992/task/32372/stat : 32372 (python) S 31990 31992 31489 0 -1 4202560 29 1307133 0 0 0 0 9466 761 18 0 2 0 947910111 653066240 88205 33554432000 4194304 5683644 140735894003952 18446744073709551615 251379370417 0 0 16781312 0 18446604444938110016 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 302.83
Current children cumulated vsize (KiB) 637760

Child status: 0
Real time (s): 303.318
CPU time (s): 302.857
CPU user time (s): 294.248
CPU system time (s): 8.60869
CPU usage (%): 99.848
Max. virtual memory (cumulated for all children) (KiB): 5719368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.248
system time used= 8.60869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1655795
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= 1484
involuntary context switches= 687

runsolver used 1.58876 second user time and 3.24351 second system time

The end