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 (10042 MiB free)
memory of node 1: 16384 MiB (11394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294743-1532478711/watcher-4294743-1532478711 -o /tmp/evaluation-result-4294743-1532478711/solver-4294743-1532478711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1400006368 -superng HOME/instance-4294743-1532478711.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=31671, runsolver pid=31668
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.14 1.31 1.37 3/207 31728
/proc/meminfo: memFree=21944960/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=9972712 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 4368 13141 0 0 1 1 5 2 20 0 6 0 65434231 10212057088 4202 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2493178 4202 1934 1 0 2481616 0
[pid=31671/tid=31724] ppid=31668 vsize=9972712 memory=4279135704047060365 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) R 31668 31671 24765 0 -1 4202560 2179 13141 0 0 0 0 5 2 20 0 6 0 65434240 10212057088 4202 33554432000 4194304 4196468 140731376931344 139814192321104 139814204564830 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 6 0 65434240 10212057088 4202 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=9972712 memory=140490349127296 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 6 0 65434240 10212057088 4202 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 6 0 65434240 10212057088 4202 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 6 0 65434240 10212057088 4202 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210081 s]*
/proc/loadavg: 1.14 1.31 1.37 3/216 31737
/proc/meminfo: memFree=21919936/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=10818936 memory=46868 CPUtime=0.25 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 8594 13141 0 0 17 1 5 2 20 0 15 0 65434231 11078590464 11717 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2704734 11717 2933 1 0 2667157 0
[pid=31671/tid=31724] ppid=31668 vsize=10818936 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) R 31668 31671 24765 0 -1 4202560 5384 13141 0 0 11 1 5 2 20 0 15 0 65434240 11078590464 11848 33554432000 4194304 4196468 140731376931344 139814192309152 139814213164061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=10818936 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434240 11078590464 11848 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=10818936 memory=140490349127296 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434240 11078590464 11848 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434240 11078590464 11914 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434240 11078590464 11914 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31729] ppid=31668 vsize=10818936 memory=140490349127296 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31729/stat : 31729 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434242 11078590464 11914 33554432000 4194304 4196468 140731376931344 139813747165680 139814220495490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31730] ppid=31668 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31730/stat : 31730 (java) S 31668 31671 24765 0 -1 1077944384 13 13141 0 0 0 0 5 2 20 0 15 0 65434242 11078590464 11980 33554432000 4194304 4196468 140731376931344 139813667726752 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31731] ppid=31668 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31731/stat : 31731 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434242 11078590464 11980 33554432000 4194304 4196468 140731376931344 139813533509104 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31732] ppid=31668 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31732/stat : 31732 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434245 11078590464 11980 33554432000 4194304 4196468 140731376931344 139812929530576 139814220502939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31733] ppid=31668 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31671/task/31733/stat : 31733 (java) S 31668 31671 24765 0 -1 1077944384 517 13141 0 0 1 0 5 2 20 0 15 0 65434245 11078590464 12046 33554432000 4194304 4196468 140731376931344 139813746112496 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31734] ppid=31668 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31734/stat : 31734 (java) S 31668 31671 24765 0 -1 1077944384 54 13141 0 0 0 0 5 2 20 0 15 0 65434245 11078590464 12046 33554432000 4194304 4196468 140731376931344 139813745059952 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31735] ppid=31668 vsize=10818936 memory=140490349127296 CPUtime=0.1 cores=0,2,4,6
/proc/31671/task/31735/stat : 31735 (java) S 31668 31671 24765 0 -1 1077944384 564 13141 0 0 3 0 5 2 20 0 15 0 65434245 11078590464 12046 33554432000 4194304 4196468 140731376931344 139813744007408 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31736] ppid=31668 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31736/stat : 31736 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 15 0 65434245 11078590464 12112 33554432000 4194304 4196468 140731376931344 139812459768416 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31737] ppid=31668 vsize=10818936 memory=140490349127296 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31737/stat : 31737 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434246 11078590464 12112 33554432000 4194304 4196468 140731376931344 139813742955312 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 46868 KiB
[startup+0.310374 s]*
/proc/loadavg: 1.14 1.31 1.37 3/216 31737
/proc/meminfo: memFree=21906540/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=10819352 memory=57328 CPUtime=0.38 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 10446 13141 0 0 29 2 5 2 20 0 15 0 65434231 11079016448 14332 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2704838 14332 3052 1 0 2667149 0
[pid=31671/tid=31724] ppid=31668 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) R 31668 31671 24765 0 -1 4202560 7088 13141 0 0 19 1 5 2 20 0 15 0 65434240 11079016448 14332 33554432000 4194304 4196468 140731376931344 139814192296352 139814212721470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=10819352 memory=7373043845850746960 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 14332 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 14332 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31729] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31729/stat : 31729 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434242 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813747165680 139814220495490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31730] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31730/stat : 31730 (java) S 31668 31671 24765 0 -1 1077944384 13 13141 0 0 0 0 5 2 20 0 15 0 65434242 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813667726752 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31731] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31731/stat : 31731 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434242 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813533509104 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31732] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31732/stat : 31732 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434245 11079016448 14332 33554432000 4194304 4196468 140731376931344 139812929530576 139814220502939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31733] ppid=31668 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31733/stat : 31733 (java) S 31668 31671 24765 0 -1 1077944384 518 13141 0 0 2 0 5 2 20 0 15 0 65434245 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813746112496 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31734] ppid=31668 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31671/task/31734/stat : 31734 (java) S 31668 31671 24765 0 -1 1077944384 54 13141 0 0 1 0 5 2 20 0 15 0 65434245 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813745059952 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31735] ppid=31668 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31671/task/31735/stat : 31735 (java) R 31668 31671 24765 0 -1 4202560 571 13141 0 0 5 0 5 2 20 0 15 0 65434245 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813744007408 139814200455528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31736] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31736/stat : 31736 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 15 0 65434245 11079016448 14332 33554432000 4194304 4196468 140731376931344 139812459768416 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31737] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31737/stat : 31737 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434246 11079016448 14332 33554432000 4194304 4196468 140731376931344 139813742955312 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57328 KiB
[startup+0.700801 s]
/proc/loadavg: 1.14 1.31 1.37 4/216 31737
/proc/meminfo: memFree=21897284/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=10819352 memory=90804 CPUtime=0.98 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 16754 13141 0 0 87 4 5 2 20 0 15 0 65434231 11079016448 22701 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2704838 22701 3241 1 0 2667149 0
[pid=31671/tid=31724] ppid=31668 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) R 31668 31671 24765 0 -1 4202560 12285 13141 0 0 55 3 5 2 20 0 15 0 65434240 11079016448 22701 33554432000 4194304 4196468 140731376931344 139814192305168 139814202047899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 22701 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=10819352 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 22701 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434240 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31729] ppid=31668 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31729/stat : 31729 (java) S 31668 31671 24765 0 -1 1077944384 5 13141 0 0 0 0 5 2 20 0 15 0 65434242 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813747165680 139814220495490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31730] ppid=31668 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31730/stat : 31730 (java) S 31668 31671 24765 0 -1 1077944384 13 13141 0 0 0 0 5 2 20 0 15 0 65434242 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813667726752 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31731] ppid=31668 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31731/stat : 31731 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434242 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813533509104 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31732] ppid=31668 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31732/stat : 31732 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434245 11079016448 22701 33554432000 4194304 4196468 140731376931344 139812929530576 139814220502939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31733] ppid=31668 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/31671/task/31733/stat : 31733 (java) S 31668 31671 24765 0 -1 1077944384 1125 13141 0 0 10 0 5 2 20 0 15 0 65434245 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813746112496 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31734] ppid=31668 vsize=10819352 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/31671/task/31734/stat : 31734 (java) S 31668 31671 24765 0 -1 1077944384 460 13141 0 0 7 0 5 2 20 0 15 0 65434245 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813745059952 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31735] ppid=31668 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/31671/task/31735/stat : 31735 (java) S 31668 31671 24765 0 -1 1077944384 665 13141 0 0 13 0 5 2 20 0 15 0 65434245 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813744007408 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31736] ppid=31668 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31736/stat : 31736 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 15 0 65434245 11079016448 22701 33554432000 4194304 4196468 140731376931344 139812459768416 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31737] ppid=31668 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31737/stat : 31737 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434246 11079016448 22701 33554432000 4194304 4196468 140731376931344 139813742955312 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90804 KiB
[startup+1.5008 s]
/proc/loadavg: 1.14 1.31 1.37 5/216 31737
/proc/meminfo: memFree=21851572/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=10834252 memory=181700 CPUtime=2.24 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 24078 13141 0 0 207 10 5 2 20 0 15 0 65434231 11094274048 45425 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2708563 45425 3468 1 0 2670221 0
[pid=31671/tid=31724] ppid=31668 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) R 31668 31671 24765 0 -1 4202560 17998 13141 0 0 129 6 5 2 20 0 15 0 65434240 11094274048 45425 33554432000 4194304 4196468 140731376931344 139814192315232 139814204564830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 252 13141 0 0 1 0 5 2 20 0 15 0 65434240 11094274048 45425 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 61 13141 0 0 0 0 5 2 20 0 15 0 65434240 11094274048 45425 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 34 13141 0 0 1 0 5 2 20 0 15 0 65434240 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 31 13141 0 0 0 0 5 2 20 0 15 0 65434240 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31729] ppid=31668 vsize=10834252 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/31671/task/31729/stat : 31729 (java) S 31668 31671 24765 0 -1 1077944384 56 13141 0 0 1 0 5 2 20 0 15 0 65434242 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813747165680 139814220495490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31730] ppid=31668 vsize=10834252 memory=280980384459008 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31730/stat : 31730 (java) S 31668 31671 24765 0 -1 1077944384 14 13141 0 0 0 0 5 2 20 0 15 0 65434242 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813667726816 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31731] ppid=31668 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31731/stat : 31731 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434242 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813533509120 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31732] ppid=31668 vsize=10834252 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31732/stat : 31732 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434245 11094274048 45425 33554432000 4194304 4196468 140731376931344 139812929530576 139814220502939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31733] ppid=31668 vsize=10834252 memory=1704 CPUtime=0.31 cores=0,2,4,6
/proc/31671/task/31733/stat : 31733 (java) S 31668 31671 24765 0 -1 1077944384 1577 13141 0 0 24 0 5 2 20 0 15 0 65434245 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813746112496 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31734] ppid=31668 vsize=10834252 memory=9924 CPUtime=0.24 cores=0,2,4,6
/proc/31671/task/31734/stat : 31734 (java) S 31668 31671 24765 0 -1 1077944384 694 13141 0 0 17 0 5 2 20 0 15 0 65434245 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813745059952 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31735] ppid=31668 vsize=10834252 memory=5788 CPUtime=0.37 cores=0,2,4,6
/proc/31671/task/31735/stat : 31735 (java) S 31668 31671 24765 0 -1 1077944384 1169 13141 0 0 30 0 5 2 20 0 15 0 65434245 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813744007408 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31736] ppid=31668 vsize=10834252 memory=1936 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31736/stat : 31736 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 15 0 65434245 11094274048 45425 33554432000 4194304 4196468 140731376931344 139812459768416 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31737] ppid=31668 vsize=10834252 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31737/stat : 31737 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434246 11094274048 45425 33554432000 4194304 4196468 140731376931344 139813742955312 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 181700 KiB
[startup+3.11058 s]
/proc/loadavg: 1.14 1.31 1.37 5/216 31737
/proc/meminfo: memFree=21693788/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=10912096 memory=302272 CPUtime=5.53 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 63221 13141 0 0 527 19 5 2 20 0 15 0 65434231 11173986304 75568 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2728024 75568 3503 1 0 2689677 0
[pid=31671/tid=31724] ppid=31668 vsize=10912096 memory=280980384877888 CPUtime=2.97 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) R 31668 31671 24765 0 -1 4202560 45958 13141 0 0 280 10 5 2 20 0 15 0 65434240 11173986304 75568 33554432000 4194304 4196468 140731376931344 139814192298072 139813818805384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=10912096 memory=388 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 291 13141 0 0 2 0 5 2 20 0 15 0 65434240 11173986304 75568 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=10912096 memory=6943526294502006880 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 134 13141 0 0 2 0 5 2 20 0 15 0 65434240 11173986304 75568 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=10912096 memory=56 CPUtime=0.1 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 67 13141 0 0 3 0 5 2 20 0 15 0 65434240 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=10912096 memory=7886128541349720114 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 89 13141 0 0 2 0 5 2 20 0 15 0 65434240 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31729] ppid=31668 vsize=10912096 memory=8389687274701468466 CPUtime=0.1 cores=0,2,4,6
/proc/31671/task/31729/stat : 31729 (java) S 31668 31671 24765 0 -1 1077944384 3039 13141 0 0 3 0 5 2 20 0 15 0 65434242 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813747165680 139814220495490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31730] ppid=31668 vsize=10912096 memory=7093354022047314630 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31730/stat : 31730 (java) S 31668 31671 24765 0 -1 1077944384 14 13141 0 0 0 0 5 2 20 0 15 0 65434242 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813667726816 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31731] ppid=31668 vsize=10912096 memory=280980384712192 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31731/stat : 31731 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434242 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813533509120 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31732] ppid=31668 vsize=10912096 memory=7813300499672229721 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31732/stat : 31732 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434245 11173986304 75568 33554432000 4194304 4196468 140731376931344 139812929530576 139814220502939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31733] ppid=31668 vsize=10912096 memory=6440235876196045923 CPUtime=0.77 cores=0,2,4,6
/proc/31671/task/31733/stat : 31733 (java) R 31668 31671 24765 0 -1 4202560 3213 13141 0 0 69 1 5 2 20 0 15 0 65434245 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813746093512 139814203970285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31734] ppid=31668 vsize=10912096 memory=6153985703205688929 CPUtime=0.81 cores=0,2,4,6
/proc/31671/task/31734/stat : 31734 (java) R 31668 31671 24765 0 -1 4202560 3941 13141 0 0 73 1 5 2 20 0 15 0 65434245 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813745040968 139814203981131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31735] ppid=31668 vsize=10912096 memory=288230574492221466 CPUtime=0.95 cores=0,2,4,6
/proc/31671/task/31735/stat : 31735 (java) R 31668 31671 24765 0 -1 1077944384 4273 13141 0 0 87 1 5 2 20 0 15 0 65434245 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813744007408 139814220495490 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31736] ppid=31668 vsize=10912096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31736/stat : 31736 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 15 0 65434245 11173986304 75568 33554432000 4194304 4196468 140731376931344 139812459768416 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31737] ppid=31668 vsize=10912096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31737/stat : 31737 (java) S 31668 31671 24765 0 -1 1077944384 8 13141 0 0 0 0 5 2 20 0 15 0 65434246 11173986304 75568 33554432000 4194304 4196468 140731376931344 139813742955312 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 302272 KiB
[startup+3.40884 s]
# the end of solver process 31671 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.00122 s, system=0.244243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 1.14 1.31 1.37 5/216 31737
/proc/meminfo: memFree=21693788/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=10912096 memory=305060 CPUtime=5.85 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 63952 13141 0 0 558 20 5 2 20 0 15 0 65434231 11173986304 76199 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2728024 76199 3503 1 0 2689677 0
[pid=31671/tid=31724] ppid=31668 vsize=10912096 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) R 31668 31671 24765 0 -1 4202560 46195 13141 0 0 289 10 5 2 20 0 15 0 65434240 11173986304 76265 33554432000 4194304 4196468 140731376931344 139814192313904 139814220496278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=10912096 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 291 13141 0 0 2 0 5 2 20 0 15 0 65434240 11173986304 76265 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=10912096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 134 13141 0 0 2 0 5 2 20 0 15 0 65434240 11173986304 76265 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 67 13141 0 0 3 0 5 2 20 0 15 0 65434240 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=10912096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 89 13141 0 0 2 0 5 2 20 0 15 0 65434240 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31729] ppid=31668 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/31671/task/31729/stat : 31729 (java) S 31668 31671 24765 0 -1 1077944384 3039 13141 0 0 3 0 5 2 20 0 15 0 65434242 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813747165680 139814220495490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31730] ppid=31668 vsize=10912096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31730/stat : 31730 (java) S 31668 31671 24765 0 -1 1077944384 14 13141 0 0 0 0 5 2 20 0 15 0 65434242 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813667726816 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31731] ppid=31668 vsize=10912096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31731/stat : 31731 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 15 0 65434242 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813533509120 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31732] ppid=31668 vsize=10912096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31732/stat : 31732 (java) S 31668 31671 24765 0 -1 1077944384 2 13141 0 0 0 0 5 2 20 0 15 0 65434245 11173986304 76265 33554432000 4194304 4196468 140731376931344 139812929530576 139814220502939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31733] ppid=31668 vsize=10912096 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/31671/task/31733/stat : 31733 (java) R 31668 31671 24765 0 -1 4202560 3430 13141 0 0 78 1 5 2 20 0 15 0 65434245 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813746093512 139814212773792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31734] ppid=31668 vsize=10912096 memory=1424 CPUtime=0.91 cores=0,2,4,6
/proc/31671/task/31734/stat : 31734 (java) R 31668 31671 24765 0 -1 4202560 4124 13141 0 0 82 2 5 2 20 0 15 0 65434245 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813745040968 139814201670150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31735] ppid=31668 vsize=10912096 memory=15868 CPUtime=0.99 cores=0,2,4,6
/proc/31671/task/31735/stat : 31735 (java) R 31668 31671 24765 0 -1 1077944384 4402 13141 0 0 91 1 5 2 20 0 15 0 65434245 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813744007408 139814220495490 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31736] ppid=31668 vsize=10912096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31736/stat : 31736 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 15 0 65434245 11173986304 76265 33554432000 4194304 4196468 140731376931344 139812459768416 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31737] ppid=31668 vsize=10912096 memory=6788 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31737/stat : 31737 (java) S 31668 31671 24765 0 -1 1077944384 8 13141 0 0 0 0 5 2 20 0 15 0 65434246 11173986304 76265 33554432000 4194304 4196468 140731376931344 139813742955312 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 305060 KiB
[startup+3.30072 s]
/proc/loadavg: 1.14 1.31 1.37 5/216 31737
/proc/meminfo: memFree=21693788/32770624 swapFree=67108860/67108860
[pid=31671] ppid=31668 vsize=11012452 memory=307300 CPUtime=6.13 cores=0,2,4,6
/proc/31671/stat : 31671 (java) S 31668 31671 24765 0 -1 1077944320 64502 13141 0 0 586 20 5 2 20 0 14 0 65434231 11276750848 76825 33554432000 4194304 4196468 140731376931344 140731376913888 139814220484343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
/proc/31671/statm: 2753113 76825 3505 1 0 2714766 0
[pid=31671/tid=31724] ppid=31668 vsize=11012452 memory=288230574492221466 CPUtime=3.13 cores=0,2,4,6
/proc/31671/task/31724/stat : 31724 (java) S 31668 31671 24765 0 -1 1077944384 46239 13141 0 0 296 10 5 2 20 0 14 0 65434240 11276750848 76825 33554432000 4194304 4196468 140731376931344 139814192327824 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31725] ppid=31668 vsize=11012452 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31725/stat : 31725 (java) S 31668 31671 24765 0 -1 1077944384 291 13141 0 0 2 0 5 2 20 0 14 0 65434240 11276750848 76825 33554432000 4194304 4196468 140731376931344 139814224726288 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31726] ppid=31668 vsize=11012452 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31726/stat : 31726 (java) S 31668 31671 24765 0 -1 1077944384 134 13141 0 0 2 0 5 2 20 0 14 0 65434240 11276750848 76825 33554432000 4194304 4196468 140731376931344 139814139546000 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31727] ppid=31668 vsize=11012452 memory=280980384724704 CPUtime=0.1 cores=0,2,4,6
/proc/31671/task/31727/stat : 31727 (java) S 31668 31671 24765 0 -1 1077944384 67 13141 0 0 3 0 5 2 20 0 14 0 65434240 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813792176656 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31728] ppid=31668 vsize=11012452 memory=7446534211251286851 CPUtime=0.09 cores=0,2,4,6
/proc/31671/task/31728/stat : 31728 (java) S 31668 31671 24765 0 -1 1077944384 89 13141 0 0 2 0 5 2 20 0 14 0 65434240 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813791124112 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31729] ppid=31668 vsize=11012452 memory=7446534211251286851 CPUtime=0.1 cores=0,2,4,6
/proc/31671/task/31729/stat : 31729 (java) S 31668 31671 24765 0 -1 1077944384 3039 13141 0 0 3 0 5 2 20 0 14 0 65434242 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813747165888 139814220495490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31730] ppid=31668 vsize=11012452 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31730/stat : 31730 (java) S 31668 31671 24765 0 -1 1077944384 14 13141 0 0 0 0 5 2 20 0 14 0 65434242 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813667726816 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31731] ppid=31668 vsize=11012452 memory=7886128541349720114 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31731/stat : 31731 (java) S 31668 31671 24765 0 -1 1077944384 1 13141 0 0 0 0 5 2 20 0 14 0 65434242 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813533509120 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31732] ppid=31668 vsize=11012452 memory=8389687274701468466 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31732/stat : 31732 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 14 0 65434245 11276750848 76825 33554432000 4194304 4196468 140731376931344 139812929529632 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31733] ppid=31668 vsize=11012452 memory=7093354022047314630 CPUtime=0.92 cores=0,2,4,6
/proc/31671/task/31733/stat : 31733 (java) S 31668 31671 24765 0 -1 1077944384 3541 13141 0 0 84 1 5 2 20 0 14 0 65434245 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813746097568 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31734] ppid=31668 vsize=11012452 memory=280980384712192 CPUtime=1.01 cores=0,2,4,6
/proc/31671/task/31734/stat : 31734 (java) R 31668 31671 24765 0 -1 4202560 4322 13141 0 0 92 2 5 2 20 0 14 0 65434245 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813745046112 139814205591927 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31735] ppid=31668 vsize=11012452 memory=7813300499672229721 CPUtime=1.05 cores=0,2,4,6
/proc/31671/task/31735/stat : 31735 (java) S 31668 31671 24765 0 -1 1077944384 4554 13141 0 0 96 2 5 2 20 0 14 0 65434245 11276750848 76825 33554432000 4194304 4196468 140731376931344 139813744007408 139814220495490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
[pid=31671/tid=31736] ppid=31668 vsize=11012452 memory=6440235876196045923 CPUtime=0.07 cores=0,2,4,6
/proc/31671/task/31736/stat : 31736 (java) S 31668 31671 24765 0 -1 1077944384 3 13141 0 0 0 0 5 2 20 0 14 0 65434245 11276750848 76825 33554432000 4194304 4196468 140731376931344 139812459768416 139814220494549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38662144 140731376933035 140731376936284 140731376936284 140731376938959 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 11012452 KiB
Current children cumulated memory: 307300 KiB
Child status: 0
Real time (s): 3.4089
CPU time (s): 6.24546
CPU user time (s): 6.00122
CPU system time (s): 0.244243
CPU usage (%): 183.211
Max. virtual memory (cumulated for all children) (KiB): 11012452
Max. memory (cumulated for all children) (KiB): 307300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.00122
system time used= 0.244243
maximum resident set size= 310700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5359
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 31671
# total CPU time (s): 6.24546
# total CPU user time (s): 6.00122
# total CPU system time (s): 0.244243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051967 second user time and 0.067063 second system time
The end