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 (7225 MiB free)
memory of node 1: 16384 MiB (9381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293042-1532305575/watcher-4293042-1532305575 -o /tmp/evaluation-result-4293042-1532305575/solver-4293042-1532305575 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9831 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=255490673 -superng HOME/instance-4293042-1532305575.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=11344, runsolver pid=11341
[startup+0.109411 s]*
/proc/loadavg: 1.59 1.60 1.59 3/207 11402
/proc/meminfo: memFree=16994980/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10355560 memory=21692 CPUtime=0.11 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 4585 12937 0 0 2 1 5 3 20 0 9 0 48120342 10604093440 5423 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2588890 5423 2101 1 0 2551431 0
[pid=11344/tid=11397] ppid=11341 vsize=10355560 memory=4351193297984914312 CPUtime=0.09 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 2367 12937 0 0 1 0 5 3 20 0 9 0 48120350 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157952470896 140157963093184 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10355560 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 9 0 48120351 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10355560 memory=140606601336448 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 48120351 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 48120351 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 48120351 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10355560 memory=140606601336448 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 9 0 48120353 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 9 0 48120353 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157438997536 140157980645077 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 9 0 48120353 10604093440 5423 33554432000 4194304 4196468 140733766034656 140157332218800 140157980645077 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21692 KiB
[startup+0.209921 s]*
/proc/loadavg: 1.59 1.60 1.59 3/215 11410
/proc/meminfo: memFree=16974840/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10818904 memory=49112 CPUtime=0.26 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 9143 12937 0 0 16 2 5 3 20 0 15 0 48120342 11078557696 12278 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2704726 12278 2967 1 0 2667149 0
[pid=11344/tid=11397] ppid=11341 vsize=10818904 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 5750 12937 0 0 10 2 5 3 20 0 15 0 48120350 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157952459680 140157964715358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10818904 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120351 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10818904 memory=140606601616765 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10818904 memory=140606601336448 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120353 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 15 0 48120353 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157438997536 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120353 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157332218736 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11078557696 12278 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 490 12937 0 0 1 0 5 3 20 0 15 0 48120356 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 88 12937 0 0 1 0 5 3 20 0 15 0 48120356 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10818904 memory=140606601336448 CPUtime=0.11 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) R 11341 11344 9800 0 -1 4202560 577 12937 0 0 3 0 5 3 20 0 15 0 48120356 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157403335280 140157960002670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11409] ppid=11341 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11409/stat : 11409 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120356 11078557696 12278 33554432000 4194304 4196468 140733766034656 140156258478816 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11410] ppid=11341 vsize=10818904 memory=140606601336448 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11410/stat : 11410 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120356 11078557696 12278 33554432000 4194304 4196468 140733766034656 140157402282672 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 49112 KiB
[startup+0.310283 s]*
/proc/loadavg: 1.59 1.60 1.59 3/215 11410
/proc/meminfo: memFree=16961568/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10819352 memory=56988 CPUtime=0.39 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 10344 12937 0 0 28 3 5 3 20 0 15 0 48120342 11079016448 14247 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2704838 14247 3086 1 0 2667149 0
[pid=11344/tid=11397] ppid=11341 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 6940 12937 0 0 19 2 5 3 20 0 15 0 48120350 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157952446880 140157965800416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10819352 memory=140606601343441 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120353 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 15 0 48120353 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157438997536 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120353 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157332218736 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11079016448 14247 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 491 12937 0 0 1 0 5 3 20 0 15 0 48120356 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 88 12937 0 0 1 0 5 3 20 0 15 0 48120356 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10819352 memory=-1 CPUtime=0.13 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) S 11341 11344 9800 0 -1 1077944384 585 12937 0 0 5 0 5 3 20 0 15 0 48120356 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157403335280 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11409] ppid=11341 vsize=10819352 memory=140606601336448 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11409/stat : 11409 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120356 11079016448 14247 33554432000 4194304 4196468 140733766034656 140156258478816 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11410] ppid=11341 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11410/stat : 11410 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120356 11079016448 14247 33554432000 4194304 4196468 140733766034656 140157402282672 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56988 KiB
[startup+0.70072 s]
/proc/loadavg: 1.59 1.60 1.59 3/215 11410
/proc/meminfo: memFree=16953008/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10819352 memory=88988 CPUtime=1 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 16433 12937 0 0 88 4 5 3 20 0 15 0 48120342 11079016448 22247 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2704838 22247 3238 1 0 2667149 0
[pid=11344/tid=11397] ppid=11341 vsize=10819352 memory=140608639337001 CPUtime=0.67 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 11991 12937 0 0 56 3 5 3 20 0 15 0 48120350 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157952455696 140157962198418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10819352 memory=140608639337022 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10819352 memory=140608639337023 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10819352 memory=140608639337028 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10819352 memory=140608639337029 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120351 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 5 12937 0 0 0 0 5 3 20 0 15 0 48120353 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 15 0 48120353 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157438997536 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120353 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157332218736 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11079016448 22247 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10819352 memory=1 CPUtime=0.18 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 1104 12937 0 0 10 0 5 3 20 0 15 0 48120356 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 458 12937 0 0 6 0 5 3 20 0 15 0 48120356 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) S 11341 11344 9800 0 -1 1077944384 637 12937 0 0 13 0 5 3 20 0 15 0 48120356 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157403335280 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11409] ppid=11341 vsize=10819352 memory=5 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11409/stat : 11409 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120356 11079016448 22247 33554432000 4194304 4196468 140733766034656 140156258478816 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11410] ppid=11341 vsize=10819352 memory=4008 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11410/stat : 11410 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120356 11079016448 22247 33554432000 4194304 4196468 140733766034656 140157402282672 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88988 KiB
[startup+1.50154 s]
/proc/loadavg: 1.59 1.60 1.59 3/215 11410
/proc/meminfo: memFree=16907792/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10832204 memory=196168 CPUtime=2.76 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 24306 12937 0 0 259 9 5 3 20 0 15 0 48120342 11092176896 49042 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2708051 49042 3447 1 0 2669709 0
[pid=11344/tid=11397] ppid=11341 vsize=10832204 memory=113120 CPUtime=1.45 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) S 11341 11344 9800 0 -1 1077944384 16908 12937 0 0 132 5 5 3 20 0 15 0 48120350 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157952447376 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 180 12937 0 0 0 0 5 3 20 0 15 0 48120351 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 22 12937 0 0 0 0 5 3 20 0 15 0 48120351 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10832204 memory=140606492068688 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 53 12937 0 0 0 0 5 3 20 0 15 0 48120351 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 32 12937 0 0 0 0 5 3 20 0 15 0 48120351 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10832204 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) R 11341 11344 9800 0 -1 4202560 43 12937 0 0 0 0 5 3 20 0 15 0 48120353 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157440049856 140157972876261 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 33 12937 0 0 0 0 5 3 20 0 15 0 48120353 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157438997536 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10832204 memory=281212983710208 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 48120353 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157332218736 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10832204 memory=12848 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11092176896 49042 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10832204 memory=25343 CPUtime=0.5 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 1775 12937 0 0 42 0 5 3 20 0 15 0 48120356 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10832204 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 1346 12937 0 0 39 0 5 3 20 0 15 0 48120356 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10832204 memory=321013415751725352 CPUtime=0.5 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) S 11341 11344 9800 0 -1 1077944384 1714 12937 0 0 42 0 5 3 20 0 15 0 48120356 11092176896 49042 33554432000 4194304 4196468 140733766034656 140157403335280 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
################
# More data... #
################
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 103778 12937 0 0 236608 45 5 3 20 0 15 0 48120350 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157952470288 140157572623664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10852704 memory=1182976 CPUtime=7.9 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 13625 12937 0 0 747 35 5 3 20 0 15 0 48120351 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10852704 memory=1185068 CPUtime=7.88 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 13129 12937 0 0 745 35 5 3 20 0 15 0 48120351 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10852704 memory=1185068 CPUtime=7.91 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 11749 12937 0 0 753 30 5 3 20 0 15 0 48120351 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10852704 memory=1185068 CPUtime=7.89 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 11551 12937 0 0 750 31 5 3 20 0 15 0 48120351 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10852704 memory=1185068 CPUtime=5.62 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 17184 12937 0 0 521 33 5 3 20 0 15 0 48120353 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10852704 memory=1185068 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 58 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157438997664 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10852704 memory=68 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157332218752 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10852704 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 296267 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10852704 memory=16028 CPUtime=8.94 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 70970 12937 0 0 878 8 5 3 20 0 15 0 48120356 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10852704 memory=3852 CPUtime=8 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 76363 12937 0 0 785 7 5 3 20 0 15 0 48120356 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10852704 memory=2896 CPUtime=3.42 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) S 11341 11344 9800 0 -1 1077944384 78503 12937 0 0 325 9 5 3 20 0 15 0 48120356 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157403335280 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11409] ppid=11341 vsize=10852704 memory=1185068 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11409/stat : 11409 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 296267 33554432000 4194304 4196468 140733766034656 140156258478816 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11410] ppid=11341 vsize=10852704 memory=1185068 CPUtime=1.27 cores=0,2,4,6
/proc/11344/task/11410/stat : 11410 (java) S 11341 11344 9800 0 -1 1077944384 1637 12937 0 0 63 56 5 3 20 0 15 0 48120356 11113168896 296267 33554432000 4194304 4196468 140733766034656 140157402282672 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 2424.83 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1185068 KiB
[startup+2442.3 s]
/proc/loadavg: 1.79 1.62 1.59 3/216 11764
/proc/meminfo: memFree=12489768/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10852704 memory=1185124 CPUtime=2485.43 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 403214 12937 0 0 248275 260 5 3 20 0 15 0 48120342 11113168896 296281 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2713176 296281 3531 1 0 2674829 0
[pid=11344/tid=11397] ppid=11341 vsize=10852704 memory=1185124 CPUtime=2426.23 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 104338 12937 0 0 242569 46 5 3 20 0 15 0 48120350 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157952469504 140157554778094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10852704 memory=1185124 CPUtime=8.09 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 13682 12937 0 0 766 35 5 3 20 0 15 0 48120351 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10852704 memory=1185124 CPUtime=8.08 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 13195 12937 0 0 764 36 5 3 20 0 15 0 48120351 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10852704 memory=8392 CPUtime=8.1 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 11773 12937 0 0 771 31 5 3 20 0 15 0 48120351 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10852704 memory=1185124 CPUtime=8.09 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 11651 12937 0 0 769 32 5 3 20 0 15 0 48120351 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10852704 memory=1185068 CPUtime=5.76 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 17381 12937 0 0 534 34 5 3 20 0 15 0 48120353 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10852704 memory=1185096 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 58 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157438997664 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10852704 memory=1185124 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157332218752 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10852704 memory=1185124 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 296281 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10852704 memory=1185124 CPUtime=8.96 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 71633 12937 0 0 880 8 5 3 20 0 15 0 48120356 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10852704 memory=1185124 CPUtime=8.01 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 76545 12937 0 0 786 7 5 3 20 0 15 0 48120356 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10852704 memory=1185124 CPUtime=3.43 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) S 11341 11344 9800 0 -1 1077944384 79106 12937 0 0 326 9 5 3 20 0 15 0 48120356 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157403335280 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11409] ppid=11341 vsize=10852704 memory=1185124 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11409/stat : 11409 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 296281 33554432000 4194304 4196468 140733766034656 140156258478816 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11410] ppid=11341 vsize=10852704 memory=1185124 CPUtime=1.3 cores=0,2,4,6
/proc/11344/task/11410/stat : 11410 (java) S 11341 11344 9800 0 -1 1077944384 1653 12937 0 0 65 57 5 3 20 0 15 0 48120356 11113168896 296281 33554432000 4194304 4196468 140733766034656 140157402282672 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 2485.43 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1185124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.5 s]
/proc/loadavg: 1.89 1.66 1.60 3/216 11764
/proc/meminfo: memFree=12492600/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10852704 memory=1181116 CPUtime=2520.01 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 405841 12937 0 0 251731 262 5 3 20 0 15 0 48120342 11113168896 295279 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2713176 295279 3531 1 0 2674829 0
[pid=11344/tid=11397] ppid=11341 vsize=10852704 memory=1181116 CPUtime=2460.18 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 104998 12937 0 0 245964 46 5 3 20 0 15 0 48120350 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157952470272 140157569213191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10852704 memory=1236 CPUtime=8.21 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 13747 12937 0 0 778 35 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10852704 memory=1181120 CPUtime=8.2 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 13299 12937 0 0 776 36 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10852704 memory=1183172 CPUtime=8.23 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 11889 12937 0 0 784 31 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10852704 memory=1184708 CPUtime=8.22 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 11702 12937 0 0 781 33 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10852704 memory=1185172 CPUtime=5.84 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 17576 12937 0 0 542 34 5 3 20 0 15 0 48120353 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10852704 memory=1185140 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 58 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157438997664 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10852704 memory=1185124 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157332218752 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10852704 memory=1185140 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10852704 memory=1185172 CPUtime=8.97 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 72137 12937 0 0 881 8 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10852704 memory=792 CPUtime=8.04 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 76774 12937 0 0 788 8 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10852704 memory=1181116 CPUtime=3.44 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) S 11341 11344 9800 0 -1 1077944384 79794 12937 0 0 327 9 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157403335280 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11409] ppid=11341 vsize=10852704 memory=1181632 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11409/stat : 11409 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140156258478816 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11410] ppid=11341 vsize=10852704 memory=1184196 CPUtime=1.31 cores=0,2,4,6
/proc/11344/task/11410/stat : 11410 (java) S 11341 11344 9800 0 -1 1077944384 1668 12937 0 0 66 57 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157402282672 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1181116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.53 s]
# the end of solver process 11344 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.38 s, system=2.67149 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.5 s]
/proc/loadavg: 1.89 1.66 1.60 3/216 11764
/proc/meminfo: memFree=12492600/32770624 swapFree=67108860/67108860
[pid=11344] ppid=11341 vsize=10852704 memory=1181116 CPUtime=2520.01 cores=0,2,4,6
/proc/11344/stat : 11344 (java) S 11341 11344 9800 0 -1 1077944320 405841 12937 0 0 251731 262 5 3 20 0 15 0 48120342 11113168896 295279 33554432000 4194304 4196468 140733766034656 140733766017200 140157980634871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
/proc/11344/statm: 2713176 295279 3531 1 0 2674829 0
[pid=11344/tid=11397] ppid=11341 vsize=10852704 memory=1181116 CPUtime=2460.18 cores=0,2,4,6
/proc/11344/task/11397/stat : 11397 (java) R 11341 11344 9800 0 -1 4202560 104998 12937 0 0 245964 46 5 3 20 0 15 0 48120350 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157952470272 140157569213191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11398] ppid=11341 vsize=10852704 memory=1236 CPUtime=8.21 cores=0,2,4,6
/proc/11344/task/11398/stat : 11398 (java) S 11341 11344 9800 0 -1 1077944384 13747 12937 0 0 778 35 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157984877712 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11399] ppid=11341 vsize=10852704 memory=1181120 CPUtime=8.2 cores=0,2,4,6
/proc/11344/task/11399/stat : 11399 (java) S 11341 11344 9800 0 -1 1077944384 13299 12937 0 0 776 36 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157873150992 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11400] ppid=11341 vsize=10852704 memory=1183172 CPUtime=8.23 cores=0,2,4,6
/proc/11344/task/11400/stat : 11400 (java) S 11341 11344 9800 0 -1 1077944384 11889 12937 0 0 784 31 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157872098192 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11401] ppid=11341 vsize=10852704 memory=1184708 CPUtime=8.22 cores=0,2,4,6
/proc/11344/task/11401/stat : 11401 (java) S 11341 11344 9800 0 -1 1077944384 11702 12937 0 0 781 33 5 3 20 0 15 0 48120351 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157871045392 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11402] ppid=11341 vsize=10852704 memory=1185172 CPUtime=5.84 cores=0,2,4,6
/proc/11344/task/11402/stat : 11402 (java) S 11341 11344 9800 0 -1 1077944384 17576 12937 0 0 542 34 5 3 20 0 15 0 48120353 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157440051568 140157980646018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11403] ppid=11341 vsize=10852704 memory=1185140 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11403/stat : 11403 (java) S 11341 11344 9800 0 -1 1077944384 58 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157438997664 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11404] ppid=11341 vsize=10852704 memory=1185124 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11404/stat : 11404 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120353 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157332218752 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11405] ppid=11341 vsize=10852704 memory=1185140 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11405/stat : 11405 (java) S 11341 11344 9800 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140156728239952 140157980653467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11406] ppid=11341 vsize=10852704 memory=1185172 CPUtime=8.97 cores=0,2,4,6
/proc/11344/task/11406/stat : 11406 (java) S 11341 11344 9800 0 -1 1077944384 72137 12937 0 0 881 8 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157405440880 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11407] ppid=11341 vsize=10852704 memory=792 CPUtime=8.04 cores=0,2,4,6
/proc/11344/task/11407/stat : 11407 (java) S 11341 11344 9800 0 -1 1077944384 76774 12937 0 0 788 8 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157404388080 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11408] ppid=11341 vsize=10852704 memory=1181116 CPUtime=3.44 cores=0,2,4,6
/proc/11344/task/11408/stat : 11408 (java) S 11341 11344 9800 0 -1 1077944384 79794 12937 0 0 327 9 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157403335280 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11409] ppid=11341 vsize=10852704 memory=1181632 CPUtime=0.08 cores=0,2,4,6
/proc/11344/task/11409/stat : 11409 (java) S 11341 11344 9800 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140156258478816 140157980645077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
[pid=11344/tid=11410] ppid=11341 vsize=10852704 memory=1184196 CPUtime=1.31 cores=0,2,4,6
/proc/11344/task/11410/stat : 11410 (java) S 11341 11344 9800 0 -1 1077944384 1668 12937 0 0 66 57 5 3 20 0 15 0 48120356 11113168896 295279 33554432000 4194304 4196468 140733766034656 140157402282672 140157980646018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140733766039724 140733766042972 140733766042972 140733766045647 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1181116 KiB
Child status: 143
Real time (s): 2476.53
CPU time (s): 2520.05
CPU user time (s): 2517.38
CPU system time (s): 2.67149
CPU usage (%): 101.757
Max. virtual memory (cumulated for all children) (KiB): 10853292
Max. memory (cumulated for all children) (KiB): 1392688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.38
system time used= 2.6715
maximum resident set size= 1400896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419051
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176943
involuntary context switches= 7165
# summary of solver processes directly reported to runsolver:
# pid: 11344
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.38
# total CPU system time (s): 2.67149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5964 second user time and 23.6874 second system time
The end