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 (12050 MiB free)
memory of node 1: 16384 MiB (13217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301727-1532884001/watcher-4301727-1532884001 -o /tmp/evaluation-result-4301727-1532884001/solver-4301727-1532884001 -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-4301727-1532884001.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=17584, runsolver pid=17581
[startup+0.100627 s]*
/proc/loadavg: 1.69 2.13 2.43 3/216 17599
/proc/meminfo: memFree=25858724/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10659012 memory=29520 CPUtime=0.13 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 7005 0 0 0 12 1 0 0 20 0 15 0 105963441 10914828288 7380 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2664753 7380 2810 1 0 2627263 0
[pid=17584/tid=17586] ppid=17581 vsize=10659012 memory=-8125511277465473918 CPUtime=0.09 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 4798 0 0 0 8 1 0 0 20 0 15 0 105963441 10914828288 7380 33554432000 4194304 4196468 140735573282976 140040397727600 140040393544861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 7380 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963443 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105963444 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039884338208 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105963444 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039883285360 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963446 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) S 17581 17584 13514 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 105963446 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963446 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039880129264 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0.02 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) R 17581 17584 13514 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 15 0 105963446 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039879076464 140040372829983 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963447 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963447 10914828288 7380 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29520 KiB
[startup+0.210579 s]*
/proc/loadavg: 1.69 2.13 2.43 4/216 17599
/proc/meminfo: memFree=25847868/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10659012 memory=40548 CPUtime=0.33 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 8276 0 0 0 32 1 0 0 20 0 15 0 105963441 10914828288 10137 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2664753 10137 3002 1 0 2627263 0
[pid=17584/tid=17586] ppid=17581 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 5130 0 0 0 19 1 0 0 20 0 15 0 105963441 10914828288 10137 33554432000 4194304 4196468 140735573282976 140040397759216 140040377566565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 10137 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10659012 memory=139996475369713 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963443 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105963444 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039884338208 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105963444 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039883285360 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963446 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) S 17581 17584 13514 0 -1 1077944384 648 0 0 0 2 0 0 0 20 0 15 0 105963446 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) S 17581 17584 13514 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 105963446 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039880129264 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0.07 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) R 17581 17584 13514 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 15 0 105963446 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039879076464 140040372813517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963447 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963447 10914828288 10137 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40548 KiB
[startup+0.310379 s]*
/proc/loadavg: 1.69 2.13 2.43 3/216 17599
/proc/meminfo: memFree=25822116/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10659012 memory=67808 CPUtime=0.5 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 8926 0 0 0 48 2 0 0 20 0 15 0 105963441 10914828288 16952 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2664753 16952 3029 1 0 2627263 0
[pid=17584/tid=17586] ppid=17581 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 5479 0 0 0 28 2 0 0 20 0 15 0 105963441 10914828288 16952 33554432000 4194304 4196468 140735573282976 140040397754048 140040393544861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10659012 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 16952 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10659012 memory=139996475367439 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963442 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105963443 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105963444 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039884338208 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105963444 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039883285360 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963446 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10659012 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) S 17581 17584 13514 0 -1 1077944384 678 0 0 0 3 0 0 0 20 0 15 0 105963446 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10659012 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) R 17581 17584 13514 0 -1 4202560 518 0 0 0 5 0 0 0 20 0 15 0 105963446 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039880129264 140040374896484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0.11 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) S 17581 17584 13514 0 -1 1077944384 883 0 0 0 11 0 0 0 20 0 15 0 105963446 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039879076464 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963447 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10659012 memory=139996474738304 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963447 10914828288 16952 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 67808 KiB
[startup+0.70074 s]
/proc/loadavg: 1.69 2.13 2.43 6/216 17599
/proc/meminfo: memFree=25600188/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10659088 memory=294936 CPUtime=1.38 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 11949 0 0 0 117 21 0 0 20 0 15 0 105963441 10914906112 73734 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2664772 73734 3101 1 0 2627263 0
[pid=17584/tid=17586] ppid=17581 vsize=10659088 memory=16856 CPUtime=0.6 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 5911 0 0 0 55 5 0 0 20 0 15 0 105963441 10914906112 73734 33554432000 4194304 4196468 140735573282976 140040397756608 140040379742021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10659088 memory=2324 CPUtime=0.06 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 105963442 10914906112 73734 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10659088 memory=1584 CPUtime=0.07 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 62 0 0 0 4 3 0 0 20 0 15 0 105963442 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10659088 memory=496 CPUtime=0.05 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 105963442 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10659088 memory=928 CPUtime=0.06 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 70 0 0 0 3 3 0 0 20 0 15 0 105963442 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10659088 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105963443 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10659088 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105963444 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039884338208 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10659088 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105963444 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039883285360 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963446 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10659088 memory=6081108994580573287 CPUtime=0.11 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) R 17581 17584 13514 0 -1 1077944384 1547 0 0 0 11 0 0 0 20 0 15 0 105963446 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10659088 memory=6076878065162868073 CPUtime=0.22 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) R 17581 17584 13514 0 -1 4202560 1829 0 0 0 22 0 0 0 20 0 15 0 105963446 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039880115144 140040377909628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10659088 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) R 17581 17584 13514 0 -1 4202560 956 0 0 0 13 0 0 0 20 0 15 0 105963446 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039879076464 140040393544282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963447 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10659088 memory=756 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105963447 10914906112 73734 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 294936 KiB
[startup+1.50077 s]
/proc/loadavg: 1.69 2.13 2.43 6/216 17599
/proc/meminfo: memFree=25397148/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10659088 memory=701904 CPUtime=3.69 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 21917 0 0 0 320 49 0 0 20 0 15 0 105963441 10914906112 175476 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2664772 175476 3141 1 0 2627263 0
[pid=17584/tid=17586] ppid=17581 vsize=10659088 memory=553412 CPUtime=1.24 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 6046 0 0 0 118 6 0 0 20 0 15 0 105963441 10914906112 175476 33554432000 4194304 4196468 140735573282976 140040397760352 140040032833437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10659088 memory=33 CPUtime=0.21 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 263 0 0 0 12 9 0 0 20 0 15 0 105963442 10914906112 175476 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10659088 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 667 0 0 0 11 9 0 0 20 0 15 0 105963442 10914906112 175476 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10659088 memory=6791534058613427641 CPUtime=0.2 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 326 0 0 0 10 10 0 0 20 0 15 0 105963442 10914906112 175476 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10659088 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 636 0 0 0 11 9 0 0 20 0 15 0 105963442 10914906112 175476 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 472 0 0 0 0 0 0 0 20 0 15 0 105963443 10914906112 175476 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
################
# More data... #
################
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 24814 0 0 0 6768 25 0 0 20 0 15 0 105963441 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140040397760448 140040029885202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10659088 memory=2204 CPUtime=29.37 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 67743 0 0 0 2819 118 0 0 20 0 15 0 105963442 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10659088 memory=7155120 CPUtime=29.48 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 90755 0 0 0 2825 123 0 0 20 0 15 0 105963442 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10659088 memory=7155120 CPUtime=29.31 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 132070 0 0 0 2813 118 0 0 20 0 15 0 105963442 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10659088 memory=4140 CPUtime=29.38 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 71855 0 0 0 2824 114 0 0 20 0 15 0 105963442 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10659088 memory=7155120 CPUtime=4.57 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 31089 0 0 0 454 3 0 0 20 0 15 0 105963443 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10659088 memory=56 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 105963444 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039884338272 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10659088 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 105963444 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039883285376 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10659088 memory=68 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963446 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10659088 memory=4140 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) S 17581 17584 13514 0 -1 1077944384 8677 0 0 0 114 0 0 0 20 0 15 0 105963446 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10659088 memory=30220 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) S 17581 17584 13514 0 -1 1077944384 7494 0 0 0 114 0 0 0 20 0 15 0 105963446 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039880129264 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10659088 memory=30220 CPUtime=0.37 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) S 17581 17584 13514 0 -1 1077944384 3980 0 0 0 36 1 0 0 20 0 15 0 105963446 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039879076464 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10659088 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963447 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10659088 memory=7155088 CPUtime=0.06 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 822 0 0 0 3 3 0 0 20 0 15 0 105963447 10914906112 1788780 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 192.85 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 7155120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+157.701 s]
/proc/loadavg: 1.95 2.17 2.40 3/216 17601
/proc/meminfo: memFree=18451020/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10659088 memory=7164344 CPUtime=252.02 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 461823 0 0 0 24688 514 0 0 20 0 15 0 105963441 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2664772 1791086 3155 1 0 2627263 0
[pid=17584/tid=17586] ppid=17581 vsize=10659088 memory=7164344 CPUtime=122.04 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 27752 0 0 0 12178 26 0 0 20 0 15 0 105963441 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140040397760448 140040029885214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10659088 memory=7164344 CPUtime=30.61 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 70594 0 0 0 2943 118 0 0 20 0 15 0 105963442 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10659088 memory=7164344 CPUtime=30.72 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 95886 0 0 0 2948 124 0 0 20 0 15 0 105963442 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10659088 memory=7164344 CPUtime=30.56 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 137904 0 0 0 2937 119 0 0 20 0 15 0 105963442 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10659088 memory=7164340 CPUtime=30.62 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 75944 0 0 0 2948 114 0 0 20 0 15 0 105963442 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10659088 memory=7164344 CPUtime=4.6 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 31346 0 0 0 457 3 0 0 20 0 15 0 105963443 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10659088 memory=7159464 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 105963444 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039884338272 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10659088 memory=7158196 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 105963444 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039883285376 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10659088 memory=7164344 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963446 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10659088 memory=7164344 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) S 17581 17584 13514 0 -1 1077944384 8679 0 0 0 114 0 0 0 20 0 15 0 105963446 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10659088 memory=7164344 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) S 17581 17584 13514 0 -1 1077944384 7496 0 0 0 114 0 0 0 20 0 15 0 105963446 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039880129264 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10659088 memory=7164344 CPUtime=0.37 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) S 17581 17584 13514 0 -1 1077944384 3982 0 0 0 36 1 0 0 20 0 15 0 105963446 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039879076464 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10659088 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105963447 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10659088 memory=2724 CPUtime=0.11 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 832 0 0 0 5 6 0 0 20 0 15 0 105963447 10914906112 1791086 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 7164344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+157.969 s]
# the end of solver process 17584 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.175 s, system=5.21166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+157.805 s]
/proc/loadavg: 1.95 2.17 2.40 3/216 17601
/proc/meminfo: memFree=18451020/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10858780 memory=7178936 CPUtime=252.21 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 462843 0 0 0 24706 515 0 0 20 0 17 0 105963441 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2714695 1794734 3158 1 0 2677186 0
[pid=17584/tid=17586] ppid=17581 vsize=10858780 memory=2236 CPUtime=122.12 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 27753 0 0 0 12186 26 0 0 20 0 17 0 105963441 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140040397757584 140040379591054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10858780 memory=1992 CPUtime=30.64 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 70611 0 0 0 2945 119 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10858780 memory=279992676825624 CPUtime=30.75 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 96041 0 0 0 2951 124 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10858780 memory=6655300316396806240 CPUtime=30.59 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 137916 0 0 0 2940 119 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10858780 memory=6943526294502006880 CPUtime=30.65 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 75958 0 0 0 2951 114 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10858780 memory=8226496019563375259 CPUtime=4.6 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 31346 0 0 0 457 3 0 0 20 0 17 0 105963443 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10858780 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 105963444 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039884338272 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10858780 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 105963444 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039883285376 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10858780 memory=924 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10858780 memory=1992 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) S 17581 17584 13514 0 -1 1077944384 8679 0 0 0 114 0 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10858780 memory=2236 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) S 17581 17584 13514 0 -1 1077944384 7496 0 0 0 114 0 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039880129264 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10858780 memory=1992 CPUtime=0.37 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) S 17581 17584 13514 0 -1 1077944384 4293 0 0 0 36 1 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039879076464 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10858780 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105963447 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10858780 memory=756 CPUtime=0.11 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 832 0 0 0 5 6 0 0 20 0 17 0 105963447 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 252.21 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 7178936 KiB
[startup+157.901 s]
/proc/loadavg: 1.95 2.17 2.40 3/216 17601
/proc/meminfo: memFree=18451020/32770624 swapFree=67108860/67108860
[pid=17584] ppid=17581 vsize=10858780 memory=7178936 CPUtime=252.31 cores=0,2,4,6
/proc/17584/stat : 17584 (java) S 17581 17584 13514 0 -1 1077944320 462843 0 0 0 24716 515 0 0 20 0 17 0 105963441 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140735573265520 140040393522935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
/proc/17584/statm: 2714695 1794734 3158 1 0 2677186 0
[pid=17584/tid=17586] ppid=17581 vsize=10858780 memory=7164340 CPUtime=122.21 cores=0,2,4,6
/proc/17584/task/17586/stat : 17586 (java) R 17581 17584 13514 0 -1 4202560 27753 0 0 0 12195 26 0 0 20 0 17 0 105963441 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140040397757584 140040379591060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17587] ppid=17581 vsize=10858780 memory=7164344 CPUtime=30.64 cores=0,2,4,6
/proc/17584/task/17587/stat : 17587 (java) S 17581 17584 13514 0 -1 1077944384 70611 0 0 0 2945 119 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140040363236496 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17588] ppid=17581 vsize=10858780 memory=7164344 CPUtime=30.75 cores=0,2,4,6
/proc/17584/task/17588/stat : 17588 (java) S 17581 17584 13514 0 -1 1077944384 96041 0 0 0 2951 124 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039999065104 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17589] ppid=17581 vsize=10858780 memory=7164344 CPUtime=30.59 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (java) S 17581 17584 13514 0 -1 1077944384 137916 0 0 0 2940 119 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039998012304 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17590] ppid=17581 vsize=10858780 memory=7164344 CPUtime=30.65 cores=0,2,4,6
/proc/17584/task/17590/stat : 17590 (java) S 17581 17584 13514 0 -1 1077944384 75958 0 0 0 2951 114 0 0 20 0 17 0 105963442 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039996959504 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17591] ppid=17581 vsize=10858780 memory=7164344 CPUtime=4.6 cores=0,2,4,6
/proc/17584/task/17591/stat : 17591 (java) S 17581 17584 13514 0 -1 1077944384 31346 0 0 0 457 3 0 0 20 0 17 0 105963443 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039885392240 140040393534082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17592] ppid=17581 vsize=10858780 memory=7164344 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17592/stat : 17592 (java) S 17581 17584 13514 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 105963444 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039884338272 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17593] ppid=17581 vsize=10858780 memory=7164344 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17593/stat : 17593 (java) S 17581 17584 13514 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 105963444 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039883285376 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17594] ppid=17581 vsize=10858780 memory=7164344 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17594/stat : 17594 (java) S 17581 17584 13514 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039882233680 140040393541531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17595] ppid=17581 vsize=10858780 memory=7164344 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17595/stat : 17595 (java) S 17581 17584 13514 0 -1 1077944384 8679 0 0 0 114 0 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039881182064 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17596] ppid=17581 vsize=10858780 memory=3360 CPUtime=1.14 cores=0,2,4,6
/proc/17584/task/17596/stat : 17596 (java) S 17581 17584 13514 0 -1 1077944384 7496 0 0 0 114 0 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039880129264 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17597] ppid=17581 vsize=10858780 memory=2724 CPUtime=0.37 cores=0,2,4,6
/proc/17584/task/17597/stat : 17597 (java) S 17581 17584 13514 0 -1 1077944384 4293 0 0 0 36 1 0 0 20 0 17 0 105963446 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039879076464 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17598] ppid=17581 vsize=10858780 memory=7159464 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17598/stat : 17598 (java) S 17581 17584 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105963447 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039878023904 140040393533141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
[pid=17584/tid=17599] ppid=17581 vsize=10858780 memory=7158196 CPUtime=0.11 cores=0,2,4,6
/proc/17584/task/17599/stat : 17599 (java) S 17581 17584 13514 0 -1 1077944384 832 0 0 0 5 6 0 0 20 0 17 0 105963447 11119390720 1794734 33554432000 4194304 4196468 140735573282976 140039876971184 140040393534082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140735573283958 140735573284110 140735573284110 140735573286863 0
Current children cumulated CPU time: 252.31 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 7178936 KiB
Child status: 143
Real time (s): 157.969
CPU time (s): 252.386
CPU user time (s): 247.175
CPU system time (s): 5.21166
CPU usage (%): 159.769
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 7178936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.175
system time used= 5.21166
maximum resident set size= 7179244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11332
involuntary context switches= 1421
# summary of solver processes directly reported to runsolver:
# pid: 17584
# total CPU time (s): 252.386
# total CPU user time (s): 247.175
# total CPU system time (s): 5.21166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01028 second user time and 1.58622 second system time
The end