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-3481933-1307576758/watcher-3481933-1307576758 -o /tmp/evaluation-result-3481933-1307576758/solver-3481933-1307576758 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481933-1307576758.opb -seed 1249469173 -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: 2.20 1.52 0.70 2/553 4540
/proc/meminfo: memFree=22280776/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 810 0 0 0 0 0 0 0 17 0 1 0 869273616 15749120 696 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/4540/statm: 3845 696 334 364 0 332 0
[startup+0.0745259 s]
/proc/loadavg: 2.20 1.52 0.70 2/553 4540
/proc/meminfo: memFree=22280776/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=45684 CPUtime=0.03 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 1888 0 0 0 3 0 0 0 17 0 1 0 869273616 46780416 1662 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4540/statm: 11421 1662 470 364 0 1170 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 45684
[startup+0.100701 s]
/proc/loadavg: 2.20 1.52 0.70 2/553 4540
/proc/meminfo: memFree=22280776/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=87836 CPUtime=0.05 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 2702 0 1 0 4 1 0 0 17 0 1 0 869273616 89944064 2418 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4540/statm: 21959 2418 746 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87836
[startup+0.300533 s]
/proc/loadavg: 2.20 1.52 0.70 2/553 4540
/proc/meminfo: memFree=22280776/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 5356 933 1 0 12 5 0 0 17 0 1 0 869273616 126709760 3744 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905726981 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4540/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.70048 s]
/proc/loadavg: 2.20 1.52 0.70 2/553 4540
/proc/meminfo: memFree=22280776/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=284140 CPUtime=0.46 cores=0,2,4,6
/proc/4540/stat : 4540 (python) R 4538 4540 4191 0 -1 4202496 9501 933 1 0 35 11 0 0 16 0 1 0 869273616 290959360 7364 33554432000 4194304 5683644 140734904566960 18446744073709551615 46931148595817 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4540/statm: 71035 7364 1781 364 0 5928 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 284140
[startup+1.50034 s]
/proc/loadavg: 2.20 1.52 0.70 3/554 4545
/proc/meminfo: memFree=22249148/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=297824 CPUtime=0.87 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 11403 933 1 0 75 12 0 0 18 0 2 0 869273616 304971776 8294 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4540/statm: 74456 8294 1870 364 0 9343 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 297824
[startup+3.10099 s]
/proc/loadavg: 2.20 1.52 0.70 3/575 4566
/proc/meminfo: memFree=22167204/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=297824 CPUtime=0.87 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 11403 933 1 0 75 12 0 0 18 0 2 0 869273616 304971776 8294 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4540/statm: 74456 8294 1870 364 0 9343 0
[pid=4546] ppid=4540 vsize=287580 CPUtime=0 cores=0,2,4,6
/proc/4546/stat : 4546 (python) S 4540 4540 4191 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 1 0 869273726 294481920 6771 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905751055 0 0 16781312 33554946 1290681283545923584 0 0 17 0 0 0 0
/proc/4546/statm: 71895 6771 351 364 0 6782 0
[pid=4548] ppid=4546 vsize=8539076 CPUtime=3.03 cores=0,2,4,6
/proc/4548/stat : 4548 (java) S 4546 4548 4548 0 -1 4202496 26319 0 1 0 298 5 0 0 19 0 19 0 869273727 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4548/statm: 2134769 22142 2258 9 0 2125510 0
[pid=4548/tid=4549] ppid=4546 vsize=8539076 CPUtime=1.95 cores=0,2,4,6
/proc/4548/task/4549/stat : 4549 (java) R 4546 4548 4548 0 -1 4202560 16391 0 1 0 193 2 0 0 19 0 19 0 869273727 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 46912505366525 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4550/stat : 4550 (java) S 4546 4548 4548 0 -1 4202560 417 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4551/stat : 4551 (java) S 4546 4548 4548 0 -1 4202560 283 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4552/stat : 4552 (java) S 4546 4548 4548 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4553/stat : 4553 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4554/stat : 4554 (java) S 4546 4548 4548 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4555/stat : 4555 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4556/stat : 4556 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4557/stat : 4557 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273728 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=8539076 CPUtime=0.01 cores=0,2,4,6
/proc/4548/task/4558/stat : 4558 (java) S 4546 4548 4548 0 -1 4202560 708 0 0 0 1 0 0 0 15 0 19 0 869273729 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 0 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4559/stat : 4559 (java) S 4546 4548 4548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869273729 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4560/stat : 4560 (java) S 4546 4548 4548 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869273729 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4561/stat : 4561 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869273731 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917554609 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=8539076 CPUtime=0.5 cores=0,2,4,6
/proc/4548/task/4562/stat : 4562 (java) S 4546 4548 4548 0 -1 4202560 2008 0 0 0 50 0 0 0 15 0 19 0 869273731 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 4 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=8539076 CPUtime=0.52 cores=0,2,4,6
/proc/4548/task/4563/stat : 4563 (java) S 4546 4548 4548 0 -1 4202560 5118 0 0 0 51 1 0 0 15 0 19 0 869273731 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4564/stat : 4564 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869273731 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4565] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4565/stat : 4565 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869273731 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4566] ppid=4546 vsize=8539076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4566/stat : 4566 (java) S 4546 4548 4548 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869273778 8744013824 22142 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4540/tid=4547] ppid=4538 vsize=297824 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4547/stat : 4547 (python) S 4538 4540 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 2 0 869273727 304971776 8294 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9124480
[startup+6.30145 s]
/proc/loadavg: 2.27 1.54 0.71 3/575 4567
/proc/meminfo: memFree=22130440/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=297824 CPUtime=0.87 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 11403 933 1 0 75 12 0 0 18 0 2 0 869273616 304971776 8294 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4540/statm: 74456 8294 1870 364 0 9343 0
[pid=4546] ppid=4540 vsize=287580 CPUtime=0.01 cores=0,2,4,6
/proc/4546/stat : 4546 (python) S 4540 4540 4191 0 -1 4202560 904 0 0 0 1 0 0 0 15 0 1 0 869273726 294481920 6795 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905751055 0 0 16781312 33554946 214807467844960256 0 0 17 0 0 0 0
/proc/4546/statm: 71895 6795 375 364 0 6782 0
[pid=4548] ppid=4546 vsize=8558076 CPUtime=7.03 cores=0,2,4,6
/proc/4548/stat : 4548 (java) S 4546 4548 4548 0 -1 4202496 34515 0 1 0 697 6 0 0 19 0 19 0 869273727 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4548/statm: 2139519 27786 2258 9 0 2130260 0
[pid=4548/tid=4549] ppid=4546 vsize=8558076 CPUtime=5.13 cores=0,2,4,6
/proc/4548/task/4549/stat : 4549 (java) R 4546 4548 4548 0 -1 4202560 16393 0 1 0 510 3 0 0 25 0 19 0 869273727 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 46912506043925 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4550/stat : 4550 (java) S 4546 4548 4548 0 -1 4202560 421 0 0 0 0 0 0 0 16 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4551/stat : 4551 (java) S 4546 4548 4548 0 -1 4202560 344 0 0 0 0 0 0 0 15 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4552/stat : 4552 (java) S 4546 4548 4548 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4553/stat : 4553 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4554/stat : 4554 (java) S 4546 4548 4548 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4555/stat : 4555 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4556/stat : 4556 (java) S 4546 4548 4548 0 -1 4202560 169 0 0 0 0 0 0 0 16 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4557/stat : 4557 (java) S 4546 4548 4548 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 869273728 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=8558076 CPUtime=0.03 cores=0,2,4,6
/proc/4548/task/4558/stat : 4558 (java) S 4546 4548 4548 0 -1 4202560 1016 0 0 0 3 0 0 0 15 0 19 0 869273729 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 0 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4559/stat : 4559 (java) S 4546 4548 4548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869273729 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4560/stat : 4560 (java) S 4546 4548 4548 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869273729 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4561/stat : 4561 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869273731 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917554609 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=8558076 CPUtime=1.23 cores=0,2,4,6
/proc/4548/task/4562/stat : 4562 (java) S 4546 4548 4548 0 -1 4202560 9362 0 0 0 122 1 0 0 16 0 19 0 869273731 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 4 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=8558076 CPUtime=0.6 cores=0,2,4,6
/proc/4548/task/4563/stat : 4563 (java) S 4546 4548 4548 0 -1 4202560 5124 0 0 0 59 1 0 0 15 0 19 0 869273731 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4564/stat : 4564 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869273731 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4565] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4565/stat : 4565 (java) S 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869273731 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 4 0 16800975 18446604444804469824 0 0 -1 2 0 0 0
[pid=4548/tid=4566] ppid=4546 vsize=8558076 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4566/stat : 4566 (java) S 4546 4548 4548 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869273778 8763469824 27786 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4540/tid=4547] ppid=4538 vsize=297824 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4547/stat : 4547 (python) S 4538 4540 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 2 0 869273727 304971776 8294 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 9143480
[startup+12.7013 s]
/proc/loadavg: 2.25 1.55 0.71 3/575 4567
/proc/meminfo: memFree=22105276/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=297824 CPUtime=0.87 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 11403 933 1 0 75 12 0 0 18 0 2 0 869273616 304971776 8294 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4540/statm: 74456 8294 1870 364 0 9343 0
[pid=4546] ppid=4540 vsize=287580 CPUtime=0.04 cores=0,2,4,6
/proc/4546/stat : 4546 (python) S 4540 4540 4191 0 -1 4202560 907 0 0 0 3 1 0 0 15 0 1 0 869273726 294481920 6795 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905751055 0 0 16781312 33554946 2541902116973182976 0 0 17 0 0 0 0
/proc/4546/statm: 71895 6795 375 364 0 6782 0
[pid=4548] ppid=4546 vsize=8554456 CPUtime=13.47 cores=0,2,4,6
/proc/4548/stat : 4548 (java) S 4546 4548 4548 0 -1 4202496 35797 0 1 0 1341 6 0 0 19 0 19 0 869273727 8759762944 28099 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4548/statm: 2138614 28099 2258 9 0 2129355 0
[pid=4548/tid=4549] ppid=4546 vsize=8554456 CPUtime=11.47 cores=0,2,4,6
/proc/4548/task/4549/stat : 4549 (java) R 4546 4548 4548 0 -1 4202560 16395 0 1 0 1144 3 0 0 25 0 19 0 869273727 8759762944 28099 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 46912505860586 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4550/stat : 4550 (java) S 4546 4548 4548 0 -1 4202560 421 0 0 0 0 0 0 0 15 0 19 0 869273728 8759762944 28099 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4551/stat : 4551 (java) S 4546 4548 4548 0 -1 4202560 344 0 0 0 0 0 0 0 15 0 19 0 869273728 8759762944 28099 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4552/stat : 4552 (java) S 4546 4548 4548 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 869273728 8759762944 28099 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446604444804469824 0 0 -1 6 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=4540/tid=4547] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4547/stat : 4547 (python) S 4538 4540 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 7 0 869273727 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
[pid=4540/tid=4571] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4571/stat : 4571 (python) S 4538 4540 4191 0 -1 4202560 34 933 0 0 0 0 0 0 20 0 7 0 869278179 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
[pid=4540/tid=4576] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4576/stat : 4576 (python) S 4538 4540 4191 0 -1 4202560 33 933 0 0 0 0 0 0 20 0 7 0 869283078 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 0 0 0 0
[pid=4540/tid=4581] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4581/stat : 4581 (python) S 4538 4540 4191 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 7 0 869287835 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 0 0 0 0
[pid=4540/tid=4586] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4586/stat : 4586 (python) S 4538 4540 4191 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 7 0 869292741 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
[pid=4540/tid=4593] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4593/stat : 4593 (python) S 4538 4540 4191 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 7 0 869302090 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 287.83
Current children cumulated vsize (KiB) 19691528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+284.902 s]
/proc/loadavg: 2.09 1.89 1.06 7/612 4611
/proc/meminfo: memFree=21330652/32951124 swapFree=56930356/67111528
[pid=4540] ppid=4538 vsize=349104 CPUtime=1 cores=0,2,4,6
/proc/4540/stat : 4540 (python) S 4538 4540 4191 0 -1 4202496 15945 933 1 0 87 13 0 0 19 0 7 0 869273616 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4540/statm: 87276 8325 1881 364 0 22148 0
[pid=4546] ppid=4540 vsize=297824 CPUtime=0.23 cores=0,2,4,6
/proc/4546/stat : 4546 (python) S 4540 4540 4191 0 -1 4202560 1083 0 0 0 12 11 0 0 16 0 2 0 869273726 304971776 6831 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4546/statm: 74456 6831 406 364 0 9343 0
[pid=4548] ppid=4546 vsize=8554456 CPUtime=46.37 cores=0,2,4,6
/proc/4548/stat : 4548 (java) T 4546 4548 4548 0 -1 4202496 40238 0 1 0 4630 7 0 0 18 0 19 0 869273727 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4548/statm: 2138614 32524 2258 9 0 2129355 0
[pid=4548/tid=4549] ppid=4546 vsize=8554456 CPUtime=44.17 cores=0,2,4,6
/proc/4548/task/4549/stat : 4549 (java) T 4546 4548 4548 0 -1 4202560 16404 0 1 0 4414 3 0 0 25 0 19 0 869273727 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 46912506044031 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=8554456 CPUtime=0.01 cores=0,2,4,6
/proc/4548/task/4550/stat : 4550 (java) T 4546 4548 4548 0 -1 4202560 1050 0 0 0 1 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4551/stat : 4551 (java) T 4546 4548 4548 0 -1 4202560 344 0 0 0 0 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4552/stat : 4552 (java) T 4546 4548 4548 0 -1 4202560 570 0 0 0 0 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4553/stat : 4553 (java) T 4546 4548 4548 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=8554456 CPUtime=0.01 cores=0,2,4,6
/proc/4548/task/4554/stat : 4554 (java) T 4546 4548 4548 0 -1 4202560 662 0 0 0 1 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=8554456 CPUtime=0.01 cores=0,2,4,6
/proc/4548/task/4555/stat : 4555 (java) T 4546 4548 4548 0 -1 4202560 977 0 0 0 1 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4556/stat : 4556 (java) T 4546 4548 4548 0 -1 4202560 455 0 0 0 0 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=8554456 CPUtime=0.01 cores=0,2,4,6
/proc/4548/task/4557/stat : 4557 (java) T 4546 4548 4548 0 -1 4202560 1311 0 0 0 1 0 0 0 15 0 19 0 869273728 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=8554456 CPUtime=0.21 cores=0,2,4,6
/proc/4548/task/4558/stat : 4558 (java) T 4546 4548 4548 0 -1 4202560 2259 0 0 0 21 0 0 0 15 0 19 0 869273729 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4559/stat : 4559 (java) T 4546 4548 4548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869273729 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4560/stat : 4560 (java) T 4546 4548 4548 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869273729 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4561/stat : 4561 (java) T 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273731 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=8554456 CPUtime=1.27 cores=0,2,4,6
/proc/4548/task/4562/stat : 4562 (java) T 4546 4548 4548 0 -1 4202560 9366 0 0 0 126 1 0 0 15 0 19 0 869273731 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=8554456 CPUtime=0.6 cores=0,2,4,6
/proc/4548/task/4563/stat : 4563 (java) T 4546 4548 4548 0 -1 4202560 5124 0 0 0 59 1 0 0 15 0 19 0 869273731 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4564/stat : 4564 (java) T 4546 4548 4548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869273731 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4548/tid=4565] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4565/stat : 4565 (java) T 4546 4548 4548 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869273731 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4548/tid=4566] ppid=4546 vsize=8554456 CPUtime=0 cores=0,2,4,6
/proc/4548/task/4566/stat : 4566 (java) T 4546 4548 4548 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869273778 8759762944 32524 33554432000 1073741824 1073778376 140734241861936 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4546/tid=4569] ppid=4540 vsize=297824 CPUtime=0 cores=0,2,4,6
/proc/4546/task/4569/stat : 4569 (python) S 4540 4540 4191 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869278176 304971776 6831 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554946 18446604447049748928 0 0 -1 6 0 0 0
[pid=4570] ppid=4540 vsize=297836 CPUtime=0.2 cores=0,2,4,6
/proc/4570/stat : 4570 (python) S 4540 4540 4191 0 -1 4202560 1111 0 0 0 11 9 0 0 16 0 2 0 869278179 304984064 6821 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4570/statm: 74459 6821 396 364 0 9343 0
[pid=4572] ppid=4570 vsize=100920 CPUtime=48.94 cores=0,2,4,6
/proc/4572/stat : 4572 (pbct-0.1.2-linu) T 4570 4572 4572 0 -1 4202496 25673 0 0 0 4833 61 0 0 25 0 1 0 869278179 103342080 24504 33554432000 134512640 136422188 4287693488 18446744073709551615 135022546 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/4572/statm: 25230 24504 237 467 0 24761 0
[pid=4570/tid=4574] ppid=4540 vsize=297836 CPUtime=0 cores=0,2,4,6
/proc/4570/task/4574/stat : 4574 (python) S 4540 4540 4191 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869283075 304984064 6821 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554946 18446604447565671168 0 0 -1 6 0 0 0
[pid=4575] ppid=4540 vsize=308092 CPUtime=0.31 cores=0,2,4,6
/proc/4575/stat : 4575 (python) S 4540 4540 4191 0 -1 4202560 1127 0 0 0 18 13 0 0 17 0 2 0 869283078 315486208 6825 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4575/statm: 77023 6825 396 364 0 11904 0
[pid=4577] ppid=4575 vsize=37172 CPUtime=47.4 cores=0,2,4,6
/proc/4577/stat : 4577 (wbo1.4a) T 4575 4577 4577 0 -1 4202496 10760 0 0 0 4712 28 0 0 25 0 1 0 869283078 38064128 8839 33554432000 134512640 135751879 4292551216 18446744073709551615 134616492 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/4577/statm: 9293 8839 146 303 0 8988 0
[pid=4575/tid=4579] ppid=4540 vsize=308092 CPUtime=0 cores=0,2,4,6
/proc/4575/task/4579/stat : 4579 (python) S 4540 4540 4191 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869287832 315486208 6825 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453071271872 0 0 -1 6 0 0 0
[pid=4580] ppid=4540 vsize=318348 CPUtime=0.24 cores=0,2,4,6
/proc/4580/stat : 4580 (python) S 4540 4540 4191 0 -1 4202560 1158 0 0 0 13 11 0 0 16 0 2 0 869287835 325988352 6829 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4580/statm: 79587 6829 396 364 0 14465 0
[pid=4582] ppid=4580 vsize=123160 CPUtime=49.02 cores=0,2,4,6
/proc/4582/stat : 4582 (scip-2.0.1.linu) T 4580 4582 4582 0 -1 4202496 127516 0 0 0 4860 42 0 0 25 0 1 0 869287835 126115840 28165 33554432000 4194304 13684479 140736661867936 18446744073709551615 7416013 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4582/statm: 30790 28165 803 2317 0 28468 0
[pid=4580/tid=4584] ppid=4540 vsize=318348 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4584/stat : 4584 (python) S 4540 4540 4191 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869292737 325988352 6829 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554946 18446604446501131200 0 0 -1 0 0 0 0
[pid=4585] ppid=4540 vsize=328604 CPUtime=0.43 cores=0,2,4,6
/proc/4585/stat : 4585 (python) S 4540 4540 4191 0 -1 4202560 1200 0 0 0 24 19 0 0 16 0 2 0 869292740 336490496 6839 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4585/statm: 82151 6839 402 364 0 17026 0
[pid=4587] ppid=4585 vsize=38936 CPUtime=93.46 cores=0,2,4,6
/proc/4587/stat : 4587 (clasp-1.3.7-x86) T 4585 4587 4587 0 -1 4202496 12052 0 0 0 9345 1 0 0 25 0 1 0 869292741 39870464 9492 33554432000 134512640 136139019 4289784368 18446744073709551615 134599014 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/4587/statm: 9734 9492 189 398 0 9334 0
[pid=4585/tid=4591] ppid=4540 vsize=328604 CPUtime=0 cores=0,2,4,6
/proc/4585/task/4591/stat : 4591 (python) S 4540 4540 4191 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869302087 336490496 6839 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554946 18446604446340435008 0 0 -1 2 0 0 0
[pid=4592] ppid=4540 vsize=338860 CPUtime=0 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4540 4540 4191 0 -1 4202560 911 0 0 0 0 0 0 0 17 0 1 0 869302090 346992640 6795 33554432000 4194304 5683644 140734904566960 18446744073709551615 218905751110 0 0 16781312 33554946 1737652280863227904 0 0 17 6 0 0 0
/proc/4592/statm: 84715 6795 355 364 0 19587 0
[pid=4594] ppid=4592 vsize=8598216 CPUtime=0.23 cores=0,2,4,6
/proc/4594/stat : 4594 (java) S 4592 4594 4594 0 -1 4202496 6233 0 1 0 22 1 0 0 20 0 18 0 869302091 8804573184 5650 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4594/statm: 2149554 5651 2161 9 0 2140295 0
[pid=4594/tid=4595] ppid=4592 vsize=8598684 CPUtime=0.17 cores=0,2,4,6
/proc/4594/task/4595/stat : 4595 (java) R 4592 4594 4594 0 -1 4202560 3837 0 1 0 17 0 0 0 18 0 18 0 869302092 8805052416 5814 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4594/tid=4596] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4596/stat : 4596 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869302092 8805052416 5814 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4597] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4597/stat : 4597 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869302092 8805052416 5815 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4598] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4598/stat : 4598 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869302092 8805052416 5815 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4599] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4599/stat : 4599 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869302092 8805052416 5815 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4600] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4600/stat : 4600 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302092 8805052416 5816 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 2 0 0 0
[pid=4594/tid=4601] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4601/stat : 4601 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302092 8805052416 5816 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 2 0 0 0
[pid=4594/tid=4602] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4602/stat : 4602 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302092 8805052416 5816 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 2 0 0 0
[pid=4594/tid=4603] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4603/stat : 4603 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302092 8805052416 5816 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 2 0 0 0
[pid=4594/tid=4604] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4604/stat : 4604 (java) S 4592 4594 4594 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869302093 8805052416 5816 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917547520 0 0 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4605] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4605/stat : 4605 (java) S 4592 4594 4594 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869302094 8805052416 5816 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4606] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4606/stat : 4606 (java) S 4592 4594 4594 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869302094 8805052416 5816 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4607] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4607/stat : 4607 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302096 8805052416 5817 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917554609 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4608] ppid=4592 vsize=8598684 CPUtime=0.05 cores=0,2,4,6
/proc/4594/task/4608/stat : 4608 (java) R 4592 4594 4594 0 -1 4202560 573 0 0 0 5 0 0 0 25 0 18 0 869302096 8805052416 5817 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 47163276350934 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4594/tid=4609] ppid=4592 vsize=8598684 CPUtime=0.02 cores=0,2,4,6
/proc/4594/task/4609/stat : 4609 (java) R 4592 4594 4594 0 -1 4202560 628 0 0 0 2 0 0 0 25 0 18 0 869302096 8805052416 5817 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 47163274112204 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4594/tid=4610] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4610/stat : 4610 (java) S 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869302096 8805052416 5817 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 218917546905 0 4 0 16800975 18446604451090143040 0 0 -1 6 0 0 0
[pid=4594/tid=4611] ppid=4592 vsize=8598684 CPUtime=0 cores=0,2,4,6
/proc/4594/task/4611/stat : 4611 (java) R 4592 4594 4594 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869302096 8805052416 5817 33554432000 1073741824 1073778376 140733336769728 18446744073709551615 47163277316753 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4540/tid=4547] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4547/stat : 4547 (python) S 4538 4540 4191 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 7 0 869273727 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
[pid=4540/tid=4571] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4571/stat : 4571 (python) S 4538 4540 4191 0 -1 4202560 34 933 0 0 0 0 0 0 20 0 7 0 869278179 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
[pid=4540/tid=4576] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4576/stat : 4576 (python) S 4538 4540 4191 0 -1 4202560 33 933 0 0 0 0 0 0 20 0 7 0 869283078 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 0 0 0 0
[pid=4540/tid=4581] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4581/stat : 4581 (python) S 4538 4540 4191 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 7 0 869287835 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 0 0 0 0
[pid=4540/tid=4586] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4586/stat : 4586 (python) S 4538 4540 4191 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 7 0 869292741 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
[pid=4540/tid=4593] ppid=4538 vsize=349104 CPUtime=0 cores=0,2,4,6
/proc/4540/task/4593/stat : 4593 (python) S 4538 4540 4191 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 7 0 869302090 357482496 8325 33554432000 4194304 5683644 140734904566960 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451691377856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 287.83
Current children cumulated vsize (KiB) 19691528
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4540 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=881865
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=137979
# CPU time returned by wait4() is 1.01984
# while last known CPU time is 287.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 284.991
CPU time (s): 287.83
CPU user time (s): 285.67
CPU system time (s): 2.16
CPU usage (%): 100.996
Max. virtual memory (cumulated for all children) (KiB): 19691528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.881865
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16882
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= 2621
involuntary context switches= 31
runsolver used 2.08768 second user time and 4.37733 second system time
The end