runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12145 MiB free)
memory of node 1: 16384 MiB (15809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301379-1532879536/watcher-4301379-1532879536 -o /tmp/evaluation-result-4301379-1532879536/solver-4301379-1532879536 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301379-1532879536.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13590, runsolver pid=13587
[startup+0.101208 s]*
/proc/loadavg: 1.37 1.28 1.33 3/216 13605
/proc/meminfo: memFree=28600528/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659012 memory=30100 CPUtime=0.13 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 6604 0 0 0 12 1 0 0 20 0 15 0 105516784 10914828288 7525 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664753 7525 2819 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659012 memory=-8773748148830377346 CPUtime=0.09 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) R 13587 13590 13514 0 -1 4202560 4436 0 0 0 8 1 0 0 20 0 15 0 105516785 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104642796192 140104622654814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) S 13587 13590 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104198351472 140104638585474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104197297440 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104196245104 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104195193424 140104638592923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) S 13587 13590 13514 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104194140272 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) S 13587 13590 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104193087472 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0.02 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) S 13587 13590 13514 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 105516790 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104192035184 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 7525 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30100 KiB
[startup+0.210469 s]*
/proc/loadavg: 1.37 1.28 1.33 3/216 13605
/proc/meminfo: memFree=28583756/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659012 memory=41796 CPUtime=0.33 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 8086 0 0 0 31 2 0 0 20 0 15 0 105516784 10914828288 10449 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664753 10449 3000 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) R 13587 13590 13514 0 -1 4202560 5013 0 0 0 18 1 0 0 20 0 15 0 105516785 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104642810592 140104622617957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659012 memory=139805068240713 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) S 13587 13590 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104198351472 140104638585474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104197297440 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104196245104 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104195193424 140104638592923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) S 13587 13590 13514 0 -1 1077944384 766 0 0 0 2 0 0 0 20 0 15 0 105516790 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104194140272 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) S 13587 13590 13514 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 105516790 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104193087472 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0.07 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) R 13587 13590 13514 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 15 0 105516790 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104192035184 140104622654814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 10449 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41796 KiB
[startup+0.310659 s]*
/proc/loadavg: 1.37 1.28 1.33 6/216 13605
/proc/meminfo: memFree=28533044/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659012 memory=54376 CPUtime=0.59 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 9708 0 0 0 56 3 0 0 20 0 15 0 105516784 10914828288 13594 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664753 13594 3048 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659012 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) R 13587 13590 13514 0 -1 4202560 5355 0 0 0 28 1 0 0 20 0 15 0 105516785 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104642810112 140104638596253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659012 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659012 memory=139805068558344 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516785 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) S 13587 13590 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104198351472 140104638585474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104197297440 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104196245104 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104195193424 140104638592923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10659012 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) R 13587 13590 13514 0 -1 4202560 1305 0 0 0 7 0 0 0 20 0 15 0 105516790 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104194121288 140104618229873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10659012 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) R 13587 13590 13514 0 -1 4202560 525 0 0 0 6 0 0 0 20 0 15 0 105516790 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104193073048 140104620097630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0.12 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) R 13587 13590 13514 0 -1 1077944384 1157 0 0 0 12 0 0 0 20 0 15 0 105516790 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104192035184 140104638585474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10659012 memory=139805067933312 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 13594 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54376 KiB
[startup+0.701667 s]
/proc/loadavg: 1.37 1.28 1.33 5/216 13605
/proc/meminfo: memFree=28390128/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659012 memory=281904 CPUtime=1.49 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 10453 0 0 0 128 21 0 0 20 0 15 0 105516784 10914828288 70476 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664753 70476 3067 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659012 memory=16792 CPUtime=0.59 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) S 13587 13590 13514 0 -1 1077944384 5412 0 0 0 55 4 0 0 20 0 15 0 105516785 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104642813072 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659012 memory=2324 CPUtime=0.09 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) R 13587 13590 13514 0 -1 4202560 60 0 0 0 5 4 0 0 20 0 15 0 105516785 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104591194712 140104623602183 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659012 memory=1584 CPUtime=0.08 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) R 13587 13590 13514 0 -1 4202560 58 0 0 0 5 3 0 0 20 0 15 0 105516785 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104590141712 140104623602210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659012 memory=496 CPUtime=0.09 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) R 13587 13590 13514 0 -1 4202560 61 0 0 0 6 3 0 0 20 0 15 0 105516785 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104589089624 140104623602201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659012 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) R 13587 13590 13514 0 -1 4202560 67 0 0 0 5 3 0 0 20 0 15 0 105516785 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104588036624 140104623602201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659012 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) S 13587 13590 13514 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104198349984 140104638584533 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10659012 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104197297440 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10659012 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104196245104 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10659012 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104195193424 140104638592923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10659012 memory=6081108994580573287 CPUtime=0.18 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) S 13587 13590 13514 0 -1 1077944384 1588 0 0 0 18 0 0 0 20 0 15 0 105516790 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104194140272 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10659012 memory=6004820471124940137 CPUtime=0.17 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) S 13587 13590 13514 0 -1 1077944384 671 0 0 0 17 0 0 0 20 0 15 0 105516790 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104193087472 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10659012 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) S 13587 13590 13514 0 -1 1077944384 1168 0 0 0 13 0 0 0 20 0 15 0 105516790 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104192035184 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10659012 memory=756 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516790 10914828288 70988 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 281904 KiB
[startup+1.50075 s]
/proc/loadavg: 1.37 1.28 1.33 7/216 13605
/proc/meminfo: memFree=27987732/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659012 memory=479880 CPUtime=3.86 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 12058 0 0 0 341 45 0 0 20 0 15 0 105516784 10914828288 119970 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664753 119970 3099 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659012 memory=478892 CPUtime=0.84 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) R 13587 13590 13514 0 -1 4202560 5414 0 0 0 80 4 0 0 20 0 15 0 105516785 10914828288 119970 33554432000 4194304 4196468 140735669147104 140104642813392 140104638596253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659012 memory=33 CPUtime=0.6 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 275 0 0 0 51 9 0 0 20 0 15 0 105516785 10914828288 119970 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659012 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 632 0 0 0 53 9 0 0 20 0 15 0 105516785 10914828288 119970 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659012 memory=6791534058613427641 CPUtime=0.61 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 248 0 0 0 52 9 0 0 20 0 15 0 105516785 10914828288 119970 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659012 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 356 0 0 0 52 9 0 0 20 0 15 0 105516785 10914828288 119970 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) S 13587 13590 13514 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 105516787 10914828288 119970 33554432000 4194304 4196468 140735669147104 140104198351472 140104638585474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
################
# More data... #
################
[startup+103.348 s]
# the end of solver process 13590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.691 s, system=6.29981 s
Solver just ended.
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 2.93 1.91 1.55 3/217 13607
/proc/meminfo: memFree=17647740/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659088 memory=7776956 CPUtime=254.04 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 176590 0 0 0 24778 626 0 0 20 0 15 0 105516784 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664772 1944239 3163 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659088 memory=4140 CPUtime=44.83 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) S 13587 13590 13514 0 -1 1077944384 15883 0 0 0 4471 12 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104642811632 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659088 memory=30124 CPUtime=49.53 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 27513 0 0 0 4796 157 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659088 memory=2204 CPUtime=49.57 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 35598 0 0 0 4810 147 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659088 memory=111 CPUtime=49.91 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 30777 0 0 0 4841 150 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659088 memory=314 CPUtime=49.78 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 29695 0 0 0 4829 149 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659088 memory=524 CPUtime=7.04 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) R 13587 13590 13514 0 -1 4202560 22102 0 0 0 702 2 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104198349904 140104623274945 0 0 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104197297504 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10659088 memory=288230600329134386 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104196245120 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10659088 memory=14698491305789135 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104195193072 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10659088 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) S 13587 13590 13514 0 -1 1077944384 5918 0 0 0 144 1 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104194140032 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10659088 memory=6791534058613427641 CPUtime=1.38 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) S 13587 13590 13514 0 -1 1077944384 4663 0 0 0 138 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104193087520 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10659088 memory=6791534058613427641 CPUtime=0.37 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) S 13587 13590 13514 0 -1 1077944384 2370 0 0 0 36 1 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104192035232 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10659088 memory=924 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10659088 memory=1992 CPUtime=0.08 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 682 0 0 0 4 4 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 254.04 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 7776956 KiB
[startup+102.801 s]
/proc/loadavg: 2.93 1.91 1.55 3/217 13607
/proc/meminfo: memFree=17647740/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659088 memory=7776956 CPUtime=254.44 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 176590 0 0 0 24818 626 0 0 20 0 15 0 105516784 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664772 1944239 3163 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659088 memory=6791534058613427641 CPUtime=44.83 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) S 13587 13590 13514 0 -1 1077944384 15883 0 0 0 4471 12 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104642811632 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659088 memory=1812 CPUtime=49.53 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 27513 0 0 0 4796 157 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659088 memory=1020 CPUtime=49.57 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 35598 0 0 0 4810 147 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659088 memory=7772844 CPUtime=49.91 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 30777 0 0 0 4841 150 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659088 memory=7770796 CPUtime=49.78 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 29695 0 0 0 4829 149 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659088 memory=496 CPUtime=7.44 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) R 13587 13590 13514 0 -1 4202560 22102 0 0 0 742 2 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104198349904 140104623274989 0 0 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10659088 memory=928 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104197297504 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10659088 memory=279609888379392 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104196245120 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10659088 memory=7309174421995153512 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104195193072 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10659088 memory=7776952 CPUtime=1.45 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) S 13587 13590 13514 0 -1 1077944384 5918 0 0 0 144 1 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104194140032 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10659088 memory=116805930609210 CPUtime=1.38 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) S 13587 13590 13514 0 -1 1077944384 4663 0 0 0 138 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104193087520 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10659088 memory=7595995151811570281 CPUtime=0.37 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) S 13587 13590 13514 0 -1 1077944384 2370 0 0 0 36 1 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104192035232 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10659088 memory=7452445177238667361 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10659088 memory=7380106142448642409 CPUtime=0.08 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 682 0 0 0 4 4 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 254.44 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 7776956 KiB
[startup+103.201 s]
/proc/loadavg: 2.93 1.91 1.55 3/217 13607
/proc/meminfo: memFree=17647492/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10659088 memory=7776956 CPUtime=254.84 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 176590 0 0 0 24858 626 0 0 20 0 15 0 105516784 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2664772 1944239 3163 1 0 2627263 0
[pid=13590/tid=13592] ppid=13587 vsize=10659088 memory=7776956 CPUtime=44.83 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) S 13587 13590 13514 0 -1 1077944384 15883 0 0 0 4471 12 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104642811632 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10659088 memory=6791534058613427641 CPUtime=49.53 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 27513 0 0 0 4796 157 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10659088 memory=1172 CPUtime=49.57 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 35598 0 0 0 4810 147 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10659088 memory=1968 CPUtime=49.91 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 30777 0 0 0 4841 150 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10659088 memory=1572 CPUtime=49.78 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 29695 0 0 0 4829 149 0 0 20 0 15 0 105516785 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10659088 memory=924 CPUtime=7.84 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) R 13587 13590 13514 0 -1 4202560 22102 0 0 0 782 2 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104198349904 140104623031958 0 0 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104197297504 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 105516787 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104196245120 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104195193072 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10659088 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) S 13587 13590 13514 0 -1 1077944384 5918 0 0 0 144 1 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104194140032 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10659088 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) S 13587 13590 13514 0 -1 1077944384 4663 0 0 0 138 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104193087520 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10659088 memory=7770788 CPUtime=0.37 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) S 13587 13590 13514 0 -1 1077944384 2370 0 0 0 36 1 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104192035232 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10659088 memory=2724 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10659088 memory=1256 CPUtime=0.08 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 682 0 0 0 4 4 0 0 20 0 15 0 105516790 10914906112 1944239 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 254.84 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 7776956 KiB
[startup+103.301 s]
/proc/loadavg: 2.93 1.91 1.55 3/217 13607
/proc/meminfo: memFree=17647492/32770624 swapFree=67108860/67108860
[pid=13590] ppid=13587 vsize=10858780 memory=7782388 CPUtime=254.94 cores=0,2,4,6
/proc/13590/stat : 13590 (java) S 13587 13590 13514 0 -1 1077944320 177206 0 0 0 24868 626 0 0 20 0 17 0 105516784 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140735669129648 140104638574327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
/proc/13590/statm: 2714695 1945597 3165 1 0 2677186 0
[pid=13590/tid=13592] ppid=13587 vsize=10858780 memory=164 CPUtime=44.89 cores=0,2,4,6
/proc/13590/task/13592/stat : 13592 (java) R 13587 13590 13514 0 -1 4202560 15885 0 0 0 4477 12 0 0 20 0 17 0 105516785 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104642811520 140104624642446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13593] ppid=13587 vsize=10858780 memory=7776956 CPUtime=49.53 cores=0,2,4,6
/proc/13590/task/13593/stat : 13593 (java) S 13587 13590 13514 0 -1 1077944384 27513 0 0 0 4796 157 0 0 20 0 17 0 105516785 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104591194512 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13594] ppid=13587 vsize=10858780 memory=7776956 CPUtime=49.57 cores=0,2,4,6
/proc/13590/task/13594/stat : 13594 (java) S 13587 13590 13514 0 -1 1077944384 35598 0 0 0 4810 147 0 0 20 0 17 0 105516785 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104590141712 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13595] ppid=13587 vsize=10858780 memory=7770796 CPUtime=49.91 cores=0,2,4,6
/proc/13590/task/13595/stat : 13595 (java) S 13587 13590 13514 0 -1 1077944384 30777 0 0 0 4841 150 0 0 20 0 17 0 105516785 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104589089424 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13596] ppid=13587 vsize=10858780 memory=7776956 CPUtime=49.78 cores=0,2,4,6
/proc/13590/task/13596/stat : 13596 (java) S 13587 13590 13514 0 -1 1077944384 29695 0 0 0 4829 149 0 0 20 0 17 0 105516785 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104588036624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13597] ppid=13587 vsize=10858780 memory=2236 CPUtime=7.88 cores=0,2,4,6
/proc/13590/task/13597/stat : 13597 (java) S 13587 13590 13514 0 -1 1077944384 22514 0 0 0 786 2 0 0 20 0 17 0 105516787 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104198351472 140104638585474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13598] ppid=13587 vsize=10858780 memory=7776956 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13598/stat : 13598 (java) S 13587 13590 13514 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 105516787 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104197297504 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13599] ppid=13587 vsize=10858780 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13599/stat : 13599 (java) S 13587 13590 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 105516787 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104196245120 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13600] ppid=13587 vsize=10858780 memory=6628396 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13600/stat : 13600 (java) S 13587 13590 13514 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 105516790 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104195193424 140104638592923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13601] ppid=13587 vsize=10858780 memory=6627400 CPUtime=1.45 cores=0,2,4,6
/proc/13590/task/13601/stat : 13601 (java) S 13587 13590 13514 0 -1 1077944384 5918 0 0 0 144 1 0 0 20 0 17 0 105516790 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104194140272 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13602] ppid=13587 vsize=10858780 memory=7776952 CPUtime=1.38 cores=0,2,4,6
/proc/13590/task/13602/stat : 13602 (java) S 13587 13590 13514 0 -1 1077944384 4663 0 0 0 138 0 0 0 20 0 17 0 105516790 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104193087472 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13603] ppid=13587 vsize=10858780 memory=4140 CPUtime=0.37 cores=0,2,4,6
/proc/13590/task/13603/stat : 13603 (java) S 13587 13590 13514 0 -1 1077944384 2417 0 0 0 36 1 0 0 20 0 17 0 105516790 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104192035184 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13604] ppid=13587 vsize=10858780 memory=198156906162744 CPUtime=0 cores=0,2,4,6
/proc/13590/task/13604/stat : 13604 (java) S 13587 13590 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105516790 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104190982624 140104638584533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
[pid=13590/tid=13605] ppid=13587 vsize=10858780 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13590/task/13605/stat : 13605 (java) S 13587 13590 13514 0 -1 1077944384 682 0 0 0 4 4 0 0 20 0 17 0 105516790 11119390720 1945597 33554432000 4194304 4196468 140735669147104 140104189930416 140104638585474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 35614720 140735669150838 140735669150990 140735669150990 140735669153743 0
Current children cumulated CPU time: 254.94 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 7782388 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 103.348
CPU time (s): 254.991
CPU user time (s): 248.691
CPU system time (s): 6.29981
CPU usage (%): 246.729
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 7782388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.691
system time used= 6.29981
maximum resident set size= 7783276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8155
involuntary context switches= 2516
# summary of solver processes directly reported to runsolver:
# pid: 13590
# total CPU time (s): 254.991
# total CPU user time (s): 248.691
# total CPU system time (s): 6.29981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.642959 second user time and 1.0711 second system time
The end