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-3481808-1307577242/watcher-3481808-1307577242 -o /tmp/evaluation-result-3481808-1307577242/solver-3481808-1307577242 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481808-1307577242.opb -seed 1945210893 -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: 1.93 1.93 1.25 3/555 15487
/proc/meminfo: memFree=23007476/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 810 0 0 0 0 0 0 0 22 0 1 0 869322461 15749120 696 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/15487/statm: 3845 696 334 364 0 332 0
[startup+0.038463 s]
/proc/loadavg: 1.93 1.93 1.25 3/555 15487
/proc/meminfo: memFree=23007476/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=18884 CPUtime=0.01 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 1249 0 0 0 1 0 0 0 17 0 1 0 869322461 19337216 1104 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/15487/statm: 4721 1104 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.100476 s]
/proc/loadavg: 1.93 1.93 1.25 3/555 15487
/proc/meminfo: memFree=23007476/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/15487/stat : 15487 (python) R 15485 15487 14938 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 869322461 87674880 2382 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335890432 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15487/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.30048 s]
/proc/loadavg: 1.93 1.93 1.25 3/555 15487
/proc/meminfo: memFree=23007476/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/15487/stat : 15487 (python) R 15485 15487 14938 0 -1 4202496 5357 928 1 0 11 4 0 0 16 0 1 0 869322461 126709760 3744 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/15487/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.700354 s]
/proc/loadavg: 1.93 1.93 1.25 3/555 15487
/proc/meminfo: memFree=23007476/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=282716 CPUtime=0.42 cores=1,3,5,7
/proc/15487/stat : 15487 (python) R 15485 15487 14938 0 -1 4202496 9136 928 1 0 31 11 0 0 15 0 1 0 869322461 289501184 6998 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335253232 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15487/statm: 70679 6998 1781 364 0 5572 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282716
[startup+1.50022 s]
/proc/loadavg: 1.93 1.93 1.25 3/559 15495
/proc/meminfo: memFree=22979048/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=294612 CPUtime=0.56 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 9861 928 1 0 45 11 0 0 18 0 2 0 869322461 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 73653 7494 1872 364 0 8540 0
[pid=15493] ppid=15487 vsize=284368 CPUtime=0 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 869322545 291192832 5970 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912463 0 0 16781312 33554946 4519861442999976197 0 0 17 5 0 0 0
/proc/15493/statm: 71092 5970 352 364 0 5979 0
[pid=15495] ppid=15493 vsize=2652 CPUtime=0.64 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) R 15493 15495 15495 0 -1 4202496 683 0 0 0 64 0 0 0 20 0 1 0 869322545 2715648 424 33554432000 134512640 136139019 4294545872 18446744073709551615 134828711 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/15495/statm: 663 424 184 398 0 263 0
[pid=15487/tid=15494] ppid=15485 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869322545 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 581632
[startup+3.10094 s]
/proc/loadavg: 1.93 1.93 1.25 3/559 15495
/proc/meminfo: memFree=22976072/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=294612 CPUtime=0.56 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 9861 928 1 0 45 11 0 0 18 0 2 0 869322461 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 73653 7494 1872 364 0 8540 0
[pid=15493] ppid=15487 vsize=284368 CPUtime=0 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 1 0 869322545 291192832 5970 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912463 0 0 16781312 33554946 4519861442999976197 0 0 17 5 0 0 0
/proc/15493/statm: 71092 5970 352 364 0 5979 0
[pid=15495] ppid=15493 vsize=2784 CPUtime=2.24 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) R 15493 15495 15495 0 -1 4202496 695 0 0 0 224 0 0 0 25 0 1 0 869322545 2850816 436 33554432000 134512640 136139019 4294545872 18446744073709551615 134832098 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/15495/statm: 696 436 184 398 0 296 0
[pid=15487/tid=15494] ppid=15485 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869322545 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 581764
[startup+6.30037 s]
/proc/loadavg: 2.09 1.97 1.26 3/559 15495
/proc/meminfo: memFree=22974792/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=294612 CPUtime=0.56 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 9861 928 1 0 45 11 0 0 18 0 2 0 869322461 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 73653 7494 1872 364 0 8540 0
[pid=15493] ppid=15487 vsize=284368 CPUtime=0.01 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 893 0 0 0 0 1 0 0 15 0 1 0 869322545 291192832 5993 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912463 0 0 16781312 33554946 4519869758056661253 0 0 17 5 0 0 0
/proc/15493/statm: 71092 5993 375 364 0 5979 0
[pid=15495] ppid=15493 vsize=2784 CPUtime=5.44 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) R 15493 15495 15495 0 -1 4202496 695 0 0 0 544 0 0 0 25 0 1 0 869322545 2850816 436 33554432000 134512640 136139019 4294545872 18446744073709551615 134883785 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/15495/statm: 696 436 184 398 0 296 0
[pid=15487/tid=15494] ppid=15485 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869322545 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 581764
[startup+12.7012 s]
/proc/loadavg: 2.08 1.97 1.27 3/559 15496
/proc/meminfo: memFree=22968356/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=294612 CPUtime=0.56 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 9861 928 1 0 45 11 0 0 18 0 2 0 869322461 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 73653 7494 1872 364 0 8540 0
[pid=15493] ppid=15487 vsize=284368 CPUtime=0.02 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 898 0 0 0 1 1 0 0 15 0 1 0 869322545 291192832 5994 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912463 0 0 16781312 33554946 5623606151888251730 0 0 17 5 0 0 0
/proc/15493/statm: 71092 5994 376 364 0 5979 0
[pid=15495] ppid=15493 vsize=2784 CPUtime=11.84 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) R 15493 15495 15495 0 -1 4202496 699 0 0 0 1184 0 0 0 25 0 1 0 869322545 2850816 440 33554432000 134512640 136139019 4294545872 18446744073709551615 134832407 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/15495/statm: 696 440 184 398 0 296 0
[pid=15487/tid=15494] ppid=15485 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869322545 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 581764
[startup+25.5009 s]
/proc/loadavg: 2.07 1.97 1.28 3/559 15496
/proc/meminfo: memFree=22955600/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=294612 CPUtime=0.56 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 9861 928 1 0 45 11 0 0 18 0 2 0 869322461 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 73653 7494 1872 364 0 8540 0
[pid=15493] ppid=15487 vsize=284368 CPUtime=0.09 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 909 0 0 0 5 4 0 0 15 0 1 0 869322545 291192832 5994 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912463 0 0 16781312 33554946 5623606151888251730 0 0 17 5 0 0 0
/proc/15493/statm: 71092 5994 376 364 0 5979 0
[pid=15495] ppid=15493 vsize=2784 CPUtime=24.64 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) R 15493 15495 15495 0 -1 4202496 701 0 0 0 2464 0 0 0 25 0 1 0 869322545 2850816 442 33554432000 134512640 136139019 4294545872 18446744073709551615 134832339 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/15495/statm: 696 442 184 398 0 296 0
[pid=15487/tid=15494] ppid=15485 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 869322545 301682688 7494 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 581764
[startup+51.1174 s]
/proc/loadavg: 2.19 2.00 1.31 3/563 15501
/proc/meminfo: memFree=22923500/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=304868 CPUtime=0.58 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 10778 928 1 0 47 11 0 0 19 0 3 0 869322461 312184832 7501 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 76217 7501 1875 364 0 11101 0
[pid=15493] ppid=15487 vsize=294612 CPUtime=0.17 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 1139 0 0 0 10 7 0 0 16 0 2 0 869322545 301682688 6035 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15493/statm: 73653 6035 412 364 0 8540 0
[pid=15495] ppid=15493 vsize=2784 CPUtime=47.79 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) T 15493 15495 15495 0 -1 4202496 701 0 0 0 4779 0 0 0 25 0 1 0 869322545 2850816 442 33554432000 134512640 136139019 4294545872 18446744073709551615 134828798 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/15495/statm: 696 442 184 398 0 296 0
[pid=15493/tid=15498] ppid=15487 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15493/task/15498/stat : 15498 (python) S 15487 15487 14938 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869327326 301682688 6035 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554946 18446604459188955328 0 0 -1 7 0 0 0
[pid=15499] ppid=15487 vsize=294624 CPUtime=0 cores=1,3,5,7
/proc/15499/stat : 15499 (python) S 15487 15487 14938 0 -1 4202560 802 0 0 0 0 0 0 0 15 0 1 0 869327329 301694976 5971 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912518 0 0 16781312 33554946 2228603687456997376 0 0 17 3 0 0 0
/proc/15499/statm: 73656 5971 349 364 0 8540 0
[pid=15501] ppid=15499 vsize=6408 CPUtime=2.42 cores=1,3,5,7
/proc/15501/stat : 15501 (wbo1.4a) R 15499 15501 15501 0 -1 4202496 1500 0 0 0 241 1 0 0 25 0 1 0 869327329 6561792 1182 33554432000 134512640 135751879 4293072992 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/15501/statm: 1602 1182 146 303 0 1297 0
[pid=15487/tid=15494] ppid=15485 vsize=304868 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 3 0 869322545 312184832 7501 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
[pid=15487/tid=15500] ppid=15485 vsize=304868 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15500/stat : 15500 (python) S 15485 15487 14938 0 -1 4202560 33 928 0 0 0 0 0 0 20 0 3 0 869327329 312184832 7501 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 903296
[startup+102.301 s]
/proc/loadavg: 2.16 2.02 1.35 3/585 15524
/proc/meminfo: memFree=22515832/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=315124 CPUtime=0.6 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 11659 928 1 0 49 11 0 0 20 0 4 0 869322461 322686976 7507 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 78781 7507 1877 364 0 13662 0
[pid=15493] ppid=15487 vsize=294612 CPUtime=0.17 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 1139 0 0 0 10 7 0 0 16 0 2 0 869322545 301682688 6035 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15493/statm: 73653 6035 412 364 0 8540 0
[pid=15495] ppid=15493 vsize=2784 CPUtime=47.79 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) T 15493 15495 15495 0 -1 4202496 701 0 0 0 4779 0 0 0 25 0 1 0 869322545 2850816 442 33554432000 134512640 136139019 4294545872 18446744073709551615 134828798 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/15495/statm: 696 442 184 398 0 296 0
[pid=15493/tid=15498] ppid=15487 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15493/task/15498/stat : 15498 (python) S 15487 15487 14938 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869327326 301682688 6035 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554946 18446604459188955328 0 0 -1 7 0 0 0
[pid=15499] ppid=15487 vsize=294624 CPUtime=0.21 cores=1,3,5,7
/proc/15499/stat : 15499 (python) S 15487 15487 14938 0 -1 4202560 1118 0 0 0 10 11 0 0 17 0 2 0 869327329 301694976 6020 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/15499/statm: 73656 6020 397 364 0 8540 0
[pid=15501] ppid=15499 vsize=31828 CPUtime=48.09 cores=1,3,5,7
/proc/15501/stat : 15501 (wbo1.4a) T 15499 15501 15501 0 -1 4202496 7830 0 0 0 4782 27 0 0 25 0 1 0 869327329 32591872 7512 33554432000 134512640 135751879 4293072992 18446744073709551615 134521509 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/15501/statm: 7957 7512 146 303 0 7652 0
[pid=15499/tid=15503] ppid=15487 vsize=294624 CPUtime=0 cores=1,3,5,7
/proc/15499/task/15503/stat : 15503 (python) S 15487 15487 14938 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869332146 301694976 6020 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554946 18446604459188956224 0 0 -1 3 0 0 0
[pid=15504] ppid=15487 vsize=304880 CPUtime=0.01 cores=1,3,5,7
/proc/15504/stat : 15504 (python) S 15487 15487 14938 0 -1 4202560 932 0 0 0 1 0 0 0 15 0 1 0 869332148 312197120 5999 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912518 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
################
# More data... #
################
[pid=15529/tid=15537] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15537/stat : 15537 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336948 8760053760 31935 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15538] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15538/stat : 15538 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336948 8760053760 31936 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15539] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15539/stat : 15539 (java) S 15527 15529 15529 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869336949 8760053760 31936 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708928 0 0 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15540] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15540/stat : 15540 (java) S 15527 15529 15529 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869336949 8760053760 31937 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15541] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15541/stat : 15541 (java) S 15527 15529 15529 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869336949 8760053760 31938 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15542] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15542/stat : 15542 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336952 8760053760 31940 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347716017 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15543] ppid=15527 vsize=8554740 CPUtime=0.56 cores=1,3,5,7
/proc/15529/task/15543/stat : 15543 (java) R 15527 15529 15529 0 -1 4202560 6928 0 0 0 56 0 0 0 17 0 19 0 869336952 8760053760 31942 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 47752171695823 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15529/tid=15544] ppid=15527 vsize=8554740 CPUtime=0.48 cores=1,3,5,7
/proc/15529/task/15544/stat : 15544 (java) S 15527 15529 15529 0 -1 4202560 5094 0 0 0 48 0 0 0 25 0 19 0 869336952 8760053760 31943 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 3 0 0 0
[pid=15529/tid=15545] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15545/stat : 15545 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336952 8760053760 31943 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15546] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15546/stat : 15546 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869336952 8760053760 31943 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708928 0 4 0 16800975 18446604460544674624 0 0 -1 5 0 0 0
[pid=15529/tid=15547] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15547/stat : 15547 (java) S 15527 15529 15529 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869336984 8760053760 31944 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708928 0 4 0 16800975 18446604460544674624 0 0 -1 5 0 0 0
[pid=15487/tid=15494] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 5 0 869322545 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
[pid=15487/tid=15500] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15500/stat : 15500 (python) S 15485 15487 14938 0 -1 4202560 33 928 0 0 0 0 0 0 20 0 5 0 869327329 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
[pid=15487/tid=15505] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15505/stat : 15505 (python) S 15485 15487 14938 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869332149 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 7 0 0 0
[pid=15487/tid=15528] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15528/stat : 15528 (python) S 15485 15487 14938 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 5 0 869336947 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 149.02
Current children cumulated vsize (KiB) 18681440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.602 s]
/proc/loadavg: 2.34 2.08 1.40 4/607 15547
/proc/meminfo: memFree=22361788/32951124 swapFree=57654872/67111528
[pid=15487] ppid=15485 vsize=325380 CPUtime=0.63 cores=1,3,5,7
/proc/15487/stat : 15487 (python) S 15485 15487 14938 0 -1 4202496 12536 928 1 0 52 11 0 0 19 0 5 0 869322461 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15487/statm: 81345 7513 1879 364 0 16223 0
[pid=15493] ppid=15487 vsize=294612 CPUtime=0.17 cores=1,3,5,7
/proc/15493/stat : 15493 (python) S 15487 15487 14938 0 -1 4202560 1139 0 0 0 10 7 0 0 16 0 2 0 869322545 301682688 6035 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15493/statm: 73653 6035 412 364 0 8540 0
[pid=15495] ppid=15493 vsize=2784 CPUtime=47.79 cores=1,3,5,7
/proc/15495/stat : 15495 (clasp-1.3.7-x86) T 15493 15495 15495 0 -1 4202496 701 0 0 0 4779 0 0 0 25 0 1 0 869322545 2850816 442 33554432000 134512640 136139019 4294545872 18446744073709551615 134828798 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/15495/statm: 696 442 184 398 0 296 0
[pid=15493/tid=15498] ppid=15487 vsize=294612 CPUtime=0 cores=1,3,5,7
/proc/15493/task/15498/stat : 15498 (python) S 15487 15487 14938 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869327326 301682688 6035 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554946 18446604459188955328 0 0 -1 7 0 0 0
[pid=15499] ppid=15487 vsize=294624 CPUtime=0.21 cores=1,3,5,7
/proc/15499/stat : 15499 (python) S 15487 15487 14938 0 -1 4202560 1118 0 0 0 10 11 0 0 17 0 2 0 869327329 301694976 6020 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/15499/statm: 73656 6020 397 364 0 8540 0
[pid=15501] ppid=15499 vsize=31828 CPUtime=48.09 cores=1,3,5,7
/proc/15501/stat : 15501 (wbo1.4a) T 15499 15501 15501 0 -1 4202496 7830 0 0 0 4782 27 0 0 25 0 1 0 869327329 32591872 7512 33554432000 134512640 135751879 4293072992 18446744073709551615 134521509 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/15501/statm: 7957 7512 146 303 0 7652 0
[pid=15499/tid=15503] ppid=15487 vsize=294624 CPUtime=0 cores=1,3,5,7
/proc/15499/task/15503/stat : 15503 (python) S 15487 15487 14938 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869332146 301694976 6020 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554946 18446604459188956224 0 0 -1 3 0 0 0
[pid=15504] ppid=15487 vsize=304880 CPUtime=0.22 cores=1,3,5,7
/proc/15504/stat : 15504 (python) S 15487 15487 14938 0 -1 4202560 1113 0 0 0 10 12 0 0 17 0 2 0 869332148 312197120 6024 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15504/statm: 76220 6024 397 364 0 11101 0
[pid=15506] ppid=15504 vsize=8557456 CPUtime=50.1 cores=1,3,5,7
/proc/15506/stat : 15506 (java) T 15504 15506 15506 0 -1 4202496 87992 0 1 0 4996 14 0 0 18 0 19 0 869332149 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15506/statm: 2139364 63302 2253 9 0 2130105 0
[pid=15506/tid=15507] ppid=15504 vsize=8557456 CPUtime=47.39 cores=1,3,5,7
/proc/15506/task/15507/stat : 15507 (java) T 15504 15506 15506 0 -1 4202560 64450 0 1 0 4732 7 0 0 25 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 46912505773559 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15508] ppid=15504 vsize=8557456 CPUtime=0.08 cores=1,3,5,7
/proc/15506/task/15508/stat : 15508 (java) T 15504 15506 15506 0 -1 4202560 647 0 0 0 8 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15506/tid=15509] ppid=15504 vsize=8557456 CPUtime=0.08 cores=1,3,5,7
/proc/15506/task/15509/stat : 15509 (java) T 15504 15506 15506 0 -1 4202560 968 0 0 0 8 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15506/tid=15510] ppid=15504 vsize=8557456 CPUtime=0.09 cores=1,3,5,7
/proc/15506/task/15510/stat : 15510 (java) T 15504 15506 15506 0 -1 4202560 609 0 0 0 9 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15511] ppid=15504 vsize=8557456 CPUtime=0.08 cores=1,3,5,7
/proc/15506/task/15511/stat : 15511 (java) T 15504 15506 15506 0 -1 4202560 576 0 0 0 8 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15512] ppid=15504 vsize=8557456 CPUtime=0.09 cores=1,3,5,7
/proc/15506/task/15512/stat : 15512 (java) T 15504 15506 15506 0 -1 4202560 536 0 0 0 9 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15506/tid=15513] ppid=15504 vsize=8557456 CPUtime=0.09 cores=1,3,5,7
/proc/15506/task/15513/stat : 15513 (java) T 15504 15506 15506 0 -1 4202560 393 0 0 0 9 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15514] ppid=15504 vsize=8557456 CPUtime=0.06 cores=1,3,5,7
/proc/15506/task/15514/stat : 15514 (java) T 15504 15506 15506 0 -1 4202560 508 0 0 0 6 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15506/tid=15515] ppid=15504 vsize=8557456 CPUtime=0.09 cores=1,3,5,7
/proc/15506/task/15515/stat : 15515 (java) T 15504 15506 15506 0 -1 4202560 815 0 0 0 9 0 0 0 15 0 19 0 869332150 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15506/tid=15516] ppid=15504 vsize=8557456 CPUtime=0.19 cores=1,3,5,7
/proc/15506/task/15516/stat : 15516 (java) T 15504 15506 15506 0 -1 4202560 284 0 0 0 17 2 0 0 15 0 19 0 869332151 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15517] ppid=15504 vsize=8557456 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15517/stat : 15517 (java) T 15504 15506 15506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869332152 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15518] ppid=15504 vsize=8557456 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15518/stat : 15518 (java) T 15504 15506 15506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869332152 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15519] ppid=15504 vsize=8557456 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15519/stat : 15519 (java) T 15504 15506 15506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869332154 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15520] ppid=15504 vsize=8557456 CPUtime=0.55 cores=1,3,5,7
/proc/15506/task/15520/stat : 15520 (java) T 15504 15506 15506 0 -1 4202560 3298 0 0 0 55 0 0 0 15 0 19 0 869332154 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15506/tid=15521] ppid=15504 vsize=8557456 CPUtime=1.23 cores=1,3,5,7
/proc/15506/task/15521/stat : 15521 (java) T 15504 15506 15506 0 -1 4202560 13515 0 0 0 122 1 0 0 15 0 19 0 869332154 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15522] ppid=15504 vsize=8557456 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15522/stat : 15522 (java) T 15504 15506 15506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869332154 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15523] ppid=15504 vsize=8557456 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15523/stat : 15523 (java) T 15504 15506 15506 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869332154 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15506/tid=15524] ppid=15504 vsize=8557456 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15524/stat : 15524 (java) T 15504 15506 15506 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869332186 8762834944 63302 33554432000 1073741824 1073778376 140733748912624 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15504/tid=15526] ppid=15487 vsize=304880 CPUtime=0 cores=1,3,5,7
/proc/15504/task/15526/stat : 15526 (python) S 15487 15487 14938 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869336944 312197120 6024 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554946 18446604462349862080 0 0 -1 7 0 0 0
[pid=15527] ppid=15487 vsize=315136 CPUtime=0 cores=1,3,5,7
/proc/15527/stat : 15527 (python) S 15487 15487 14938 0 -1 4202560 818 0 0 0 0 0 0 0 16 0 1 0 869336947 322699264 5979 33554432000 4194304 5683644 140736089496416 18446744073709551615 232335912518 0 0 16781312 33554946 4294934792 0 0 17 5 0 0 0
/proc/15527/statm: 78784 5979 349 364 0 13662 0
[pid=15529] ppid=15527 vsize=8554740 CPUtime=1.81 cores=1,3,5,7
/proc/15529/stat : 15529 (java) S 15527 15529 15529 0 -1 4202496 35688 0 1 0 177 4 0 0 20 0 19 0 869336947 8760053760 31317 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15529/statm: 2138685 31318 2224 9 0 2129426 0
[pid=15529/tid=15530] ppid=15527 vsize=8554740 CPUtime=0.76 cores=1,3,5,7
/proc/15529/task/15530/stat : 15530 (java) R 15527 15529 15529 0 -1 4202560 22880 0 1 0 74 2 0 0 25 0 19 0 869336948 8760053760 31927 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 46912505883350 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15529/tid=15531] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15531/stat : 15531 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869336948 8760053760 31930 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15532] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15532/stat : 15532 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869336948 8760053760 31931 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15533] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15533/stat : 15533 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869336948 8760053760 31931 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15534] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15534/stat : 15534 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336948 8760053760 31931 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15535] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15535/stat : 15535 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336948 8760053760 31933 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15536] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15536/stat : 15536 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336948 8760053760 31934 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15537] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15537/stat : 15537 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336948 8760053760 31935 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15538] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15538/stat : 15538 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336948 8760053760 31936 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15539] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15539/stat : 15539 (java) S 15527 15529 15529 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869336949 8760053760 31936 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708928 0 0 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15540] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15540/stat : 15540 (java) S 15527 15529 15529 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869336949 8760053760 31937 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15541] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15541/stat : 15541 (java) S 15527 15529 15529 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869336949 8760053760 31938 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15542] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15542/stat : 15542 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336952 8760053760 31940 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347716017 0 4 0 16800975 18446604460544674624 0 0 -1 1 0 0 0
[pid=15529/tid=15543] ppid=15527 vsize=8554740 CPUtime=0.56 cores=1,3,5,7
/proc/15529/task/15543/stat : 15543 (java) R 15527 15529 15529 0 -1 4202560 6928 0 0 0 56 0 0 0 17 0 19 0 869336952 8760053760 31942 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 47752171695823 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15529/tid=15544] ppid=15527 vsize=8554740 CPUtime=0.48 cores=1,3,5,7
/proc/15529/task/15544/stat : 15544 (java) S 15527 15529 15529 0 -1 4202560 5094 0 0 0 48 0 0 0 25 0 19 0 869336952 8760053760 31943 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 3 0 0 0
[pid=15529/tid=15545] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15545/stat : 15545 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869336952 8760053760 31943 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708313 0 4 0 16800975 18446604460544674624 0 0 -1 7 0 0 0
[pid=15529/tid=15546] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15546/stat : 15546 (java) S 15527 15529 15529 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869336952 8760053760 31943 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708928 0 4 0 16800975 18446604460544674624 0 0 -1 5 0 0 0
[pid=15529/tid=15547] ppid=15527 vsize=8554740 CPUtime=0 cores=1,3,5,7
/proc/15529/task/15547/stat : 15547 (java) S 15527 15529 15529 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869336984 8760053760 31944 33554432000 1073741824 1073778376 140737358227200 18446744073709551615 232347708928 0 4 0 16800975 18446604460544674624 0 0 -1 5 0 0 0
[pid=15487/tid=15494] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15494/stat : 15494 (python) S 15485 15487 14938 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 5 0 869322545 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
[pid=15487/tid=15500] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15500/stat : 15500 (python) S 15485 15487 14938 0 -1 4202560 33 928 0 0 0 0 0 0 20 0 5 0 869327329 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
[pid=15487/tid=15505] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15505/stat : 15505 (python) S 15485 15487 14938 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869332149 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 7 0 0 0
[pid=15487/tid=15528] ppid=15485 vsize=325380 CPUtime=0 cores=1,3,5,7
/proc/15487/task/15528/stat : 15528 (python) S 15485 15487 14938 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 5 0 869336947 333189120 7513 33554432000 4194304 5683644 140736089496416 18446744073709551615 232347716017 0 0 16781312 33554434 18446604458553254272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 149.02
Current children cumulated vsize (KiB) 18681440
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15487 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=524920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123981
# CPU time returned by wait4() is 0.648901
# while last known CPU time is 149.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.677
CPU time (s): 149.02
CPU user time (s): 148.16
CPU system time (s): 0.86
CPU usage (%): 102.295
Max. virtual memory (cumulated for all children) (KiB): 18681440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52492
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13466
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= 2866
involuntary context switches= 15
runsolver used 0.923859 second user time and 1.61475 second system time
The end