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 (10899 MiB free)
memory of node 1: 16384 MiB (13016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302348-1532897172/watcher-4302348-1532897172 -o /tmp/evaluation-result-4302348-1532897172/solver-4302348-1532897172 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13368 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2120431334 HOME/instance-4302348-1532897172.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15699, runsolver pid=15696
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 1.40 1.63 1.62 3/206 15756
/proc/meminfo: memFree=24480804/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=10005480 memory=17080 CPUtime=0.09 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 4423 12933 0 0 1 1 5 2 20 0 6 0 107280064 10245611520 4270 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2501370 4270 1935 1 0 2489808 0
[pid=15699/tid=15752] ppid=15696 vsize=10005480 memory=4279135703913364878 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 2266 12933 0 0 0 0 5 2 20 0 6 0 107280072 10245611520 4336 33554432000 4194304 4196468 140723668013504 140437802443344 140437822843710 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 6 0 107280073 10245611520 4336 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=10005480 memory=139636086277760 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 6 0 107280073 10245611520 4336 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 6 0 107280073 10245611520 4336 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 6 0 107280073 10245611520 4336 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209912 s]*
/proc/loadavg: 1.40 1.63 1.62 3/215 15765
/proc/meminfo: memFree=24458776/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=10982744 memory=45776 CPUtime=0.25 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 8179 12933 0 0 17 1 5 2 20 0 15 0 107280064 11246329856 11444 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2745686 11444 2946 1 0 2708109 0
[pid=15699/tid=15752] ppid=15696 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 5026 12933 0 0 10 1 5 2 20 0 15 0 107280072 11249012736 11774 33554432000 4194304 4196468 140723668013504 140437802431392 140437823286301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=10985364 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280073 11249012736 11774 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=10985364 memory=139636086917628 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280073 11249012736 11774 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280073 11249012736 11774 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280073 11249012736 11840 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15757] ppid=15696 vsize=10985364 memory=139636086277760 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15757/stat : 15757 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280075 11249012736 11840 33554432000 4194304 4196468 140723668013504 140437323646960 140437830617730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15758] ppid=15696 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) S 15696 15699 6529 0 -1 1077944384 13 12933 0 0 0 0 5 2 20 0 15 0 107280075 11249012736 11840 33554432000 4194304 4196468 140723668013504 140436505093024 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15759] ppid=15696 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280075 11249012736 11840 33554432000 4194304 4196468 140723668013504 140436303766512 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15760] ppid=15696 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11249012736 11840 33554432000 4194304 4196468 140723668013504 140435996367056 140437830625179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15761] ppid=15696 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15761/stat : 15761 (java) S 15696 15699 6529 0 -1 1077944384 355 12933 0 0 1 0 5 2 20 0 15 0 107280078 11249012736 11906 33554432000 4194304 4196468 140723668013504 140437322594800 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15762] ppid=15696 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15762/stat : 15762 (java) S 15696 15699 6529 0 -1 1077944384 248 12933 0 0 0 0 5 2 20 0 15 0 107280078 11249012736 11906 33554432000 4194304 4196468 140723668013504 140437321542256 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15763] ppid=15696 vsize=10985364 memory=139636086277760 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15763/stat : 15763 (java) S 15696 15699 6529 0 -1 1077944384 622 12933 0 0 3 0 5 2 20 0 15 0 107280078 11249012736 11906 33554432000 4194304 4196468 140723668013504 140437320489712 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15764] ppid=15696 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15764/stat : 15764 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11249012736 11906 33554432000 4194304 4196468 140723668013504 140435565571168 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15765] ppid=15696 vsize=10985364 memory=139636086277760 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15765/stat : 15765 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280078 11249012736 11972 33554432000 4194304 4196468 140723668013504 140437319436592 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45776 KiB
[startup+0.310276 s]*
/proc/loadavg: 1.40 1.63 1.62 3/215 15765
/proc/meminfo: memFree=24446620/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=10983192 memory=56452 CPUtime=0.38 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 10682 12933 0 0 28 3 5 2 20 0 15 0 107280064 11246788608 14113 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2745798 14113 3065 1 0 2708109 0
[pid=15699/tid=15752] ppid=15696 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 7234 12933 0 0 19 2 5 2 20 0 15 0 107280072 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437802418592 140437830628509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15757] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15757/stat : 15757 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280075 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437323646960 140437830617730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15758] ppid=15696 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) S 15696 15699 6529 0 -1 1077944384 13 12933 0 0 0 0 5 2 20 0 15 0 107280075 11246788608 14113 33554432000 4194304 4196468 140723668013504 140436505093024 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15759] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280075 11246788608 14113 33554432000 4194304 4196468 140723668013504 140436303766512 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15760] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11246788608 14113 33554432000 4194304 4196468 140723668013504 140435996367056 140437830625179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15761] ppid=15696 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15761/stat : 15761 (java) S 15696 15699 6529 0 -1 1077944384 356 12933 0 0 1 0 5 2 20 0 15 0 107280078 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437322594800 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15762] ppid=15696 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15762/stat : 15762 (java) S 15696 15699 6529 0 -1 1077944384 251 12933 0 0 1 0 5 2 20 0 15 0 107280078 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437321542256 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15763] ppid=15696 vsize=10983192 memory=139636086277760 CPUtime=0.12 cores=0,2,4,6
/proc/15699/task/15763/stat : 15763 (java) R 15696 15699 6529 0 -1 4202560 628 12933 0 0 5 0 5 2 20 0 15 0 107280078 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437320489712 140437830627930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15764] ppid=15696 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15764/stat : 15764 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11246788608 14113 33554432000 4194304 4196468 140723668013504 140435565571168 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15765] ppid=15696 vsize=10983192 memory=139636086277760 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15765/stat : 15765 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280078 11246788608 14113 33554432000 4194304 4196468 140723668013504 140437319436592 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56452 KiB
[startup+0.700768 s]
/proc/loadavg: 1.40 1.63 1.62 3/215 15765
/proc/meminfo: memFree=24436016/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=10983192 memory=88736 CPUtime=0.98 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 16773 12933 0 0 87 4 5 2 20 0 15 0 107280064 11246788608 22184 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2745798 22184 3238 1 0 2708109 0
[pid=15699/tid=15752] ppid=15696 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 12276 12933 0 0 55 3 5 2 20 0 15 0 107280072 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437802427408 140437815772176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 107280073 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15757] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15757/stat : 15757 (java) S 15696 15699 6529 0 -1 1077944384 6 12933 0 0 0 0 5 2 20 0 15 0 107280075 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437323646960 140437830617730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15758] ppid=15696 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) S 15696 15699 6529 0 -1 1077944384 13 12933 0 0 0 0 5 2 20 0 15 0 107280075 11246788608 22184 33554432000 4194304 4196468 140723668013504 140436505093024 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15759] ppid=15696 vsize=10983192 memory=139635963605776 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280075 11246788608 22184 33554432000 4194304 4196468 140723668013504 140436303766512 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15760] ppid=15696 vsize=10983192 memory=139637976728145 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11246788608 22184 33554432000 4194304 4196468 140723668013504 140435996367056 140437830625179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15761] ppid=15696 vsize=10983192 memory=14076 CPUtime=0.15 cores=0,2,4,6
/proc/15699/task/15761/stat : 15761 (java) S 15696 15699 6529 0 -1 1077944384 777 12933 0 0 8 0 5 2 20 0 15 0 107280078 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437322594800 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15762] ppid=15696 vsize=10983192 memory=4639098309541127269 CPUtime=0.16 cores=0,2,4,6
/proc/15699/task/15762/stat : 15762 (java) S 15696 15699 6529 0 -1 1077944384 813 12933 0 0 9 0 5 2 20 0 15 0 107280078 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437321542256 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15763] ppid=15696 vsize=10983192 memory=7885635084775281009 CPUtime=0.2 cores=0,2,4,6
/proc/15699/task/15763/stat : 15763 (java) S 15696 15699 6529 0 -1 1077944384 681 12933 0 0 13 0 5 2 20 0 15 0 107280078 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437320489712 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15764] ppid=15696 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15764/stat : 15764 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11246788608 22184 33554432000 4194304 4196468 140723668013504 140435565571168 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15765] ppid=15696 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15765/stat : 15765 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280078 11246788608 22184 33554432000 4194304 4196468 140723668013504 140437319436592 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88736 KiB
[startup+1.50075 s]
/proc/loadavg: 1.40 1.63 1.62 3/215 15765
/proc/meminfo: memFree=24390556/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=11000140 memory=177840 CPUtime=2.23 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 24081 12933 0 0 206 10 5 2 20 0 15 0 107280064 11264143360 44460 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2750035 44460 3472 1 0 2711693 0
[pid=15699/tid=15752] ppid=15696 vsize=11000140 memory=12848 CPUtime=1.42 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 17966 12933 0 0 129 6 5 2 20 0 15 0 107280072 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437802436992 140437814687070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=11000140 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 28 12933 0 0 0 0 5 2 20 0 15 0 107280073 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=11000140 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 21 12933 0 0 1 0 5 2 20 0 15 0 107280073 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=11000140 memory=3160 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 73 12933 0 0 1 0 5 2 20 0 15 0 107280073 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=11000140 memory=88736 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 251 12933 0 0 1 0 5 2 20 0 15 0 107280073 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15757] ppid=15696 vsize=11000140 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15699/task/15757/stat : 15757 (java) S 15696 15699 6529 0 -1 1077944384 55 12933 0 0 1 0 5 2 20 0 15 0 107280075 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437323646960 140437830617730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15758] ppid=15696 vsize=11000140 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) S 15696 15699 6529 0 -1 1077944384 14 12933 0 0 0 0 5 2 20 0 15 0 107280075 11264143360 44460 33554432000 4194304 4196468 140723668013504 140436505093088 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15759] ppid=15696 vsize=11000140 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280075 11264143360 44460 33554432000 4194304 4196468 140723668013504 140436303766512 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15760] ppid=15696 vsize=11000140 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11264143360 44460 33554432000 4194304 4196468 140723668013504 140435996367056 140437830625179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15761] ppid=15696 vsize=11000140 memory=6935649255759568960 CPUtime=0.24 cores=0,2,4,6
/proc/15699/task/15761/stat : 15761 (java) S 15696 15699 6529 0 -1 1077944384 967 12933 0 0 17 0 5 2 20 0 15 0 107280078 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437322594800 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15762] ppid=15696 vsize=11000140 memory=279271927487360 CPUtime=0.29 cores=0,2,4,6
/proc/15699/task/15762/stat : 15762 (java) S 15696 15699 6529 0 -1 1077944384 1289 12933 0 0 22 0 5 2 20 0 15 0 107280078 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437321542256 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15763] ppid=15696 vsize=11000140 memory=6944656592452938395 CPUtime=0.37 cores=0,2,4,6
/proc/15699/task/15763/stat : 15763 (java) S 15696 15699 6529 0 -1 1077944384 1217 12933 0 0 30 0 5 2 20 0 15 0 107280078 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437320489712 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15764] ppid=15696 vsize=11000140 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15764/stat : 15764 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11264143360 44460 33554432000 4194304 4196468 140723668013504 140435565571168 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15765] ppid=15696 vsize=11000140 memory=4206468019014099040 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15765/stat : 15765 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280078 11264143360 44460 33554432000 4194304 4196468 140723668013504 140437319436592 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 11000140 KiB
Current children cumulated memory: 177840 KiB
[startup+3.11043 s]
/proc/loadavg: 1.40 1.63 1.62 4/198 15796
/proc/meminfo: memFree=25332876/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=11010400 memory=265556 CPUtime=5.92 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 39444 12933 0 0 569 16 5 2 20 0 15 0 107280064 11274649600 66389 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2752600 66389 3495 1 0 2714253 0
[pid=15699/tid=15752] ppid=15696 vsize=11010400 memory=6935649255759568960 CPUtime=2.98 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 28488 12933 0 0 282 9 5 2 20 0 15 0 107280072 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437802393080 140437815772238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=11010400 memory=194844 CPUtime=0.09 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 45 12933 0 0 2 0 5 2 20 0 15 0 107280073 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=11010400 memory=12848 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 39 12933 0 0 3 0 5 2 20 0 15 0 107280073 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=11010400 memory=279271926926928 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 100 12933 0 0 3 0 5 2 20 0 15 0 107280073 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=11010400 memory=69602226735594 CPUtime=0.09 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 256 12933 0 0 2 0 5 2 20 0 15 0 107280073 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15757] ppid=15696 vsize=11010400 memory=69602226735594 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15757/stat : 15757 (java) S 15696 15699 6529 0 -1 1077944384 286 12933 0 0 3 0 5 2 20 0 15 0 107280075 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437323646960 140437830617730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15758] ppid=15696 vsize=11010400 memory=69602226734058 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) S 15696 15699 6529 0 -1 1077944384 14 12933 0 0 0 0 5 2 20 0 15 0 107280075 11274649600 66389 33554432000 4194304 4196468 140723668013504 140436505093088 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15759] ppid=15696 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280075 11274649600 66389 33554432000 4194304 4196468 140723668013504 140436303766528 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15760] ppid=15696 vsize=11010400 memory=207047488469733 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11274649600 66389 33554432000 4194304 4196468 140723668013504 140435996367056 140437830625179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15761] ppid=15696 vsize=11010400 memory=207047488469734 CPUtime=1.05 cores=0,2,4,6
/proc/15699/task/15761/stat : 15761 (java) R 15696 15699 6529 0 -1 4202560 3270 12933 0 0 97 1 5 2 20 0 15 0 107280078 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437322575816 140437814105452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15762] ppid=15696 vsize=11010400 memory=207047488469735 CPUtime=0.83 cores=0,2,4,6
/proc/15699/task/15762/stat : 15762 (java) S 15696 15699 6529 0 -1 1077944384 1799 12933 0 0 75 1 5 2 20 0 15 0 107280078 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437321542256 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15763] ppid=15696 vsize=11010400 memory=207047488469736 CPUtime=1.05 cores=0,2,4,6
/proc/15699/task/15763/stat : 15763 (java) S 15696 15699 6529 0 -1 1077944384 2946 12933 0 0 97 1 5 2 20 0 15 0 107280078 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437320489712 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15764] ppid=15696 vsize=11010400 memory=203008 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15764/stat : 15764 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11274649600 66389 33554432000 4194304 4196468 140723668013504 140435565571168 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15765] ppid=15696 vsize=11010400 memory=279271927464000 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15765/stat : 15765 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280078 11274649600 66389 33554432000 4194304 4196468 140723668013504 140437319436592 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 265556 KiB
[startup+3.67599 s]
# the end of solver process 15699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.35712 s, system=0.240007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20164 s]
/proc/loadavg: 1.40 1.63 1.62 4/198 15796
/proc/meminfo: memFree=25332876/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=11075936 memory=290184 CPUtime=6.12 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 48403 12933 0 0 588 17 5 2 20 0 15 0 107280064 11341758464 72546 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2768984 72546 3500 1 0 2730637 0
[pid=15699/tid=15752] ppid=15696 vsize=11075936 memory=279271927008256 CPUtime=3.08 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 35755 12933 0 0 291 10 5 2 20 0 15 0 107280072 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437802441568 140437830618518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=11075936 memory=279271927008448 CPUtime=0.09 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 45 12933 0 0 2 0 5 2 20 0 15 0 107280073 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=11075936 memory=279271927008640 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 39 12933 0 0 3 0 5 2 20 0 15 0 107280073 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=11075936 memory=279271927008832 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 100 12933 0 0 3 0 5 2 20 0 15 0 107280073 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=11075936 memory=8027200600010211382 CPUtime=0.09 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 256 12933 0 0 2 0 5 2 20 0 15 0 107280073 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15757] ppid=15696 vsize=11075936 memory=7590372305301168484 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15757/stat : 15757 (java) S 15696 15699 6529 0 -1 1077944384 286 12933 0 0 3 0 5 2 20 0 15 0 107280075 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437323646960 140437830617730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15758] ppid=15696 vsize=11075936 memory=7308895142485716329 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) S 15696 15699 6529 0 -1 1077944384 14 12933 0 0 0 0 5 2 20 0 15 0 107280075 11341758464 72546 33554432000 4194304 4196468 140723668013504 140436505093088 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15759] ppid=15696 vsize=11075936 memory=279271927118160 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280075 11341758464 72546 33554432000 4194304 4196468 140723668013504 140436303766528 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15760] ppid=15696 vsize=11075936 memory=5792851091883123543 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11341758464 72546 33554432000 4194304 4196468 140723668013504 140435996367056 140437830625179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15761] ppid=15696 vsize=11075936 memory=5793414041836544855 CPUtime=1.14 cores=0,2,4,6
/proc/15699/task/15761/stat : 15761 (java) R 15696 15699 6529 0 -1 4202560 4605 12933 0 0 106 1 5 2 20 0 15 0 107280078 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437322580984 140437814512735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15762] ppid=15696 vsize=11075936 memory=7374468813391353696 CPUtime=0.84 cores=0,2,4,6
/proc/15699/task/15762/stat : 15762 (java) R 15696 15699 6529 0 -1 1077944384 1989 12933 0 0 76 1 5 2 20 0 15 0 107280078 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437321542256 140437830617730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15763] ppid=15696 vsize=11075936 memory=5793414041836544855 CPUtime=1.05 cores=0,2,4,6
/proc/15699/task/15763/stat : 15763 (java) R 15696 15699 6529 0 -1 4202560 3126 12933 0 0 97 1 5 2 20 0 15 0 107280078 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437320484064 140437814714669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15764] ppid=15696 vsize=11075936 memory=5794258466766676823 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15764/stat : 15764 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11341758464 72546 33554432000 4194304 4196468 140723668013504 140435565571168 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15765] ppid=15696 vsize=11075936 memory=6940167299213054288 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15765/stat : 15765 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280078 11341758464 72546 33554432000 4194304 4196468 140723668013504 140437319436592 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 290184 KiB
[startup+3.60126 s]
/proc/loadavg: 1.40 1.63 1.62 4/198 15796
/proc/meminfo: memFree=25332876/32770624 swapFree=67108688/67108860
[pid=15699] ppid=15696 vsize=11080688 memory=298764 CPUtime=7.45 cores=0,2,4,6
/proc/15699/stat : 15699 (java) S 15696 15699 6529 0 -1 1077944320 56609 12933 0 0 719 19 5 2 20 0 15 0 107280064 11346624512 74691 33554432000 4194304 4196468 140723668013504 140723667996048 140437830606583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
/proc/15699/statm: 2770172 74691 3502 1 0 2731825 0
[pid=15699/tid=15752] ppid=15696 vsize=11080688 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/15699/task/15752/stat : 15752 (java) R 15696 15699 6529 0 -1 4202560 39083 12933 0 0 329 11 5 2 20 0 15 0 107280072 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437802434832 140437830618518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15753] ppid=15696 vsize=11080688 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15699/task/15753/stat : 15753 (java) S 15696 15699 6529 0 -1 1077944384 45 12933 0 0 2 0 5 2 20 0 15 0 107280073 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437834849040 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15754] ppid=15696 vsize=11080688 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15754/stat : 15754 (java) S 15696 15699 6529 0 -1 1077944384 39 12933 0 0 3 0 5 2 20 0 15 0 107280073 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437716114320 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15755] ppid=15696 vsize=11080688 memory=7809523229951467570 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15755/stat : 15755 (java) S 15696 15699 6529 0 -1 1077944384 100 12933 0 0 3 0 5 2 20 0 15 0 107280073 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437715061776 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15756] ppid=15696 vsize=11080688 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15699/task/15756/stat : 15756 (java) S 15696 15699 6529 0 -1 1077944384 256 12933 0 0 2 0 5 2 20 0 15 0 107280073 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437367741584 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15757] ppid=15696 vsize=11080688 memory=-5935321349842411305 CPUtime=0.1 cores=0,2,4,6
/proc/15699/task/15757/stat : 15757 (java) S 15696 15699 6529 0 -1 1077944384 355 12933 0 0 3 0 5 2 20 0 15 0 107280075 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437323646960 140437830617730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15758] ppid=15696 vsize=11080688 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15758/stat : 15758 (java) S 15696 15699 6529 0 -1 1077944384 14 12933 0 0 0 0 5 2 20 0 15 0 107280075 11346624512 74691 33554432000 4194304 4196468 140723668013504 140436505093088 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15759] ppid=15696 vsize=11080688 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15759/stat : 15759 (java) S 15696 15699 6529 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 107280075 11346624512 74691 33554432000 4194304 4196468 140723668013504 140436303766528 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15760] ppid=15696 vsize=11080688 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15760/stat : 15760 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11346624512 74691 33554432000 4194304 4196468 140723668013504 140435996367056 140437830625179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15761] ppid=15696 vsize=11080688 memory=0 CPUtime=1.55 cores=0,2,4,6
/proc/15699/task/15761/stat : 15761 (java) R 15696 15699 6529 0 -1 4202560 6497 12933 0 0 146 2 5 2 20 0 15 0 107280078 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437322580960 140437812150801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15762] ppid=15696 vsize=11080688 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/15699/task/15762/stat : 15762 (java) R 15696 15699 6529 0 -1 4202560 2520 12933 0 0 109 1 5 2 20 0 15 0 107280078 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437321527456 140437814017477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15763] ppid=15696 vsize=11080688 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/15699/task/15763/stat : 15763 (java) R 15696 15699 6529 0 -1 4202560 5493 12933 0 0 116 1 5 2 20 0 15 0 107280078 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437320489712 140437830627930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15764] ppid=15696 vsize=11080688 memory=-7965950325593906079 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15764/stat : 15764 (java) S 15696 15699 6529 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 107280078 11346624512 74691 33554432000 4194304 4196468 140723668013504 140435565571168 140437830616789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
[pid=15699/tid=15765] ppid=15696 vsize=11080688 memory=139636086282545 CPUtime=0.07 cores=0,2,4,6
/proc/15699/task/15765/stat : 15765 (java) S 15696 15699 6529 0 -1 1077944384 7 12933 0 0 0 0 5 2 20 0 15 0 107280078 11346624512 74691 33554432000 4194304 4196468 140723668013504 140437319436592 140437830617730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140723668019825 140723668022625 140723668022625 140723668025295 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 11080688 KiB
Current children cumulated memory: 298764 KiB
Child status: 0
Real time (s): 3.67603
CPU time (s): 7.59712
CPU user time (s): 7.35712
CPU system time (s): 0.240007
CPU usage (%): 206.667
Max. virtual memory (cumulated for all children) (KiB): 11080688
Max. memory (cumulated for all children) (KiB): 298764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.35712
system time used= 0.240007
maximum resident set size= 300912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69897
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= 5623
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 15699
# total CPU time (s): 7.59712
# total CPU user time (s): 7.35712
# total CPU system time (s): 0.240007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04303 second user time and 0.076647 second system time
The end