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 (4914 MiB free)
memory of node 1: 16384 MiB (7337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295297-1532545676/watcher-4295297-1532545676 -o /tmp/evaluation-result-4295297-1532545676/solver-4295297-1532545676 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31452 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=257532506 -superng HOME/instance-4295297-1532545676.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=32158, runsolver pid=32155
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 1.20 1.27 1.30 3/206 32215
/proc/meminfo: memFree=12539560/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=9972712 memory=17080 CPUtime=0.08 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 4389 13191 0 0 1 0 5 2 20 0 6 0 72130755 10212057088 4270 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2493178 4270 1934 1 0 2481616 0
[pid=32158/tid=32211] ppid=32155 vsize=9972712 memory=4279135703913364878 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 2199 13191 0 0 0 0 5 2 20 0 6 0 72130764 10212057088 4270 33554432000 4194304 4196468 140731300269216 140343411372624 140343425218389 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 72130764 10212057088 4270 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=9972712 memory=140364643767936 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 72130764 10212057088 4270 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 6 0 72130764 10212057088 4270 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 6 0 72130764 10212057088 4270 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210764 s]*
/proc/loadavg: 1.20 1.27 1.30 3/215 32224
/proc/meminfo: memFree=12518364/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=10818904 memory=43368 CPUtime=0.25 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 8078 13191 0 0 16 2 5 2 20 0 15 0 72130755 11078557696 10842 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2704726 10842 2935 1 0 2667149 0
[pid=32158/tid=32211] ppid=32155 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 4757 13191 0 0 10 1 5 2 20 0 15 0 72130764 11078557696 10842 33554432000 4194304 4196468 140731300269216 140343411352976 140343419811570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130764 11078557696 10842 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10818904 memory=140364643767936 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130764 11078557696 10842 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130764 11078557696 10842 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130764 11078557696 10842 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10818904 memory=140364643767936 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130766 11078557696 10842 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 72130766 11078557696 10908 33554432000 4194304 4196468 140731300269216 140342888228128 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130766 11078557696 10908 33554432000 4194304 4196468 140731300269216 140342284248688 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11078557696 10908 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 516 13191 0 0 1 0 5 2 20 0 15 0 72130769 11078557696 10908 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 55 13191 0 0 0 0 5 2 20 0 15 0 72130769 11078557696 10908 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10818904 memory=140364643767936 CPUtime=0.1 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 557 13191 0 0 3 0 5 2 20 0 15 0 72130769 11078557696 10908 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11078557696 10908 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10818904 memory=140364643767936 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130770 11078557696 10908 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43368 KiB
[startup+0.310131 s]*
/proc/loadavg: 1.20 1.27 1.30 3/215 32224
/proc/meminfo: memFree=12507200/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=10819352 memory=54296 CPUtime=0.38 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 10667 13191 0 0 28 3 5 2 20 0 15 0 72130755 11079016448 13574 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2704838 13574 3054 1 0 2667149 0
[pid=32158/tid=32211] ppid=32155 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 7311 13191 0 0 19 2 5 2 20 0 15 0 72130764 11079016448 13574 33554432000 4194304 4196468 140731300269216 140343411347872 140343423616350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10819352 memory=7445101439888674896 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 13574 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 13574 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 13574 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 13574 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130766 11079016448 13574 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 72130766 11079016448 13574 33554432000 4194304 4196468 140731300269216 140342888228128 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130766 11079016448 13574 33554432000 4194304 4196468 140731300269216 140342284248688 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11079016448 13574 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 516 13191 0 0 1 0 5 2 20 0 15 0 72130769 11079016448 13574 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 56 13191 0 0 1 0 5 2 20 0 15 0 72130769 11079016448 13574 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 567 13191 0 0 5 0 5 2 20 0 15 0 72130769 11079016448 13574 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11079016448 13574 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130770 11079016448 13574 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54296 KiB
[startup+0.700735 s]
/proc/loadavg: 1.20 1.27 1.30 3/215 32224
/proc/meminfo: memFree=12495896/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=10819352 memory=86500 CPUtime=0.98 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 16740 13191 0 0 86 5 5 2 20 0 15 0 72130755 11079016448 21625 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2704838 21625 3237 1 0 2667149 0
[pid=32158/tid=32211] ppid=32155 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 12330 13191 0 0 55 3 5 2 20 0 15 0 72130764 11079016448 21625 33554432000 4194304 4196468 140731300269216 140343411346408 140343419807323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 21625 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 21625 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 21625 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 72130764 11079016448 21625 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 5 13191 0 0 0 0 5 2 20 0 15 0 72130766 11079016448 21625 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 72130766 11079016448 21625 33554432000 4194304 4196468 140731300269216 140342888228128 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130766 11079016448 21625 33554432000 4194304 4196468 140731300269216 140342284248688 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11079016448 21625 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10819352 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 899 13191 0 0 8 0 5 2 20 0 15 0 72130769 11079016448 21625 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10819352 memory=15460 CPUtime=0.16 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 675 13191 0 0 9 0 5 2 20 0 15 0 72130769 11079016448 21625 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 616 13191 0 0 13 0 5 2 20 0 15 0 72130769 11079016448 21625 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11079016448 21625 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130770 11079016448 21625 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86500 KiB
[startup+1.50068 s]
/proc/loadavg: 1.20 1.27 1.30 3/215 32224
/proc/meminfo: memFree=12452728/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=10834252 memory=188888 CPUtime=2.54 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 24662 13191 0 0 235 12 5 2 20 0 15 0 72130755 11094274048 47222 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2708563 47222 3480 1 0 2670221 0
[pid=32158/tid=32211] ppid=32155 vsize=10834252 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 17295 13191 0 0 128 6 5 2 20 0 15 0 72130764 11094274048 47222 33554432000 4194304 4196468 140731300269216 140343411343616 140343439557789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 25 13191 0 0 1 0 5 2 20 0 15 0 72130764 11094274048 47222 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 16 13191 0 0 1 0 5 2 20 0 15 0 72130764 11094274048 47222 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 66 13191 0 0 1 0 5 2 20 0 15 0 72130764 11094274048 47222 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 193 13191 0 0 1 0 5 2 20 0 15 0 72130764 11094274048 47222 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 477 13191 0 0 1 0 5 2 20 0 15 0 72130766 11094274048 47222 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10834252 memory=280728994654464 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 14 13191 0 0 0 0 5 2 20 0 15 0 72130766 11094274048 47222 33554432000 4194304 4196468 140731300269216 140342888228192 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130766 11094274048 47222 33554432000 4194304 4196468 140731300269216 140342284248704 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10834252 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11094274048 47222 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10834252 memory=1232 CPUtime=0.32 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 1265 13191 0 0 25 0 5 2 20 0 15 0 72130769 11094274048 47222 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10834252 memory=8536 CPUtime=0.4 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 1465 13191 0 0 33 0 5 2 20 0 15 0 72130769 11094274048 47222 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10834252 memory=1712 CPUtime=0.48 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 1650 13191 0 0 41 0 5 2 20 0 15 0 72130769 11094274048 47222 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10834252 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11094274048 47222 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10834252 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 72130770 11094274048 47222 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 83322 13191 0 0 237654 39 5 2 20 0 15 0 72130764 11176083456 208381 33554432000 4194304 4196468 140731300269216 140343411369648 140343057214751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10914144 memory=833524 CPUtime=2.63 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 12627 13191 0 0 241 15 5 2 20 0 15 0 72130764 11176083456 208381 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10914144 memory=833488 CPUtime=2.62 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 17761 13191 0 0 238 17 5 2 20 0 15 0 72130764 11176083456 208381 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10914144 memory=1952 CPUtime=2.62 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 15581 13191 0 0 238 17 5 2 20 0 15 0 72130764 11176083456 208381 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10914144 memory=833524 CPUtime=2.63 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 10127 13191 0 0 240 16 5 2 20 0 15 0 72130764 11176083456 208381 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10914144 memory=833524 CPUtime=2 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 13416 13191 0 0 180 13 5 2 20 0 15 0 72130766 11176083456 208381 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10914144 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 23 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208381 33554432000 4194304 4196468 140731300269216 140342888228192 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10914144 memory=833524 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 20 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208381 33554432000 4194304 4196468 140731300269216 140342284248704 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10914144 memory=833524 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208381 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10914144 memory=833524 CPUtime=6.86 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 48469 13191 0 0 674 5 5 2 20 0 15 0 72130769 11176083456 208381 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10914144 memory=833524 CPUtime=5.7 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 27871 13191 0 0 559 4 5 2 20 0 15 0 72130769 11176083456 208381 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10914144 memory=840 CPUtime=2.3 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 32469 13191 0 0 219 4 5 2 20 0 15 0 72130769 11176083456 208381 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10914144 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208381 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10914144 memory=833524 CPUtime=1.42 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1790 13191 0 0 68 67 5 2 20 0 15 0 72130770 11176083456 208381 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 2405.25 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 833524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.48 1.42 3/215 32296
/proc/meminfo: memFree=11654788/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=10914144 memory=833540 CPUtime=2465.46 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 266759 13191 0 0 246361 178 5 2 20 0 15 0 72130755 11176083456 208385 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2728536 208385 3526 1 0 2690189 0
[pid=32158/tid=32211] ppid=32155 vsize=10914144 memory=833540 CPUtime=2436.87 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 83700 13191 0 0 243641 39 5 2 20 0 15 0 72130764 11176083456 208385 33554432000 4194304 4196468 140731300269216 140343411369648 140343048579351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10914144 memory=833540 CPUtime=2.68 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 12691 13191 0 0 246 15 5 2 20 0 15 0 72130764 11176083456 208385 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10914144 memory=4140 CPUtime=2.69 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 17866 13191 0 0 244 18 5 2 20 0 15 0 72130764 11176083456 208385 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10914144 memory=833540 CPUtime=2.68 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 15613 13191 0 0 244 17 5 2 20 0 15 0 72130764 11176083456 208385 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10914144 memory=833540 CPUtime=2.69 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 10424 13191 0 0 246 16 5 2 20 0 15 0 72130764 11176083456 208385 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10914144 memory=833540 CPUtime=2.05 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 13605 13191 0 0 184 14 5 2 20 0 15 0 72130766 11176083456 208385 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10914144 memory=833540 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 23 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208385 33554432000 4194304 4196468 140731300269216 140342888228192 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10914144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 20 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208385 33554432000 4194304 4196468 140731300269216 140342284248704 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10914144 memory=833540 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208385 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10914144 memory=833540 CPUtime=6.86 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 48472 13191 0 0 674 5 5 2 20 0 15 0 72130769 11176083456 208385 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10914144 memory=833540 CPUtime=5.7 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 27873 13191 0 0 559 4 5 2 20 0 15 0 72130769 11176083456 208385 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10914144 memory=833540 CPUtime=2.3 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 32471 13191 0 0 219 4 5 2 20 0 15 0 72130769 11176083456 208385 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10914144 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208385 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10914144 memory=833540 CPUtime=1.45 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1807 13191 0 0 69 69 5 2 20 0 15 0 72130770 11176083456 208385 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 2465.46 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 833540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.7 s]
/proc/loadavg: 1.62 1.50 1.42 3/215 32555
/proc/meminfo: memFree=11784192/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=10914144 memory=833588 CPUtime=2520.03 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 267903 13191 0 0 251813 183 5 2 20 0 15 0 72130755 11176083456 208397 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2728536 208397 3526 1 0 2690189 0
[pid=32158/tid=32211] ppid=32155 vsize=10914144 memory=833588 CPUtime=2491.13 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 84128 13191 0 0 249064 42 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343411369728 140343057996315 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.75 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 12809 13191 0 0 252 16 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.74 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 17928 13191 0 0 249 18 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.74 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 15649 13191 0 0 250 17 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.75 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 10701 13191 0 0 251 17 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.1 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 13803 13191 0 0 189 14 5 2 20 0 15 0 72130766 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10914144 memory=833588 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 23 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342888228192 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10914144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 20 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342284248704 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10914144 memory=640 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10914144 memory=952 CPUtime=6.86 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 48475 13191 0 0 674 5 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10914144 memory=4612 CPUtime=5.7 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 27875 13191 0 0 559 4 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10914144 memory=1012 CPUtime=2.3 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 32473 13191 0 0 219 4 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10914144 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10914144 memory=21696 CPUtime=1.48 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1825 13191 0 0 71 70 5 2 20 0 15 0 72130770 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 833588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.74 s]
# the end of solver process 32158 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.21 s, system=1.86843 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.7 s]
/proc/loadavg: 1.62 1.50 1.42 3/215 32555
/proc/meminfo: memFree=11784192/32770624 swapFree=67108860/67108860
[pid=32158] ppid=32155 vsize=10914144 memory=833588 CPUtime=2520.03 cores=0,2,4,6
/proc/32158/stat : 32158 (java) S 32155 32158 31421 0 -1 1077944320 267903 13191 0 0 251813 183 5 2 20 0 15 0 72130755 11176083456 208397 33554432000 4194304 4196468 140731300269216 140731300251760 140343439535863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
/proc/32158/statm: 2728536 208397 3526 1 0 2690189 0
[pid=32158/tid=32211] ppid=32155 vsize=10914144 memory=833588 CPUtime=2491.13 cores=0,2,4,6
/proc/32158/task/32211/stat : 32211 (java) R 32155 32158 31421 0 -1 4202560 84128 13191 0 0 249064 42 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343411369728 140343057996315 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32212] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.75 cores=0,2,4,6
/proc/32158/task/32212/stat : 32212 (java) S 32155 32158 31421 0 -1 1077944384 12809 13191 0 0 252 16 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343443777936 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32213] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.74 cores=0,2,4,6
/proc/32158/task/32213/stat : 32213 (java) S 32155 32158 31421 0 -1 1077944384 17928 13191 0 0 249 18 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343012677904 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32214] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.74 cores=0,2,4,6
/proc/32158/task/32214/stat : 32214 (java) S 32155 32158 31421 0 -1 1077944384 15649 13191 0 0 250 17 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343011625616 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32215] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.75 cores=0,2,4,6
/proc/32158/task/32215/stat : 32215 (java) S 32155 32158 31421 0 -1 1077944384 10701 13191 0 0 251 17 5 2 20 0 15 0 72130764 11176083456 208397 33554432000 4194304 4196468 140731300269216 140343010572816 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32216] ppid=32155 vsize=10914144 memory=833588 CPUtime=2.1 cores=0,2,4,6
/proc/32158/task/32216/stat : 32216 (java) S 32155 32158 31421 0 -1 1077944384 13803 13191 0 0 189 14 5 2 20 0 15 0 72130766 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342966131312 140343439547010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32217] ppid=32155 vsize=10914144 memory=833588 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32217/stat : 32217 (java) S 32155 32158 31421 0 -1 1077944384 23 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342888228192 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32218] ppid=32155 vsize=10914144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32218/stat : 32218 (java) S 32155 32158 31421 0 -1 1077944384 20 13191 0 0 0 0 5 2 20 0 15 0 72130766 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342284248704 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32219] ppid=32155 vsize=10914144 memory=640 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32219/stat : 32219 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140341976848976 140343439554459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32220] ppid=32155 vsize=10914144 memory=952 CPUtime=6.86 cores=0,2,4,6
/proc/32158/task/32220/stat : 32220 (java) S 32155 32158 31421 0 -1 1077944384 48475 13191 0 0 674 5 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342965078128 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32221] ppid=32155 vsize=10914144 memory=4612 CPUtime=5.7 cores=0,2,4,6
/proc/32158/task/32221/stat : 32221 (java) S 32155 32158 31421 0 -1 1077944384 27875 13191 0 0 559 4 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342964025328 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32222] ppid=32155 vsize=10914144 memory=1012 CPUtime=2.3 cores=0,2,4,6
/proc/32158/task/32222/stat : 32222 (java) S 32155 32158 31421 0 -1 1077944384 32473 13191 0 0 219 4 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342962973040 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32223] ppid=32155 vsize=10914144 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/32158/task/32223/stat : 32223 (java) S 32155 32158 31421 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 72130769 11176083456 208397 33554432000 4194304 4196468 140731300269216 140341943290336 140343439546069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
[pid=32158/tid=32224] ppid=32155 vsize=10914144 memory=21696 CPUtime=1.48 cores=0,2,4,6
/proc/32158/task/32224/stat : 32224 (java) S 32155 32158 31421 0 -1 1077944384 1825 13191 0 0 71 70 5 2 20 0 15 0 72130770 11176083456 208397 33554432000 4194304 4196468 140731300269216 140342961920944 140343439547010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140731300276396 140731300279644 140731300279644 140731300282319 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 833588 KiB
Child status: 143
Real time (s): 2496.74
CPU time (s): 2520.08
CPU user time (s): 2518.21
CPU system time (s): 1.86843
CPU usage (%): 100.935
Max. virtual memory (cumulated for all children) (KiB): 10916784
Max. memory (cumulated for all children) (KiB): 1403584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.21
system time used= 1.86843
maximum resident set size= 1405668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98681
involuntary context switches= 6270
# summary of solver processes directly reported to runsolver:
# pid: 32158
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.21
# total CPU system time (s): 1.86843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1618 second user time and 21.6254 second system time
The end