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 (4059 MiB free)
memory of node 1: 16384 MiB (7729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295521-1532564782/watcher-4295521-1532564782 -o /tmp/evaluation-result-4295521-1532564782/solver-4295521-1532564782 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532535188-26469 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=942792171 -superng HOME/instance-4295521-1532564782.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=31543, runsolver pid=31540
[startup+0.100163 s]*
/proc/loadavg: 1.62 1.45 1.42 3/206 31600
/proc/meminfo: memFree=12068616/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=9972712 memory=16948 CPUtime=0.08 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 4373 13164 0 0 1 0 4 3 20 0 6 0 74041377 10212057088 4237 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2493178 4237 1934 1 0 2481616 0
[pid=31543/tid=31596] ppid=31540 vsize=9972712 memory=4279135704047322765 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 2184 13164 0 0 1 0 4 3 20 0 6 0 74041386 10212057088 4237 33554432000 4194304 4196468 140730452340768 140081810793040 140081823036766 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 6 0 74041387 10212057088 4237 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=9972712 memory=140503885170304 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 6 0 74041387 10212057088 4237 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 6 0 74041387 10212057088 4237 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 2 13164 0 0 0 0 4 3 20 0 6 0 74041387 10212057088 4237 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB
[startup+0.20992 s]*
/proc/loadavg: 1.62 1.45 1.42 3/215 31609
/proc/meminfo: memFree=12045960/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=10819896 memory=42968 CPUtime=0.25 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 8451 13164 0 0 17 1 4 3 20 0 15 0 74041377 11079573504 10742 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2704974 10742 2959 1 0 2667397 0
[pid=31543/tid=31596] ppid=31540 vsize=10821524 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 5120 13164 0 0 10 1 4 3 20 0 15 0 74041386 11081240576 10742 33554432000 4194304 4196468 140730452340768 140081810781088 140081831635997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10821524 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11081240576 10742 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10821524 memory=140503885568791 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11081240576 10808 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11081240576 10808 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 2 13164 0 0 0 0 4 3 20 0 15 0 74041387 11081240576 10808 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10821524 memory=140503885170304 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 2 13164 0 0 0 0 4 3 20 0 15 0 74041388 11081240576 10808 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 33 13164 0 0 0 0 4 3 20 0 15 0 74041389 11081240576 10874 33554432000 4194304 4196468 140730452340768 140081296823712 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041389 11081240576 10874 33554432000 4194304 4196468 140730452340768 140080693896688 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11081240576 10874 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) S 31540 31543 26438 0 -1 1077944384 510 13164 0 0 1 0 4 3 20 0 15 0 74041392 11081240576 10874 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) S 31540 31543 26438 0 -1 1077944384 75 13164 0 0 0 0 4 3 20 0 15 0 74041392 11081240576 10874 33554432000 4194304 4196468 140730452340768 140081262213232 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10821524 memory=140503885170304 CPUtime=0.1 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) S 31540 31543 26438 0 -1 1077944384 562 13164 0 0 3 0 4 3 20 0 15 0 74041392 11081240576 10940 33554432000 4194304 4196468 140730452340768 140081261160688 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11081240576 10940 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10821524 memory=140503885170304 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041392 11081240576 10940 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 42968 KiB
[startup+0.310279 s]*
/proc/loadavg: 1.62 1.45 1.42 3/215 31609
/proc/meminfo: memFree=12033804/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=10819352 memory=52544 CPUtime=0.38 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 10741 13164 0 0 29 2 4 3 20 0 15 0 74041377 11079016448 13136 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2704838 13136 3078 1 0 2667149 0
[pid=31543/tid=31596] ppid=31540 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 7346 13164 0 0 19 1 4 3 20 0 15 0 74041386 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081810768288 140081823036766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 2 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 2 13164 0 0 0 0 4 3 20 0 15 0 74041388 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 33 13164 0 0 0 0 4 3 20 0 15 0 74041389 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081296823712 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041389 11079016448 13136 33554432000 4194304 4196468 140730452340768 140080693896688 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11079016448 13136 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) R 31540 31543 26438 0 -1 1077944384 510 13164 0 0 1 0 4 3 20 0 15 0 74041392 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) R 31540 31543 26438 0 -1 4202560 78 13164 0 0 1 0 4 3 20 0 15 0 74041392 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081262213232 140081822511056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10819352 memory=140503885170304 CPUtime=0.12 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) R 31540 31543 26438 0 -1 4202560 571 13164 0 0 5 0 4 3 20 0 15 0 74041392 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081261160688 140081817447296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11079016448 13136 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10819352 memory=140503885170304 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041392 11079016448 13136 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52544 KiB
[startup+0.701124 s]
/proc/loadavg: 1.62 1.45 1.42 4/215 31609
/proc/meminfo: memFree=12024252/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=10819352 memory=84680 CPUtime=0.99 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 16806 13164 0 0 88 4 4 3 20 0 15 0 74041377 11079016448 21170 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2704838 21170 3237 1 0 2667149 0
[pid=31543/tid=31596] ppid=31540 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 12352 13164 0 0 56 2 4 3 20 0 15 0 74041386 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081810777104 140081820519835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 2 13164 0 0 0 0 4 3 20 0 15 0 74041387 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 5 13164 0 0 0 0 4 3 20 0 15 0 74041388 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10819352 memory=140503748326096 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 33 13164 0 0 0 0 4 3 20 0 15 0 74041389 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081296823712 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10819352 memory=140505560121955 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041389 11079016448 21170 33554432000 4194304 4196468 140730452340768 140080693896688 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10819352 memory=10600 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11079016448 21170 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10819352 memory=7234564758908855872 CPUtime=0.16 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) S 31540 31543 26438 0 -1 1077944384 1163 13164 0 0 9 0 4 3 20 0 15 0 74041392 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10819352 memory=7597685182856913236 CPUtime=0.14 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) S 31540 31543 26438 0 -1 1077944384 439 13164 0 0 7 0 4 3 20 0 15 0 74041392 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081262213232 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10819352 memory=5787218246971642213 CPUtime=0.2 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) S 31540 31543 26438 0 -1 1077944384 613 13164 0 0 13 0 4 3 20 0 15 0 74041392 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081261160688 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10819352 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11079016448 21170 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041392 11079016448 21170 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84680 KiB
[startup+1.50081 s]
/proc/loadavg: 1.62 1.45 1.42 3/215 31609
/proc/meminfo: memFree=11978240/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=10834252 memory=175944 CPUtime=2.28 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 23951 13164 0 0 213 8 4 3 20 0 15 0 74041377 11094274048 43986 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2708563 43986 3474 1 0 2670221 0
[pid=31543/tid=31596] ppid=31540 vsize=10834252 memory=12813 CPUtime=1.42 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 17873 13164 0 0 131 4 4 3 20 0 15 0 74041386 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081810787744 140081822999909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 185 13164 0 0 1 0 4 3 20 0 15 0 74041387 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 32 13164 0 0 1 0 4 3 20 0 15 0 74041387 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10834252 memory=1313 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 15 13164 0 0 1 0 4 3 20 0 15 0 74041387 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10834252 memory=84680 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 73 13164 0 0 0 0 4 3 20 0 15 0 74041387 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 58 13164 0 0 1 0 4 3 20 0 15 0 74041388 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10834252 memory=281007496593904 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 34 13164 0 0 0 0 4 3 20 0 15 0 74041389 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081296823776 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10834252 memory=281007496644704 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 2 13164 0 0 0 0 4 3 20 0 15 0 74041389 11094274048 43986 33554432000 4194304 4196468 140730452340768 140080693896704 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11094274048 43986 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10834252 memory=4638778398332698720 CPUtime=0.26 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) S 31540 31543 26438 0 -1 1077944384 1319 13164 0 0 19 0 4 3 20 0 15 0 74041392 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10834252 memory=281007496928128 CPUtime=0.29 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) R 31540 31543 26438 0 -1 1077944384 976 13164 0 0 22 0 4 3 20 0 15 0 74041392 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081262213232 140081838967426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10834252 memory=-7531822216213012384 CPUtime=0.4 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) R 31540 31543 26438 0 -1 4202560 1190 13164 0 0 33 0 4 3 20 0 15 0 74041392 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081261160688 140081838977626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10834252 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11094274048 43986 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10834252 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1 13164 0 0 0 0 4 3 20 0 15 0 74041392 11094274048 43986 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 82125 13164 0 0 237238 37 4 3 20 0 15 0 74041386 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081810790752 140081449347550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.28 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 14150 13164 0 0 489 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.29 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 8508 13164 0 0 491 31 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.26 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 10359 13164 0 0 489 30 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.28 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 11523 13164 0 0 489 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10914144 memory=475624 CPUtime=2.9 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 14827 13164 0 0 264 19 4 3 20 0 15 0 74041388 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 46 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081296823776 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 5 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080693896704 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10914144 memory=475624 CPUtime=7.74 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) S 31540 31543 26438 0 -1 1077944384 30598 13164 0 0 760 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10914144 memory=475624 CPUtime=7.43 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) S 31540 31543 26438 0 -1 1077944384 27005 13164 0 0 732 4 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081262213232 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10914144 memory=475624 CPUtime=3.23 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) S 31540 31543 26438 0 -1 1077944384 26004 13164 0 0 309 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081261160688 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10914144 memory=475624 CPUtime=1.45 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1171 13164 0 0 72 66 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 2416.15 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 475624 KiB
[startup+2442.3 s]
/proc/loadavg: 0.64 0.70 0.95 2/195 31754
/proc/meminfo: memFree=12077884/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=10914144 memory=475624 CPUtime=2476.52 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 229557 13164 0 0 247406 239 4 3 20 0 15 0 74041377 11176083456 118906 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2728536 118906 3531 1 0 2690189 0
[pid=31543/tid=31596] ppid=31540 vsize=10914144 memory=4612844 CPUtime=2432.61 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 82496 13164 0 0 243217 37 4 3 20 0 15 0 74041386 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081810789936 140081455298698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.4 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 14472 13164 0 0 501 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.41 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 8515 13164 0 0 502 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.38 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 10475 13164 0 0 501 30 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.4 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 11685 13164 0 0 501 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10914144 memory=475624 CPUtime=2.98 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 14879 13164 0 0 271 20 4 3 20 0 15 0 74041388 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 46 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081296823776 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 5 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080693896704 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10914144 memory=475624 CPUtime=7.74 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) S 31540 31543 26438 0 -1 1077944384 30600 13164 0 0 760 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10914144 memory=475624 CPUtime=7.43 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) S 31540 31543 26438 0 -1 1077944384 27007 13164 0 0 732 4 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081262213232 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10914144 memory=475624 CPUtime=3.23 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) S 31540 31543 26438 0 -1 1077944384 26006 13164 0 0 309 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081261160688 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10914144 memory=1428 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10914144 memory=475624 CPUtime=1.49 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1177 13164 0 0 74 68 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 2476.52 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 475624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2485.5 s]
/proc/loadavg: 0.58 0.68 0.93 2/195 31755
/proc/meminfo: memFree=12077908/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=10914144 memory=475624 CPUtime=2520 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 229882 13164 0 0 251751 242 4 3 20 0 15 0 74041377 11176083456 118906 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2728536 118906 3531 1 0 2690189 0
[pid=31543/tid=31596] ppid=31540 vsize=10914144 memory=475624 CPUtime=2475.66 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 82621 13164 0 0 247522 37 4 3 20 0 15 0 74041386 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081810789904 140081455297370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.48 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 14479 13164 0 0 509 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.49 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 8517 13164 0 0 510 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.47 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 10484 13164 0 0 509 31 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.48 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 11695 13164 0 0 509 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10914144 memory=475624 CPUtime=3.02 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 15038 13164 0 0 275 20 4 3 20 0 15 0 74041388 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 46 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081296823776 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 5 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080693896704 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10914144 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10914144 memory=5408 CPUtime=7.74 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) S 31540 31543 26438 0 -1 1077944384 30600 13164 0 0 760 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10914144 memory=4128 CPUtime=7.43 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) S 31540 31543 26438 0 -1 1077944384 27007 13164 0 0 732 4 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081262213232 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10914144 memory=22284 CPUtime=3.23 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) S 31540 31543 26438 0 -1 1077944384 26006 13164 0 0 309 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081261160688 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10914144 memory=281007497927040 CPUtime=1.52 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1190 13164 0 0 75 70 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 475624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2485.53 s]
# the end of solver process 31543 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.58 s, system=2.47017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2485.5 s]
/proc/loadavg: 0.58 0.68 0.93 2/195 31755
/proc/meminfo: memFree=12077908/32770624 swapFree=67108860/67108860
[pid=31543] ppid=31540 vsize=10914144 memory=475624 CPUtime=2520 cores=0,2,4,6
/proc/31543/stat : 31543 (java) S 31540 31543 26438 0 -1 1077944320 229882 13164 0 0 251751 242 4 3 20 0 15 0 74041377 11176083456 118906 33554432000 4194304 4196468 140730452340768 140730452323312 140081838956279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
/proc/31543/statm: 2728536 118906 3531 1 0 2690189 0
[pid=31543/tid=31596] ppid=31540 vsize=10914144 memory=475624 CPUtime=2475.66 cores=0,2,4,6
/proc/31543/task/31596/stat : 31596 (java) R 31540 31543 26438 0 -1 4202560 82621 13164 0 0 247522 37 4 3 20 0 15 0 74041386 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081810789904 140081455297370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31597] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.48 cores=0,2,4,6
/proc/31543/task/31597/stat : 31597 (java) S 31540 31543 26438 0 -1 1077944384 14479 13164 0 0 509 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081843198224 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31598] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.49 cores=0,2,4,6
/proc/31543/task/31598/stat : 31598 (java) S 31540 31543 26438 0 -1 1077944384 8517 13164 0 0 510 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081411840400 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31599] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.47 cores=0,2,4,6
/proc/31543/task/31599/stat : 31599 (java) S 31540 31543 26438 0 -1 1077944384 10484 13164 0 0 509 31 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081410787856 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31600] ppid=31540 vsize=10914144 memory=475624 CPUtime=5.48 cores=0,2,4,6
/proc/31543/task/31600/stat : 31600 (java) S 31540 31543 26438 0 -1 1077944384 11695 13164 0 0 509 32 4 3 20 0 15 0 74041387 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081409735312 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31601] ppid=31540 vsize=10914144 memory=475624 CPUtime=3.02 cores=0,2,4,6
/proc/31543/task/31601/stat : 31601 (java) S 31540 31543 26438 0 -1 1077944384 15038 13164 0 0 275 20 4 3 20 0 15 0 74041388 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081297877488 140081838967426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31602] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31602/stat : 31602 (java) S 31540 31543 26438 0 -1 1077944384 46 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081296823776 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31603] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31603/stat : 31603 (java) S 31540 31543 26438 0 -1 1077944384 5 13164 0 0 0 0 4 3 20 0 15 0 74041389 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080693896704 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31604] ppid=31540 vsize=10914144 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31604/stat : 31604 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080386497232 140081838974875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31605] ppid=31540 vsize=10914144 memory=5408 CPUtime=7.74 cores=0,2,4,6
/proc/31543/task/31605/stat : 31605 (java) S 31540 31543 26438 0 -1 1077944384 30600 13164 0 0 760 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081263265776 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31606] ppid=31540 vsize=10914144 memory=4128 CPUtime=7.43 cores=0,2,4,6
/proc/31543/task/31606/stat : 31606 (java) S 31540 31543 26438 0 -1 1077944384 27007 13164 0 0 732 4 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081262213232 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31607] ppid=31540 vsize=10914144 memory=22284 CPUtime=3.23 cores=0,2,4,6
/proc/31543/task/31607/stat : 31607 (java) S 31540 31543 26438 0 -1 1077944384 26006 13164 0 0 309 7 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081261160688 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31608] ppid=31540 vsize=10914144 memory=475624 CPUtime=0.07 cores=0,2,4,6
/proc/31543/task/31608/stat : 31608 (java) S 31540 31543 26438 0 -1 1077944384 3 13164 0 0 0 0 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140080352938592 140081838966485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
[pid=31543/tid=31609] ppid=31540 vsize=10914144 memory=281007497927040 CPUtime=1.52 cores=0,2,4,6
/proc/31543/task/31609/stat : 31609 (java) S 31540 31543 26438 0 -1 1077944384 1190 13164 0 0 75 70 4 3 20 0 15 0 74041392 11176083456 118906 33554432000 4194304 4196468 140730452340768 140081260108592 140081838967426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140730452347052 140730452350300 140730452350300 140730452352975 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 475624 KiB
Child status: 143
Real time (s): 2485.53
CPU time (s): 2520.05
CPU user time (s): 2517.58
CPU system time (s): 2.47017
CPU usage (%): 101.389
Max. virtual memory (cumulated for all children) (KiB): 10917012
Max. memory (cumulated for all children) (KiB): 1254896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.58
system time used= 2.47017
maximum resident set size= 1266024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124014
involuntary context switches= 4777
# summary of solver processes directly reported to runsolver:
# pid: 31543
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.58
# total CPU system time (s): 2.47017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4169 second user time and 23.6159 second system time
The end