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 (15313 MiB free)
memory of node 1: 16384 MiB (15414 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401452-1568688721/watcher-4401452-1568688721 -o /tmp/evaluation-result-4401452-1568688721/solver-4401452-1568688721 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568673289-15738 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=548403584 HOME/instance-4401452-1568688721.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=20349, runsolver pid=20346
[startup+0.100159 s]*
/proc/loadavg: 1.58 1.43 1.43 3/220 20406
/proc/meminfo: memFree=31456752/32770624 swapFree=66976816/67108860
[pid=20349] ppid=20346 vsize=9972712 memory=18600 CPUtime=0.09 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 4418 13024 0 0 1 1 5 2 20 0 6 0 445134801 10212057088 4650 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2493178 4650 1933 1 0 2481616 0
[pid=20349/tid=20402] ppid=20346 vsize=9972712 memory=-8439527450518781933 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 2226 13024 0 0 1 0 5 2 20 0 6 0 445134810 10212057088 4715 33554432000 4194304 4196468 140734645856544 140166845145680 140166858431856 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=9972712 memory=4211974153941364106 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 6 0 445134811 10212057088 4715 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=9972712 memory=140427736573568 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 6 0 445134811 10212057088 4715 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 6 0 445134811 10212057088 4715 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 6 0 445134811 10212057088 4715 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18600 KiB
[startup+0.210039 s]*
/proc/loadavg: 1.58 1.43 1.43 4/229 20415
/proc/meminfo: memFree=31439316/32770624 swapFree=66976816/67108860
[pid=20349] ppid=20346 vsize=10820196 memory=41692 CPUtime=0.26 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 7200 13024 0 0 17 2 5 2 20 0 15 0 445134801 11079880704 10423 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2705049 10423 3283 1 0 2667149 0
[pid=20349/tid=20402] ppid=20346 vsize=10820196 memory=7900017517374083699 CPUtime=0.18 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 3690 13024 0 0 10 1 5 2 20 0 15 0 445134810 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166845132080 140166857389406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10820196 memory=4211974153941364106 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10820196 memory=140427736573568 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10820196 memory=140427736573568 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 445134812 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 445134813 11079880704 10423 33554432000 4194304 4196468 140734645856544 140165787936416 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134813 11079880704 10423 33554432000 4194304 4196468 140734645856544 140165653718256 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11079880704 10423 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) R 20346 20349 15707 0 -1 4202560 337 13024 0 0 1 0 5 2 20 0 15 0 445134815 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166398912752 140166851104811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) S 20346 20349 15707 0 -1 1077944384 332 13024 0 0 0 0 5 2 20 0 15 0 445134815 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166397860208 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10820196 memory=140427736573568 CPUtime=0.1 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) S 20346 20349 15707 0 -1 1077944384 616 13024 0 0 3 0 5 2 20 0 15 0 445134816 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166396807152 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11079880704 10423 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10820196 memory=140427736573568 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134816 11079880704 10423 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41692 KiB
[startup+0.310593 s]*
/proc/loadavg: 1.58 1.43 1.43 4/229 20415
/proc/meminfo: memFree=31426232/32770624 swapFree=66976816/67108860
[pid=20349] ppid=20346 vsize=10820196 memory=50180 CPUtime=0.4 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 10740 13024 0 0 29 4 5 2 20 0 15 0 445134801 11079880704 12545 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2705049 12545 3330 1 0 2667149 0
[pid=20349/tid=20402] ppid=20346 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 7199 13024 0 0 19 3 5 2 20 0 15 0 445134810 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166845117872 140166858678827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 445134811 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10820196 memory=140427736573567 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 445134812 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 445134813 11079880704 12545 33554432000 4194304 4196468 140734645856544 140165787936416 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134813 11079880704 12545 33554432000 4194304 4196468 140734645856544 140165653718256 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11079880704 12545 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) S 20346 20349 15707 0 -1 1077944384 340 13024 0 0 2 0 5 2 20 0 15 0 445134815 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166398912752 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) S 20346 20349 15707 0 -1 1077944384 332 13024 0 0 1 0 5 2 20 0 15 0 445134815 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166397860208 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10820196 memory=140427736573568 CPUtime=0.12 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) S 20346 20349 15707 0 -1 1077944384 635 13024 0 0 5 0 5 2 20 0 15 0 445134816 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166396807152 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11079880704 12545 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10820196 memory=140427736573568 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134816 11079880704 12545 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50180 KiB
[startup+0.701056 s]
/proc/loadavg: 1.58 1.43 1.43 4/229 20415
/proc/meminfo: memFree=31412096/32770624 swapFree=66976816/67108860
[pid=20349] ppid=20346 vsize=10824364 memory=83484 CPUtime=1.1 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 15073 13024 0 0 98 5 5 2 20 0 15 0 445134801 11084148736 20871 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2706091 20871 3505 1 0 2668173 0
[pid=20349/tid=20402] ppid=20346 vsize=10824364 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 10409 13024 0 0 55 4 5 2 20 0 15 0 445134810 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166845135808 140166851439423 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10824364 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134811 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 445134811 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 5 13024 0 0 0 0 5 2 20 0 15 0 445134812 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 445134813 11084148736 20871 33554432000 4194304 4196468 140734645856544 140165787936416 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134813 11084148736 20871 33554432000 4194304 4196468 140734645856544 140165653718256 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11084148736 20871 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) R 20346 20349 15707 0 -1 4202560 760 13024 0 0 12 0 5 2 20 0 15 0 445134815 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166398912752 140166858188486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) R 20346 20349 15707 0 -1 4202560 777 13024 0 0 12 0 5 2 20 0 15 0 445134815 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166397860208 140166856719720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) S 20346 20349 15707 0 -1 1077944384 890 13024 0 0 17 0 5 2 20 0 15 0 445134816 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166396807152 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10824364 memory=280855159242992 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11084148736 20871 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134816 11084148736 20871 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83484 KiB
[startup+1.50082 s]
/proc/loadavg: 1.58 1.43 1.43 3/229 20415
/proc/meminfo: memFree=31361384/32770624 swapFree=66976816/67108860
[pid=20349] ppid=20346 vsize=10832632 memory=228128 CPUtime=2.66 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 20893 13024 0 0 248 11 5 2 20 0 15 0 445134801 11092615168 57032 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2708158 57032 3580 1 0 2670221 0
[pid=20349/tid=20402] ppid=20346 vsize=10832632 memory=7 CPUtime=1.42 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 14496 13024 0 0 129 6 5 2 20 0 15 0 445134810 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166845125296 140166866493036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10832632 memory=2321 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 38 13024 0 0 1 0 5 2 20 0 15 0 445134811 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 47 13024 0 0 1 0 5 2 20 0 15 0 445134811 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 226 13024 0 0 1 0 5 2 20 0 15 0 445134811 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10832632 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 54 13024 0 0 1 0 5 2 20 0 15 0 445134811 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10832632 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 94 13024 0 0 1 0 5 2 20 0 15 0 445134812 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10832632 memory=2273 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 13 13024 0 0 0 0 5 2 20 0 15 0 445134813 11092615168 57032 33554432000 4194304 4196468 140734645856544 140165787936480 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10832632 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 2 13024 0 0 0 0 5 2 20 0 15 0 445134813 11092615168 57032 33554432000 4194304 4196468 140734645856544 140165653718272 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10832632 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11092615168 57032 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10832632 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) S 20346 20349 15707 0 -1 1077944384 1109 13024 0 0 38 0 5 2 20 0 15 0 445134815 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166398912752 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10832632 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) S 20346 20349 15707 0 -1 1077944384 1090 13024 0 0 36 0 5 2 20 0 15 0 445134815 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166397860208 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10832632 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) R 20346 20349 15707 0 -1 4202560 1512 13024 0 0 36 0 5 2 20 0 15 0 445134816 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166396807152 140166857389406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10832632 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11092615168 57032 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10832632 memory=288230377108275491 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 1 13024 0 0 0 0 5 2 20 0 15 0 445134816 11092615168 57032 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 69427 13024 0 0 224945 41 5 2 20 0 15 0 445134810 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166845144528 140166492380144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10846988 memory=1033048 CPUtime=5.81 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 16885 13024 0 0 543 31 5 2 20 0 15 0 445134811 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10846988 memory=1033048 CPUtime=5.8 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 20141 13024 0 0 546 27 5 2 20 0 15 0 445134811 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10846988 memory=1033048 CPUtime=5.81 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 16980 13024 0 0 545 29 5 2 20 0 15 0 445134811 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10846988 memory=1033048 CPUtime=5.83 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 14076 13024 0 0 547 29 5 2 20 0 15 0 445134811 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10846988 memory=1033564 CPUtime=4.79 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 18040 13024 0 0 441 31 5 2 20 0 15 0 445134812 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10846988 memory=1034588 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258262 33554432000 4194304 4196468 140734645856544 140165787936480 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10846988 memory=1033048 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258262 33554432000 4194304 4196468 140734645856544 140165653718272 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10846988 memory=1033048 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11107315712 258262 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10846988 memory=1033048 CPUtime=6.11 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) S 20346 20349 15707 0 -1 1077944384 36601 13024 0 0 600 4 5 2 20 0 15 0 445134815 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166398912752 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10846988 memory=7872 CPUtime=6.29 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) S 20346 20349 15707 0 -1 1077944384 43762 13024 0 0 616 6 5 2 20 0 15 0 445134815 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166397860208 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10846988 memory=30456 CPUtime=2.1 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) S 20346 20349 15707 0 -1 1077944384 22194 13024 0 0 198 5 5 2 20 0 15 0 445134816 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166396807152 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10846988 memory=2004 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11107315712 258262 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10846988 memory=1033048 CPUtime=1.37 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 2117 13024 0 0 64 66 5 2 20 0 15 0 445134816 11107315712 258262 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 2293.34 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1033048 KiB
[startup+2322.3 s]
/proc/loadavg: 1.16 1.28 1.36 3/227 20774
/proc/meminfo: memFree=28677380/32770624 swapFree=66976888/67108860
[pid=20349] ppid=20346 vsize=10846988 memory=1033084 CPUtime=2353.75 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 263703 13024 0 0 235130 238 5 2 20 0 15 0 445134801 11107315712 258271 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2711747 258271 3629 1 0 2673805 0
[pid=20349/tid=20402] ppid=20346 vsize=10846988 memory=1033084 CPUtime=2309.64 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 69942 13024 0 0 230916 41 5 2 20 0 15 0 445134810 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166845144416 140166492376244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10846988 memory=1033084 CPUtime=5.95 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 16913 13024 0 0 557 31 5 2 20 0 15 0 445134811 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10846988 memory=1033084 CPUtime=5.94 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 20149 13024 0 0 559 28 5 2 20 0 15 0 445134811 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10846988 memory=1033084 CPUtime=5.94 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 17300 13024 0 0 558 29 5 2 20 0 15 0 445134811 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10846988 memory=1033084 CPUtime=5.97 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 14197 13024 0 0 561 29 5 2 20 0 15 0 445134811 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10846988 memory=1033084 CPUtime=4.9 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 18256 13024 0 0 451 32 5 2 20 0 15 0 445134812 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10846988 memory=1033084 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258271 33554432000 4194304 4196468 140734645856544 140165787936480 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10846988 memory=1033084 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258271 33554432000 4194304 4196468 140734645856544 140165653718272 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10846988 memory=1548 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11107315712 258271 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10846988 memory=7872 CPUtime=6.12 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) S 20346 20349 15707 0 -1 1077944384 36603 13024 0 0 601 4 5 2 20 0 15 0 445134815 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166398912752 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10846988 memory=1033084 CPUtime=6.3 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) S 20346 20349 15707 0 -1 1077944384 43764 13024 0 0 617 6 5 2 20 0 15 0 445134815 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166397860208 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10846988 memory=1033084 CPUtime=2.1 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) S 20346 20349 15707 0 -1 1077944384 22196 13024 0 0 198 5 5 2 20 0 15 0 445134816 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166396807152 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10846988 memory=1033084 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11107315712 258271 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10846988 memory=1033084 CPUtime=1.41 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 2133 13024 0 0 66 68 5 2 20 0 15 0 445134816 11107315712 258271 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 2353.75 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1033084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2368.3 s]
/proc/loadavg: 1.33 1.30 1.36 3/229 20786
/proc/meminfo: memFree=28719204/32770624 swapFree=66976896/67108860
[pid=20349] ppid=20346 vsize=10846988 memory=1033104 CPUtime=2400.05 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 264821 13024 0 0 239757 241 5 2 20 0 15 0 445134801 11107315712 258276 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2711747 258276 3629 1 0 2673805 0
[pid=20349/tid=20402] ppid=20346 vsize=10846988 memory=1033104 CPUtime=2355.44 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 70355 13024 0 0 235496 41 5 2 20 0 15 0 445134810 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166845137424 140166484444437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.05 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 17239 13024 0 0 566 32 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.03 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 20156 13024 0 0 568 28 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.04 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 17352 13024 0 0 567 30 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10846988 memory=3848 CPUtime=6.06 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 14286 13024 0 0 570 29 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10846988 memory=1408 CPUtime=4.98 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 18465 13024 0 0 458 33 5 2 20 0 15 0 445134812 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10846988 memory=1033104 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165787936480 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10846988 memory=1033104 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165653718272 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.12 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) S 20346 20349 15707 0 -1 1077944384 36605 13024 0 0 601 4 5 2 20 0 15 0 445134815 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166398912752 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.3 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) S 20346 20349 15707 0 -1 1077944384 43766 13024 0 0 617 6 5 2 20 0 15 0 445134815 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166397860208 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10846988 memory=1033104 CPUtime=2.1 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) S 20346 20349 15707 0 -1 1077944384 22198 13024 0 0 198 5 5 2 20 0 15 0 445134816 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166396807152 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10846988 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10846988 memory=30464 CPUtime=1.43 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 2149 13024 0 0 67 69 5 2 20 0 15 0 445134816 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1033104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2368.33 s]
# the end of solver process 20349 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.65 s, system=2.45101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2368.3 s]
/proc/loadavg: 1.33 1.30 1.36 3/229 20786
/proc/meminfo: memFree=28719204/32770624 swapFree=66976896/67108860
[pid=20349] ppid=20346 vsize=10846988 memory=1033104 CPUtime=2400.05 cores=0,2,4,6
/proc/20349/stat : 20349 (java) S 20346 20349 15707 0 -1 1077944320 264821 13024 0 0 239757 241 5 2 20 0 15 0 445134801 11107315712 258276 33554432000 4194304 4196468 140734645856544 140734645839088 140166873308919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
/proc/20349/statm: 2711747 258276 3629 1 0 2673805 0
[pid=20349/tid=20402] ppid=20346 vsize=10846988 memory=1033104 CPUtime=2355.44 cores=0,2,4,6
/proc/20349/task/20402/stat : 20402 (java) R 20346 20349 15707 0 -1 4202560 70355 13024 0 0 235496 41 5 2 20 0 15 0 445134810 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166845137424 140166484444437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20403] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.05 cores=0,2,4,6
/proc/20349/task/20403/stat : 20403 (java) S 20346 20349 15707 0 -1 1077944384 17239 13024 0 0 566 32 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166877551120 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20404] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.03 cores=0,2,4,6
/proc/20349/task/20404/stat : 20404 (java) S 20346 20349 15707 0 -1 1077944384 20156 13024 0 0 568 28 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166796302992 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20405] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.04 cores=0,2,4,6
/proc/20349/task/20405/stat : 20405 (java) S 20346 20349 15707 0 -1 1077944384 17352 13024 0 0 567 30 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166445324560 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20406] ppid=20346 vsize=10846988 memory=3848 CPUtime=6.06 cores=0,2,4,6
/proc/20349/task/20406/stat : 20406 (java) S 20346 20349 15707 0 -1 1077944384 14286 13024 0 0 570 29 5 2 20 0 15 0 445134811 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166444272016 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20407] ppid=20346 vsize=10846988 memory=1408 CPUtime=4.98 cores=0,2,4,6
/proc/20349/task/20407/stat : 20407 (java) S 20346 20349 15707 0 -1 1077944384 18465 13024 0 0 458 33 5 2 20 0 15 0 445134812 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166399965936 140166873320066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20408] ppid=20346 vsize=10846988 memory=1033104 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20408/stat : 20408 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165787936480 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20409] ppid=20346 vsize=10846988 memory=1033104 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20409/stat : 20409 (java) S 20346 20349 15707 0 -1 1077944384 19 13024 0 0 0 0 5 2 20 0 15 0 445134813 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165653718272 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20410] ppid=20346 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20410/stat : 20410 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134815 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165413427664 140166873327515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20411] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.12 cores=0,2,4,6
/proc/20349/task/20411/stat : 20411 (java) S 20346 20349 15707 0 -1 1077944384 36605 13024 0 0 601 4 5 2 20 0 15 0 445134815 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166398912752 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20412] ppid=20346 vsize=10846988 memory=1033104 CPUtime=6.3 cores=0,2,4,6
/proc/20349/task/20412/stat : 20412 (java) S 20346 20349 15707 0 -1 1077944384 43766 13024 0 0 617 6 5 2 20 0 15 0 445134815 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166397860208 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20413] ppid=20346 vsize=10846988 memory=1033104 CPUtime=2.1 cores=0,2,4,6
/proc/20349/task/20413/stat : 20413 (java) S 20346 20349 15707 0 -1 1077944384 22198 13024 0 0 198 5 5 2 20 0 15 0 445134816 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166396807152 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20414] ppid=20346 vsize=10846988 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/20349/task/20414/stat : 20414 (java) S 20346 20349 15707 0 -1 1077944384 3 13024 0 0 0 0 5 2 20 0 15 0 445134816 11107315712 258276 33554432000 4194304 4196468 140734645856544 140165379869024 140166873319125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
[pid=20349/tid=20415] ppid=20346 vsize=10846988 memory=30464 CPUtime=1.43 cores=0,2,4,6
/proc/20349/task/20415/stat : 20415 (java) S 20346 20349 15707 0 -1 1077944384 2149 13024 0 0 67 69 5 2 20 0 15 0 445134816 11107315712 258276 33554432000 4194304 4196468 140734645856544 140166395755568 140166873320066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140734645865200 140734645867717 140734645867717 140734645870543 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1033104 KiB
Child status: 143
Real time (s): 2368.33
CPU time (s): 2400.1
CPU user time (s): 2397.65
CPU system time (s): 2.45101
CPU usage (%): 101.341
Max. virtual memory (cumulated for all children) (KiB): 10849732
Max. memory (cumulated for all children) (KiB): 1345020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.65
system time used= 2.45101
maximum resident set size= 1346600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160435
involuntary context switches= 7818
# summary of solver processes directly reported to runsolver:
# pid: 20349
# total CPU time (s): 2400.1
# total CPU user time (s): 2397.65
# total CPU system time (s): 2.45101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1135 second user time and 23.3566 second system time
The end