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 (14222 MiB free)
memory of node 1: 16384 MiB (14848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396179-1568399194/watcher-4396179-1568399194 -o /tmp/evaluation-result-4396179-1568399194/solver-4396179-1568399194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568393441-29482 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1184432707 HOME/instance-4396179-1568399194.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
solver pid=31582, runsolver pid=31579
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.91 1.54 1.45 3/216 31639
/proc/meminfo: memFree=29762208/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=9972712 memory=17080 CPUtime=0.09 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 4514 12998 0 0 1 1 4 3 20 0 6 0 416187256 10212057088 4270 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2493178 4270 1935 1 0 2481616 0
[pid=31582/tid=31635] ppid=31579 vsize=9972712 memory=4279135703913364878 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 2309 12998 0 0 1 0 4 3 20 0 6 0 416187265 10212057088 4270 33554432000 4194304 4196468 140727670467456 140170984436304 140170996680030 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 6 0 416187265 10212057088 4270 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=9972712 memory=139906458982016 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 6 0 416187265 10212057088 4270 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 6 0 416187265 10212057088 4270 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 6 0 416187265 10212057088 4270 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.211035 s]*
/proc/loadavg: 1.91 1.54 1.45 3/225 31648
/proc/meminfo: memFree=29725412/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10820116 memory=39688 CPUtime=0.26 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 7293 12998 0 0 17 2 4 3 20 0 15 0 416187256 11079798784 9922 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2705029 9922 3243 1 0 2667149 0
[pid=31582/tid=31635] ppid=31579 vsize=10820128 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 3776 12998 0 0 11 1 4 3 20 0 15 0 416187265 11079811072 9922 33554432000 4194304 4196468 140727670467456 140170984415296 140171004836670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10820128 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079811072 9922 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10820128 memory=139906458982016 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079811072 9922 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10820128 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079811072 9922 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10820136 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079819264 9988 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10820136 memory=139906458982016 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187267 11079819264 9988 33554432000 4194304 4196468 140727670467456 140170015742576 140171012610690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10820136 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 33 12998 0 0 0 0 4 3 20 0 15 0 416187267 11079819264 9988 33554432000 4194304 4196468 140727670467456 140170014688544 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10820136 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187268 11079819264 9988 33554432000 4194304 4196468 140727670467456 140169881577072 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10820136 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11079819264 9988 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10820140 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) R 31579 31582 26463 0 -1 1077944384 337 12998 0 0 1 0 4 3 20 0 15 0 416187270 11079823360 9988 33554432000 4194304 4196468 140727670467456 140169981130864 140171012610690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10820140 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) R 31579 31582 26463 0 -1 4202560 313 12998 0 0 1 0 4 3 20 0 15 0 416187270 11079823360 9988 33554432000 4194304 4196468 140727670467456 140169980078064 140170997507264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10820140 memory=139906458982016 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 26463 0 -1 1077944384 619 12998 0 0 3 0 4 3 20 0 15 0 416187270 11079823360 9988 33554432000 4194304 4196468 140727670467456 140169979025776 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10820140 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11079823360 9988 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10820140 memory=139906458982016 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187271 11079823360 9988 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820116 KiB
Current children cumulated memory: 39688 KiB
[startup+0.543338 s]*
/proc/loadavg: 1.91 1.54 1.45 3/225 31648
/proc/meminfo: memFree=29703392/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10820264 memory=68756 CPUtime=0.82 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 13883 12998 0 0 70 5 4 3 20 0 15 0 416187256 11079950336 17189 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2705066 17189 3464 1 0 2667149 0
[pid=31582/tid=31635] ppid=31579 vsize=10820264 memory=6791534058613427641 CPUtime=0.51 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 9236 12998 0 0 41 3 4 3 20 0 15 0 416187265 11079950336 17189 33554432000 4194304 4196468 140727670467456 140170984423760 140170996643173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10820264 memory=7235440086212634986 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079950336 17189 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10820264 memory=5787233549803348032 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079950336 17189 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10820264 memory=7649539273497460419 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079950336 17189 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10820264 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187265 11079950336 17189 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 5 12998 0 0 0 0 4 3 20 0 15 0 416187267 11079950336 17189 33554432000 4194304 4196468 140727670467456 140170015742576 140171012610690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 33 12998 0 0 0 0 4 3 20 0 15 0 416187267 11079950336 17189 33554432000 4194304 4196468 140727670467456 140170014688544 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187268 11079950336 17189 33554432000 4194304 4196468 140727670467456 140169881577072 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11079950336 17189 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10820264 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 26463 0 -1 1077944384 695 12998 0 0 6 0 4 3 20 0 15 0 416187270 11079950336 17189 33554432000 4194304 4196468 140727670467456 140169981130864 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10820264 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 26463 0 -1 1077944384 893 12998 0 0 9 0 4 3 20 0 15 0 416187270 11079950336 17189 33554432000 4194304 4196468 140727670467456 140169980078064 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10820264 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) R 31579 31582 26463 0 -1 4202560 805 12998 0 0 12 0 4 3 20 0 15 0 416187270 11079950336 17189 33554432000 4194304 4196468 140727670467456 140169979025776 140170996855476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11079950336 17189 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187271 11079950336 17189 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 0.82 s
Current children cumulated vsize: 10820264 KiB
Current children cumulated memory: 68756 KiB
[startup+0.713991 s]*
/proc/loadavg: 1.91 1.54 1.45 4/225 31648
/proc/meminfo: memFree=29693900/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10824360 memory=82276 CPUtime=1.18 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 15487 12998 0 0 104 7 4 3 20 0 15 0 416187256 11084144640 20569 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2706090 20569 3509 1 0 2668173 0
[pid=31582/tid=31635] ppid=31579 vsize=10824360 memory=6791534058613427641 CPUtime=0.69 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 10664 12998 0 0 57 5 4 3 20 0 15 0 416187265 11084144640 20569 33554432000 4194304 4196468 140727670467456 140170984429472 140170996643173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10824360 memory=2856 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11084144640 20569 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10824360 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11084144640 20569 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10824360 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187265 11084144640 20569 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10824360 memory=3268 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187265 11084144640 20569 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10824360 memory=834108 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 5 12998 0 0 0 0 4 3 20 0 15 0 416187267 11084144640 20569 33554432000 4194304 4196468 140727670467456 140170015742576 140171012610690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10824360 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 33 12998 0 0 0 0 4 3 20 0 15 0 416187267 11084144640 20569 33554432000 4194304 4196468 140727670467456 140170014688544 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10824360 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187268 11084144640 20569 33554432000 4194304 4196468 140727670467456 140169881577072 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10824360 memory=2264 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11084144640 20569 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10824360 memory=68756 CPUtime=0.19 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 26463 0 -1 1077944384 723 12998 0 0 12 0 4 3 20 0 15 0 416187270 11084144640 20569 33554432000 4194304 4196468 140727670467456 140169981130864 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 26463 0 -1 1077944384 929 12998 0 0 16 1 4 3 20 0 15 0 416187270 11084144640 20569 33554432000 4194304 4196468 140727670467456 140169980078064 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 26463 0 -1 1077944384 918 12998 0 0 17 0 4 3 20 0 15 0 416187270 11084144640 20569 33554432000 4194304 4196468 140727670467456 140169979025776 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11084144640 20569 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187271 11084144640 20634 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82276 KiB
[startup+1.50066 s]
/proc/loadavg: 1.91 1.54 1.45 3/225 31648
/proc/meminfo: memFree=29619804/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10834676 memory=179456 CPUtime=2.61 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 24390 12998 0 0 242 12 4 3 20 0 15 0 416187256 11094708224 44864 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2708669 44864 3588 1 0 2670733 0
[pid=31582/tid=31635] ppid=31579 vsize=10834676 memory=31 CPUtime=1.43 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 16282 12998 0 0 129 7 4 3 20 0 15 0 416187265 11094708224 44864 33554432000 4194304 4196468 140727670467456 140170984405792 140171012611478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10834676 memory=30 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 76 12998 0 0 1 0 4 3 20 0 15 0 416187265 11094708224 44864 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 70 12998 0 0 1 0 4 3 20 0 15 0 416187265 11094708224 44864 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 18 12998 0 0 1 0 4 3 20 0 15 0 416187265 11094708224 44864 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10834676 memory=123044 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 318 12998 0 0 0 0 4 3 20 0 15 0 416187265 11094708224 44864 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 486 12998 0 0 1 0 4 3 20 0 15 0 416187267 11094708224 44864 33554432000 4194304 4196468 140727670467456 140170015742576 140171012610690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10834676 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 34 12998 0 0 0 0 4 3 20 0 15 0 416187267 11094708224 44864 33554432000 4194304 4196468 140727670467456 140170014688608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10834676 memory=279812690712992 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187268 11094708224 44864 33554432000 4194304 4196468 140727670467456 140169881577088 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10834676 memory=279812690874128 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11094708224 44864 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10834676 memory=3472463804526544240 CPUtime=0.37 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 26463 0 -1 1077944384 1333 12998 0 0 30 0 4 3 20 0 15 0 416187270 11094708224 44887 33554432000 4194304 4196468 140727670467456 140169981130864 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10834676 memory=6944656592455359580 CPUtime=0.42 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 26463 0 -1 1077944384 1747 12998 0 0 34 1 4 3 20 0 15 0 416187270 11094708224 44887 33554432000 4194304 4196468 140727670467456 140169980078064 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10834676 memory=6944656592455359580 CPUtime=0.48 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) R 31579 31582 26463 0 -1 4202560 1814 12998 0 0 40 1 4 3 20 0 15 0 416187270 11094708224 44887 33554432000 4194304 4196468 140727670467456 140169979025776 140170992314340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10834676 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11094708224 44887 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 416187271 11094708224 44887 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
[startup+4.54862 s]
# the end of solver process 31582 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.3524 s, system=0.280461 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.40067 s]
/proc/loadavg: 1.91 1.54 1.45 5/225 31648
/proc/meminfo: memFree=29524236/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10851808 memory=274720 CPUtime=7.82 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 50195 12998 0 0 755 20 4 3 20 0 15 0 416187256 11112251392 68680 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2712952 68680 3613 1 0 2675008 0
[pid=31582/tid=31635] ppid=31579 vsize=10851808 memory=6364806098065658500 CPUtime=3.27 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 25169 12998 0 0 310 10 4 3 20 0 15 0 416187265 11112251392 68680 33554432000 4194304 4196468 140727670467456 140170984428736 140171012611478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10851808 memory=7516895258931192673 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 85 12998 0 0 3 0 4 3 20 0 15 0 416187265 11112251392 68680 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10851808 memory=7521381296285770081 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 84 12998 0 0 3 0 4 3 20 0 15 0 416187265 11112251392 68680 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10851808 memory=42116 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 41 12998 0 0 3 0 4 3 20 0 15 0 416187265 11112251392 68680 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10851808 memory=7306916055891837008 CPUtime=0.09 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 329 12998 0 0 2 0 4 3 20 0 15 0 416187265 11112251392 68680 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10851808 memory=3620 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 3013 12998 0 0 3 0 4 3 20 0 15 0 416187267 11112251392 68680 33554432000 4194304 4196468 140727670467456 140170015742576 140171012610690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10851808 memory=39156 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 37 12998 0 0 0 0 4 3 20 0 15 0 416187267 11112251392 68680 33554432000 4194304 4196468 140727670467456 140170014688608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10851808 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187268 11112251392 68680 33554432000 4194304 4196468 140727670467456 140169881577088 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10851808 memory=2016 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11112251392 68680 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10851808 memory=1228 CPUtime=1.61 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) R 31579 31582 26463 0 -1 4202560 8335 12998 0 0 153 1 4 3 20 0 15 0 416187270 11112251392 68680 33554432000 4194304 4196468 140727670467456 140169981116072 140170994117425 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10851808 memory=10708 CPUtime=1.51 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) R 31579 31582 26463 0 -1 4202560 5167 12998 0 0 142 2 4 3 20 0 15 0 416187270 11112251392 68680 33554432000 4194304 4196468 140727670467456 140169980063528 140170996158344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10851808 memory=1552 CPUtime=1.39 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) R 31579 31582 26463 0 -1 1077944384 5710 12998 0 0 130 2 4 3 20 0 15 0 416187270 11112251392 68680 33554432000 4194304 4196468 140727670467456 140169979025776 140171012610690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10851808 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11112251392 68680 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10851808 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 13 12998 0 0 0 0 4 3 20 0 15 0 416187271 11112251392 68680 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 7.82 s
Current children cumulated vsize: 10851808 KiB
Current children cumulated memory: 274720 KiB
[startup+4.20126 s]*
/proc/loadavg: 1.91 1.54 1.45 6/225 31648
/proc/meminfo: memFree=29447864/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10849044 memory=334616 CPUtime=10.56 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 54916 12998 0 0 1027 22 4 3 20 0 15 0 416187256 11109421056 83654 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2712261 83654 3616 1 0 2674317 0
[pid=31582/tid=31635] ppid=31579 vsize=10849044 memory=7022364594140610616 CPUtime=4.07 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) S 31579 31582 26463 0 -1 1077944384 25699 12998 0 0 389 11 4 3 20 0 15 0 416187265 11109421056 83654 33554432000 4194304 4196468 140727670467456 140170984434304 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10849044 memory=365 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) R 31579 31582 26463 0 -1 4202560 98 12998 0 0 3 0 4 3 20 0 15 0 416187265 11109421056 83654 33554432000 4194304 4196468 140727670467456 140171016841616 140170997626687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10849044 memory=139906459011755 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) R 31579 31582 26463 0 -1 4202560 288 12998 0 0 3 0 4 3 20 0 15 0 416187265 11109421056 83654 33554432000 4194304 4196468 140727670467456 140170905114896 140170997626962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10849044 memory=3047711566422646390 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) R 31579 31582 26463 0 -1 4202560 48 12998 0 0 3 0 4 3 20 0 15 0 416187265 11109421056 83654 33554432000 4194304 4196468 140727670467456 140170904062608 140170994225488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10849044 memory=2314885530816952943 CPUtime=0.09 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) R 31579 31582 26463 0 -1 1077944384 329 12998 0 0 2 0 4 3 20 0 15 0 416187265 11109421056 83654 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10849044 memory=3472468202686662320 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 3021 12998 0 0 3 0 4 3 20 0 15 0 416187267 11109421056 83654 33554432000 4194304 4196468 140727670467456 140170015741088 140171012609749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10849044 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 37 12998 0 0 0 0 4 3 20 0 15 0 416187267 11109421056 83654 33554432000 4194304 4196468 140727670467456 140170014688608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10849044 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 416187268 11109421056 83654 33554432000 4194304 4196468 140727670467456 140169881577088 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10849044 memory=-9001734043636558696 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11109421056 83654 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10849044 memory=0 CPUtime=2.41 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) S 31579 31582 26463 0 -1 1077944384 10504 12998 0 0 233 1 4 3 20 0 15 0 416187270 11109421056 83654 33554432000 4194304 4196468 140727670467456 140169981115856 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10849044 memory=3472328296227680303 CPUtime=2.31 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) S 31579 31582 26463 0 -1 1077944384 5692 12998 0 0 222 2 4 3 20 0 15 0 416187270 11109421056 83654 33554432000 4194304 4196468 140727670467456 140169980065280 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10849044 memory=3472468202686662320 CPUtime=1.71 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 26463 0 -1 1077944384 6976 12998 0 0 161 3 4 3 20 0 15 0 416187270 11109421056 83654 33554432000 4194304 4196468 140727670467456 140169979020096 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10849044 memory=3472328296227670329 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11109421056 83654 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10849044 memory=7525172680858607794 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 416187271 11109421056 83654 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 334616 KiB
[startup+4.40067 s]
/proc/loadavg: 1.91 1.54 1.45 6/225 31648
/proc/meminfo: memFree=29447864/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10849044 memory=335524 CPUtime=11.2 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 55615 12998 0 0 1090 23 4 3 20 0 15 0 416187256 11109421056 83881 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2712261 83881 3617 1 0 2674317 0
[pid=31582/tid=31635] ppid=31579 vsize=10849044 memory=279812690560640 CPUtime=4.26 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 25712 12998 0 0 408 11 4 3 20 0 15 0 416187265 11109421056 83881 33554432000 4194304 4196468 140727670467456 140170984431808 140171012611478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10849044 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 98 12998 0 0 3 0 4 3 20 0 15 0 416187265 11109421056 83881 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10849044 memory=-7393977762494193309 CPUtime=0.11 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 289 12998 0 0 4 0 4 3 20 0 15 0 416187265 11109421056 83881 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10849044 memory=7752549240514114323 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 48 12998 0 0 3 0 4 3 20 0 15 0 416187265 11109421056 83881 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10849044 memory=6945782492362334265 CPUtime=0.09 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 332 12998 0 0 2 0 4 3 20 0 15 0 416187265 11109421056 83881 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10849044 memory=7012498710520162402 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 3042 12998 0 0 3 0 4 3 20 0 15 0 416187267 11109421056 83881 33554432000 4194304 4196468 140727670467456 140170015742576 140171012610690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10849044 memory=6947197602582061672 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 39 12998 0 0 0 0 4 3 20 0 15 0 416187267 11109421056 83881 33554432000 4194304 4196468 140727670467456 140170014688672 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10849044 memory=7307746148318470744 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187268 11109421056 83881 33554432000 4194304 4196468 140727670467456 140169881577088 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10849044 memory=7649399392838234419 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11109421056 83881 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10849044 memory=7649399397133201715 CPUtime=2.6 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) R 31579 31582 26463 0 -1 4202560 10704 12998 0 0 252 1 4 3 20 0 15 0 416187270 11109421056 83881 33554432000 4194304 4196468 140727670467456 140169981110496 140170991867018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10849044 memory=279812690881728 CPUtime=2.49 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) R 31579 31582 26463 0 -1 4202560 5731 12998 0 0 240 2 4 3 20 0 15 0 416187270 11109421056 83881 33554432000 4194304 4196468 140727670467456 140169980057056 140170991789114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10849044 memory=1369 CPUtime=1.78 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) R 31579 31582 26463 0 -1 1077944384 7392 12998 0 0 168 3 4 3 20 0 15 0 416187270 11109421056 83881 33554432000 4194304 4196468 140727670467456 140169979025776 140171012610690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10849044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11109421056 83881 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10849044 memory=4785954428957106207 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 416187271 11109421056 83881 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 11.2 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 335524 KiB
[startup+4.50072 s]
/proc/loadavg: 1.91 1.54 1.45 6/225 31648
/proc/meminfo: memFree=29447864/32770624 swapFree=66932064/67108860
[pid=31582] ppid=31579 vsize=10849044 memory=335708 CPUtime=11.51 cores=0,2,4,6
/proc/31582/stat : 31582 (java) S 31579 31582 26463 0 -1 1077944320 55690 12998 0 0 1121 23 4 3 20 0 15 0 416187256 11109421056 83927 33554432000 4194304 4196468 140727670467456 140727670450000 140171012599543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
/proc/31582/statm: 2712261 83927 3617 1 0 2674317 0
[pid=31582/tid=31635] ppid=31579 vsize=10849044 memory=242012 CPUtime=4.36 cores=0,2,4,6
/proc/31582/task/31635/stat : 31635 (java) R 31579 31582 26463 0 -1 4202560 25712 12998 0 0 418 11 4 3 20 0 15 0 416187265 11109421056 83927 33554432000 4194304 4196468 140727670467456 140170984432560 140170992566534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31636] ppid=31579 vsize=10849044 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31636/stat : 31636 (java) S 31579 31582 26463 0 -1 1077944384 98 12998 0 0 3 0 4 3 20 0 15 0 416187265 11109421056 83927 33554432000 4194304 4196468 140727670467456 140171016841616 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31637] ppid=31579 vsize=10849044 memory=7 CPUtime=0.11 cores=0,2,4,6
/proc/31582/task/31637/stat : 31637 (java) S 31579 31582 26463 0 -1 1077944384 289 12998 0 0 4 0 4 3 20 0 15 0 416187265 11109421056 83927 33554432000 4194304 4196468 140727670467456 140170905114896 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31638] ppid=31579 vsize=10849044 memory=7 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31638/stat : 31638 (java) S 31579 31582 26463 0 -1 1077944384 48 12998 0 0 3 0 4 3 20 0 15 0 416187265 11109421056 83927 33554432000 4194304 4196468 140727670467456 140170904062608 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31639] ppid=31579 vsize=10849044 memory=3 CPUtime=0.09 cores=0,2,4,6
/proc/31582/task/31639/stat : 31639 (java) S 31579 31582 26463 0 -1 1077944384 332 12998 0 0 2 0 4 3 20 0 15 0 416187265 11109421056 83927 33554432000 4194304 4196468 140727670467456 140170903009808 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31640] ppid=31579 vsize=10849044 memory=3 CPUtime=0.1 cores=0,2,4,6
/proc/31582/task/31640/stat : 31640 (java) S 31579 31582 26463 0 -1 1077944384 3042 12998 0 0 3 0 4 3 20 0 15 0 416187267 11109421056 83927 33554432000 4194304 4196468 140727670467456 140170015742576 140171012610690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31641] ppid=31579 vsize=10849044 memory=2 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31641/stat : 31641 (java) S 31579 31582 26463 0 -1 1077944384 39 12998 0 0 0 0 4 3 20 0 15 0 416187267 11109421056 83927 33554432000 4194304 4196468 140727670467456 140170014688672 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31642] ppid=31579 vsize=10849044 memory=3 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31642/stat : 31642 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187268 11109421056 83927 33554432000 4194304 4196468 140727670467456 140169881577088 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31643] ppid=31579 vsize=10849044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31643/stat : 31643 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11109421056 83927 33554432000 4194304 4196468 140727670467456 140169574177360 140171012618139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31644] ppid=31579 vsize=10849044 memory=6791534058613427641 CPUtime=2.7 cores=0,2,4,6
/proc/31582/task/31644/stat : 31644 (java) R 31579 31582 26463 0 -1 4202560 10729 12998 0 0 262 1 4 3 20 0 15 0 416187270 11109421056 83927 33554432000 4194304 4196468 140727670467456 140169981117648 140170993921919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31645] ppid=31579 vsize=10849044 memory=1060 CPUtime=2.59 cores=0,2,4,6
/proc/31582/task/31645/stat : 31645 (java) R 31579 31582 26463 0 -1 4202560 5756 12998 0 0 250 2 4 3 20 0 15 0 416187270 11109421056 83927 33554432000 4194304 4196468 140727670467456 140169980071296 140170996131000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31646] ppid=31579 vsize=10849044 memory=1676 CPUtime=1.8 cores=0,2,4,6
/proc/31582/task/31646/stat : 31646 (java) S 31579 31582 26463 0 -1 1077944384 7417 12998 0 0 170 3 4 3 20 0 15 0 416187270 11109421056 83927 33554432000 4194304 4196468 140727670467456 140169979025776 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31647] ppid=31579 vsize=10849044 memory=1096 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31647/stat : 31647 (java) S 31579 31582 26463 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 416187270 11109421056 83927 33554432000 4194304 4196468 140727670467456 140169540618720 140171012609749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
[pid=31582/tid=31648] ppid=31579 vsize=10849044 memory=1176 CPUtime=0.07 cores=0,2,4,6
/proc/31582/task/31648/stat : 31648 (java) S 31579 31582 26463 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 416187271 11109421056 83927 33554432000 4194304 4196468 140727670467456 140169977973680 140171012610690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35573760 140727670471407 140727670473925 140727670473925 140727670476751 0
Current children cumulated CPU time: 11.51 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 335708 KiB
Child status: 0
Real time (s): 4.54867
CPU time (s): 11.6328
CPU user time (s): 11.3524
CPU system time (s): 0.280461
CPU usage (%): 255.741
Max. virtual memory (cumulated for all children) (KiB): 10851864
Max. memory (cumulated for all children) (KiB): 335708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3524
system time used= 0.280461
maximum resident set size= 338108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6279
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 31582
# total CPU time (s): 11.6328
# total CPU user time (s): 11.3524
# total CPU system time (s): 0.280461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053269 second user time and 0.081852 second system time
The end