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-3481455-1307577840/watcher-3481455-1307577840 -o /tmp/evaluation-result-3481455-1307577840/solver-3481455-1307577840 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481455-1307577840.opb -seed 1751279905 -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.09 2.11 1.65 2/717 24438
/proc/meminfo: memFree=18760192/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/24438/stat : 24438 (python) R 24436 24438 22387 0 -1 4202496 998 0 0 0 0 0 0 0 17 0 1 0 948014789 16633856 870 33554432000 4194304 5683644 140737409958880 18446744073709551615 4876463 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24438/statm: 4061 870 368 364 0 548 0
[startup+0.061084 s]
/proc/loadavg: 2.09 2.11 1.65 2/717 24438
/proc/meminfo: memFree=18760192/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=43820 CPUtime=0.04 cores=0,2,4,6
/proc/24438/stat : 24438 (python) R 24436 24438 22387 0 -1 4202496 1715 0 0 0 3 1 0 0 17 0 1 0 948014789 44871680 1538 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905088093 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24438/statm: 10955 1562 467 364 0 1220 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43820
[startup+0.101023 s]
/proc/loadavg: 2.09 2.11 1.65 2/717 24438
/proc/meminfo: memFree=18760192/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/24438/stat : 24438 (python) R 24436 24438 22387 0 -1 4202496 3169 928 1 0 5 1 0 0 18 0 1 0 948014789 98435072 2483 33554432000 4194304 5683644 140737409958880 18446744073709551615 5177998 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24438/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.301 s]
/proc/loadavg: 2.09 2.11 1.65 2/717 24438
/proc/meminfo: memFree=18760192/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=202864 CPUtime=0.2 cores=0,2,4,6
/proc/24438/stat : 24438 (python) R 24436 24438 22387 0 -1 4202496 6658 928 1 0 16 4 0 0 17 0 1 0 948014789 207732736 4945 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905393920 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24438/statm: 50750 4950 1472 364 0 3712 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 202864
[startup+0.700963 s]
/proc/loadavg: 2.09 2.11 1.65 2/717 24438
/proc/meminfo: memFree=18760192/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=294484 CPUtime=0.49 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 11003 1351 1 0 41 6 2 0 20 0 2 0 948014789 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/24438/statm: 73621 7460 1871 364 0 8508 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 294484
[startup+1.50082 s]
/proc/loadavg: 2.09 2.11 1.65 3/721 24447
/proc/meminfo: memFree=18697284/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=294484 CPUtime=0.49 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 11003 1351 1 0 41 6 2 0 20 0 2 0 948014789 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/24438/statm: 73621 7460 1871 364 0 8508 0
[pid=24445] ppid=24438 vsize=284240 CPUtime=0 cores=0,2,4,6
/proc/24445/stat : 24445 (python) S 24438 24438 22387 0 -1 4202560 734 0 0 0 0 0 0 0 15 0 1 0 948014853 291061760 5904 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414159 0 0 16781312 33554946 15068699145185231107 0 0 17 6 0 0 0
/proc/24445/statm: 71060 5904 319 364 0 5947 0
[pid=24447] ppid=24445 vsize=47376 CPUtime=0.85 cores=0,2,4,6
/proc/24447/stat : 24447 (scip-2.0.1.linu) R 24445 24447 24447 0 -1 4202496 11548 0 0 0 75 10 0 0 23 0 1 0 948014853 48513024 9645 33554432000 4194304 13684479 140735566334416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24447/statm: 11844 9645 777 2317 0 9522 0
[pid=24438/tid=24446] ppid=24436 vsize=294484 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24446/stat : 24446 (python) S 24436 24438 22387 0 -1 4202560 28 1351 0 0 0 0 2 0 20 0 2 0 948014853 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 626100
[startup+3.10052 s]
/proc/loadavg: 2.09 2.11 1.65 3/721 24447
/proc/meminfo: memFree=18690960/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=294484 CPUtime=0.49 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 11003 1351 1 0 41 6 2 0 20 0 2 0 948014789 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/24438/statm: 73621 7460 1871 364 0 8508 0
[pid=24445] ppid=24438 vsize=284240 CPUtime=0 cores=0,2,4,6
/proc/24445/stat : 24445 (python) S 24438 24438 22387 0 -1 4202560 739 0 0 0 0 0 0 0 15 0 1 0 948014853 291061760 5904 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414159 0 0 16781312 33554946 15068699145185231107 0 0 17 6 0 0 0
/proc/24445/statm: 71060 5904 319 364 0 5947 0
[pid=24447] ppid=24445 vsize=54724 CPUtime=2.44 cores=0,2,4,6
/proc/24447/stat : 24447 (scip-2.0.1.linu) R 24445 24447 24447 0 -1 4202496 13214 0 0 0 233 11 0 0 19 0 1 0 948014853 56037376 11304 33554432000 4194304 13684479 140735566334416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24447/statm: 13681 11304 782 2317 0 11359 0
[pid=24438/tid=24446] ppid=24436 vsize=294484 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24446/stat : 24446 (python) S 24436 24438 22387 0 -1 4202560 28 1351 0 0 0 0 2 0 20 0 2 0 948014853 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 633448
[startup+6.30094 s]
/proc/loadavg: 2.09 2.11 1.65 3/721 24447
/proc/meminfo: memFree=18679304/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=294484 CPUtime=0.49 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 11003 1351 1 0 41 6 2 0 20 0 2 0 948014789 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/24438/statm: 73621 7460 1871 364 0 8508 0
[pid=24445] ppid=24438 vsize=284240 CPUtime=0.02 cores=0,2,4,6
/proc/24445/stat : 24445 (python) S 24438 24438 22387 0 -1 4202560 878 0 0 0 1 1 0 0 15 0 1 0 948014853 291061760 5928 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414159 0 0 16781312 33554946 1202459429765644288 0 0 17 6 0 0 0
/proc/24445/statm: 71060 5928 343 364 0 5947 0
[pid=24447] ppid=24445 vsize=59564 CPUtime=5.65 cores=0,2,4,6
/proc/24447/stat : 24447 (scip-2.0.1.linu) R 24445 24447 24447 0 -1 4202496 14594 0 0 0 551 14 0 0 25 0 1 0 948014853 60993536 12667 33554432000 4194304 13684479 140735566334416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24447/statm: 14891 12667 790 2317 0 12569 0
[pid=24438/tid=24446] ppid=24436 vsize=294484 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24446/stat : 24446 (python) S 24436 24438 22387 0 -1 4202560 28 1351 0 0 0 0 2 0 20 0 2 0 948014853 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 638288
[startup+12.7008 s]
/proc/loadavg: 2.08 2.11 1.65 3/721 24447
/proc/meminfo: memFree=18674428/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=294484 CPUtime=0.49 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 11003 1351 1 0 41 6 2 0 20 0 2 0 948014789 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/24438/statm: 73621 7460 1871 364 0 8508 0
[pid=24445] ppid=24438 vsize=284240 CPUtime=0.04 cores=0,2,4,6
/proc/24445/stat : 24445 (python) S 24438 24438 22387 0 -1 4202560 887 0 0 0 2 2 0 0 15 0 1 0 948014853 291061760 5928 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414159 0 0 16781312 33554946 3897998282172923904 0 0 17 2 0 0 0
/proc/24445/statm: 71060 5928 343 364 0 5947 0
[pid=24447] ppid=24445 vsize=59820 CPUtime=12.05 cores=0,2,4,6
/proc/24447/stat : 24447 (scip-2.0.1.linu) R 24445 24447 24447 0 -1 4202496 14672 0 0 0 1187 18 0 0 25 0 1 0 948014853 61255680 12737 33554432000 4194304 13684479 140735566334416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24447/statm: 14955 12737 784 2317 0 12633 0
[pid=24438/tid=24446] ppid=24436 vsize=294484 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24446/stat : 24446 (python) S 24436 24438 22387 0 -1 4202560 28 1351 0 0 0 0 2 0 20 0 2 0 948014853 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 638544
[startup+25.5004 s]
/proc/loadavg: 2.06 2.10 1.65 3/713 24511
/proc/meminfo: memFree=18148144/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=294484 CPUtime=0.49 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 11003 1351 1 0 41 6 2 0 20 0 2 0 948014789 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/24438/statm: 73621 7460 1871 364 0 8508 0
[pid=24445] ppid=24438 vsize=284240 CPUtime=0.1 cores=0,2,4,6
/proc/24445/stat : 24445 (python) S 24438 24438 22387 0 -1 4202560 898 0 0 0 5 5 0 0 15 0 1 0 948014853 291061760 5928 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414159 0 0 16781312 33554946 72556772316949234 0 0 17 6 0 0 0
/proc/24445/statm: 71060 5928 343 364 0 5947 0
[pid=24447] ppid=24445 vsize=57476 CPUtime=24.85 cores=0,2,4,6
/proc/24447/stat : 24447 (scip-2.0.1.linu) R 24445 24447 24447 0 -1 4202496 14875 0 0 0 2456 29 0 0 25 0 1 0 948014853 58855424 12204 33554432000 4194304 13684479 140735566334416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24447/statm: 14369 12204 804 2317 0 12047 0
[pid=24438/tid=24446] ppid=24436 vsize=294484 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24446/stat : 24446 (python) S 24436 24438 22387 0 -1 4202560 28 1351 0 0 0 0 2 0 20 0 2 0 948014853 301551616 7460 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 636200
[startup+51.1016 s]
/proc/loadavg: 2.20 2.12 1.67 3/735 24535
/proc/meminfo: memFree=17954680/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=305244 CPUtime=0.52 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 11897 1351 1 0 43 7 2 0 20 0 3 0 948014789 312569856 7593 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24438/statm: 76311 7593 1874 364 0 11195 0
[pid=24445] ppid=24438 vsize=294484 CPUtime=0.21 cores=0,2,4,6
/proc/24445/stat : 24445 (python) S 24438 24438 22387 0 -1 4202560 1110 0 0 0 11 10 0 0 16 0 2 0 948014853 301551616 5996 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/24445/statm: 73621 5996 406 364 0 8508 0
[pid=24447] ppid=24445 vsize=57476 CPUtime=46.36 cores=0,2,4,6
/proc/24447/stat : 24447 (scip-2.0.1.linu) T 24445 24447 24447 0 -1 4202496 14877 0 0 0 4592 44 0 0 25 0 1 0 948014853 58855424 12206 33554432000 4194304 13684479 140735566334416 18446744073709551615 7432374 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/24447/statm: 14369 12206 806 2317 0 12047 0
[pid=24445/tid=24512] ppid=24438 vsize=294484 CPUtime=0 cores=0,2,4,6
/proc/24445/task/24512/stat : 24512 (python) S 24438 24438 22387 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948019490 301551616 5996 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450012466048 0 0 -1 4 0 0 0
[pid=24513] ppid=24438 vsize=295000 CPUtime=0.01 cores=0,2,4,6
/proc/24513/stat : 24513 (python) S 24438 24438 22387 0 -1 4202560 894 0 0 0 0 1 0 0 15 0 1 0 948019492 302080000 6059 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414214 0 0 16781312 33554946 4294934787 0 0 17 2 0 0 0
/proc/24513/statm: 73750 6059 344 364 0 8634 0
[pid=24516] ppid=24513 vsize=8539220 CPUtime=4.71 cores=0,2,4,6
/proc/24516/stat : 24516 (java) S 24513 24516 24516 0 -1 4202496 47555 0 1 0 464 7 0 0 22 0 19 0 948019493 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24516/statm: 2134805 44128 2256 9 0 2125546 0
[pid=24516/tid=24517] ppid=24513 vsize=8539220 CPUtime=3.91 cores=0,2,4,6
/proc/24516/task/24517/stat : 24517 (java) R 24513 24516 24516 0 -1 4202560 35264 0 1 0 386 5 0 0 25 0 19 0 948019493 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 46912505707648 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=24516/tid=24518] ppid=24513 vsize=8539220 CPUtime=0.01 cores=0,2,4,6
/proc/24516/task/24518/stat : 24518 (java) S 24513 24516 24516 0 -1 4202560 1274 0 0 0 1 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 0 0 0 0
[pid=24516/tid=24519] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24519/stat : 24519 (java) S 24513 24516 24516 0 -1 4202560 337 0 0 0 0 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 4 0 0 0
[pid=24516/tid=24520] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24520/stat : 24520 (java) S 24513 24516 24516 0 -1 4202560 328 0 0 0 0 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 0 0 0 0
[pid=24516/tid=24521] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24521/stat : 24521 (java) S 24513 24516 24516 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 0 0 0 0
[pid=24516/tid=24522] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24522/stat : 24522 (java) S 24513 24516 24516 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 0 0 0 0
[pid=24516/tid=24523] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24523/stat : 24523 (java) S 24513 24516 24516 0 -1 4202560 685 0 0 0 0 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 4 0 0 0
[pid=24516/tid=24524] ppid=24513 vsize=8539220 CPUtime=0.01 cores=0,2,4,6
/proc/24516/task/24524/stat : 24524 (java) S 24513 24516 24516 0 -1 4202560 542 0 0 0 1 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 0 0 0 0
[pid=24516/tid=24525] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24525/stat : 24525 (java) S 24513 24516 24516 0 -1 4202560 991 0 0 0 0 0 0 0 15 0 19 0 948019494 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 4 0 0 0
[pid=24516/tid=24526] ppid=24513 vsize=8539220 CPUtime=0.04 cores=0,2,4,6
/proc/24516/task/24526/stat : 24526 (java) S 24513 24516 24516 0 -1 4202560 1327 0 0 0 4 0 0 0 15 0 19 0 948019495 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210624 0 0 0 16800975 18446604445268472832 0 0 -1 6 0 0 0
[pid=24516/tid=24527] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24527/stat : 24527 (java) S 24513 24516 24516 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948019495 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 6 0 0 0
[pid=24516/tid=24528] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24528/stat : 24528 (java) S 24513 24516 24516 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948019495 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 6 0 0 0
[pid=24516/tid=24530] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24530/stat : 24530 (java) S 24513 24516 24516 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948019497 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917217713 0 4 0 16800975 18446604445268472832 0 0 -1 6 0 0 0
[pid=24516/tid=24531] ppid=24513 vsize=8539220 CPUtime=0.31 cores=0,2,4,6
/proc/24516/task/24531/stat : 24531 (java) S 24513 24516 24516 0 -1 4202560 1636 0 0 0 31 0 0 0 15 0 19 0 948019497 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 2 0 0 0
[pid=24516/tid=24532] ppid=24513 vsize=8539220 CPUtime=0.36 cores=0,2,4,6
/proc/24516/task/24532/stat : 24532 (java) S 24513 24516 24516 0 -1 4202560 3108 0 0 0 36 0 0 0 15 0 19 0 948019497 8744161280 44128 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446604445268472832 0 0 -1 4 0 0 0
[pid=24516/tid=24533] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24544/stat : 24544 (scip-2.0.1.linu) T 24542 24544 24544 0 -1 4202496 18762 0 0 0 9441 37 0 0 25 0 1 0 948023994 64401408 12855 33554432000 4194304 15243407 140736451196496 18446744073709551615 4860346 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24544/statm: 15723 12855 943 2698 0 13018 0
[pid=24542/tid=24574] ppid=24438 vsize=305256 CPUtime=0 cores=0,2,4,6
/proc/24542/task/24574/stat : 24574 (python) S 24438 24438 22387 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948033473 312582144 6111 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554946 18446604453664678848 0 0 -1 6 0 0 0
[pid=24575] ppid=24438 vsize=315512 CPUtime=0.19 cores=0,2,4,6
/proc/24575/stat : 24575 (python) S 24438 24438 22387 0 -1 4202560 936 0 0 0 11 8 0 0 16 0 1 0 948033476 323084288 6067 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414214 0 0 16781312 33554946 72556772316949234 0 0 17 6 0 0 0
/proc/24575/statm: 78878 6067 344 364 0 13756 0
[pid=24577] ppid=24575 vsize=93800 CPUtime=35.39 cores=0,2,4,6
/proc/24577/stat : 24577 (wbo1.4a) R 24575 24577 24577 0 -1 4202496 23313 0 0 0 3519 20 0 0 25 0 1 0 948033476 96051200 22994 33554432000 134512640 135751879 4294557088 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/24577/statm: 23450 22994 146 303 0 23145 0
[pid=24438/tid=24446] ppid=24436 vsize=325756 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24446/stat : 24446 (python) S 24436 24438 22387 0 -1 4202560 28 1351 0 0 0 0 2 0 20 0 5 0 948014853 333574144 7605 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
[pid=24438/tid=24514] ppid=24436 vsize=325756 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24514/stat : 24514 (python) S 24436 24438 22387 0 -1 4202560 26 1351 0 0 0 0 2 0 20 0 5 0 948019493 333574144 7605 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 4 0 0 0
[pid=24438/tid=24543] ppid=24436 vsize=325756 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24543/stat : 24543 (python) S 24436 24438 22387 0 -1 4202560 29 1351 0 0 0 0 2 0 20 0 5 0 948023994 333574144 7605 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
[pid=24438/tid=24576] ppid=24436 vsize=325756 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24576/stat : 24576 (python) S 24436 24438 22387 0 -1 4202560 30 1351 0 0 0 0 2 0 20 0 5 0 948033476 333574144 7605 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 224.16
Current children cumulated vsize (KiB) 10289396
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+236.402 s]
/proc/loadavg: 2.01 2.06 1.72 5/794 24599
/proc/meminfo: memFree=14683900/32950928 swapFree=61542368/67111528
[pid=24438] ppid=24436 vsize=336012 CPUtime=0.59 cores=0,2,4,6
/proc/24438/stat : 24438 (python) S 24436 24438 22387 0 -1 4202496 14700 1351 1 0 50 7 2 0 20 0 6 0 948014789 344076288 7611 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24438/statm: 84003 7611 1880 364 0 18878 0
[pid=24445] ppid=24438 vsize=294484 CPUtime=0.21 cores=0,2,4,6
/proc/24445/stat : 24445 (python) S 24438 24438 22387 0 -1 4202560 1110 0 0 0 11 10 0 0 16 0 2 0 948014853 301551616 5996 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/24445/statm: 73621 5996 406 364 0 8508 0
[pid=24447] ppid=24445 vsize=57476 CPUtime=46.36 cores=0,2,4,6
/proc/24447/stat : 24447 (scip-2.0.1.linu) T 24445 24447 24447 0 -1 4202496 14877 0 0 0 4592 44 0 0 25 0 1 0 948014853 58855424 12206 33554432000 4194304 13684479 140735566334416 18446744073709551615 7432374 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/24447/statm: 14369 12206 806 2317 0 12047 0
[pid=24445/tid=24512] ppid=24438 vsize=294484 CPUtime=0 cores=0,2,4,6
/proc/24445/task/24512/stat : 24512 (python) S 24438 24438 22387 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948019490 301551616 5996 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554946 18446604450012466048 0 0 -1 4 0 0 0
[pid=24513] ppid=24438 vsize=295000 CPUtime=0.2 cores=0,2,4,6
/proc/24513/stat : 24513 (python) S 24438 24438 22387 0 -1 4202560 1102 0 0 0 10 10 0 0 16 0 2 0 948019492 302080000 6107 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/24513/statm: 73750 6107 391 364 0 8634 0
[pid=24516] ppid=24513 vsize=8539220 CPUtime=46.04 cores=0,2,4,6
/proc/24516/stat : 24516 (java) T 24513 24516 24516 0 -1 4202496 71510 0 1 0 4591 13 0 0 18 0 19 0 948019493 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24516/statm: 2134805 51228 2256 9 0 2125546 0
[pid=24516/tid=24517] ppid=24513 vsize=8539220 CPUtime=44.07 cores=0,2,4,6
/proc/24516/task/24517/stat : 24517 (java) T 24513 24516 24516 0 -1 4202560 43458 0 1 0 4401 6 0 0 25 0 19 0 948019493 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 46912505763131 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 4
[pid=24516/tid=24518] ppid=24513 vsize=8539220 CPUtime=0.1 cores=0,2,4,6
/proc/24516/task/24518/stat : 24518 (java) T 24513 24516 24516 0 -1 4202560 3381 0 0 0 10 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=24516/tid=24519] ppid=24513 vsize=8539220 CPUtime=0.08 cores=0,2,4,6
/proc/24516/task/24519/stat : 24519 (java) T 24513 24516 24516 0 -1 4202560 2076 0 0 0 8 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=24516/tid=24520] ppid=24513 vsize=8539220 CPUtime=0.09 cores=0,2,4,6
/proc/24516/task/24520/stat : 24520 (java) T 24513 24516 24516 0 -1 4202560 2186 0 0 0 9 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=24516/tid=24521] ppid=24513 vsize=8539220 CPUtime=0.07 cores=0,2,4,6
/proc/24516/task/24521/stat : 24521 (java) T 24513 24516 24516 0 -1 4202560 1828 0 0 0 7 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=24516/tid=24522] ppid=24513 vsize=8539220 CPUtime=0.1 cores=0,2,4,6
/proc/24516/task/24522/stat : 24522 (java) T 24513 24516 24516 0 -1 4202560 2290 0 0 0 10 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24523] ppid=24513 vsize=8539220 CPUtime=0.07 cores=0,2,4,6
/proc/24516/task/24523/stat : 24523 (java) T 24513 24516 24516 0 -1 4202560 2071 0 0 0 7 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24524] ppid=24513 vsize=8539220 CPUtime=0.1 cores=0,2,4,6
/proc/24516/task/24524/stat : 24524 (java) T 24513 24516 24516 0 -1 4202560 2607 0 0 0 10 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=24516/tid=24525] ppid=24513 vsize=8539220 CPUtime=0.08 cores=0,2,4,6
/proc/24516/task/24525/stat : 24525 (java) T 24513 24516 24516 0 -1 4202560 2337 0 0 0 8 0 0 0 15 0 19 0 948019494 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24526] ppid=24513 vsize=8539220 CPUtime=0.46 cores=0,2,4,6
/proc/24516/task/24526/stat : 24526 (java) T 24513 24516 24516 0 -1 4202560 3135 0 0 0 45 1 0 0 15 0 19 0 948019495 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=24516/tid=24527] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24527/stat : 24527 (java) T 24513 24516 24516 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948019495 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24528] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24528/stat : 24528 (java) T 24513 24516 24516 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948019495 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24530] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24530/stat : 24530 (java) T 24513 24516 24516 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948019497 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24531] ppid=24513 vsize=8539220 CPUtime=0.31 cores=0,2,4,6
/proc/24516/task/24531/stat : 24531 (java) T 24513 24516 24516 0 -1 4202560 1637 0 0 0 31 0 0 0 15 0 19 0 948019497 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24532] ppid=24513 vsize=8539220 CPUtime=0.39 cores=0,2,4,6
/proc/24516/task/24532/stat : 24532 (java) T 24513 24516 24516 0 -1 4202560 3111 0 0 0 39 0 0 0 15 0 19 0 948019497 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=24516/tid=24533] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24533/stat : 24533 (java) T 24513 24516 24516 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948019497 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24534] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24534/stat : 24534 (java) T 24513 24516 24516 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948019497 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24516/tid=24535] ppid=24513 vsize=8539220 CPUtime=0 cores=0,2,4,6
/proc/24516/task/24535/stat : 24535 (java) T 24513 24516 24516 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948019529 8744161280 51228 33554432000 1073741824 1073778376 140734963817104 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=24513/tid=24541] ppid=24438 vsize=295000 CPUtime=0 cores=0,2,4,6
/proc/24513/task/24541/stat : 24541 (python) S 24438 24438 22387 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948023991 302080000 6107 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554946 18446604453984475840 0 0 -1 2 0 0 0
[pid=24542] ppid=24438 vsize=305256 CPUtime=0.42 cores=0,2,4,6
/proc/24542/stat : 24542 (python) S 24438 24438 22387 0 -1 4202560 1144 0 0 0 20 22 0 0 17 0 2 0 948023994 312582144 6111 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24542/statm: 76314 6111 391 364 0 11195 0
[pid=24544] ppid=24542 vsize=62892 CPUtime=94.78 cores=0,2,4,6
/proc/24544/stat : 24544 (scip-2.0.1.linu) T 24542 24544 24544 0 -1 4202496 18762 0 0 0 9441 37 0 0 25 0 1 0 948023994 64401408 12855 33554432000 4194304 15243407 140736451196496 18446744073709551615 4860346 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24544/statm: 15723 12855 943 2698 0 13018 0
[pid=24542/tid=24574] ppid=24438 vsize=305256 CPUtime=0 cores=0,2,4,6
/proc/24542/task/24574/stat : 24574 (python) S 24438 24438 22387 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948033473 312582144 6111 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554946 18446604453664678848 0 0 -1 6 0 0 0
[pid=24575] ppid=24438 vsize=315512 CPUtime=0.25 cores=0,2,4,6
/proc/24575/stat : 24575 (python) S 24438 24438 22387 0 -1 4202560 1134 0 0 0 14 11 0 0 16 0 2 0 948033476 323084288 6115 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24575/statm: 78878 6115 391 364 0 13756 0
[pid=24577] ppid=24575 vsize=130928 CPUtime=49.28 cores=0,2,4,6
/proc/24577/stat : 24577 (wbo1.4a) T 24575 24577 24577 0 -1 4202496 32570 0 0 0 4901 27 0 0 25 0 1 0 948033476 134070272 32251 33554432000 134512640 135751879 4294557088 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/24577/statm: 32732 32251 146 303 0 32427 0
[pid=24575/tid=24579] ppid=24438 vsize=315512 CPUtime=0 cores=0,2,4,6
/proc/24575/task/24579/stat : 24579 (python) S 24438 24438 22387 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 948038408 323084288 6115 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554946 18446604444267938240 0 0 -1 6 0 0 0
[pid=24580] ppid=24438 vsize=325768 CPUtime=0 cores=0,2,4,6
/proc/24580/stat : 24580 (python) S 24438 24438 22387 0 -1 4202560 798 0 0 0 0 0 0 0 18 0 1 0 948038411 333586432 6047 33554432000 4194304 5683644 140737409958880 18446744073709551615 260905414214 0 0 16781312 33554946 4181434817692303360 0 0 17 6 0 0 0
/proc/24580/statm: 81442 6047 320 364 0 16317 0
[pid=24582] ppid=24580 vsize=8533068 CPUtime=0.23 cores=0,2,4,6
/proc/24582/stat : 24582 (java) S 24580 24582 24582 0 -1 4202496 6267 0 1 0 22 1 0 0 20 0 18 0 948038411 8737861632 5724 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24582/statm: 2133267 5725 2160 9 0 2124008 0
[pid=24582/tid=24583] ppid=24580 vsize=8533068 CPUtime=0.19 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (java) R 24580 24582 24582 0 -1 4202560 4026 0 1 0 18 1 0 0 25 0 18 0 948038412 8737861632 5778 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24582/tid=24584] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948038413 8737861632 5778 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24585] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948038413 8737861632 5778 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24586] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24586/stat : 24586 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948038413 8737861632 5778 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24587] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24587/stat : 24587 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948038413 8737861632 5779 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 4 0 0 0
[pid=24582/tid=24588] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24588/stat : 24588 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948038413 8737861632 5779 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 4 0 0 0
[pid=24582/tid=24589] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24589/stat : 24589 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948038413 8737861632 5779 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 4 0 0 0
[pid=24582/tid=24590] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24590/stat : 24590 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948038413 8737861632 5779 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 4 0 0 0
[pid=24582/tid=24591] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24591/stat : 24591 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948038413 8737861632 5779 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 4 0 0 0
[pid=24582/tid=24592] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24592/stat : 24592 (java) S 24580 24582 24582 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948038414 8737861632 5779 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210624 0 0 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24593] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24593/stat : 24593 (java) S 24580 24582 24582 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948038414 8737861632 5779 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24594] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24594/stat : 24594 (java) S 24580 24582 24582 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948038414 8737861632 5780 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24595] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24595/stat : 24595 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948038416 8737861632 5780 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917217713 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24596] ppid=24580 vsize=8533068 CPUtime=0.01 cores=0,2,4,6
/proc/24582/task/24596/stat : 24596 (java) R 24580 24582 24582 0 -1 4202560 211 0 0 0 1 0 0 0 25 0 18 0 948038416 8737861632 5780 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24582/tid=24597] ppid=24580 vsize=8533068 CPUtime=0.02 cores=0,2,4,6
/proc/24582/task/24597/stat : 24597 (java) S 24580 24582 24582 0 -1 4202560 695 0 0 0 2 0 0 0 25 0 18 0 948038416 8737861632 5780 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24598] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24598/stat : 24598 (java) S 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948038416 8737861632 5780 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210009 0 4 0 16800975 18446604446865918144 0 0 -1 6 0 0 0
[pid=24582/tid=24599] ppid=24580 vsize=8533068 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24599/stat : 24599 (java) R 24580 24582 24582 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948038416 8737861632 5780 33554432000 1073741824 1073778376 140736544739120 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24438/tid=24446] ppid=24436 vsize=336012 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24446/stat : 24446 (python) S 24436 24438 22387 0 -1 4202560 28 1351 0 0 0 0 2 0 20 0 6 0 948014853 344076288 7611 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
[pid=24438/tid=24514] ppid=24436 vsize=336012 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24514/stat : 24514 (python) S 24436 24438 22387 0 -1 4202560 26 1351 0 0 0 0 2 0 20 0 6 0 948019493 344076288 7611 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 4 0 0 0
[pid=24438/tid=24543] ppid=24436 vsize=336012 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24543/stat : 24543 (python) S 24436 24438 22387 0 -1 4202560 29 1351 0 0 0 0 2 0 20 0 6 0 948023994 344076288 7611 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
[pid=24438/tid=24576] ppid=24436 vsize=336012 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24576/stat : 24576 (python) S 24436 24438 22387 0 -1 4202560 30 1351 0 0 0 0 2 0 20 0 6 0 948033476 344076288 7611 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 6 0 0 0
[pid=24438/tid=24581] ppid=24436 vsize=336012 CPUtime=0.02 cores=0,2,4,6
/proc/24438/task/24581/stat : 24581 (python) S 24436 24438 22387 0 -1 4202560 32 1351 0 0 0 0 2 0 20 0 6 0 948038411 344076288 7611 33554432000 4194304 5683644 140737409958880 18446744073709551615 260917217713 0 0 16781312 33554434 18446604452453781824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 238.36
Current children cumulated vsize (KiB) 19195616
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 24438 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=536918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=86986
# CPU time returned by wait4() is 0.623904
# while last known CPU time is 238.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 236.485
CPU time (s): 238.36
CPU user time (s): 236.54
CPU system time (s): 1.82
CPU usage (%): 100.793
Max. virtual memory (cumulated for all children) (KiB): 19195616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.536918
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16054
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= 3468
involuntary context switches= 26
runsolver used 1.70374 second user time and 3.22151 second system time
The end