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-3482664-1307576498/watcher-3482664-1307576498 -o /tmp/evaluation-result-3482664-1307576498/solver-3482664-1307576498 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482664-1307576498.opb -seed 654211118 -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.44 0.40 0.13 2/488 4076
/proc/meminfo: memFree=22725360/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 792 0 0 0 0 0 0 0 18 0 1 0 601841422 15749120 679 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660660224 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 3845 679 322 364 0 332 0

[startup+0.116663 s]
/proc/loadavg: 1.44 0.40 0.13 2/488 4076
/proc/meminfo: memFree=22725360/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 3170 932 1 0 6 2 0 0 18 0 1 0 601841422 98435072 2484 33554432000 4194304 5683644 140737151107632 18446744073709551615 5177549 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128

[startup+0.200619 s]
/proc/loadavg: 1.44 0.40 0.13 2/488 4076
/proc/meminfo: memFree=22725360/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=117900 CPUtime=0.11 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 4914 932 1 0 8 3 0 0 17 0 1 0 601841422 120729600 3340 33554432000 4194304 5683644 140737151107632 18446744073709551615 4894680 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 29475 3340 916 364 0 2445 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 117900

[startup+0.300635 s]
/proc/loadavg: 1.44 0.40 0.13 2/488 4076
/proc/meminfo: memFree=22725360/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=163808 CPUtime=0.18 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 5877 932 1 0 13 5 0 0 17 0 1 0 601841422 167739392 4201 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660660224 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 40952 4201 1165 364 0 3261 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163808

[startup+0.700569 s]
/proc/loadavg: 1.44 0.40 0.13 2/488 4076
/proc/meminfo: memFree=22725360/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=374132 CPUtime=0.51 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 31984 932 1 0 39 12 0 0 16 0 1 0 601841422 383111168 29846 33554432000 4194304 5683644 140737151107632 18446744073709551615 47053568399191 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 93533 29846 1781 364 0 28426 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 374132

[startup+1.50041 s]
/proc/loadavg: 1.44 0.40 0.13 3/489 4081
/proc/meminfo: memFree=22561548/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=399604 CPUtime=1.31 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 38102 932 1 0 118 13 0 0 17 0 1 0 601841422 409194496 35964 33554432000 4194304 5683644 140737151107632 18446744073709551615 4603540 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 99901 35965 1781 364 0 34794 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 399604

[startup+3.10113 s]
/proc/loadavg: 1.44 0.40 0.13 3/489 4081
/proc/meminfo: memFree=22487660/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=454596 CPUtime=2.91 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 51226 932 1 0 276 15 0 0 20 0 1 0 601841422 465506304 49088 33554432000 4194304 5683644 140737151107632 18446744073709551615 4602366 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 113649 49089 1781 364 0 48542 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 454596

[startup+6.30056 s]
/proc/loadavg: 1.64 0.46 0.15 3/489 4081
/proc/meminfo: memFree=22265396/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=558548 CPUtime=6.12 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 77649 932 1 0 590 22 0 0 25 0 1 0 601841422 571953152 75511 33554432000 4194304 5683644 140737151107632 18446744073709551615 47053568396075 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 139637 75511 1781 364 0 74530 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 558548

[startup+12.7004 s]
/proc/loadavg: 1.67 0.48 0.16 3/489 4081
/proc/meminfo: memFree=21979648/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=786184 CPUtime=12.51 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 131365 932 1 0 1221 30 0 0 25 0 1 0 601841422 805052416 129227 33554432000 4194304 5683644 140737151107632 18446744073709551615 4603744 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4076/statm: 196546 129227 1781 364 0 131439 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 786184

[startup+25.5011 s]
/proc/loadavg: 1.83 0.57 0.20 3/489 4082
/proc/meminfo: memFree=21842496/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=869048 CPUtime=25.29 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 260921 932 1 0 2481 48 0 0 25 0 1 0 601841422 889905152 153609 33554432000 4194304 5683644 140737151107632 18446744073709551615 4528038 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/4076/statm: 217262 153609 1815 364 0 152155 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 869048

[startup+51.1006 s]
/proc/loadavg: 1.88 0.69 0.24 3/489 4082
/proc/meminfo: memFree=21999076/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=791536 CPUtime=50.89 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 280985 932 1 0 5036 53 0 0 25 0 1 0 601841422 810532864 134278 33554432000 4194304 5683644 140737151107632 18446744073709551615 4539187 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/4076/statm: 197884 134278 1865 364 0 132774 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 791536

[startup+102.301 s]
/proc/loadavg: 1.95 0.89 0.33 3/489 4084
/proc/meminfo: memFree=21894700/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=791536 CPUtime=102.1 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 280985 932 1 0 10143 67 0 0 25 0 1 0 601841422 810532864 134278 33554432000 4194304 5683644 140737151107632 18446744073709551615 4562986 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/4076/statm: 197884 134278 1865 364 0 132774 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 791536

[startup+162.301 s]
/proc/loadavg: 1.98 1.09 0.44 3/489 4085
/proc/meminfo: memFree=21776112/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=791536 CPUtime=162.1 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 280985 932 1 0 16129 81 0 0 25 0 1 0 601841422 810532864 134278 33554432000 4194304 5683644 140737151107632 18446744073709551615 4864850 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/4076/statm: 197884 134278 1865 364 0 132774 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 791536

[startup+222.318 s]
/proc/loadavg: 2.38 1.33 0.56 3/496 4097
/proc/meminfo: memFree=16713608/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=801788 CPUtime=197.06 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 281204 932 1 0 19616 90 0 0 25 0 2 0 601841422 821030912 134288 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4076/statm: 200447 134288 1872 364 0 135334 0
[pid=4090] ppid=4076 vsize=791544 CPUtime=0.1 cores=0,2,4,6
/proc/4090/stat : 4090 (python) S 4076 4076 3857 0 -1 4202560 893 0 0 0 5 5 0 0 18 0 1 0 601861147 810541056 132783 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682255 0 0 16781312 33554946 72556772316949195 0 0 17 6 0 0 0
/proc/4090/statm: 197886 132783 371 364 0 132773 0
[pid=4092] ppid=4090 vsize=588732 CPUtime=25.01 cores=0,2,4,6
/proc/4092/stat : 4092 (minion) R 4090 4092 4092 0 -1 4202496 241072 0 0 0 2464 37 0 0 25 0 1 0 601861149 602861568 139841 33554432000 134512640 165565024 4294351408 18446744073709551615 159718384 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/4092/statm: 147183 139841 263 7582 0 139598 0
[pid=4076/tid=4091] ppid=4074 vsize=801788 CPUtime=0 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 2 0 601861149 821030912 134288 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 2182064

[startup+282.301 s]
/proc/loadavg: 4.00 2.01 0.84 3/492 4112
/proc/meminfo: memFree=13757388/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=812044 CPUtime=241.84 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 282098 1185077 1 0 19618 91 3758 717 20 0 3 0 601841422 831533056 134295 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4076/statm: 203011 134295 1875 364 0 137895 0
[pid=4099] ppid=4076 vsize=801800 CPUtime=0.16 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4076 4076 3857 0 -1 4202560 940 0 0 0 6 10 0 0 18 0 1 0 601865610 821043200 132788 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682310 0 0 16781312 33554946 72556772316949195 0 0 17 6 0 0 0
/proc/4099/statm: 200450 132788 372 364 0 135334 0
[pid=4101] ppid=4099 vsize=166768 CPUtime=40.38 cores=0,2,4,6
/proc/4101/stat : 4101 (clasp-1.3.7-x86) R 4099 4101 4101 0 -1 4202496 53284 0 0 0 4028 10 0 0 25 0 1 0 601865611 170770432 39483 33554432000 134512640 136139019 4288519792 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4101/statm: 41692 39483 172 398 0 41292 0
[pid=4076/tid=4091] ppid=4074 vsize=812044 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 1185077 0 0 0 0 3758 717 25 0 3 0 601861149 831533056 134295 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
[pid=4076/tid=4100] ppid=4074 vsize=812044 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4100/stat : 4100 (python) S 4074 4076 3857 0 -1 4202560 28 1185077 0 0 0 0 3758 717 20 0 3 0 601865611 831533056 134295 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 1780612

############
# WARNING:
# current cumulated CPU time (290.31 s) is less than in the last sample (296.73 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (6.42001 s) to the 'lost time'.

[startup+296.601 s]
/proc/loadavg: 4.32 2.17 0.91 3/495 4136
/proc/meminfo: memFree=17936620/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=822300 CPUtime=241.88 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 282934 1185077 1 0 19620 93 3758 717 20 0 4 0 601841422 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4076/statm: 205575 134301 1877 364 0 140456 0
[pid=4099] ppid=4076 vsize=801800 CPUtime=0.21 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4076 4076 3857 0 -1 4202560 1110 0 0 0 9 12 0 0 19 0 2 0 601865610 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4099/statm: 200450 132813 396 364 0 135334 0
[pid=4101] ppid=4099 vsize=166768 CPUtime=48.19 cores=0,2,4,6
/proc/4101/stat : 4101 (clasp-1.3.7-x86) T 4099 4101 4101 0 -1 4202496 53284 0 0 0 4809 10 0 0 25 0 1 0 601865611 170770432 39483 33554432000 134512640 136139019 4288519792 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/4101/statm: 41692 39483 172 398 0 41292 0
[pid=4099/tid=4114] ppid=4076 vsize=801800 CPUtime=0 cores=0,2,4,6
/proc/4099/task/4114/stat : 4114 (python) S 4076 4076 3857 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 601870433 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449388696512 0 0 -1 6 0 0 0
[pid=4115] ppid=4076 vsize=812056 CPUtime=0.03 cores=0,2,4,6
/proc/4115/stat : 4115 (python) S 4076 4076 3857 0 -1 4202560 926 0 0 0 1 2 0 0 18 0 1 0 601870435 831545344 132792 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682310 0 0 16781312 33554946 9650279730103943426 0 0 17 0 0 0 0
/proc/4115/statm: 203014 132792 372 364 0 137895 0
[pid=4117] ppid=4115 vsize=240104 CPUtime=6.42 cores=0,2,4,6
/proc/4117/stat : 4117 (wbo1.4a) R 4115 4117 4117 0 -1 4202496 58836 0 0 0 634 8 0 0 25 0 1 0 601870437 245866496 58575 33554432000 134512640 135751879 4292287088 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4117/statm: 60026 58575 22294 303 0 37552 0
[pid=4076/tid=4091] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6

################
# More data... #
################

/proc/4115/stat : 4115 (python) R 4076 4076 3857 0 -1 4202560 1223 0 0 0 1 2 0 0 16 0 2 0 601870435 831545344 132811 33554432000 4194304 5683644 140737151107632 18446744073709551615 4657520 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/4115/statm: 203014 132811 391 364 0 137895 0
[pid=4076/tid=4091] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 1185077 0 0 0 0 3758 717 25 0 4 0 601861149 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
[pid=4076/tid=4100] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4100/stat : 4100 (python) S 4074 4076 3857 0 -1 4202560 28 1185077 0 0 0 0 3758 717 20 0 4 0 601865611 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 2 0 0 0
[pid=4076/tid=4116] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4116/stat : 4116 (python) S 4074 4076 3857 0 -1 4202560 32 1185077 0 0 0 0 3758 717 20 0 4 0 601870437 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 290.31
Current children cumulated vsize (KiB) 2602924
#
############


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

[startup+288.001 s]
/proc/loadavg: 4.00 2.04 0.85 3/492 4113
/proc/meminfo: memFree=13757444/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=812044 CPUtime=241.84 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 282098 1185077 1 0 19618 91 3758 717 20 0 3 0 601841422 831533056 134295 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4076/statm: 203011 134295 1875 364 0 137895 0
[pid=4099] ppid=4076 vsize=801800 CPUtime=0.19 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4076 4076 3857 0 -1 4202560 947 0 0 0 8 11 0 0 18 0 1 0 601865610 821043200 132788 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682310 0 0 16781312 33554946 72556772316949195 0 0 17 6 0 0 0
/proc/4099/statm: 200450 132788 372 364 0 135334 0
[pid=4101] ppid=4099 vsize=166768 CPUtime=46.08 cores=0,2,4,6
/proc/4101/stat : 4101 (clasp-1.3.7-x86) R 4099 4101 4101 0 -1 4202496 53284 0 0 0 4598 10 0 0 25 0 1 0 601865611 170770432 39483 33554432000 134512640 136139019 4288519792 18446744073709551615 134815804 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4101/statm: 41692 39483 172 398 0 41292 0
[pid=4076/tid=4091] ppid=4074 vsize=812044 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 1185077 0 0 0 0 3758 717 25 0 3 0 601861149 831533056 134295 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
[pid=4076/tid=4100] ppid=4074 vsize=812044 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4100/stat : 4100 (python) S 4074 4076 3857 0 -1 4202560 28 1185077 0 0 0 0 3758 717 20 0 3 0 601865611 831533056 134295 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 288.11
Current children cumulated vsize (KiB) 1780612

[startup+291.201 s]
/proc/loadavg: 4.00 2.07 0.87 3/496 4117
/proc/meminfo: memFree=13746008/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=822300 CPUtime=241.88 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 282934 1185077 1 0 19620 93 3758 717 20 0 4 0 601841422 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4076/statm: 205575 134301 1877 364 0 140456 0
[pid=4099] ppid=4076 vsize=801800 CPUtime=0.21 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4076 4076 3857 0 -1 4202560 1110 0 0 0 9 12 0 0 19 0 2 0 601865610 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4099/statm: 200450 132813 396 364 0 135334 0
[pid=4101] ppid=4099 vsize=166768 CPUtime=48.19 cores=0,2,4,6
/proc/4101/stat : 4101 (clasp-1.3.7-x86) T 4099 4101 4101 0 -1 4202496 53284 0 0 0 4809 10 0 0 25 0 1 0 601865611 170770432 39483 33554432000 134512640 136139019 4288519792 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/4101/statm: 41692 39483 172 398 0 41292 0
[pid=4099/tid=4114] ppid=4076 vsize=801800 CPUtime=0 cores=0,2,4,6
/proc/4099/task/4114/stat : 4114 (python) S 4076 4076 3857 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 601870433 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449388696512 0 0 -1 6 0 0 0
[pid=4115] ppid=4076 vsize=812056 CPUtime=0.01 cores=0,2,4,6
/proc/4115/stat : 4115 (python) S 4076 4076 3857 0 -1 4202560 765 0 0 0 0 1 0 0 18 0 1 0 601870435 831545344 132768 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682310 0 0 16781312 33554946 9650277462361211138 0 0 17 0 0 0 0
/proc/4115/statm: 203014 132768 348 364 0 137895 0
[pid=4117] ppid=4115 vsize=116024 CPUtime=1.03 cores=0,2,4,6
/proc/4117/stat : 4117 (wbo1.4a) R 4115 4117 4117 0 -1 4202496 10302 0 0 0 101 2 0 0 24 0 1 0 601870437 118808576 10041 33554432000 134512640 135751879 4292287088 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4117/statm: 29006 10041 3789 303 0 6532 0
[pid=4076/tid=4091] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 1185077 0 0 0 0 3758 717 25 0 4 0 601861149 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
[pid=4076/tid=4100] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4100/stat : 4100 (python) S 4074 4076 3857 0 -1 4202560 28 1185077 0 0 0 0 3758 717 20 0 4 0 601865611 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 2 0 0 0
[pid=4076/tid=4116] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4116/stat : 4116 (python) S 4074 4076 3857 0 -1 4202560 32 1185077 0 0 0 0 3758 717 20 0 4 0 601870437 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 291.32
Current children cumulated vsize (KiB) 2718948

[startup+294.401 s]
/proc/loadavg: 4.00 2.07 0.87 2/494 4133
/proc/meminfo: memFree=18041592/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=822300 CPUtime=241.88 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 282934 1185077 1 0 19620 93 3758 717 20 0 4 0 601841422 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4076/statm: 205575 134301 1877 364 0 140456 0
[pid=4099] ppid=4076 vsize=801800 CPUtime=0.21 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4076 4076 3857 0 -1 4202560 1110 0 0 0 9 12 0 0 19 0 2 0 601865610 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4099/statm: 200450 132813 396 364 0 135334 0
[pid=4101] ppid=4099 vsize=166768 CPUtime=48.19 cores=0,2,4,6
/proc/4101/stat : 4101 (clasp-1.3.7-x86) T 4099 4101 4101 0 -1 4202496 53284 0 0 0 4809 10 0 0 25 0 1 0 601865611 170770432 39483 33554432000 134512640 136139019 4288519792 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/4101/statm: 41692 39483 172 398 0 41292 0
[pid=4099/tid=4114] ppid=4076 vsize=801800 CPUtime=0 cores=0,2,4,6
/proc/4099/task/4114/stat : 4114 (python) S 4076 4076 3857 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 601870433 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449388696512 0 0 -1 6 0 0 0
[pid=4115] ppid=4076 vsize=812056 CPUtime=0.03 cores=0,2,4,6
/proc/4115/stat : 4115 (python) S 4076 4076 3857 0 -1 4202560 926 0 0 0 1 2 0 0 18 0 1 0 601870435 831545344 132792 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682310 0 0 16781312 33554946 9650279730103943426 0 0 17 0 0 0 0
/proc/4115/statm: 203014 132792 372 364 0 137895 0
[pid=4117] ppid=4115 vsize=189560 CPUtime=4.22 cores=0,2,4,6
/proc/4117/stat : 4117 (wbo1.4a) R 4115 4117 4117 0 -1 4202496 39548 0 0 0 416 6 0 0 25 0 1 0 601870437 194109440 39287 33554432000 134512640 135751879 4292287088 18446744073709551615 135228447 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4117/statm: 47390 39287 15205 303 0 24916 0
[pid=4076/tid=4091] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 1185077 0 0 0 0 3758 717 25 0 4 0 601861149 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
[pid=4076/tid=4100] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4100/stat : 4100 (python) S 4074 4076 3857 0 -1 4202560 28 1185077 0 0 0 0 3758 717 20 0 4 0 601865611 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 2 0 0 0
[pid=4076/tid=4116] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4116/stat : 4116 (python) S 4074 4076 3857 0 -1 4202560 32 1185077 0 0 0 0 3758 717 20 0 4 0 601870437 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 294.53
Current children cumulated vsize (KiB) 2792484

[startup+296.018 s]
/proc/loadavg: 4.32 2.17 0.91 3/495 4136
/proc/meminfo: memFree=17936620/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=822300 CPUtime=241.88 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 282934 1185077 1 0 19620 93 3758 717 20 0 4 0 601841422 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4076/statm: 205575 134301 1877 364 0 140456 0
[pid=4099] ppid=4076 vsize=801800 CPUtime=0.21 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4076 4076 3857 0 -1 4202560 1110 0 0 0 9 12 0 0 19 0 2 0 601865610 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4099/statm: 200450 132813 396 364 0 135334 0
[pid=4101] ppid=4099 vsize=166768 CPUtime=48.19 cores=0,2,4,6
/proc/4101/stat : 4101 (clasp-1.3.7-x86) T 4099 4101 4101 0 -1 4202496 53284 0 0 0 4809 10 0 0 25 0 1 0 601865611 170770432 39483 33554432000 134512640 136139019 4288519792 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/4101/statm: 41692 39483 172 398 0 41292 0
[pid=4099/tid=4114] ppid=4076 vsize=801800 CPUtime=0 cores=0,2,4,6
/proc/4099/task/4114/stat : 4114 (python) S 4076 4076 3857 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 601870433 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449388696512 0 0 -1 6 0 0 0
[pid=4115] ppid=4076 vsize=812056 CPUtime=0.03 cores=0,2,4,6
/proc/4115/stat : 4115 (python) S 4076 4076 3857 0 -1 4202560 926 0 0 0 1 2 0 0 18 0 1 0 601870435 831545344 132792 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682310 0 0 16781312 33554946 9650279730103943426 0 0 17 0 0 0 0
/proc/4115/statm: 203014 132792 372 364 0 137895 0
[pid=4117] ppid=4115 vsize=226772 CPUtime=5.83 cores=0,2,4,6
/proc/4117/stat : 4117 (wbo1.4a) R 4115 4117 4117 0 -1 4202496 53760 0 0 0 576 7 0 0 25 0 1 0 601870437 232214528 53499 33554432000 134512640 135751879 4292287088 18446744073709551615 134564614 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4117/statm: 56693 53499 20645 303 0 34219 0
[pid=4076/tid=4091] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 1185077 0 0 0 0 3758 717 25 0 4 0 601861149 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
[pid=4076/tid=4100] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4100/stat : 4100 (python) S 4074 4076 3857 0 -1 4202560 28 1185077 0 0 0 0 3758 717 20 0 4 0 601865611 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 2 0 0 0
[pid=4076/tid=4116] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4116/stat : 4116 (python) S 4074 4076 3857 0 -1 4202560 32 1185077 0 0 0 0 3758 717 20 0 4 0 601870437 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 296.14
Current children cumulated vsize (KiB) 2829696

[startup+296.401 s]
/proc/loadavg: 4.32 2.17 0.91 3/495 4136
/proc/meminfo: memFree=17936620/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=822300 CPUtime=241.88 cores=0,2,4,6
/proc/4076/stat : 4076 (python) S 4074 4076 3857 0 -1 4202496 282934 1185077 1 0 19620 93 3758 717 20 0 4 0 601841422 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4076/statm: 205575 134301 1877 364 0 140456 0
[pid=4099] ppid=4076 vsize=801800 CPUtime=0.21 cores=0,2,4,6
/proc/4099/stat : 4099 (python) S 4076 4076 3857 0 -1 4202560 1110 0 0 0 9 12 0 0 19 0 2 0 601865610 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4099/statm: 200450 132813 396 364 0 135334 0
[pid=4101] ppid=4099 vsize=166768 CPUtime=48.19 cores=0,2,4,6
/proc/4101/stat : 4101 (clasp-1.3.7-x86) T 4099 4101 4101 0 -1 4202496 53284 0 0 0 4809 10 0 0 25 0 1 0 601865611 170770432 39483 33554432000 134512640 136139019 4288519792 18446744073709551615 134815804 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/4101/statm: 41692 39483 172 398 0 41292 0
[pid=4099/tid=4114] ppid=4076 vsize=801800 CPUtime=0 cores=0,2,4,6
/proc/4099/task/4114/stat : 4114 (python) S 4076 4076 3857 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 601870433 821043200 132813 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449388696512 0 0 -1 6 0 0 0
[pid=4115] ppid=4076 vsize=812056 CPUtime=0.03 cores=0,2,4,6
/proc/4115/stat : 4115 (python) S 4076 4076 3857 0 -1 4202560 926 0 0 0 1 2 0 0 18 0 1 0 601870435 831545344 132792 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660682310 0 0 16781312 33554946 9650279730103943426 0 0 17 0 0 0 0
/proc/4115/statm: 203014 132792 372 364 0 137895 0
[pid=4117] ppid=4115 vsize=233636 CPUtime=6.22 cores=0,2,4,6
/proc/4117/stat : 4117 (wbo1.4a) R 4115 4117 4117 0 -1 4202496 56726 0 0 0 614 8 0 0 25 0 1 0 601870437 239243264 56465 33554432000 134512640 135751879 4292287088 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4117/statm: 58409 56465 21785 303 0 35935 0
[pid=4076/tid=4091] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4091/stat : 4091 (python) S 4074 4076 3857 0 -1 4202560 25 1185077 0 0 0 0 3758 717 25 0 4 0 601861149 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
[pid=4076/tid=4100] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4100/stat : 4100 (python) S 4074 4076 3857 0 -1 4202560 28 1185077 0 0 0 0 3758 717 20 0 4 0 601865611 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 2 0 0 0
[pid=4076/tid=4116] ppid=4074 vsize=822300 CPUtime=44.75 cores=0,2,4,6
/proc/4076/task/4116/stat : 4116 (python) S 4074 4076 3857 0 -1 4202560 32 1185077 0 0 0 0 3758 717 20 0 4 0 601870437 842035200 134301 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 33554434 18446604440450982976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 296.53
Current children cumulated vsize (KiB) 2836560

[startup+296.801 s]
/proc/loadavg: 4.32 2.17 0.91 3/495 4136
/proc/meminfo: memFree=17936620/32951124 swapFree=46575304/67111528
[pid=4076] ppid=4074 vsize=637764 CPUtime=296.97 cores=0,2,4,6
/proc/4076/stat : 4076 (python) R 4074 4076 3857 0 -1 4202496 308689 1306766 1 0 19623 98 9220 756 17 0 2 0 601841422 653070336 88204 33554432000 4194304 5683644 140737151107632 18446744073709551615 268660317623 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/4076/statm: 159441 88204 1871 364 0 94333 0
[pid=4076/tid=4116] ppid=4074 vsize=637764 CPUtime=99.76 cores=0,2,4,6
/proc/4076/task/4116/stat : 4116 (python) S 4074 4076 3857 0 -1 4202560 32 1306766 0 0 0 0 9220 756 18 0 2 0 601870437 653070336 88204 33554432000 4194304 5683644 140737151107632 18446744073709551615 268672485809 0 0 16781312 0 18446604440450982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 296.97
Current children cumulated vsize (KiB) 637764

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 6.42001
#  lost CPU user time (s): 6.34
#  lost CPU system time (s): 0.0799999

Real time (s): 296.883
CPU time (s): 303.488
CPU user time (s): 294.816
CPU system time (s): 8.67169
CPU usage (%): 102.225
Max. virtual memory (cumulated for all children) (KiB): 5718940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.476
system time used= 8.59169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1655451
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= 1667
involuntary context switches= 829

runsolver used 1.47378 second user time and 3.13052 second system time

The end