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 (6095 MiB free)
memory of node 1: 16384 MiB (10489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295979-1532603276/watcher-4295979-1532603276 -o /tmp/evaluation-result-4295979-1532603276/solver-4295979-1532603276 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32592 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=486646824 -superng HOME/instance-4295979-1532603276.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3777, runsolver pid=3774
[startup+0.100093 s]*
/proc/loadavg: 1.37 1.39 1.38 3/206 3834
/proc/meminfo: memFree=16973772/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=9972712 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 4368 13299 0 0 1 1 4 3 20 0 6 0 77890762 10212057088 4203 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2493178 4203 1934 1 0 2481616 0
[pid=3777/tid=3830] ppid=3774 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 2191 13299 0 0 0 0 4 3 20 0 6 0 77890771 10212057088 4715 33554432000 4194304 4196468 140730248737568 140532262781520 140532290966685 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 6 0 77890772 10212057088 4715 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=9972712 memory=140717449225856 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 6 0 77890772 10212057088 4715 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 6 0 77890772 10212057088 4715 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 2 13299 0 0 0 0 4 3 20 0 6 0 77890772 10212057088 4715 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209766 s]*
/proc/loadavg: 1.37 1.39 1.38 3/215 3843
/proc/meminfo: memFree=16953688/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10818936 memory=45380 CPUtime=0.25 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 9248 13299 0 0 17 1 4 3 20 0 15 0 77890762 11078590464 11345 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2704734 11345 2930 1 0 2667157 0
[pid=3777/tid=3830] ppid=3774 vsize=10818904 memory=-8171376296011865461 CPUtime=0.19 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 5909 13299 0 0 11 1 4 3 20 0 15 0 77890771 11078557696 11345 33554432000 4194304 4196468 140730248737568 140532262769568 140532275025246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11078557696 11345 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10818904 memory=140717449225856 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11078557696 11345 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11078557696 11345 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 2 13299 0 0 0 0 4 3 20 0 15 0 77890772 11078557696 11345 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10818904 memory=140717449225856 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 2 13299 0 0 0 0 4 3 20 0 15 0 77890773 11078557696 11345 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 13 13299 0 0 0 0 4 3 20 0 15 0 77890774 11078557696 11345 33554432000 4194304 4196468 140730248737568 140531732571296 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890774 11078557696 11345 33554432000 4194304 4196468 140730248737568 140531128591088 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11078557696 11345 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) S 3774 3777 32560 0 -1 1077944384 525 13299 0 0 1 0 4 3 20 0 15 0 77890776 11078557696 11345 33554432000 4194304 4196468 140730248737568 140531816512240 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) S 3774 3777 32560 0 -1 1077944384 56 13299 0 0 0 0 4 3 20 0 15 0 77890776 11078557696 11345 33554432000 4194304 4196468 140730248737568 140531815459696 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10818904 memory=140717449225856 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) R 3774 3777 32560 0 -1 4202560 547 13299 0 0 3 0 4 3 20 0 15 0 77890776 11078557696 11345 33554432000 4194304 4196468 140730248737568 140531814406640 140532290966106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11078557696 11345 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10818904 memory=140717449225856 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890777 11078557696 11345 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 45380 KiB
[startup+0.310287 s]*
/proc/loadavg: 1.37 1.39 1.38 3/215 3843
/proc/meminfo: memFree=16940788/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10819352 memory=53256 CPUtime=0.38 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 10449 13299 0 0 29 2 4 3 20 0 15 0 77890762 11079016448 13314 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2704838 13314 3049 1 0 2667149 0
[pid=3777/tid=3830] ppid=3774 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 7097 13299 0 0 19 2 4 3 20 0 15 0 77890771 11079016448 13314 33554432000 4194304 4196468 140730248737568 140532262756768 140532271220089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 13314 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 13314 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 13314 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 2 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 13314 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 2 13299 0 0 0 0 4 3 20 0 15 0 77890773 11079016448 13314 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 13 13299 0 0 0 0 4 3 20 0 15 0 77890774 11079016448 13314 33554432000 4194304 4196468 140730248737568 140531732571296 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890774 11079016448 13314 33554432000 4194304 4196468 140730248737568 140531128591088 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11079016448 13314 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) S 3774 3777 32560 0 -1 1077944384 526 13299 0 0 2 0 4 3 20 0 15 0 77890776 11079016448 13314 33554432000 4194304 4196468 140730248737568 140531816512240 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) S 3774 3777 32560 0 -1 1077944384 56 13299 0 0 1 0 4 3 20 0 15 0 77890776 11079016448 13314 33554432000 4194304 4196468 140730248737568 140531815459696 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) S 3774 3777 32560 0 -1 1077944384 555 13299 0 0 5 0 4 3 20 0 15 0 77890776 11079016448 13314 33554432000 4194304 4196468 140730248737568 140531814406640 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11079016448 13314 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890777 11079016448 13314 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53256 KiB
[startup+0.700723 s]
/proc/loadavg: 1.37 1.39 1.38 4/215 3843
/proc/meminfo: memFree=16931352/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10819352 memory=86692 CPUtime=0.98 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 16745 13299 0 0 87 4 4 3 20 0 15 0 77890762 11079016448 21673 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2704838 21673 3243 1 0 2667149 0
[pid=3777/tid=3830] ppid=3774 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 12278 13299 0 0 56 3 4 3 20 0 15 0 77890771 11079016448 21673 33554432000 4194304 4196468 140730248737568 140532262765584 140532271220640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 21673 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10819352 memory=7886766292050524213 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 21673 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10819352 memory=5860705218891763792 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 21673 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10819352 memory=6226596351323422817 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 2 13299 0 0 0 0 4 3 20 0 15 0 77890772 11079016448 21673 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10819352 memory=2319389199337275488 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 5 13299 0 0 0 0 4 3 20 0 15 0 77890773 11079016448 21673 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 13 13299 0 0 0 0 4 3 20 0 15 0 77890774 11079016448 21673 33554432000 4194304 4196468 140730248737568 140531732571296 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10819352 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890774 11079016448 21673 33554432000 4194304 4196468 140730248737568 140531128591088 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11079016448 21673 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10819352 memory=2244 CPUtime=0.14 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) S 3774 3777 32560 0 -1 1077944384 931 13299 0 0 7 0 4 3 20 0 15 0 77890776 11079016448 21673 33554432000 4194304 4196468 140730248737568 140531816512240 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) S 3774 3777 32560 0 -1 1077944384 678 13299 0 0 10 0 4 3 20 0 15 0 77890776 11079016448 21673 33554432000 4194304 4196468 140730248737568 140531815459696 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) S 3774 3777 32560 0 -1 1077944384 640 13299 0 0 13 0 4 3 20 0 15 0 77890776 11079016448 21673 33554432000 4194304 4196468 140730248737568 140531814406640 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11079016448 21673 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10819352 memory=30305 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890777 11079016448 21673 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86692 KiB
[startup+1.50074 s]
/proc/loadavg: 1.37 1.39 1.38 3/215 3843
/proc/meminfo: memFree=16884728/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10836300 memory=177896 CPUtime=2.24 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 24127 13299 0 0 207 10 4 3 20 0 15 0 77890762 11096371200 44474 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2709075 44474 3474 1 0 2670733 0
[pid=3777/tid=3830] ppid=3774 vsize=10836300 memory=124 CPUtime=1.43 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 18011 13299 0 0 130 6 4 3 20 0 15 0 77890771 11096371200 44474 33554432000 4194304 4196468 140730248737568 140532262770720 140532274988389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10836300 memory=79 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 79 13299 0 0 0 0 4 3 20 0 15 0 77890772 11096371200 44474 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 13 13299 0 0 1 0 4 3 20 0 15 0 77890772 11096371200 44474 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 34 13299 0 0 0 0 4 3 20 0 15 0 77890772 11096371200 44474 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 265 13299 0 0 0 0 4 3 20 0 15 0 77890772 11096371200 44474 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 56 13299 0 0 1 0 4 3 20 0 15 0 77890773 11096371200 44474 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 14 13299 0 0 0 0 4 3 20 0 15 0 77890774 11096371200 44474 33554432000 4194304 4196468 140730248737568 140531732571360 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10836300 memory=-7591201286991560646 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890774 11096371200 44474 33554432000 4194304 4196468 140730248737568 140531128591104 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10836300 memory=-2127763216965066743 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11096371200 44474 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10836300 memory=-2897801490638248331 CPUtime=0.24 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) S 3774 3777 32560 0 -1 1077944384 1152 13299 0 0 17 0 4 3 20 0 15 0 77890776 11096371200 44474 33554432000 4194304 4196468 140730248737568 140531816512240 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10836300 memory=-6364248760763179416 CPUtime=0.31 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) S 3774 3777 32560 0 -1 1077944384 1146 13299 0 0 24 0 4 3 20 0 15 0 77890776 11096371200 44474 33554432000 4194304 4196468 140730248737568 140531815459696 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10836300 memory=-2746958450906831519 CPUtime=0.36 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) S 3774 3777 32560 0 -1 1077944384 1163 13299 0 0 29 0 4 3 20 0 15 0 77890776 11096371200 44474 33554432000 4194304 4196468 140730248737568 140531814406640 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10836300 memory=64 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11096371200 44474 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10836300 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890777 11096371200 44474 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10836300 KiB
################
# More data... #
################
[startup+5.9154 s]
# the end of solver process 3777 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.9547 s, system=0.274822 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 1.37 1.39 1.38 4/215 3843
/proc/meminfo: memFree=16746872/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10914144 memory=286504 CPUtime=5.72 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 52578 13299 0 0 548 17 4 3 20 0 15 0 77890762 11176083456 71626 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2728536 71626 3501 1 0 2690189 0
[pid=3777/tid=3830] ppid=3774 vsize=10914144 memory=0 CPUtime=3.08 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 36037 13299 0 0 291 10 4 3 20 0 15 0 77890771 11176083456 71626 33554432000 4194304 4196468 140730248737568 140532262758488 140532272508297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10914144 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 87 13299 0 0 2 0 4 3 20 0 15 0 77890772 11176083456 71626 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10914144 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 22 13299 0 0 2 0 4 3 20 0 15 0 77890772 11176083456 71626 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10914144 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 69 13299 0 0 2 0 4 3 20 0 15 0 77890772 11176083456 71626 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10914144 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 289 13299 0 0 2 0 4 3 20 0 15 0 77890772 11176083456 71626 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10914144 memory=281434577615552 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 1150 13299 0 0 2 0 4 3 20 0 15 0 77890773 11176083456 71626 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 14 13299 0 0 0 0 4 3 20 0 15 0 77890774 11176083456 71626 33554432000 4194304 4196468 140730248737568 140531732571360 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890774 11176083456 71626 33554432000 4194304 4196468 140730248737568 140531128591104 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10914144 memory=7019607805329565283 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11176083456 71626 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10914144 memory=288230574492221466 CPUtime=0.8 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) R 3774 3777 32560 0 -1 4202560 5753 13299 0 0 72 1 4 3 20 0 15 0 77890776 11176083456 71626 33554432000 4194304 4196468 140730248737568 140531816498424 140532268961747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10914144 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) R 3774 3777 32560 0 -1 4202560 3564 13299 0 0 76 1 4 3 20 0 15 0 77890776 11176083456 71626 33554432000 4194304 4196468 140730248737568 140531815439736 140532271645056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10914144 memory=0 CPUtime=1 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) S 3774 3777 32560 0 -1 1077944384 3411 13299 0 0 93 0 4 3 20 0 15 0 77890776 11176083456 71626 33554432000 4194304 4196468 140730248737568 140531814406640 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11176083456 71675 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 1 13299 0 0 0 0 4 3 20 0 15 0 77890777 11176083456 71733 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 286504 KiB
[startup+4.80069 s]
/proc/loadavg: 1.58 1.44 1.39 5/215 3843
/proc/meminfo: memFree=16681936/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10916192 memory=376516 CPUtime=10.67 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 70733 13299 0 0 1039 21 4 3 20 0 15 0 77890762 11178180608 94129 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2729048 94129 3516 1 0 2690701 0
[pid=3777/tid=3830] ppid=3774 vsize=10916192 memory=0 CPUtime=4.66 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 44408 13299 0 0 447 12 4 3 20 0 15 0 77890771 11178180608 94129 33554432000 4194304 4196468 140730248737568 140532262774656 140531894395390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10916192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 109 13299 0 0 2 0 4 3 20 0 15 0 77890772 11178180608 94129 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10916192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 25 13299 0 0 2 0 4 3 20 0 15 0 77890772 11178180608 94129 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 242 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 94129 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10916192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 303 13299 0 0 2 0 4 3 20 0 15 0 77890772 11178180608 94129 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10916192 memory=311708 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 1723 13299 0 0 3 0 4 3 20 0 15 0 77890773 11178180608 94129 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 16 13299 0 0 0 0 4 3 20 0 15 0 77890774 11178180608 94129 33554432000 4194304 4196468 140730248737568 140531732571360 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 4 13299 0 0 0 0 4 3 20 0 15 0 77890774 11178180608 94129 33554432000 4194304 4196468 140730248737568 140531128591104 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11178180608 94129 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10916192 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) S 3774 3777 32560 0 -1 1077944384 10822 13299 0 0 211 1 4 3 20 0 15 0 77890776 11178180608 94129 33554432000 4194304 4196468 140730248737568 140531816512240 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10916192 memory=0 CPUtime=2.29 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) S 3774 3777 32560 0 -1 1077944384 5642 13299 0 0 221 1 4 3 20 0 15 0 77890776 11178180608 94129 33554432000 4194304 4196468 140730248737568 140531815459696 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10916192 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) S 3774 3777 32560 0 -1 1077944384 5230 13299 0 0 141 2 4 3 20 0 15 0 77890776 11178180608 94129 33554432000 4194304 4196468 140730248737568 140531814406640 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11178180608 94129 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 16 13299 0 0 0 0 4 3 20 0 15 0 77890777 11178180608 94129 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 10.67 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 376516 KiB
[startup+5.60073 s]
/proc/loadavg: 1.58 1.44 1.39 3/215 3843
/proc/meminfo: memFree=16616244/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10916192 memory=387160 CPUtime=11.79 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 70941 13299 0 0 1150 22 4 3 20 0 15 0 77890762 11178180608 96790 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2729048 96790 3516 1 0 2690701 0
[pid=3777/tid=3830] ppid=3774 vsize=10916192 memory=8112282956445269571 CPUtime=5.47 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 44433 13299 0 0 527 13 4 3 20 0 15 0 77890771 11178180608 96790 33554432000 4194304 4196468 140730248737568 140532262774240 140531894397760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10916192 memory=5860397320992079971 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 112 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96790 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10916192 memory=5793688863907270736 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 37 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96790 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10916192 memory=5792564063512055888 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 244 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96790 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10916192 memory=5794252913372319776 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 305 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96790 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10916192 memory=5860397320992079971 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 1738 13299 0 0 3 0 4 3 20 0 15 0 77890773 11178180608 96790 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 16 13299 0 0 0 0 4 3 20 0 15 0 77890774 11178180608 96790 33554432000 4194304 4196468 140730248737568 140531732571360 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 4 13299 0 0 0 0 4 3 20 0 15 0 77890774 11178180608 96790 33554432000 4194304 4196468 140730248737568 140531128591104 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11178180608 96790 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10916192 memory=7 CPUtime=2.33 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) S 3774 3777 32560 0 -1 1077944384 10857 13299 0 0 225 1 4 3 20 0 15 0 77890776 11178180608 96790 33554432000 4194304 4196468 140730248737568 140531816512240 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10916192 memory=7 CPUtime=2.41 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) R 3774 3777 32560 0 -1 4202560 5676 13299 0 0 233 1 4 3 20 0 15 0 77890776 11178180608 96790 33554432000 4194304 4196468 140730248737568 140531815459696 140532269336988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10916192 memory=7 CPUtime=1.55 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) S 3774 3777 32560 0 -1 1077944384 5289 13299 0 0 146 2 4 3 20 0 15 0 77890776 11178180608 96790 33554432000 4194304 4196468 140730248737568 140531814406640 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11178180608 96790 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10916192 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 37 13299 0 0 0 0 4 3 20 0 15 0 77890777 11178180608 96790 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 11.79 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 387160 KiB
[startup+5.8007 s]
/proc/loadavg: 1.58 1.44 1.39 3/215 3843
/proc/meminfo: memFree=16616244/32770624 swapFree=67108796/67108860
[pid=3777] ppid=3774 vsize=10916192 memory=387352 CPUtime=12.08 cores=1,3,5,7
/proc/3777/stat : 3777 (java) S 3774 3777 32560 0 -1 1077944320 70965 13299 0 0 1179 22 4 3 20 0 15 0 77890762 11178180608 96838 33554432000 4194304 4196468 140730248737568 140730248720112 140532290944759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
/proc/3777/statm: 2729048 96838 3516 1 0 2690701 0
[pid=3777/tid=3830] ppid=3774 vsize=10916192 memory=8112282956445269571 CPUtime=5.67 cores=1,3,5,7
/proc/3777/task/3830/stat : 3830 (java) R 3774 3777 32560 0 -1 4202560 44433 13299 0 0 547 13 4 3 20 0 15 0 77890771 11178180608 96838 33554432000 4194304 4196468 140730248737568 140532262774240 140531897707540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3831] ppid=3774 vsize=10916192 memory=281434577383992 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3831/stat : 3831 (java) S 3774 3777 32560 0 -1 1077944384 112 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96838 33554432000 4194304 4196468 140730248737568 140532295187472 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3832] ppid=3774 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3832/stat : 3832 (java) S 3774 3777 32560 0 -1 1077944384 37 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96838 33554432000 4194304 4196468 140730248737568 140532210007184 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3833] ppid=3774 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3833/stat : 3833 (java) S 3774 3777 32560 0 -1 1077944384 244 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96838 33554432000 4194304 4196468 140730248737568 140532208954128 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3834] ppid=3774 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3834/stat : 3834 (java) S 3774 3777 32560 0 -1 1077944384 305 13299 0 0 3 0 4 3 20 0 15 0 77890772 11178180608 96838 33554432000 4194304 4196468 140730248737568 140532207901584 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3835] ppid=3774 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3777/task/3835/stat : 3835 (java) S 3774 3777 32560 0 -1 1077944384 1738 13299 0 0 3 0 4 3 20 0 15 0 77890773 11178180608 96838 33554432000 4194304 4196468 140730248737568 140531817564400 140532290955906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3836] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3836/stat : 3836 (java) S 3774 3777 32560 0 -1 1077944384 16 13299 0 0 0 0 4 3 20 0 15 0 77890774 11178180608 96838 33554432000 4194304 4196468 140730248737568 140531732571360 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3837] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3837/stat : 3837 (java) S 3774 3777 32560 0 -1 1077944384 4 13299 0 0 0 0 4 3 20 0 15 0 77890774 11178180608 96838 33554432000 4194304 4196468 140730248737568 140531128591104 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3838] ppid=3774 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3838/stat : 3838 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890776 11178180608 96838 33554432000 4194304 4196468 140730248737568 140530821191632 140532290963355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3839] ppid=3774 vsize=10916192 memory=0 CPUtime=2.38 cores=1,3,5,7
/proc/3777/task/3839/stat : 3839 (java) S 3774 3777 32560 0 -1 1077944384 10871 13299 0 0 230 1 4 3 20 0 15 0 77890776 11178180608 96838 33554432000 4194304 4196468 140730248737568 140531816512240 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3840] ppid=3774 vsize=10916192 memory=23004 CPUtime=2.45 cores=1,3,5,7
/proc/3777/task/3840/stat : 3840 (java) S 3774 3777 32560 0 -1 1077944384 5680 13299 0 0 237 1 4 3 20 0 15 0 77890776 11178180608 96838 33554432000 4194304 4196468 140730248737568 140531815459696 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3841] ppid=3774 vsize=10916192 memory=2088 CPUtime=1.55 cores=1,3,5,7
/proc/3777/task/3841/stat : 3841 (java) S 3774 3777 32560 0 -1 1077944384 5295 13299 0 0 146 2 4 3 20 0 15 0 77890776 11178180608 96838 33554432000 4194304 4196468 140730248737568 140531814406640 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3842] ppid=3774 vsize=10916192 memory=1040 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3842/stat : 3842 (java) S 3774 3777 32560 0 -1 1077944384 3 13299 0 0 0 0 4 3 20 0 15 0 77890777 11178180608 96838 33554432000 4194304 4196468 140730248737568 140530787634016 140532290954965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
[pid=3777/tid=3843] ppid=3774 vsize=10916192 memory=1628 CPUtime=0.07 cores=1,3,5,7
/proc/3777/task/3843/stat : 3843 (java) S 3774 3777 32560 0 -1 1077944384 37 13299 0 0 0 0 4 3 20 0 15 0 77890777 11178180608 96838 33554432000 4194304 4196468 140730248737568 140531813354032 140532290955906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38461440 140730248743084 140730248746332 140730248746332 140730248749007 0
Current children cumulated CPU time: 12.08 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 387352 KiB
Child status: 0
Real time (s): 5.91548
CPU time (s): 12.2295
CPU user time (s): 11.9547
CPU system time (s): 0.274822
CPU usage (%): 206.738
Max. virtual memory (cumulated for all children) (KiB): 10918904
Max. memory (cumulated for all children) (KiB): 387352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9547
system time used= 0.274822
maximum resident set size= 389456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6951
involuntary context switches= 55
# summary of solver processes directly reported to runsolver:
# pid: 3777
# total CPU time (s): 12.2295
# total CPU user time (s): 11.9547
# total CPU system time (s): 0.274822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062131 second user time and 0.089614 second system time
The end