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 (8167 MiB free)
memory of node 1: 16384 MiB (7343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295102-1532529434/watcher-4295102-1532529434 -o /tmp/evaluation-result-4295102-1532529434/solver-4295102-1532529434 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532524210-24416 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1772588165 HOME/instance-4295102-1532529434.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25330, runsolver pid=25327
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 1.22 1.63 1.65 3/206 25387
/proc/meminfo: memFree=15873972/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=9972712 memory=18856 CPUtime=0.08 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 4383 12969 0 0 1 0 5 2 20 0 6 0 70506609 10212057088 4714 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2493178 4714 1934 1 0 2481616 0
[pid=25330/tid=25383] ppid=25327 vsize=9972712 memory=4279135704013833615 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 2190 12969 0 0 0 0 5 2 20 0 6 0 70506618 10212057088 4714 33554432000 4194304 4196468 140727998488288 139838692377168 139838720562333 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 6 0 70506618 10212057088 4714 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=9972712 memory=140608447211136 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 6 0 70506618 10212057088 4714 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 6 0 70506618 10212057088 4714 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 6 0 70506618 10212057088 4714 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.210497 s]*
/proc/loadavg: 1.22 1.63 1.65 3/215 25396
/proc/meminfo: memFree=15850656/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10818904 memory=46776 CPUtime=0.25 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 7911 12969 0 0 16 2 5 2 20 0 15 0 70506609 11078557696 11694 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2704726 11694 2946 1 0 2667149 0
[pid=25330/tid=25383] ppid=25327 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 4475 12969 0 0 10 1 5 2 20 0 15 0 70506618 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838692357520 139838720562333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10818904 memory=331 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10818904 memory=140608447235696 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506618 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10818904 memory=140608447211136 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506620 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 70506620 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838162461472 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838028244080 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11078557696 11694 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) S 25327 25330 24385 0 -1 1077944384 482 12969 0 0 1 0 5 2 20 0 15 0 70506623 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838246132336 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) S 25327 25330 24385 0 -1 1077944384 126 12969 0 0 0 0 5 2 20 0 15 0 70506623 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838245079536 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10818904 memory=140608447211136 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) R 25327 25330 24385 0 -1 4202560 617 12969 0 0 3 0 5 2 20 0 15 0 70506623 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838244027248 139838699213943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11078557696 11694 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10818904 memory=140608447211136 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506624 11078557696 11694 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46776 KiB
[startup+0.310498 s]*
/proc/loadavg: 1.22 1.63 1.65 3/215 25396
/proc/meminfo: memFree=15839520/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10819352 memory=57476 CPUtime=0.38 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 10407 12969 0 0 28 3 5 2 20 0 15 0 70506609 11079016448 14369 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2704838 14369 3065 1 0 2667149 0
[pid=25330/tid=25383] ppid=25327 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 6960 12969 0 0 19 2 5 2 20 0 15 0 70506618 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838692329936 139838720562333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506620 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 70506620 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838162461472 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838028244080 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11079016448 14369 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) S 25327 25330 24385 0 -1 1077944384 483 12969 0 0 1 0 5 2 20 0 15 0 70506623 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838246132336 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) S 25327 25330 24385 0 -1 1077944384 126 12969 0 0 1 0 5 2 20 0 15 0 70506623 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838245079536 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10819352 memory=140608447211136 CPUtime=0.12 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) S 25327 25330 24385 0 -1 1077944384 623 12969 0 0 5 0 5 2 20 0 15 0 70506623 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838244027248 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11079016448 14369 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10819352 memory=140608447211136 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506624 11079016448 14369 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57476 KiB
[startup+0.700795 s]
/proc/loadavg: 1.22 1.63 1.65 5/215 25396
/proc/meminfo: memFree=15828128/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10819352 memory=90560 CPUtime=0.99 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 16772 12969 0 0 87 5 5 2 20 0 15 0 70506609 11079016448 22640 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2704838 22640 3238 1 0 2667149 0
[pid=25330/tid=25383] ppid=25327 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 12158 12969 0 0 55 4 5 2 20 0 15 0 70506618 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838692361232 139838705705952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10819352 memory=140608303936272 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10819352 memory=140608639337044 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506618 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10819352 memory=8540 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 5 12969 0 0 0 0 5 2 20 0 15 0 70506620 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10819352 memory=7662705889289527641 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 13 12969 0 0 0 0 5 2 20 0 15 0 70506620 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838162461472 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838028244080 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10819352 memory=16436 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11079016448 22640 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10819352 memory=12696 CPUtime=0.14 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) S 25327 25330 24385 0 -1 1077944384 841 12969 0 0 7 0 5 2 20 0 15 0 70506623 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838246132336 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10819352 memory=4008 CPUtime=0.17 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) S 25327 25330 24385 0 -1 1077944384 846 12969 0 0 10 0 5 2 20 0 15 0 70506623 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838245079536 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10819352 memory=1796 CPUtime=0.2 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) S 25327 25330 24385 0 -1 1077944384 709 12969 0 0 13 0 5 2 20 0 15 0 70506623 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838244027248 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10819352 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11079016448 22640 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506624 11079016448 22640 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90560 KiB
[startup+1.50077 s]
/proc/loadavg: 1.22 1.63 1.65 4/215 25396
/proc/meminfo: memFree=15782240/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10834252 memory=179436 CPUtime=2.26 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 24068 12969 0 0 209 10 5 2 20 0 15 0 70506609 11094274048 44859 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2708563 44859 3467 1 0 2670221 0
[pid=25330/tid=25383] ppid=25327 vsize=10834252 memory=67492 CPUtime=1.42 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 17864 12969 0 0 129 6 5 2 20 0 15 0 70506618 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838692372560 139838712777534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 30 12969 0 0 0 0 5 2 20 0 15 0 70506618 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10834252 memory=281216607903904 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 50 12969 0 0 1 0 5 2 20 0 15 0 70506618 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 241 12969 0 0 1 0 5 2 20 0 15 0 70506618 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 29 12969 0 0 1 0 5 2 20 0 15 0 70506618 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 62 12969 0 0 1 0 5 2 20 0 15 0 70506620 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 14 12969 0 0 0 0 5 2 20 0 15 0 70506620 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838162461536 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838028244096 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10834252 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11094274048 44859 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10834252 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) S 25327 25330 24385 0 -1 1077944384 1057 12969 0 0 18 0 5 2 20 0 15 0 70506623 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838246132336 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10834252 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) S 25327 25330 24385 0 -1 1077944384 1299 12969 0 0 22 0 5 2 20 0 15 0 70506623 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838245079536 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10834252 memory=6791534058613427641 CPUtime=0.38 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) S 25327 25330 24385 0 -1 1077944384 1228 12969 0 0 31 0 5 2 20 0 15 0 70506623 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838244027248 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11094274048 44859 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10834252 memory=281216608148352 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506624 11094274048 44859 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11009 s]
/proc/loadavg: 1.22 1.63 1.65 4/215 25396
/proc/meminfo: memFree=15664264/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10846560 memory=246268 CPUtime=6.11 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 48633 12969 0 0 585 19 5 2 20 0 15 0 70506609 11106877440 61567 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2711640 61567 3493 1 0 2673293 0
[pid=25330/tid=25383] ppid=25327 vsize=10846560 memory=7 CPUtime=2.98 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 29995 12969 0 0 282 9 5 2 20 0 15 0 70506618 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838692356000 139838720552342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10846560 memory=206956 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 53 12969 0 0 2 0 5 2 20 0 15 0 70506618 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10846560 memory=4140 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 114 12969 0 0 3 0 5 2 20 0 15 0 70506618 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10846560 memory=21396 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 274 12969 0 0 3 0 5 2 20 0 15 0 70506618 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10846560 memory=2436 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 49 12969 0 0 2 0 5 2 20 0 15 0 70506618 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10846560 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 2566 12969 0 0 3 0 5 2 20 0 15 0 70506620 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10846560 memory=-3535359994705171299 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 14 12969 0 0 0 0 5 2 20 0 15 0 70506620 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838162461536 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10846560 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838028244096 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11106877440 61567 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10846560 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) R 25327 25330 24385 0 -1 4202560 3995 12969 0 0 98 1 5 2 20 0 15 0 70506623 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838246122256 139838697764560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10846560 memory=3977135945319270485 CPUtime=0.87 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) R 25327 25330 24385 0 -1 4202560 2775 12969 0 0 78 2 5 2 20 0 15 0 70506623 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838245065440 139838698287896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10846560 memory=56 CPUtime=1.18 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) R 25327 25330 24385 0 -1 1077944384 6595 12969 0 0 109 2 5 2 20 0 15 0 70506623 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838244027248 139838720551554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10846560 memory=2984339746955739232 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11106877440 61567 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10846560 memory=6935649255759569216 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 9 12969 0 0 0 0 5 2 20 0 15 0 70506624 11106877440 61567 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 246268 KiB
[startup+3.77682 s]
# the end of solver process 25330 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.54381 s, system=0.260004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20951 s]
/proc/loadavg: 1.22 1.63 1.65 4/215 25396
/proc/meminfo: memFree=15664264/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10846560 memory=247912 CPUtime=6.34 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 49076 12969 0 0 608 19 5 2 20 0 15 0 70506609 11106877440 61978 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2711640 61978 3493 1 0 2673293 0
[pid=25330/tid=25383] ppid=25327 vsize=10846560 memory=6935649255759568960 CPUtime=3.08 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 30300 12969 0 0 292 9 5 2 20 0 15 0 70506618 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838692372704 139838712777534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10846560 memory=2984339746955739232 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 53 12969 0 0 2 0 5 2 20 0 15 0 70506618 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10846560 memory=2867664571609120 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 114 12969 0 0 3 0 5 2 20 0 15 0 70506618 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10846560 memory=6154282490091891024 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 274 12969 0 0 3 0 5 2 20 0 15 0 70506618 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10846560 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 49 12969 0 0 2 0 5 2 20 0 15 0 70506618 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10846560 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 2566 12969 0 0 3 0 5 2 20 0 15 0 70506620 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10846560 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 14 12969 0 0 0 0 5 2 20 0 15 0 70506620 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838162461536 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10846560 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838028244096 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11106877440 61978 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10846560 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) S 25327 25330 24385 0 -1 1077944384 4022 12969 0 0 101 2 5 2 20 0 15 0 70506623 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838246132336 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10846560 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) S 25327 25330 24385 0 -1 1077944384 2786 12969 0 0 82 2 5 2 20 0 15 0 70506623 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838245079536 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10846560 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) R 25327 25330 24385 0 -1 4202560 6709 12969 0 0 115 2 5 2 20 0 15 0 70506623 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838244024544 139838701950415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11106877440 61978 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10846560 memory=245 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 9 12969 0 0 0 0 5 2 20 0 15 0 70506624 11106877440 61978 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 247912 KiB
[startup+3.60064 s]
/proc/loadavg: 1.22 1.63 1.65 4/215 25396
/proc/meminfo: memFree=15664264/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10914144 memory=305324 CPUtime=7.36 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 63484 12969 0 0 708 21 5 2 20 0 15 0 70506609 11176083456 76331 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2728536 76331 3494 1 0 2690189 0
[pid=25330/tid=25383] ppid=25327 vsize=10914144 memory=1296 CPUtime=3.47 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 42051 12969 0 0 329 11 5 2 20 0 15 0 70506618 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838692371312 139838702103959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10914144 memory=1728 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 53 12969 0 0 2 0 5 2 20 0 15 0 70506618 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10914144 memory=1008 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 114 12969 0 0 3 0 5 2 20 0 15 0 70506618 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10914144 memory=5520 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 274 12969 0 0 3 0 5 2 20 0 15 0 70506618 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10914144 memory=4616 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 49 12969 0 0 2 0 5 2 20 0 15 0 70506618 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10914144 memory=1428 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 2566 12969 0 0 3 0 5 2 20 0 15 0 70506620 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10914144 memory=13048 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 14 12969 0 0 0 0 5 2 20 0 15 0 70506620 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838162461536 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10914144 memory=281216608419072 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838028244096 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10914144 memory=7595440001688102255 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11176083456 76331 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10914144 memory=7595440001688102255 CPUtime=1.22 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) R 25327 25330 24385 0 -1 4202560 4083 12969 0 0 113 2 5 2 20 0 15 0 70506623 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838246120464 139838698287873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10914144 memory=249666113455087 CPUtime=1.3 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) R 25327 25330 24385 0 -1 4202560 5071 12969 0 0 121 2 5 2 20 0 15 0 70506623 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838245065480 139838705655679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10914144 memory=7970691423642293116 CPUtime=1.35 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) S 25327 25330 24385 0 -1 1077944384 7006 12969 0 0 126 2 5 2 20 0 15 0 70506623 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838244027248 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10914144 memory=7100839887183775602 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11176083456 76331 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10914144 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 9 12969 0 0 0 0 5 2 20 0 15 0 70506624 11176083456 76331 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 305324 KiB
[startup+3.70061 s]
/proc/loadavg: 1.22 1.63 1.65 4/215 25396
/proc/meminfo: memFree=15664264/32770624 swapFree=67108860/67108860
[pid=25330] ppid=25327 vsize=10916416 memory=309688 CPUtime=7.68 cores=0,2,4,6
/proc/25330/stat : 25330 (java) S 25327 25330 24385 0 -1 1077944320 64625 12969 0 0 740 21 5 2 20 0 15 0 70506609 11178409984 77422 33554432000 4194304 4196468 140727998488288 140727998470832 139838720540407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
/proc/25330/statm: 2729104 77422 3494 1 0 2690757 0
[pid=25330/tid=25383] ppid=25327 vsize=10916416 memory=206956 CPUtime=3.57 cores=0,2,4,6
/proc/25330/task/25383/stat : 25383 (java) R 25327 25330 24385 0 -1 4202560 42198 12969 0 0 339 11 5 2 20 0 15 0 70506618 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838692375776 139838705908559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25384] ppid=25327 vsize=10916416 memory=7 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25384/stat : 25384 (java) S 25327 25330 24385 0 -1 1077944384 53 12969 0 0 2 0 5 2 20 0 15 0 70506618 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838724782992 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25385] ppid=25327 vsize=10916416 memory=4140 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25385/stat : 25385 (java) S 25327 25330 24385 0 -1 1077944384 114 12969 0 0 3 0 5 2 20 0 15 0 70506618 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838639602448 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25386] ppid=25327 vsize=10916416 memory=21396 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25386/stat : 25386 (java) S 25327 25330 24385 0 -1 1077944384 274 12969 0 0 3 0 5 2 20 0 15 0 70506618 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838638550160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25387] ppid=25327 vsize=10916416 memory=33 CPUtime=0.09 cores=0,2,4,6
/proc/25330/task/25387/stat : 25387 (java) S 25327 25330 24385 0 -1 1077944384 49 12969 0 0 2 0 5 2 20 0 15 0 70506618 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838637497360 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25388] ppid=25327 vsize=10916416 memory=4637164475387183459 CPUtime=0.1 cores=0,2,4,6
/proc/25330/task/25388/stat : 25388 (java) S 25327 25330 24385 0 -1 1077944384 2566 12969 0 0 3 0 5 2 20 0 15 0 70506620 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838247184496 139838720551554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25389] ppid=25327 vsize=10916416 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25389/stat : 25389 (java) S 25327 25330 24385 0 -1 1077944384 14 12969 0 0 0 0 5 2 20 0 15 0 70506620 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838162461536 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25390] ppid=25327 vsize=10916416 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25390/stat : 25390 (java) S 25327 25330 24385 0 -1 1077944384 1 12969 0 0 0 0 5 2 20 0 15 0 70506621 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838028244096 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25391] ppid=25327 vsize=10916416 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25391/stat : 25391 (java) S 25327 25330 24385 0 -1 1077944384 2 12969 0 0 0 0 5 2 20 0 15 0 70506623 11178409984 77422 33554432000 4194304 4196468 140727998488288 139837424265296 139838720559003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25392] ppid=25327 vsize=10916416 memory=-3535359994705171299 CPUtime=1.29 cores=0,2,4,6
/proc/25330/task/25392/stat : 25392 (java) R 25327 25330 24385 0 -1 4202560 4094 12969 0 0 120 2 5 2 20 0 15 0 70506623 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838246120016 139838699778816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25393] ppid=25327 vsize=10916416 memory=6944656592387989600 CPUtime=1.4 cores=0,2,4,6
/proc/25330/task/25393/stat : 25393 (java) R 25327 25330 24385 0 -1 4202560 5947 12969 0 0 131 2 5 2 20 0 15 0 70506623 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838245064496 139838699797083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25394] ppid=25327 vsize=10916416 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/25330/task/25394/stat : 25394 (java) S 25327 25330 24385 0 -1 1077944384 7113 12969 0 0 131 2 5 2 20 0 15 0 70506623 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838244027248 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25395] ppid=25327 vsize=10916416 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25395/stat : 25395 (java) S 25327 25330 24385 0 -1 1077944384 3 12969 0 0 0 0 5 2 20 0 15 0 70506623 11178409984 77422 33554432000 4194304 4196468 140727998488288 139836954504160 139838720550613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
[pid=25330/tid=25396] ppid=25327 vsize=10916416 memory=3977135945319270485 CPUtime=0.07 cores=0,2,4,6
/proc/25330/task/25396/stat : 25396 (java) S 25327 25330 24385 0 -1 1077944384 9 12969 0 0 0 0 5 2 20 0 15 0 70506624 11178409984 77422 33554432000 4194304 4196468 140727998488288 139838242974128 139838720551554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140727998491246 140727998494044 140727998494044 140727998496719 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 10916416 KiB
Current children cumulated memory: 309688 KiB
Child status: 0
Real time (s): 3.77687
CPU time (s): 7.80381
CPU user time (s): 7.54381
CPU system time (s): 0.260004
CPU usage (%): 206.621
Max. virtual memory (cumulated for all children) (KiB): 10916416
Max. memory (cumulated for all children) (KiB): 309688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.5438
system time used= 0.260004
maximum resident set size= 311832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78389
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= 6077
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 25330
# total CPU time (s): 7.80381
# total CPU user time (s): 7.54381
# total CPU system time (s): 0.260004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04599 second user time and 0.072729 second system time
The end