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-3482376-1307576691/watcher-3482376-1307576691 -o /tmp/evaluation-result-3482376-1307576691/solver-3482376-1307576691 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482376-1307576691.opb -seed 1474114962 -budget 1800
running on 4 cores: 1,3,5,7
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: 4.59 3.16 1.40 3/541 3341
/proc/meminfo: memFree=17132440/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/3341/stat : 3341 (python) R 3339 3341 2587 0 -1 4202496 734 0 0 0 0 0 0 0 20 0 1 0 869267785 15548416 622 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970546021 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3341/statm: 3796 622 322 364 0 283 0
[startup+0.110365 s]
/proc/loadavg: 4.59 3.16 1.40 3/541 3341
/proc/meminfo: memFree=17132440/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=40980 CPUtime=0.04 cores=1,3,5,7
/proc/3341/stat : 3341 (python) D 3339 3341 2587 0 -1 4202496 1675 0 0 0 3 1 0 0 20 0 1 0 869267785 41963520 1500 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970550016 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/3341/statm: 10245 1500 461 364 0 1028 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 40980
[startup+0.201402 s]
/proc/loadavg: 4.59 3.16 1.40 3/541 3341
/proc/meminfo: memFree=17132440/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=96132 CPUtime=0.06 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 3032 464 1 0 4 2 0 0 18 0 1 0 869267785 98439168 2483 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970550016 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 8
/proc/3341/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96132
[startup+0.300302 s]
/proc/loadavg: 4.59 3.16 1.40 3/541 3341
/proc/meminfo: memFree=17132440/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=120984 CPUtime=0.12 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 5188 930 1 0 9 3 0 0 18 0 1 0 869267785 123887616 3603 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970546021 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 8
/proc/3341/statm: 30246 3603 925 364 0 2695 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 120984
[startup+0.700228 s]
/proc/loadavg: 4.59 3.16 1.40 3/541 3341
/proc/meminfo: memFree=17132440/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=282536 CPUtime=0.38 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 9212 930 1 0 28 10 0 0 17 0 1 0 869267785 289316864 6944 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570255 0 0 16781312 2 17102736244288258048 0 0 17 7 0 0 8
/proc/3341/statm: 70634 6944 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282536
[startup+1.50113 s]
/proc/loadavg: 4.59 3.16 1.40 3/545 3351
/proc/meminfo: memFree=17090736/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=296228 CPUtime=0.81 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 12210 1362 1 0 58 15 6 2 19 0 2 0 869267785 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/3341/statm: 74057 7913 1863 364 0 8944 0
[pid=3349] ppid=3341 vsize=285984 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 718 0 0 0 0 0 0 0 15 0 1 0 869267891 292847616 6365 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570255 0 0 16781312 33554946 3500259571551666437 0 0 17 5 0 0 0
/proc/3349/statm: 71496 6365 319 364 0 6383 0
[pid=3351] ppid=3349 vsize=75500 CPUtime=0.42 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) R 3349 3351 3351 0 -1 4202496 17259 0 0 0 24 18 0 0 18 0 1 0 869267892 77312000 16274 33554432000 4194304 13684479 140734472891344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3351/statm: 18875 16274 768 2317 0 16553 0
[pid=3341/tid=3350] ppid=3339 vsize=296228 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3350/stat : 3350 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 19 0 2 0 869267891 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 657712
[startup+3.10086 s]
/proc/loadavg: 4.59 3.16 1.40 3/545 3351
/proc/meminfo: memFree=17037540/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=296228 CPUtime=0.81 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 12210 1362 1 0 58 15 6 2 19 0 2 0 869267785 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/3341/statm: 74057 7913 1863 364 0 8944 0
[pid=3349] ppid=3341 vsize=285984 CPUtime=0 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 1 0 869267891 292847616 6365 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570255 0 0 16781312 33554946 3500259571551666437 0 0 17 5 0 0 0
/proc/3349/statm: 71496 6365 319 364 0 6383 0
[pid=3351] ppid=3349 vsize=77788 CPUtime=2.02 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) R 3349 3351 3351 0 -1 4202496 19022 0 0 0 182 20 0 0 20 0 1 0 869267892 79654912 16902 33554432000 4194304 13684479 140734472891344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3351/statm: 19447 16902 768 2317 0 17125 0
[pid=3341/tid=3350] ppid=3339 vsize=296228 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3350/stat : 3350 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 19 0 2 0 869267891 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 660000
[startup+6.3003 s]
/proc/loadavg: 4.46 3.16 1.41 3/545 3351
/proc/meminfo: memFree=17042456/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=296228 CPUtime=0.81 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 12210 1362 1 0 58 15 6 2 19 0 2 0 869267785 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/3341/statm: 74057 7913 1863 364 0 8944 0
[pid=3349] ppid=3341 vsize=285984 CPUtime=0.01 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 879 0 0 0 1 0 0 0 15 0 1 0 869267891 292847616 6389 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570255 0 0 16781312 33554946 3500256547894690053 0 0 17 5 0 0 0
/proc/3349/statm: 71496 6389 343 364 0 6383 0
[pid=3351] ppid=3349 vsize=77788 CPUtime=5.18 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) R 3349 3351 3351 0 -1 4202496 19080 0 0 0 496 22 0 0 25 0 1 0 869267892 79654912 16941 33554432000 4194304 13684479 140734472891344 18446744073709551615 7388128 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3351/statm: 19447 16941 772 2317 0 17125 0
[pid=3341/tid=3350] ppid=3339 vsize=296228 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3350/stat : 3350 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 19 0 2 0 869267891 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 660000
[startup+22.0136 s]
/proc/loadavg: 4.46 3.16 1.41 3/545 3351
/proc/meminfo: memFree=17042456/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=296228 CPUtime=0.81 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 12210 1362 1 0 58 15 6 2 19 0 2 0 869267785 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/3341/statm: 74057 7913 1863 364 0 8944 0
[pid=3349] ppid=3341 vsize=285984 CPUtime=0.08 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 989 0 0 0 4 4 0 0 15 0 1 0 869267891 292847616 6394 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570255 0 0 16781312 33554946 5623606151888251740 0 0 17 5 0 0 0
/proc/3349/statm: 71496 6394 348 364 0 6383 0
[pid=3351] ppid=3349 vsize=124860 CPUtime=20.9 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) R 3349 3351 3351 0 -1 4202496 34654 0 0 0 2039 51 0 0 25 0 1 0 869267892 127856640 29028 33554432000 4194304 13684479 140734472891344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3351/statm: 31215 29028 836 2317 0 28893 0
[pid=3341/tid=3350] ppid=3339 vsize=296228 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3350/stat : 3350 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 19 0 2 0 869267891 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.79
Current children cumulated vsize (KiB) 707072
[startup+25.501 s]
/proc/loadavg: 4.53 3.26 1.48 3/545 3353
/proc/meminfo: memFree=16992004/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=296228 CPUtime=0.81 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 12210 1362 1 0 58 15 6 2 19 0 2 0 869267785 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/3341/statm: 74057 7913 1863 364 0 8944 0
[pid=3349] ppid=3341 vsize=285984 CPUtime=0.11 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 991 0 0 0 6 5 0 0 15 0 1 0 869267891 292847616 6394 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570255 0 0 16781312 33554946 5623606151888251740 0 0 17 5 0 0 0
/proc/3349/statm: 71496 6394 348 364 0 6383 0
[pid=3351] ppid=3349 vsize=124860 CPUtime=24.39 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) R 3349 3351 3351 0 -1 4202496 34670 0 0 0 2383 56 0 0 25 0 1 0 869267892 127856640 29044 33554432000 4194304 13684479 140734472891344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3351/statm: 31215 29044 836 2317 0 28893 0
[pid=3341/tid=3350] ppid=3339 vsize=296228 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3350/stat : 3350 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 19 0 2 0 869267891 303337472 7913 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 707072
[startup+51.1006 s]
/proc/loadavg: 3.85 3.20 1.51 4/550 3358
/proc/meminfo: memFree=16981676/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=306484 CPUtime=0.84 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 13154 1362 1 0 61 15 6 2 20 0 3 0 869267785 313839616 7928 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 8
/proc/3341/statm: 76621 7928 1874 364 0 11505 0
[pid=3349] ppid=3341 vsize=296228 CPUtime=0.21 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 1172 0 0 0 11 10 0 0 17 0 2 0 869267891 303337472 6462 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3349/statm: 74057 6462 411 364 0 8944 0
[pid=3351] ppid=3349 vsize=123620 CPUtime=46.65 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) T 3349 3351 3351 0 -1 4202496 37556 0 0 0 4590 75 0 0 25 0 1 0 869267892 126586880 28850 33554432000 4194304 13684479 140734472891344 18446744073709551615 4967209 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3351/statm: 30905 28850 843 2317 0 28583 0
[pid=3349/tid=3354] ppid=3341 vsize=296228 CPUtime=0 cores=1,3,5,7
/proc/3349/task/3354/stat : 3354 (python) S 3341 3341 2587 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869272562 303337472 6462 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604459369448384 0 0 -1 5 0 0 0
[pid=3355] ppid=3341 vsize=296240 CPUtime=0.01 cores=1,3,5,7
/proc/3355/stat : 3355 (python) S 3341 3341 2587 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869272564 303349760 6393 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570310 0 0 16781312 33554946 4376473581865894148 0 0 17 3 0 0 0
/proc/3355/statm: 74060 6393 343 364 0 8944 0
[pid=3357] ppid=3355 vsize=9432 CPUtime=3.29 cores=1,3,5,7
/proc/3357/stat : 3357 (clasp-1.3.7-x86) R 3355 3357 3357 0 -1 4202496 2451 0 0 0 329 0 0 0 25 0 1 0 869272564 9658368 2087 33554432000 134512640 136139019 4287440240 18446744073709551615 134832279 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/3357/statm: 2358 2087 183 398 0 1958 0
[pid=3341/tid=3350] ppid=3339 vsize=306484 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3350/stat : 3350 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 19 0 3 0 869267891 313839616 7928 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 7 0 0 0
[pid=3341/tid=3356] ppid=3339 vsize=306484 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3356/stat : 3356 (python) S 3339 3341 2587 0 -1 4202560 29 1362 0 0 0 0 6 2 20 0 3 0 869272564 313839616 7928 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 1032004
[startup+102.301 s]
/proc/loadavg: 2.80 3.01 1.53 3/557 3367
/proc/meminfo: memFree=16802064/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=316740 CPUtime=0.86 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 14005 1362 1 0 63 15 6 2 20 0 4 0 869267785 324341760 7934 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 8
/proc/3341/statm: 79185 7934 1876 364 0 14066 0
[pid=3349] ppid=3341 vsize=296228 CPUtime=0.21 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 1172 0 0 0 11 10 0 0 17 0 2 0 869267891 303337472 6462 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3349/statm: 74057 6462 411 364 0 8944 0
[pid=3351] ppid=3349 vsize=123620 CPUtime=46.65 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) T 3349 3351 3351 0 -1 4202496 37556 0 0 0 4590 75 0 0 25 0 1 0 869267892 126586880 28850 33554432000 4194304 13684479 140734472891344 18446744073709551615 4967209 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3351/statm: 30905 28850 843 2317 0 28583 0
[pid=3349/tid=3354] ppid=3341 vsize=296228 CPUtime=0 cores=1,3,5,7
/proc/3349/task/3354/stat : 3354 (python) S 3341 3341 2587 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869272562 303337472 6462 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604459369448384 0 0 -1 5 0 0 0
[pid=3355] ppid=3341 vsize=296240 CPUtime=0.21 cores=1,3,5,7
/proc/3355/stat : 3355 (python) S 3341 3341 2587 0 -1 4202560 1085 0 0 0 9 12 0 0 19 0 2 0 869272564 303349760 6442 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3355/statm: 74060 6442 391 364 0 8944 0
[pid=3357] ppid=3355 vsize=14200 CPUtime=47.21 cores=1,3,5,7
/proc/3357/stat : 3357 (clasp-1.3.7-x86) T 3355 3357 3357 0 -1 4202496 3637 0 0 0 4720 1 0 0 25 0 1 0 869272564 14540800 3273 33554432000 134512640 136139019 4287440240 18446744073709551615 134632512 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/3357/statm: 3550 3273 183 398 0 3150 0
[pid=3355/tid=3364] ppid=3341 vsize=296240 CPUtime=0 cores=1,3,5,7
/proc/3355/task/3364/stat : 3364 (python) S 3341 3341 2587 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869277287 303349760 6442 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604454987343680 0 0 -1 7 0 0 0
[pid=3365] ppid=3341 vsize=306496 CPUtime=0.01 cores=1,3,5,7
/proc/3365/stat : 3365 (python) S 3341 3341 2587 0 -1 4202560 933 0 0 0 0 1 0 0 15 0 1 0 869277289 313851904 6398 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570310 0 0 16781312 33554946 12300329183719948548 0 0 17 7 0 0 0
################
# More data... #
################
[pid=3341/tid=3389] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3389/stat : 3389 (python) S 3339 3341 2587 0 -1 4202560 31 1362 0 0 0 0 6 2 20 0 10 0 869309658 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3438] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3438/stat : 3438 (python) S 3339 3341 2587 0 -1 4202560 30 1362 0 0 0 0 6 2 20 0 10 0 869319181 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3472] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3472/stat : 3472 (python) S 3339 3341 2587 0 -1 4202560 31 1362 0 0 0 0 6 2 20 0 10 0 869365454 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3657] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3657/stat : 3657 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 21 0 10 0 869430378 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3754] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3754/stat : 3754 (python) S 3339 3341 2587 0 -1 4202560 30 1362 0 0 0 0 6 2 20 0 10 0 869435230 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 12961240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.3 s]
/proc/loadavg: 2.87 2.83 2.31 3/592 3780
/proc/meminfo: memFree=10907064/32951132 swapFree=45426552/67111528
[pid=3341] ppid=3339 vsize=378880 CPUtime=1.95 cores=1,3,5,7
/proc/3341/stat : 3341 (python) S 3339 3341 2587 0 -1 4202496 20732 1362 1 0 168 19 6 2 18 0 10 0 869267785 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 8
/proc/3341/statm: 94720 8096 1888 364 0 29583 0
[pid=3349] ppid=3341 vsize=296228 CPUtime=4.89 cores=1,3,5,7
/proc/3349/stat : 3349 (python) S 3341 3341 2587 0 -1 4202560 1245 0 0 0 226 263 0 0 15 0 2 0 869267891 303337472 6463 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3349/statm: 74057 6463 412 364 0 8944 0
[pid=3351] ppid=3349 vsize=147128 CPUtime=1062.38 cores=1,3,5,7
/proc/3351/stat : 3351 (scip-2.0.1.linu) T 3349 3351 3351 0 -1 4202496 44385 0 0 0 105073 1165 0 0 25 0 1 0 869267892 150659072 34429 33554432000 4194304 13684479 140734472891344 18446744073709551615 7268013 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3351/statm: 36782 34429 846 2317 0 34460 0
[pid=3349/tid=3354] ppid=3341 vsize=296228 CPUtime=0 cores=1,3,5,7
/proc/3349/task/3354/stat : 3354 (python) S 3341 3341 2587 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869272562 303337472 6463 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604459369448384 0 0 -1 5 0 0 0
[pid=3355] ppid=3341 vsize=296240 CPUtime=1.05 cores=1,3,5,7
/proc/3355/stat : 3355 (python) S 3341 3341 2587 0 -1 4202560 1184 0 0 0 49 56 0 0 18 0 2 0 869272564 303349760 6442 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3355/statm: 74060 6442 391 364 0 8944 0
[pid=3357] ppid=3355 vsize=18500 CPUtime=229.03 cores=1,3,5,7
/proc/3357/stat : 3357 (clasp-1.3.7-x86) T 3355 3357 3357 0 -1 4202496 4849 0 0 0 22902 1 0 0 25 0 1 0 869272564 18944000 4374 33554432000 134512640 136139019 4287440240 18446744073709551615 134598484 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/3357/statm: 4625 4374 183 398 0 4225 0
[pid=3355/tid=3364] ppid=3341 vsize=296240 CPUtime=0 cores=1,3,5,7
/proc/3355/task/3364/stat : 3364 (python) S 3341 3341 2587 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 869277287 303349760 6442 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604454987343680 0 0 -1 7 0 0 0
[pid=3365] ppid=3341 vsize=306496 CPUtime=0.75 cores=1,3,5,7
/proc/3365/stat : 3365 (python) R 3341 3341 2587 0 -1 4202560 1191 0 0 0 35 40 0 0 15 0 2 0 869277289 313851904 6446 33554432000 4194304 5683644 140737486017856 18446744073709551615 242970570310 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3365/statm: 76624 6446 391 364 0 11505 0
[pid=3367] ppid=3365 vsize=131824 CPUtime=159.54 cores=1,3,5,7
/proc/3367/stat : 3367 (scip-2.0.1.linu) R 3365 3367 3367 0 -1 4202496 46662 0 0 0 15890 64 0 0 25 0 1 0 869277290 134987776 30584 33554432000 4194304 15243407 140735789105632 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3367/statm: 32956 30584 986 2698 0 30251 0
[pid=3365/tid=3369] ppid=3341 vsize=306496 CPUtime=0 cores=1,3,5,7
/proc/3365/task/3369/stat : 3369 (python) S 3341 3341 2587 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869282209 313851904 6446 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604454892787648 0 0 -1 3 0 0 0
[pid=3376] ppid=3341 vsize=316752 CPUtime=0.24 cores=1,3,5,7
/proc/3376/stat : 3376 (python) S 3341 3341 2587 0 -1 4202560 1176 0 0 0 11 13 0 0 16 0 2 0 869291128 324354048 6450 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3376/statm: 79188 6450 391 364 0 14066 0
[pid=3378] ppid=3376 vsize=120480 CPUtime=49.64 cores=1,3,5,7
/proc/3378/stat : 3378 (wbo1.4a) T 3376 3378 3378 0 -1 4202496 30018 0 0 0 4931 33 0 0 25 0 1 0 869291129 123371520 29623 33554432000 134512640 135751879 4289368080 18446744073709551615 134611292 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3378/statm: 30120 29623 143 303 0 29815 0
[pid=3376/tid=3383] ppid=3341 vsize=316752 CPUtime=0 cores=1,3,5,7
/proc/3376/task/3383/stat : 3383 (python) S 3341 3341 2587 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869296094 324354048 6450 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604461408545664 0 0 -1 7 0 0 0
[pid=3388] ppid=3341 vsize=327008 CPUtime=0.22 cores=1,3,5,7
/proc/3388/stat : 3388 (python) S 3341 3341 2587 0 -1 4202560 1141 0 0 0 9 13 0 0 16 0 2 0 869309658 334856192 6454 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3388/statm: 81752 6454 391 364 0 16627 0
[pid=3390] ppid=3388 vsize=8546264 CPUtime=48.65 cores=1,3,5,7
/proc/3390/stat : 3390 (java) T 3388 3390 3390 0 -1 4202496 302877 0 1 0 4831 34 0 0 15 0 19 0 869309659 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3390/statm: 2136566 291185 2249 9 0 2127307 0
[pid=3390/tid=3391] ppid=3388 vsize=8546264 CPUtime=46.39 cores=1,3,5,7
/proc/3390/task/3391/stat : 3391 (java) T 3388 3390 3390 0 -1 4202560 236914 0 1 0 4616 23 0 0 25 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 46912505866876 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3390/tid=3393] ppid=3388 vsize=8546264 CPUtime=0.07 cores=1,3,5,7
/proc/3390/task/3393/stat : 3393 (java) T 3388 3390 3390 0 -1 4202560 9329 0 0 0 6 1 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3394] ppid=3388 vsize=8546264 CPUtime=0.04 cores=1,3,5,7
/proc/3390/task/3394/stat : 3394 (java) T 3388 3390 3390 0 -1 4202560 6273 0 0 0 4 0 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3390/tid=3395] ppid=3388 vsize=8546264 CPUtime=0.03 cores=1,3,5,7
/proc/3390/task/3395/stat : 3395 (java) T 3388 3390 3390 0 -1 4202560 6507 0 0 0 3 0 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3396] ppid=3388 vsize=8546264 CPUtime=0.03 cores=1,3,5,7
/proc/3390/task/3396/stat : 3396 (java) T 3388 3390 3390 0 -1 4202560 2668 0 0 0 3 0 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3390/tid=3397] ppid=3388 vsize=8546264 CPUtime=0.05 cores=1,3,5,7
/proc/3390/task/3397/stat : 3397 (java) T 3388 3390 3390 0 -1 4202560 6573 0 0 0 4 1 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3398] ppid=3388 vsize=8546264 CPUtime=0.05 cores=1,3,5,7
/proc/3390/task/3398/stat : 3398 (java) T 3388 3390 3390 0 -1 4202560 7197 0 0 0 4 1 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3390/tid=3399] ppid=3388 vsize=8546264 CPUtime=0.06 cores=1,3,5,7
/proc/3390/task/3399/stat : 3399 (java) T 3388 3390 3390 0 -1 4202560 10051 0 0 0 5 1 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3400] ppid=3388 vsize=8546264 CPUtime=0.03 cores=1,3,5,7
/proc/3390/task/3400/stat : 3400 (java) T 3388 3390 3390 0 -1 4202560 3594 0 0 0 3 0 0 0 15 0 19 0 869309660 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3390/tid=3401] ppid=3388 vsize=8546264 CPUtime=0 cores=1,3,5,7
/proc/3390/task/3401/stat : 3401 (java) T 3388 3390 3390 0 -1 4202560 967 0 0 0 0 0 0 0 15 0 19 0 869309661 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366720 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3402] ppid=3388 vsize=8546264 CPUtime=0 cores=1,3,5,7
/proc/3390/task/3402/stat : 3402 (java) T 3388 3390 3390 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869309662 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3403] ppid=3388 vsize=8546264 CPUtime=0 cores=1,3,5,7
/proc/3390/task/3403/stat : 3403 (java) T 3388 3390 3390 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869309662 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3404] ppid=3388 vsize=8546264 CPUtime=0 cores=1,3,5,7
/proc/3390/task/3404/stat : 3404 (java) T 3388 3390 3390 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309664 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982373809 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3405] ppid=3388 vsize=8546264 CPUtime=1.01 cores=1,3,5,7
/proc/3390/task/3405/stat : 3405 (java) T 3388 3390 3390 0 -1 4202560 4612 0 0 0 101 0 0 0 15 0 19 0 869309664 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3390/tid=3407] ppid=3388 vsize=8546264 CPUtime=0.76 cores=1,3,5,7
/proc/3390/task/3407/stat : 3407 (java) T 3388 3390 3390 0 -1 4202560 6796 0 0 0 75 1 0 0 15 0 19 0 869309664 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3390/tid=3408] ppid=3388 vsize=8546264 CPUtime=0 cores=1,3,5,7
/proc/3390/task/3408/stat : 3408 (java) T 3388 3390 3390 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309664 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3390/tid=3409] ppid=3388 vsize=8546264 CPUtime=0 cores=1,3,5,7
/proc/3390/task/3409/stat : 3409 (java) T 3388 3390 3390 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869309664 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366720 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3390/tid=3430] ppid=3388 vsize=8546264 CPUtime=0 cores=1,3,5,7
/proc/3390/task/3430/stat : 3430 (java) T 3388 3390 3390 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869309712 8751374336 291185 33554432000 1073741824 1073778376 140736256146256 18446744073709551615 242982366720 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3388/tid=3434] ppid=3341 vsize=327008 CPUtime=0 cores=1,3,5,7
/proc/3388/task/3434/stat : 3434 (python) S 3341 3341 2587 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869314334 334856192 6454 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470056776704 0 0 -1 7 0 0 0
[pid=3437] ppid=3341 vsize=337868 CPUtime=0.22 cores=1,3,5,7
/proc/3437/stat : 3437 (python) S 3341 3341 2587 0 -1 4202560 1177 0 0 0 11 11 0 0 17 0 2 0 869319181 345976832 6584 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3437/statm: 84467 6584 391 364 0 19339 0
[pid=3439] ppid=3437 vsize=97632 CPUtime=47.28 cores=1,3,5,7
/proc/3439/stat : 3439 (bsolo_pb10) T 3437 3439 3439 0 -1 4202496 22694 0 0 0 4718 10 0 0 25 0 1 0 869319182 99975168 21966 33554432000 134512640 137138936 4289461712 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/3439/statm: 24408 21966 192 642 0 23764 0
[pid=3437/tid=3442] ppid=3341 vsize=337868 CPUtime=0 cores=1,3,5,7
/proc/3437/task/3442/stat : 3442 (python) S 3341 3341 2587 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 2 0 869323910 345976832 6584 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604467425453120 0 0 -1 7 0 0 0
[pid=3471] ppid=3341 vsize=348124 CPUtime=0.45 cores=1,3,5,7
/proc/3471/stat : 3471 (python) S 3341 3341 2587 0 -1 4202560 1190 0 0 0 23 22 0 0 16 0 2 0 869365453 356478976 6588 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/3471/statm: 87031 6588 391 364 0 21900 0
[pid=3473] ppid=3471 vsize=260856 CPUtime=96.5 cores=1,3,5,7
/proc/3473/stat : 3473 (bsolo_pb10) T 3471 3473 3473 0 -1 4202496 63512 0 0 0 9627 23 0 0 25 0 1 0 869365454 267116544 62784 33554432000 134512640 137138936 4293962096 18446744073709551615 134542490 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/3473/statm: 65214 62784 190 642 0 64570 0
[pid=3471/tid=3479] ppid=3341 vsize=348124 CPUtime=0 cores=1,3,5,7
/proc/3471/task/3479/stat : 3479 (python) S 3341 3341 2587 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869375105 356478976 6588 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604460463394944 0 0 -1 1 0 0 0
[pid=3656] ppid=3341 vsize=358380 CPUtime=0.22 cores=1,3,5,7
/proc/3656/stat : 3656 (python) S 3341 3341 2587 0 -1 4202560 1228 0 0 0 8 14 0 0 17 0 2 0 869430378 366981120 6598 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3656/statm: 89595 6598 397 364 0 24461 0
[pid=3658] ppid=3656 vsize=99260 CPUtime=48.49 cores=1,3,5,7
/proc/3658/stat : 3658 (minion) T 3656 3658 3658 0 -1 4202496 221819 0 0 0 4817 32 0 0 25 0 1 0 869430378 101642240 17521 33554432000 134512640 165565024 4294027056 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/3658/statm: 24815 17521 359 7582 0 17230 0
[pid=3656/tid=3752] ppid=3341 vsize=358380 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3752/stat : 3752 (python) S 3341 3341 2587 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869435229 366981120 6598 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604469600854080 0 0 -1 7 0 0 0
[pid=3753] ppid=3341 vsize=368636 CPUtime=0.23 cores=1,3,5,7
/proc/3753/stat : 3753 (python) S 3341 3341 2587 0 -1 4202560 1204 0 0 0 11 12 0 0 19 0 2 0 869435230 377483264 6602 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3753/statm: 92159 6602 397 364 0 27022 0
[pid=3755] ppid=3753 vsize=204684 CPUtime=48.28 cores=1,3,5,7
/proc/3755/stat : 3755 (pbct-0.1.2-linu) T 3753 3755 3755 0 -1 4202496 52652 0 0 0 4727 101 0 0 25 0 1 0 869435230 209596416 49000 33554432000 134512640 136422188 4293956576 18446744073709551615 135020959 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/3755/statm: 51171 49000 214 467 0 50702 0
[pid=3753/tid=3774] ppid=3341 vsize=368636 CPUtime=0 cores=1,3,5,7
/proc/3753/task/3774/stat : 3774 (python) S 3341 3341 2587 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869440059 377483264 6602 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470995359552 0 0 -1 3 0 0 0
[pid=3341/tid=3350] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3350/stat : 3350 (python) S 3339 3341 2587 0 -1 4202560 45 1362 0 0 0 0 6 2 18 0 10 0 869267891 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3356] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3356/stat : 3356 (python) S 3339 3341 2587 0 -1 4202560 39 1362 0 0 0 0 6 2 18 0 10 0 869272564 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 1 0 0 0
[pid=3341/tid=3366] ppid=3339 vsize=378880 CPUtime=0.1 cores=1,3,5,7
/proc/3341/task/3366/stat : 3366 (python) S 3339 3341 2587 0 -1 4202560 36 1362 0 0 1 1 6 2 18 0 10 0 869277290 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 1 0 0 0
[pid=3341/tid=3377] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3377/stat : 3377 (python) S 3339 3341 2587 0 -1 4202560 30 1362 0 0 0 0 6 2 20 0 10 0 869291129 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 7 0 0 0
[pid=3341/tid=3389] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3389/stat : 3389 (python) S 3339 3341 2587 0 -1 4202560 31 1362 0 0 0 0 6 2 20 0 10 0 869309658 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3438] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3438/stat : 3438 (python) S 3339 3341 2587 0 -1 4202560 30 1362 0 0 0 0 6 2 20 0 10 0 869319181 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3472] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3472/stat : 3472 (python) S 3339 3341 2587 0 -1 4202560 31 1362 0 0 0 0 6 2 20 0 10 0 869365454 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3657] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3657/stat : 3657 (python) S 3339 3341 2587 0 -1 4202560 28 1362 0 0 0 0 6 2 21 0 10 0 869430378 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 3 0 0 0
[pid=3341/tid=3754] ppid=3339 vsize=378880 CPUtime=0.08 cores=1,3,5,7
/proc/3341/task/3754/stat : 3754 (python) S 3339 3341 2587 0 -1 4202560 30 1362 0 0 0 0 6 2 20 0 10 0 869435230 387973120 8096 33554432000 4194304 5683644 140737486017856 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467425454016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 12961240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3341 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=752733
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=215967
# CPU time returned by wait4() is 1.9687
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.38
CPU time (s): 1800.01
CPU user time (s): 1780.73
CPU system time (s): 19.28
CPU usage (%): 100.538
Max. virtual memory (cumulated for all children) (KiB): 12961244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.75273
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22099
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= 6899
involuntary context switches= 42
runsolver used 13.5759 second user time and 32.3121 second system time
The end