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 (900 MiB free)
memory of node 1: 16384 MiB (1559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402573-1568970133/watcher-4402573-1568970133 -o /var/tmp/evaluation-result-4402573-1568970133/solver-4402573-1568970133 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29899 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4402573-1568970133.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31276, runsolver pid=31273
[startup+0.105542 s]*
/proc/loadavg: 1.46 1.45 1.38 3/221 31333
/proc/meminfo: memFree=2509628/32770624 swapFree=66997140/67108860
[pid=31276] ppid=31273 vsize=10055356 memory=19908 CPUtime=0.09 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 4684 13095 0 0 2 0 5 2 20 0 7 0 472951657 10296684544 4977 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2513839 4977 2063 1 0 2502277 0
[pid=31276/tid=31329] ppid=31273 vsize=10055356 memory=4279135704047060624 CPUtime=0.08 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 2472 13095 0 0 1 0 5 2 20 0 7 0 472951666 10296684544 4977 33554432000 4194304 4196468 140730735084352 140704863152912 140704891331741 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 7 0 472951667 10296684544 4977 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10055356 memory=140588649158272 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 7 0 472951667 10296684544 4977 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 7 0 472951667 10296684544 4977 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 7 0 472951667 10296684544 4977 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10055356 memory=140588649158272 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 7 0 472951668 10296684544 4977 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19908 KiB
[startup+0.210141 s]*
/proc/loadavg: 1.46 1.45 1.38 3/230 31342
/proc/meminfo: memFree=2493792/32770624 swapFree=66997140/67108860
[pid=31276] ppid=31273 vsize=10820196 memory=41684 CPUtime=0.27 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 7385 13095 0 0 18 2 5 2 20 0 15 0 472951657 11079880704 10421 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2705049 10421 3295 1 0 2667149 0
[pid=31276/tid=31329] ppid=31273 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 3884 13095 0 0 11 1 5 2 20 0 15 0 472951666 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704863120848 140704891331741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10820196 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10820196 memory=4122403436585162400 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10820196 memory=140588649158272 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951668 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 13 13095 0 0 0 0 5 2 20 0 15 0 472951669 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704336569888 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951669 11079880704 10421 33554432000 4194304 4196468 140730735084352 140703732589936 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11079880704 10421 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) S 31273 31276 29867 0 -1 1077944384 500 13095 0 0 1 0 5 2 20 0 15 0 472951672 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704416926064 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) R 31273 31276 29867 0 -1 4202560 173 13095 0 0 1 0 5 2 20 0 15 0 472951672 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704415873560 140704872487688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10820196 memory=140588649158272 CPUtime=0.1 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) S 31273 31276 29867 0 -1 1077944384 596 13095 0 0 3 0 5 2 20 0 15 0 472951672 11079880704 10421 33554432000 4194304 4196468 140730735084352 140704414820464 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11079880704 10421 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10820196 memory=140588649158272 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951672 11079880704 10487 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41684 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.46 1.45 1.38 4/230 31342
/proc/meminfo: memFree=2480488/32770624 swapFree=66997140/67108860
[pid=31276] ppid=31273 vsize=10820196 memory=50280 CPUtime=0.39 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 10767 13095 0 0 29 3 5 2 20 0 15 0 472951657 11079880704 12570 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2705049 12570 3320 1 0 2667149 0
[pid=31276/tid=31329] ppid=31273 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 7243 13095 0 0 19 2 5 2 20 0 15 0 472951666 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704863122480 140704877498405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951668 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 13 13095 0 0 0 0 5 2 20 0 15 0 472951669 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704336569888 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951669 11079880704 12570 33554432000 4194304 4196468 140730735084352 140703732589936 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11079880704 12570 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) S 31273 31276 29867 0 -1 1077944384 500 13095 0 0 2 0 5 2 20 0 15 0 472951672 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704416926064 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) S 31273 31276 29867 0 -1 1077944384 174 13095 0 0 2 0 5 2 20 0 15 0 472951672 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704415873264 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10820196 memory=140588649158272 CPUtime=0.12 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) S 31273 31276 29867 0 -1 1077944384 617 13095 0 0 5 0 5 2 20 0 15 0 472951672 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704414820464 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11079880704 12570 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10820196 memory=140588649158272 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951672 11079880704 12570 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50280 KiB
[startup+0.700747 s]
/proc/loadavg: 1.46 1.45 1.38 3/230 31342
/proc/meminfo: memFree=2465328/32770624 swapFree=66997140/67108860
[pid=31276] ppid=31273 vsize=10824364 memory=83848 CPUtime=1.15 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 15169 13095 0 0 102 6 5 2 20 0 15 0 472951657 11084148736 20962 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2706091 20962 3503 1 0 2668173 0
[pid=31276/tid=31329] ppid=31273 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 10489 13095 0 0 55 4 5 2 20 0 15 0 472951666 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704863136976 140704891321750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951667 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951667 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10824364 memory=140591459467864 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 5 13095 0 0 0 0 5 2 20 0 15 0 472951668 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10824364 memory=140591459467865 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 13 13095 0 0 0 0 5 2 20 0 15 0 472951669 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704336569888 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10824364 memory=140591459467866 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951669 11084148736 20962 33554432000 4194304 4196468 140730735084352 140703732589936 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10824364 memory=140591459467868 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11084148736 20962 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10824364 memory=140591459467874 CPUtime=0.24 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) R 31273 31276 29867 0 -1 4202560 1025 13095 0 0 17 0 5 2 20 0 15 0 472951672 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704416915056 140704872829490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10824364 memory=140591459467879 CPUtime=0.19 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) S 31273 31276 29867 0 -1 1077944384 617 13095 0 0 12 0 5 2 20 0 15 0 472951672 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704415873264 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10824364 memory=143181324747405 CPUtime=0.24 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) R 31273 31276 29867 0 -1 1077944384 802 13095 0 0 17 0 5 2 20 0 15 0 472951672 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704414820464 140704891320962 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10824364 memory=14060 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11084148736 20962 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10824364 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951672 11084148736 20962 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83848 KiB
[startup+1.50065 s]
/proc/loadavg: 1.46 1.45 1.38 3/230 31342
/proc/meminfo: memFree=2422700/32770624 swapFree=66997140/67108860
[pid=31276] ppid=31273 vsize=10834680 memory=169644 CPUtime=2.47 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 21842 13095 0 0 230 10 5 2 20 0 15 0 472951657 11094712320 42411 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2708670 42411 3576 1 0 2670733 0
[pid=31276/tid=31329] ppid=31273 vsize=10834680 memory=113060 CPUtime=1.43 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 15365 13095 0 0 130 6 5 2 20 0 15 0 472951666 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704863109408 140704891321750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 377 13095 0 0 1 0 5 2 20 0 15 0 472951667 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10834680 memory=-7880843606118635149 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 95 13095 0 0 0 0 5 2 20 0 15 0 472951667 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10834680 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 53 13095 0 0 1 0 5 2 20 0 15 0 472951667 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10834680 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 28 13095 0 0 1 0 5 2 20 0 15 0 472951667 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10834680 memory=281177013554160 CPUtime=0.08 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 170 13095 0 0 1 0 5 2 20 0 15 0 472951668 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10834680 memory=2129104 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 13 13095 0 0 0 0 5 2 20 0 15 0 472951669 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704336569952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10834680 memory=2140628 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 2 13095 0 0 0 0 5 2 20 0 15 0 472951669 11094712320 42411 33554432000 4194304 4196468 140730735084352 140703732589936 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11094712320 42411 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10834680 memory=321013415753841610 CPUtime=0.36 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) R 31273 31276 29867 0 -1 1077944384 1229 13095 0 0 29 0 5 2 20 0 15 0 472951672 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704416926064 140704891320962 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10834680 memory=288287796528194599 CPUtime=0.29 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) S 31273 31276 29867 0 -1 1077944384 790 13095 0 0 22 0 5 2 20 0 15 0 472951672 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704415873264 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10834680 memory=6656426216303648864 CPUtime=0.49 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) R 31273 31276 29867 0 -1 4202560 1510 13095 0 0 41 1 5 2 20 0 15 0 472951672 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704414820464 140704871120791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10834680 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11094712320 42411 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1 13095 0 0 0 0 5 2 20 0 15 0 472951672 11094712320 42411 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
################
# More data... #
################
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 531354 13095 1 0 235833 173 5 2 20 0 15 0 472951666 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704863144928 140704491717967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10851096 memory=2889608 CPUtime=12.79 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 44303 13095 0 0 1190 82 5 2 20 0 15 0 472951667 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10851096 memory=2889608 CPUtime=12.8 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 45875 13095 0 0 1192 81 5 2 20 0 15 0 472951667 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10851096 memory=2912240 CPUtime=12.81 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 46533 13095 0 0 1192 82 5 2 20 0 15 0 472951667 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10851096 memory=2889608 CPUtime=12.83 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 46687 13095 0 0 1192 84 5 2 20 0 15 0 472951667 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10851096 memory=281177014447456 CPUtime=6.89 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 27719 13095 0 0 600 82 5 2 20 0 15 0 472951668 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10851096 memory=2932720 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 24 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704336569952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10851096 memory=2936852 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 17 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 734213 33554432000 4194304 4196468 140730735084352 140703732589952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10851096 memory=2862936 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 734213 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10851096 memory=2887560 CPUtime=5.59 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) S 31273 31276 29867 0 -1 1077944384 31466 13095 0 0 546 6 5 2 20 0 15 0 472951672 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704416926064 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10851096 memory=0 CPUtime=5.27 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) S 31273 31276 29867 0 -1 1077944384 35282 13095 0 0 513 7 5 2 20 0 15 0 472951672 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704415873264 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10851096 memory=2932720 CPUtime=5.58 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) S 31273 31276 29867 0 -1 1077944384 49592 13095 0 0 543 8 5 2 20 0 15 0 472951672 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704414820464 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10851096 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 734213 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10851096 memory=6791534058613427641 CPUtime=1.4 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1082 13095 0 0 61 72 5 2 20 0 15 0 472951672 11111522304 734213 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 2435.58 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 2936852 KiB
[startup+2442.3 s]
/proc/loadavg: 1.48 1.48 1.43 3/229 31949
/proc/meminfo: memFree=1209948/32770624 swapFree=66997144/67108860
[pid=31276] ppid=31273 vsize=10851096 memory=3111008 CPUtime=2495.67 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 918308 13095 1 0 248923 637 5 2 20 0 15 0 472951657 11111522304 777752 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2712774 777752 3643 1 0 2674829 0
[pid=31276/tid=31329] ppid=31273 vsize=10851096 memory=3092224 CPUtime=2420.09 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 586726 13095 1 0 241823 179 5 2 20 0 15 0 472951666 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704863144928 140704504426157 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10851096 memory=3090136 CPUtime=12.8 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 44396 13095 0 0 1191 82 5 2 20 0 15 0 472951667 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10851096 memory=2998608 CPUtime=12.82 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 45914 13095 0 0 1193 82 5 2 20 0 15 0 472951667 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10851096 memory=3068040 CPUtime=12.83 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 46559 13095 0 0 1193 83 5 2 20 0 15 0 472951667 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10851096 memory=3090136 CPUtime=12.86 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 47000 13095 0 0 1194 85 5 2 20 0 15 0 472951667 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10851096 memory=3090136 CPUtime=6.9 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 28014 13095 0 0 601 82 5 2 20 0 15 0 472951668 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10851096 memory=3092224 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 24 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704336569952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10851096 memory=3111008 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 17 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 777752 33554432000 4194304 4196468 140730735084352 140703732589952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10851096 memory=3069656 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 777752 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10851096 memory=3092224 CPUtime=5.59 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) S 31273 31276 29867 0 -1 1077944384 31469 13095 0 0 546 6 5 2 20 0 15 0 472951672 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704416926064 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10851096 memory=3111008 CPUtime=5.27 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) S 31273 31276 29867 0 -1 1077944384 35284 13095 0 0 513 7 5 2 20 0 15 0 472951672 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704415873264 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10851096 memory=3111008 CPUtime=5.58 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) S 31273 31276 29867 0 -1 1077944384 49594 13095 0 0 543 8 5 2 20 0 15 0 472951672 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704414820464 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10851096 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 777752 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10851096 memory=3092224 CPUtime=1.43 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1102 13095 0 0 62 74 5 2 20 0 15 0 472951672 11111522304 777752 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 2495.67 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 3111008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.7 s]
/proc/loadavg: 1.53 1.49 1.44 3/228 31950
/proc/meminfo: memFree=1127560/32770624 swapFree=66997144/67108860
[pid=31276] ppid=31273 vsize=10851096 memory=3152244 CPUtime=2520.09 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 953930 13095 1 0 251362 640 5 2 20 0 15 0 472951657 11111522304 788061 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2712774 788061 3643 1 0 2674829 0
[pid=31276/tid=31329] ppid=31273 vsize=10851096 memory=3152244 CPUtime=2444.48 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 622255 13095 1 0 244259 182 5 2 20 0 15 0 472951666 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704863145040 140704873830835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10851096 memory=3152244 CPUtime=12.82 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 44409 13095 0 0 1192 83 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10851096 memory=3111008 CPUtime=12.83 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 45937 13095 0 0 1194 82 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10851096 memory=3624 CPUtime=12.83 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 46575 13095 0 0 1193 83 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10851096 memory=3150160 CPUtime=12.86 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 47017 13095 0 0 1194 85 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10851096 memory=3152244 CPUtime=6.91 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 28036 13095 0 0 602 82 5 2 20 0 15 0 472951668 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10851096 memory=3152244 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 24 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704336569952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10851096 memory=3152244 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 17 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 788061 33554432000 4194304 4196468 140730735084352 140703732589952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10851096 memory=3152244 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10851096 memory=3152244 CPUtime=5.59 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) S 31273 31276 29867 0 -1 1077944384 31469 13095 0 0 546 6 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704416926064 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10851096 memory=2438272 CPUtime=5.27 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) S 31273 31276 29867 0 -1 1077944384 35284 13095 0 0 513 7 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704415873264 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10851096 memory=3133736 CPUtime=5.58 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) S 31273 31276 29867 0 -1 1077944384 49594 13095 0 0 543 8 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704414820464 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10851096 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10851096 memory=10596 CPUtime=1.45 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1104 13095 0 0 63 75 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 3152244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.75 s]
# the end of solver process 31276 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.7 s, system=6.46549 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.7 s]
/proc/loadavg: 1.53 1.49 1.44 3/228 31950
/proc/meminfo: memFree=1127560/32770624 swapFree=66997144/67108860
[pid=31276] ppid=31273 vsize=10851096 memory=3152244 CPUtime=2520.09 cores=1,3,5,7
/proc/31276/stat : 31276 (java) S 31273 31276 29867 0 -1 1077944320 953930 13095 1 0 251362 640 5 2 20 0 15 0 472951657 11111522304 788061 33554432000 4194304 4196468 140730735084352 140730735066896 140704891309815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
/proc/31276/statm: 2712774 788061 3643 1 0 2674829 0
[pid=31276/tid=31329] ppid=31273 vsize=10851096 memory=3152244 CPUtime=2444.48 cores=1,3,5,7
/proc/31276/task/31329/stat : 31329 (java) R 31273 31276 29867 0 -1 4202560 622255 13095 1 0 244259 182 5 2 20 0 15 0 472951666 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704863145040 140704873830835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31330] ppid=31273 vsize=10851096 memory=3152244 CPUtime=12.82 cores=1,3,5,7
/proc/31276/task/31330/stat : 31330 (java) S 31273 31276 29867 0 -1 1077944384 44409 13095 0 0 1192 83 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704895552144 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31331] ppid=31273 vsize=10851096 memory=3111008 CPUtime=12.83 cores=1,3,5,7
/proc/31276/task/31331/stat : 31331 (java) S 31273 31276 29867 0 -1 1077944384 45937 13095 0 0 1194 82 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704810371600 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31332] ppid=31273 vsize=10851096 memory=3624 CPUtime=12.83 cores=1,3,5,7
/proc/31276/task/31332/stat : 31332 (java) S 31273 31276 29867 0 -1 1077944384 46575 13095 0 0 1193 83 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704809318800 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31333] ppid=31273 vsize=10851096 memory=3150160 CPUtime=12.86 cores=1,3,5,7
/proc/31276/task/31333/stat : 31333 (java) S 31273 31276 29867 0 -1 1077944384 47017 13095 0 0 1194 85 5 2 20 0 15 0 472951667 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704808266000 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31334] ppid=31273 vsize=10851096 memory=3152244 CPUtime=6.91 cores=1,3,5,7
/proc/31276/task/31334/stat : 31334 (java) S 31273 31276 29867 0 -1 1077944384 28036 13095 0 0 602 82 5 2 20 0 15 0 472951668 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704417979248 140704891320962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31335] ppid=31273 vsize=10851096 memory=3152244 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31335/stat : 31335 (java) S 31273 31276 29867 0 -1 1077944384 24 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704336569952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31336] ppid=31273 vsize=10851096 memory=3152244 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31336/stat : 31336 (java) S 31273 31276 29867 0 -1 1077944384 17 13095 0 0 0 0 5 2 20 0 15 0 472951669 11111522304 788061 33554432000 4194304 4196468 140730735084352 140703732589952 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31337] ppid=31273 vsize=10851096 memory=3152244 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31337/stat : 31337 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140703425190224 140704891328411 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31338] ppid=31273 vsize=10851096 memory=3152244 CPUtime=5.59 cores=1,3,5,7
/proc/31276/task/31338/stat : 31338 (java) S 31273 31276 29867 0 -1 1077944384 31469 13095 0 0 546 6 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704416926064 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31339] ppid=31273 vsize=10851096 memory=2438272 CPUtime=5.27 cores=1,3,5,7
/proc/31276/task/31339/stat : 31339 (java) S 31273 31276 29867 0 -1 1077944384 35284 13095 0 0 513 7 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704415873264 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31340] ppid=31273 vsize=10851096 memory=3133736 CPUtime=5.58 cores=1,3,5,7
/proc/31276/task/31340/stat : 31340 (java) S 31273 31276 29867 0 -1 1077944384 49594 13095 0 0 543 8 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704414820464 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31341] ppid=31273 vsize=10851096 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/31276/task/31341/stat : 31341 (java) S 31273 31276 29867 0 -1 1077944384 3 13095 0 0 0 0 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140703391631584 140704891320021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
[pid=31276/tid=31342] ppid=31273 vsize=10851096 memory=10596 CPUtime=1.45 cores=1,3,5,7
/proc/31276/task/31342/stat : 31342 (java) S 31273 31276 29867 0 -1 1077944384 1104 13095 0 0 63 75 5 2 20 0 15 0 472951672 11111522304 788061 33554432000 4194304 4196468 140730735084352 140704413768880 140704891320962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 21897216 140730735086179 140730735088821 140730735088821 140730735091663 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 3152244 KiB
Child status: 143
Real time (s): 2466.75
CPU time (s): 2520.17
CPU user time (s): 2513.7
CPU system time (s): 6.46549
CPU usage (%): 102.166
Max. virtual memory (cumulated for all children) (KiB): 10851964
Max. memory (cumulated for all children) (KiB): 3152244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.7
system time used= 6.46549
maximum resident set size= 3156592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 968023
page faults= 1
swaps= 0
block input operations= 232
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205461
involuntary context switches= 8940
# summary of solver processes directly reported to runsolver:
# pid: 31276
# total CPU time (s): 2520.17
# total CPU user time (s): 2513.7
# total CPU system time (s): 6.46549
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8779 second user time and 23.2477 second system time
The end