runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742577-1338725202/watcher-3742577-1338725202 -o /tmp/evaluation-result-3742577-1338725202/solver-3742577-1338725202 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742577-1338725202.opb -seed 1083211020 -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.99 1.99 2.09 3/187 7353
/proc/meminfo: memFree=26205296/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/7353/stat : 7353 (python) D 7351 7353 3621 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 338644780 15642624 527 33554432000 4194304 5683644 140733739216192 140733739202104 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 3819 527 312 364 0 261 0
[startup+0.0539821 s]
/proc/loadavg: 1.99 1.99 2.09 3/187 7353
/proc/meminfo: memFree=26205296/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=16464 CPUtime=0.01 cores=1,3,5,7
/proc/7353/stat : 7353 (python) R 7351 7353 3621 0 -1 4202496 1124 0 0 0 1 0 0 0 20 0 1 0 338644780 16859136 943 33554432000 4194304 5683644 140733739216192 140733739198824 213419640192 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 4116 943 392 364 0 558 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16464
[startup+0.100258 s]
/proc/loadavg: 1.99 1.99 2.09 3/187 7353
/proc/meminfo: memFree=26205296/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=19080 CPUtime=0.02 cores=1,3,5,7
/proc/7353/stat : 7353 (python) R 7351 7353 3621 0 -1 4202496 1393 0 0 0 2 0 0 0 20 0 1 0 338644780 19537920 1147 33554432000 4194304 5683644 140733739216192 140733739146696 5293209 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 4770 1147 430 364 0 694 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19080
[startup+0.30026 s]
/proc/loadavg: 1.99 1.99 2.09 3/187 7353
/proc/meminfo: memFree=26205296/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=99652 CPUtime=0.11 cores=1,3,5,7
/proc/7353/stat : 7353 (python) R 7351 7353 3621 0 -1 4202496 3994 1010 1 0 8 3 0 0 20 0 1 0 338644780 102043648 2681 33554432000 4194304 5683644 140733739216192 140733739090280 213410419131 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 24913 2681 840 364 0 1720 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 99652
[startup+0.700252 s]
/proc/loadavg: 1.99 1.99 2.09 3/187 7353
/proc/meminfo: memFree=26205296/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=162440 CPUtime=0.25 cores=1,3,5,7
/proc/7353/stat : 7353 (python) D 7351 7353 3621 0 -1 4202496 6447 1010 1 0 15 10 0 0 20 0 1 0 338644780 166338560 4260 33554432000 4194304 5683644 140733739216192 140733739116184 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 40610 4260 1192 364 0 3255 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 162440
[startup+1.50029 s]
/proc/loadavg: 1.99 1.99 2.09 3/188 7358
/proc/meminfo: memFree=26184076/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=288912 CPUtime=0.76 cores=1,3,5,7
/proc/7353/stat : 7353 (python) R 7351 7353 3621 0 -1 4202496 13140 1010 1 0 60 16 0 0 20 0 1 0 338644780 295845888 8977 33554432000 4194304 5683644 140733739216192 140733739130264 140188853285841 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 72228 8977 1846 364 0 7457 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 288912
[startup+3.10043 s]
/proc/loadavg: 1.99 1.99 2.09 3/191 7361
/proc/meminfo: memFree=26106808/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=365136 CPUtime=1.03 cores=1,3,5,7
/proc/7353/stat : 7353 (python) S 7351 7353 3621 0 -1 4202496 13539 1010 1 0 87 16 0 0 20 0 2 0 338644780 373899264 9147 33554432000 4194304 5683644 140733739216192 140733739211024 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 91284 9147 1902 364 0 26507 0
[pid=7359] ppid=7353 vsize=289356 CPUtime=0 cores=1,3,5,7
/proc/7359/stat : 7359 (python) S 7353 7353 3621 0 -1 4202560 770 0 0 0 0 0 0 0 20 0 1 0 338644957 296300544 7579 33554432000 4194304 5683644 140733739216192 140733739207280 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/7359/statm: 72339 7579 340 364 0 7562 0
[pid=7361] ppid=7359 vsize=149576 CPUtime=1.31 cores=1,3,5,7
/proc/7361/stat : 7361 (scip-2.0.1.linu) R 7359 7361 7361 0 -1 4202496 34691 0 0 0 121 10 0 0 20 0 1 0 338644958 153165824 33973 33554432000 4194304 13684479 140734439747264 140734439742648 4880937 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7361/statm: 37394 33973 635 2317 0 35072 0
[pid=7353/tid=7360] ppid=7351 vsize=365136 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338644957 373899264 9147 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 804068
heavy processes:
[startup+6.30038 s]
/proc/loadavg: 1.99 1.99 2.09 4/192 7362
/proc/meminfo: memFree=25968232/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=365136 CPUtime=1.03 cores=1,3,5,7
/proc/7353/stat : 7353 (python) S 7351 7353 3621 0 -1 4202496 13539 1010 1 0 87 16 0 0 20 0 2 0 338644780 373899264 9147 33554432000 4194304 5683644 140733739216192 140733739211024 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 91284 9147 1902 364 0 26507 0
[pid=7359] ppid=7353 vsize=289356 CPUtime=0 cores=1,3,5,7
/proc/7359/stat : 7359 (python) S 7353 7353 3621 0 -1 4202560 899 0 0 0 0 0 0 0 20 0 1 0 338644957 296300544 7602 33554432000 4194304 5683644 140733739216192 140733739207280 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7359/statm: 72339 7602 363 364 0 7562 0
[pid=7361] ppid=7359 vsize=214532 CPUtime=4.51 cores=1,3,5,7
/proc/7361/stat : 7361 (scip-2.0.1.linu) R 7359 7361 7361 0 -1 4202496 49981 0 0 0 437 14 0 0 20 0 1 0 338644958 219680768 49263 33554432000 4194304 13684479 140734439747264 140734439742648 4880947 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7361/statm: 53633 49263 635 2317 0 51311 0
[pid=7353/tid=7360] ppid=7351 vsize=365136 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338644957 373899264 9147 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 869024
[startup+12.7004 s]
/proc/loadavg: 1.99 1.99 2.09 3/192 7362
/proc/meminfo: memFree=25872788/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=365136 CPUtime=1.03 cores=1,3,5,7
/proc/7353/stat : 7353 (python) S 7351 7353 3621 0 -1 4202496 13539 1010 1 0 87 16 0 0 20 0 2 0 338644780 373899264 9147 33554432000 4194304 5683644 140733739216192 140733739211024 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 91284 9147 1902 364 0 26507 0
[pid=7359] ppid=7353 vsize=289356 CPUtime=0.01 cores=1,3,5,7
/proc/7359/stat : 7359 (python) S 7353 7353 3621 0 -1 4202560 904 0 0 0 1 0 0 0 20 0 1 0 338644957 296300544 7602 33554432000 4194304 5683644 140733739216192 140733739207280 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7359/statm: 72339 7602 363 364 0 7562 0
[pid=7361] ppid=7359 vsize=273772 CPUtime=10.9 cores=1,3,5,7
/proc/7361/stat : 7361 (scip-2.0.1.linu) R 7359 7361 7361 0 -1 4202496 63920 0 0 0 1073 17 0 0 20 0 1 0 338644958 280342528 63202 33554432000 4194304 13684479 140734439747264 140734439743576 4880933 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7361/statm: 68443 63202 635 2317 0 66121 0
[pid=7353/tid=7360] ppid=7351 vsize=365136 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338644957 373899264 9147 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 928264
[startup+25.5005 s]
/proc/loadavg: 1.99 1.99 2.09 3/192 7362
/proc/meminfo: memFree=25697188/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=365136 CPUtime=1.03 cores=1,3,5,7
/proc/7353/stat : 7353 (python) S 7351 7353 3621 0 -1 4202496 13539 1010 1 0 87 16 0 0 20 0 2 0 338644780 373899264 9147 33554432000 4194304 5683644 140733739216192 140733739211024 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 91284 9147 1902 364 0 26507 0
[pid=7359] ppid=7353 vsize=289356 CPUtime=0.03 cores=1,3,5,7
/proc/7359/stat : 7359 (python) S 7353 7353 3621 0 -1 4202560 1010 0 0 0 2 1 0 0 20 0 1 0 338644957 296300544 7607 33554432000 4194304 5683644 140733739216192 140733739207280 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7359/statm: 72339 7607 368 364 0 7562 0
[pid=7361] ppid=7359 vsize=368300 CPUtime=23.71 cores=1,3,5,7
/proc/7361/stat : 7361 (scip-2.0.1.linu) R 7359 7361 7361 0 -1 4202496 87228 0 0 0 2346 25 0 0 20 0 1 0 338644958 377139200 86510 33554432000 4194304 13684479 140734439747264 140734439743576 11827963 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7361/statm: 92075 86510 639 2317 0 89753 0
[pid=7353/tid=7360] ppid=7351 vsize=365136 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338644957 373899264 9147 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 1022792
[startup+51.1004 s]
/proc/loadavg: 1.99 1.99 2.08 3/213 7383
/proc/meminfo: memFree=25035584/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=365136 CPUtime=1.03 cores=1,3,5,7
/proc/7353/stat : 7353 (python) S 7351 7353 3621 0 -1 4202496 13539 1010 1 0 87 16 0 0 20 0 2 0 338644780 373899264 9147 33554432000 4194304 5683644 140733739216192 140733739211024 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 91284 9147 1902 364 0 26507 0
[pid=7359] ppid=7353 vsize=289356 CPUtime=0.08 cores=1,3,5,7
/proc/7359/stat : 7359 (python) S 7353 7353 3621 0 -1 4202560 1033 0 0 0 5 3 0 0 20 0 1 0 338644957 296300544 7607 33554432000 4194304 5683644 140733739216192 140733739207280 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7359/statm: 72339 7607 368 364 0 7562 0
[pid=7361] ppid=7359 vsize=497588 CPUtime=49.3 cores=1,3,5,7
/proc/7361/stat : 7361 (scip-2.0.1.linu) R 7359 7361 7361 0 -1 4202496 119665 0 0 0 4890 40 0 0 20 0 1 0 338644958 509530112 118947 33554432000 4194304 13684479 140734439747264 140734439743576 5110634 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7361/statm: 124397 118947 639 2317 0 122075 0
[pid=7353/tid=7360] ppid=7351 vsize=365136 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338644957 373899264 9147 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 1152080
[startup+102.308 s]
/proc/loadavg: 1.99 1.99 2.08 3/222 7392
/proc/meminfo: memFree=23539128/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=516720 CPUtime=1.08 cores=1,3,5,7
/proc/7353/stat : 7353 (python) S 7351 7353 3621 0 -1 4202496 15373 1010 1 0 91 17 0 0 20 0 4 0 338644780 529121280 9164 33554432000 4194304 5683644 140733739216192 140733739211024 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 129180 9164 1907 364 0 64397 0
[pid=7359] ppid=7353 vsize=365136 CPUtime=0.09 cores=1,3,5,7
/proc/7359/stat : 7359 (python) S 7353 7353 3621 0 -1 4202560 1170 0 0 0 6 3 0 0 20 0 2 0 338644957 373899264 7642 33554432000 4194304 5683644 140733739216192 140733739207840 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7359/statm: 91284 7642 396 364 0 26507 0
[pid=7361] ppid=7359 vsize=497588 CPUtime=49.4 cores=1,3,5,7
/proc/7361/stat : 7361 (scip-2.0.1.linu) T 7359 7361 7361 0 -1 4202496 119726 0 0 0 4900 40 0 0 20 0 1 0 338644958 509530112 119008 33554432000 4194304 13684479 140734439747264 140734439744184 6141109 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7361/statm: 124397 119008 639 2317 0 122075 0
[pid=7359/tid=7384] ppid=7353 vsize=365136 CPUtime=0 cores=1,3,5,7
/proc/7359/task/7384/stat : 7384 (python) S 7353 7353 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338649900 373899264 7642 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7385] ppid=7353 vsize=365148 CPUtime=0.07 cores=1,3,5,7
/proc/7385/stat : 7385 (python) S 7353 7353 3621 0 -1 4202560 1107 0 0 0 4 3 0 0 20 0 2 0 338649903 373911552 7629 33554432000 4194304 5683644 140733739216192 140733739207840 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7385/statm: 91287 7629 383 364 0 26507 0
[pid=7387] ppid=7385 vsize=18932 CPUtime=47.11 cores=1,3,5,7
/proc/7387/stat : 7387 (clasp-1.3.7-x86) T 7385 7387 7387 0 -1 4202496 4996 0 0 0 4711 0 0 0 20 0 1 0 338649903 19386368 4469 33554432000 134512640 136139019 4286962720 4286961696 134883415 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7387/statm: 4733 4469 182 398 0 4333 0
[pid=7385/tid=7389] ppid=7353 vsize=365148 CPUtime=0 cores=1,3,5,7
/proc/7385/task/7389/stat : 7389 (python) S 7353 7353 3621 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 2 0 338654616 373911552 7629 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7390] ppid=7353 vsize=440940 CPUtime=0 cores=1,3,5,7
/proc/7390/stat : 7390 (python) S 7353 7353 3621 0 -1 4202560 931 0 0 0 0 0 0 0 20 0 1 0 338654619 451522560 7609 33554432000 4194304 5683644 140733739216192 140733739207280 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7390/statm: 110235 7609 358 364 0 45452 0
[pid=7392] ppid=7390 vsize=213788 CPUtime=3.91 cores=1,3,5,7
/proc/7392/stat : 7392 (scip-2.0.1.linu) R 7390 7392 7392 0 -1 4202496 49485 0 0 0 378 13 0 0 20 0 1 0 338654619 218918912 48769 33554432000 4194304 15243407 140737430023936 140737430019320 4880915 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7392/statm: 53447 48769 682 2698 0 50742 0
[pid=7353/tid=7360] ppid=7351 vsize=516720 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 4 0 338644957 529121280 9164 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7353/tid=7386] ppid=7351 vsize=516720 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7386/stat : 7386 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 4 0 338649903 529121280 9164 33554432000 4194304 5683644 140733739216192 140188662878768 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7353/tid=7391] ppid=7351 vsize=516720 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7391/stat : 7391 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 4 0 338654619 529121280 9164 33554432000 4194304 5683644 140733739216192 140188652388912 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 2418252
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 2.07 3/192 7461
/proc/meminfo: memFree=26092164/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=516720 CPUtime=1.1 cores=1,3,5,7
################
# More data... #
################
[pid=7499/tid=7501] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7501/stat : 7501 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3668 33554432000 1073741824 1073778376 140734986788112 140147673250472 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7499/tid=7502] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7502/stat : 7502 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3668 33554432000 1073741824 1073778376 140734986788112 140147672197928 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7499/tid=7503] ppid=7497 vsize=9225564 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7503/stat : 7503 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446977536 3672 33554432000 1073741824 1073778376 140734986788112 140147671145384 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7499/tid=7504] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7504/stat : 7504 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3672 33554432000 1073741824 1073778376 140734986788112 140147670092840 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7499/tid=7505] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7505/stat : 7505 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3674 33554432000 1073741824 1073778376 140734986788112 140147523532968 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7499/tid=7506] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7506/stat : 7506 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3674 33554432000 1073741824 1073778376 140734986788112 140147522480424 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7499/tid=7507] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7507/stat : 7507 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3674 33554432000 1073741824 1073778376 140734986788112 140147521427880 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7499/tid=7508] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7508/stat : 7508 (java) S 7497 7499 7499 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3675 33554432000 1073741824 1073778376 140734986788112 140147520375336 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7499/tid=7509] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7509/stat : 7509 (java) S 7497 7499 7499 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 13 0 338673371 9446973440 3676 33554432000 1073741824 1073778376 140734986788112 140147508177512 213423011753 0 0 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7499/tid=7510] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7510/stat : 7510 (java) S 7497 7499 7499 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 13 0 338673371 9446973440 3682 33554432000 1073741824 1073778376 140734986788112 140147507123832 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7499/tid=7511] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7511/stat : 7511 (java) S 7497 7499 7499 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 13 0 338673371 9446973440 3684 33554432000 1073741824 1073778376 140734986788112 140147506071176 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7353/tid=7360] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 6 0 338644957 684343296 9180 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7353/tid=7386] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7386/stat : 7386 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 6 0 338649903 684343296 9180 33554432000 4194304 5683644 140733739216192 140188662878768 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7353/tid=7391] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7391/stat : 7391 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338654619 684343296 9180 33554432000 4194304 5683644 140733739216192 140188652388912 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7353/tid=7468] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7468/stat : 7468 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338664078 684343296 9180 33554432000 4194304 5683644 140733739216192 140188641899056 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7353/tid=7498] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7498/stat : 7498 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338673367 684343296 9180 33554432000 4194304 5683644 140733739216192 140188631409200 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 287.81
Current children cumulated vsize (KiB) 23014276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+285.901 s]
/proc/loadavg: 2.02 2.00 2.07 3/235 7508
/proc/meminfo: memFree=23065424/32873844 swapFree=6608/6608
[pid=7353] ppid=7351 vsize=668304 CPUtime=1.18 cores=1,3,5,7
/proc/7353/stat : 7353 (python) S 7351 7353 3621 0 -1 4202496 17245 1010 1 0 100 18 0 0 20 0 6 0 338644780 684343296 9180 33554432000 4194304 5683644 140733739216192 140733739211024 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7353/statm: 167076 9180 1911 364 0 102287 0
[pid=7359] ppid=7353 vsize=365136 CPUtime=0.09 cores=1,3,5,7
/proc/7359/stat : 7359 (python) S 7353 7353 3621 0 -1 4202560 1170 0 0 0 6 3 0 0 20 0 2 0 338644957 373899264 7642 33554432000 4194304 5683644 140733739216192 140733739207840 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7359/statm: 91284 7642 396 364 0 26507 0
[pid=7361] ppid=7359 vsize=497588 CPUtime=49.4 cores=1,3,5,7
/proc/7361/stat : 7361 (scip-2.0.1.linu) T 7359 7361 7361 0 -1 4202496 119726 0 0 0 4900 40 0 0 20 0 1 0 338644958 509530112 119903 33554432000 4194304 13684479 140734439747264 140734439744184 6141109 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7361/statm: 124397 119903 639 2317 0 122075 0
[pid=7359/tid=7384] ppid=7353 vsize=365136 CPUtime=0 cores=1,3,5,7
/proc/7359/task/7384/stat : 7384 (python) S 7353 7353 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338649900 373899264 7642 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7385] ppid=7353 vsize=365148 CPUtime=0.16 cores=1,3,5,7
/proc/7385/stat : 7385 (python) S 7353 7353 3621 0 -1 4202560 1168 0 0 0 9 7 0 0 20 0 2 0 338649903 373911552 7629 33554432000 4194304 5683644 140733739216192 140733739207840 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7385/statm: 91287 7629 383 364 0 26507 0
[pid=7387] ppid=7385 vsize=31092 CPUtime=92.24 cores=1,3,5,7
/proc/7387/stat : 7387 (clasp-1.3.7-x86) T 7385 7387 7387 0 -1 4202496 8056 0 0 0 9223 1 0 0 20 0 1 0 338649903 31838208 7529 33554432000 134512640 136139019 4286962720 4286961584 134608341 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7387/statm: 7773 7529 182 398 0 7373 0
[pid=7385/tid=7389] ppid=7353 vsize=365148 CPUtime=0 cores=1,3,5,7
/proc/7385/task/7389/stat : 7389 (python) S 7353 7353 3621 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 2 0 338654616 373911552 7629 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7390] ppid=7353 vsize=440940 CPUtime=0.17 cores=1,3,5,7
/proc/7390/stat : 7390 (python) S 7353 7353 3621 0 -1 4202560 1166 0 0 0 9 8 0 0 20 0 2 0 338654619 451522560 7644 33554432000 4194304 5683644 140733739216192 140733739207840 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7390/statm: 110235 7644 392 364 0 45452 0
[pid=7392] ppid=7390 vsize=686280 CPUtime=94.51 cores=1,3,5,7
/proc/7392/stat : 7392 (scip-2.0.1.linu) T 7390 7392 7392 0 -1 4202496 166649 0 0 0 9389 62 0 0 20 0 1 0 338654619 702750720 165933 33554432000 4194304 15243407 140737430023936 140737430020232 5688591 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/7392/statm: 171570 165933 686 2698 0 168865 0
[pid=7390/tid=7461] ppid=7353 vsize=440940 CPUtime=0 cores=1,3,5,7
/proc/7390/task/7461/stat : 7461 (python) S 7353 7353 3621 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338659508 451522560 7644 33554432000 4194304 5683644 140733739216192 140188662878768 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7467] ppid=7353 vsize=516732 CPUtime=0.07 cores=1,3,5,7
/proc/7467/stat : 7467 (python) S 7353 7353 3621 0 -1 4202560 1143 0 0 0 5 2 0 0 20 0 2 0 338664078 529133568 7641 33554432000 4194304 5683644 140733739216192 140733739207840 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7467/statm: 129183 7641 383 364 0 64397 0
[pid=7469] ppid=7467 vsize=9624972 CPUtime=49.97 cores=1,3,5,7
/proc/7469/stat : 7469 (java) T 7467 7469 7469 0 -1 4202496 16572 0 1 0 4933 64 0 0 20 0 19 0 338664078 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140735988520416 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7469/statm: 2406243 676132 2269 9 0 2396937 0
[pid=7469/tid=7470] ppid=7467 vsize=9624972 CPUtime=47.29 cores=1,3,5,7
/proc/7469/task/7470/stat : 7470 (java) T 7467 7469 7469 0 -1 4202560 4142 0 1 0 4687 42 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329121418336 140328947239642 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7471] ppid=7467 vsize=9624972 CPUtime=0.1 cores=1,3,5,7
/proc/7469/task/7471/stat : 7471 (java) T 7467 7469 7469 0 -1 4202560 34 0 0 0 8 2 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329082911144 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=7469/tid=7472] ppid=7467 vsize=9624972 CPUtime=0.07 cores=1,3,5,7
/proc/7469/task/7472/stat : 7472 (java) T 7467 7469 7469 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329081858600 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7473] ppid=7467 vsize=9624972 CPUtime=0.13 cores=1,3,5,7
/proc/7469/task/7473/stat : 7473 (java) T 7467 7469 7469 0 -1 4202560 59 0 0 0 11 2 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329080805544 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=7469/tid=7474] ppid=7467 vsize=9624972 CPUtime=0.1 cores=1,3,5,7
/proc/7469/task/7474/stat : 7474 (java) T 7467 7469 7469 0 -1 4202560 46 0 0 0 7 3 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329079753000 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=7469/tid=7475] ppid=7467 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/7469/task/7475/stat : 7475 (java) T 7467 7469 7469 0 -1 4202560 54 0 0 0 7 2 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329078700968 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7476] ppid=7467 vsize=9624972 CPUtime=0.06 cores=1,3,5,7
/proc/7469/task/7476/stat : 7476 (java) T 7467 7469 7469 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329077648424 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7477] ppid=7467 vsize=9624972 CPUtime=0.07 cores=1,3,5,7
/proc/7469/task/7477/stat : 7477 (java) T 7467 7469 7469 0 -1 4202560 32 0 0 0 5 2 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329076595368 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7478] ppid=7467 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/7469/task/7478/stat : 7478 (java) T 7467 7469 7469 0 -1 4202560 49 0 0 0 8 3 0 0 20 0 19 0 338664079 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140329075542824 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7479] ppid=7467 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7469/task/7479/stat : 7479 (java) T 7467 7469 7469 0 -1 4202560 1222 0 0 0 0 0 0 0 20 0 19 0 338664081 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328945310056 213423011753 0 0 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=7469/tid=7480] ppid=7467 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7469/task/7480/stat : 7480 (java) T 7467 7469 7469 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338664081 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328944256376 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7481] ppid=7467 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7469/task/7481/stat : 7481 (java) T 7467 7469 7469 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338664081 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328943203208 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7482] ppid=7467 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7469/task/7482/stat : 7482 (java) T 7467 7469 7469 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338664083 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328942151952 213423019808 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7483] ppid=7467 vsize=9624972 CPUtime=0.79 cores=1,3,5,7
/proc/7469/task/7483/stat : 7483 (java) T 7467 7469 7469 0 -1 4202560 4716 0 0 0 79 0 0 0 20 0 19 0 338664083 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328941099832 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7469/tid=7484] ppid=7467 vsize=9624972 CPUtime=0.84 cores=1,3,5,7
/proc/7469/task/7484/stat : 7484 (java) T 7467 7469 7469 0 -1 4202560 4718 0 0 0 82 2 0 0 20 0 19 0 338664083 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328940047288 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=7469/tid=7485] ppid=7467 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7469/task/7485/stat : 7485 (java) T 7467 7469 7469 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338664083 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328938994424 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=7469/tid=7486] ppid=7467 vsize=9624972 CPUtime=0.01 cores=1,3,5,7
/proc/7469/task/7486/stat : 7486 (java) T 7467 7469 7469 0 -1 4202560 3 0 0 0 0 1 0 0 20 0 19 0 338664083 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328937942088 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=7469/tid=7487] ppid=7467 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/7469/task/7487/stat : 7487 (java) T 7467 7469 7469 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338664138 9855971328 676132 33554432000 1073741824 1073778376 140735988529280 140328936887336 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=7467/tid=7495] ppid=7353 vsize=516732 CPUtime=0 cores=1,3,5,7
/proc/7467/task/7495/stat : 7495 (python) S 7353 7353 3621 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338668848 529133568 7641 33554432000 4194304 5683644 140733739216192 140188652388912 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7497] ppid=7353 vsize=592524 CPUtime=0 cores=1,3,5,7
/proc/7497/stat : 7497 (python) S 7353 7353 3621 0 -1 4202560 800 0 0 0 0 0 0 0 20 0 1 0 338673367 606744576 7595 33554432000 4194304 5683644 140733739216192 140733739207280 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/7497/statm: 148131 7595 332 364 0 83342 0
[pid=7499] ppid=7497 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/7499/stat : 7499 (java) S 7497 7499 7499 0 -1 4202496 3197 0 1 0 1 1 0 0 20 0 13 0 338673367 9446973440 3665 33554432000 1073741824 1073778376 140734986788112 140734986779248 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7499/statm: 2306390 3665 1661 9 0 2297091 0
[pid=7499/tid=7500] ppid=7497 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/7499/task/7500/stat : 7500 (java) S 7497 7499 7499 0 -1 4202560 1787 0 1 0 1 0 0 0 20 0 13 0 338673368 9446973440 3668 33554432000 1073741824 1073778376 140734986788112 140147684184304 213419655651 0 4 0 16784584 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7499/tid=7501] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7501/stat : 7501 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3668 33554432000 1073741824 1073778376 140734986788112 140147673250472 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7499/tid=7502] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7502/stat : 7502 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3668 33554432000 1073741824 1073778376 140734986788112 140147672197928 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7499/tid=7503] ppid=7497 vsize=9225564 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7503/stat : 7503 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446977536 3672 33554432000 1073741824 1073778376 140734986788112 140147671145384 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7499/tid=7504] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7504/stat : 7504 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3672 33554432000 1073741824 1073778376 140734986788112 140147670092840 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7499/tid=7505] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7505/stat : 7505 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3674 33554432000 1073741824 1073778376 140734986788112 140147523532968 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7499/tid=7506] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7506/stat : 7506 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3674 33554432000 1073741824 1073778376 140734986788112 140147522480424 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7499/tid=7507] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7507/stat : 7507 (java) S 7497 7499 7499 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3674 33554432000 1073741824 1073778376 140734986788112 140147521427880 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7499/tid=7508] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7508/stat : 7508 (java) S 7497 7499 7499 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 13 0 338673369 9446973440 3675 33554432000 1073741824 1073778376 140734986788112 140147520375336 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7499/tid=7509] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7509/stat : 7509 (java) S 7497 7499 7499 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 13 0 338673371 9446973440 3676 33554432000 1073741824 1073778376 140734986788112 140147508177512 213423011753 0 0 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7499/tid=7510] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7510/stat : 7510 (java) S 7497 7499 7499 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 13 0 338673371 9446973440 3682 33554432000 1073741824 1073778376 140734986788112 140147507123832 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7499/tid=7511] ppid=7497 vsize=9225560 CPUtime=0 cores=1,3,5,7
/proc/7499/task/7511/stat : 7511 (java) S 7497 7499 7499 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 13 0 338673371 9446973440 3684 33554432000 1073741824 1073778376 140734986788112 140147506071176 213423010876 0 4 0 16784584 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7353/tid=7360] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7360/stat : 7360 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 6 0 338644957 684343296 9180 33554432000 4194304 5683644 140733739216192 140188673368624 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7353/tid=7386] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7386/stat : 7386 (python) S 7351 7353 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 6 0 338649903 684343296 9180 33554432000 4194304 5683644 140733739216192 140188662878768 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7353/tid=7391] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7391/stat : 7391 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338654619 684343296 9180 33554432000 4194304 5683644 140733739216192 140188652388912 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7353/tid=7468] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7468/stat : 7468 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338664078 684343296 9180 33554432000 4194304 5683644 140733739216192 140188641899056 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7353/tid=7498] ppid=7351 vsize=668304 CPUtime=0 cores=1,3,5,7
/proc/7353/task/7498/stat : 7498 (python) S 7351 7353 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 6 0 338673367 684343296 9180 33554432000 4194304 5683644 140733739216192 140188631409200 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 287.81
Current children cumulated vsize (KiB) 23014276
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7353 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=15845
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=186971
# CPU time returned by wait4() is 1.20282
# while last known CPU time is 287.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.956
CPU time (s): 287.81
CPU user time (s): 285.75
CPU system time (s): 2.06
CPU usage (%): 100.648
Max. virtual memory (cumulated for all children) (KiB): 23014276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01585
system time used= 0.186971
maximum resident set size= 37352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18645
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2060
involuntary context switches= 7
runsolver used 1.15182 second user time and 2.51562 second system time
The end