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 (14392 MiB free)
memory of node 1: 16384 MiB (15334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401177-1568689560/watcher-4401177-1568689560 -o /tmp/evaluation-result-4401177-1568689560/solver-4401177-1568689560 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5872 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1989346547 HOME/instance-4401177-1568689560.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
solver pid=10579, runsolver pid=10576
Current StackSize limit: 8192 KiB
[startup+0.100438 s]*
/proc/loadavg: 1.35 1.41 1.41 3/220 10636
/proc/meminfo: memFree=30433240/32770624 swapFree=66939700/67108860
[pid=10579] ppid=10576 vsize=9972712 memory=18864 CPUtime=0.09 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 4481 13171 0 0 1 0 5 3 20 0 6 0 445214240 10212057088 4716 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2493178 4716 1935 1 0 2481616 0
[pid=10579/tid=10632] ppid=10576 vsize=9972712 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 2304 13171 0 0 1 0 5 3 20 0 6 0 445214249 10212057088 4781 33554432000 4194304 4196468 140722816562160 140187118150224 140187131625465 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 6 0 445214250 10212057088 4781 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=9972712 memory=140111798728320 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 6 0 445214250 10212057088 4781 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 6 0 445214250 10212057088 4781 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 6 0 445214250 10212057088 4781 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB
[startup+0.210042 s]*
/proc/loadavg: 1.35 1.41 1.41 4/229 10645
/proc/meminfo: memFree=30413560/32770624 swapFree=66939700/67108860
[pid=10579] ppid=10576 vsize=10820196 memory=43840 CPUtime=0.27 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 7291 13171 0 0 18 1 5 3 20 0 15 0 445214240 11079880704 10960 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2705049 10960 3281 1 0 2667149 0
[pid=10579/tid=10632] ppid=10576 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 3792 13171 0 0 11 0 5 3 20 0 15 0 445214249 11079880704 11091 33554432000 4194304 4196468 140722816562160 140187118138008 140187146335389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10820196 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 11091 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10820196 memory=140111801879698 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 11091 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 11091 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 11091 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10820196 memory=140111798728320 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 445214251 11079880704 11091 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 13 13171 0 0 0 0 5 3 20 0 15 0 445214252 11079880704 11091 33554432000 4194304 4196468 140722816562160 140186457465760 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214252 11079880704 11091 33554432000 4194304 4196468 140722816562160 140185987703792 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11079880704 11091 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 5840 0 -1 1077944384 595 13171 0 0 1 0 5 3 20 0 15 0 445214255 11079880704 11091 33554432000 4194304 4196468 140722816562160 140186671880688 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 5840 0 -1 1077944384 67 13171 0 0 1 0 5 3 20 0 15 0 445214255 11079880704 11091 33554432000 4194304 4196468 140722816562160 140186670828144 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10820196 memory=140111798728320 CPUtime=0.11 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) S 10576 10579 5840 0 -1 1077944384 611 13171 0 0 3 0 5 3 20 0 15 0 445214255 11079880704 11091 33554432000 4194304 4196468 140722816562160 140186669775600 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11079880704 11091 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10820196 memory=140111798728320 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214255 11079880704 11091 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 43840 KiB
[startup+0.31074 s]*
/proc/loadavg: 1.35 1.41 1.41 4/229 10645
/proc/meminfo: memFree=30400644/32770624 swapFree=66939700/67108860
[pid=10579] ppid=10576 vsize=10820196 memory=52712 CPUtime=0.41 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 10801 13171 0 0 30 3 5 3 20 0 15 0 445214240 11079880704 13178 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2705049 13178 3342 1 0 2667149 0
[pid=10579/tid=10632] ppid=10576 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 7276 13171 0 0 19 2 5 3 20 0 15 0 445214249 11079880704 13178 33554432000 4194304 4196468 140722816562160 140187118133280 140187146335389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 13178 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 13178 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 13178 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 445214250 11079880704 13178 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 445214251 11079880704 13178 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 13 13171 0 0 0 0 5 3 20 0 15 0 445214252 11079880704 13178 33554432000 4194304 4196468 140722816562160 140186457465760 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214252 11079880704 13178 33554432000 4194304 4196468 140722816562160 140185987703792 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11079880704 13178 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 5840 0 -1 1077944384 596 13171 0 0 2 0 5 3 20 0 15 0 445214255 11079880704 13178 33554432000 4194304 4196468 140722816562160 140186671880688 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 5840 0 -1 1077944384 67 13171 0 0 1 0 5 3 20 0 15 0 445214255 11079880704 13178 33554432000 4194304 4196468 140722816562160 140186670828144 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10820196 memory=140111798728320 CPUtime=0.13 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) R 10576 10579 5840 0 -1 1077944384 629 13171 0 0 5 0 5 3 20 0 15 0 445214255 11079880704 13178 33554432000 4194304 4196468 140722816562160 140186669775600 140187146324610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11079880704 13178 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10820196 memory=140111798728320 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214255 11079880704 13178 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52712 KiB
[startup+0.701138 s]
/proc/loadavg: 1.35 1.41 1.41 3/229 10645
/proc/meminfo: memFree=30385756/32770624 swapFree=66939700/67108860
[pid=10579] ppid=10576 vsize=10824364 memory=85528 CPUtime=1.12 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 15121 13171 0 0 100 4 5 3 20 0 15 0 445214240 11084148736 21382 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2706091 21382 3513 1 0 2668173 0
[pid=10579/tid=10632] ppid=10576 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 1077944384 10508 13171 0 0 56 3 5 3 20 0 15 0 445214249 11084148736 21382 33554432000 4194304 4196468 140722816562160 140187118140416 140187146335485 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11084148736 21382 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11084148736 21382 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10824364 memory=140111698342096 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214250 11084148736 21382 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10824364 memory=140114718098025 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 445214250 11084148736 21382 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10824364 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 6 13171 0 0 0 0 5 3 20 0 15 0 445214251 11084148736 21382 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 13 13171 0 0 0 0 5 3 20 0 15 0 445214252 11084148736 21382 33554432000 4194304 4196468 140722816562160 140186457465760 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10824364 memory=7668336402788537453 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214252 11084148736 21382 33554432000 4194304 4196468 140722816562160 140185987703792 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10824364 memory=14056 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11084148736 21382 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10824364 memory=2116 CPUtime=0.2 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) R 10576 10579 5840 0 -1 4202560 1027 13171 0 0 12 0 5 3 20 0 15 0 445214255 11084148736 21382 33554432000 4194304 4196468 140722816562160 140186671880688 140187127836400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10824364 memory=516 CPUtime=0.21 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) R 10576 10579 5840 0 -1 4202560 500 13171 0 0 13 0 5 3 20 0 15 0 445214255 11084148736 21382 33554432000 4194304 4196468 140722816562160 140186670828144 140187131235245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10824364 memory=1556 CPUtime=0.25 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) S 10576 10579 5840 0 -1 1077944384 850 13171 0 0 17 0 5 3 20 0 15 0 445214255 11084148736 21382 33554432000 4194304 4196468 140722816562160 140186669775600 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10824364 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11084148736 21382 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10824364 memory=1772 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214255 11084148736 21382 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85528 KiB
[startup+1.50066 s]
/proc/loadavg: 1.35 1.41 1.41 4/229 10645
/proc/meminfo: memFree=30339292/32770624 swapFree=66939700/67108860
[pid=10579] ppid=10576 vsize=10834680 memory=174624 CPUtime=2.53 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 22092 13171 0 0 236 9 5 3 20 0 15 0 445214240 11094712320 43656 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2708670 43656 3577 1 0 2670733 0
[pid=10579/tid=10632] ppid=10576 vsize=10834680 memory=171188 CPUtime=1.44 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 15360 13171 0 0 131 5 5 3 20 0 15 0 445214249 11094712320 43656 33554432000 4194304 4196468 140722816562160 140187118113952 140187130393950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10834680 memory=2436 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 348 13171 0 0 1 0 5 3 20 0 15 0 445214250 11094712320 43656 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10834680 memory=1760 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 70 13171 0 0 1 0 5 3 20 0 15 0 445214250 11094712320 43656 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 54 13171 0 0 0 0 5 3 20 0 15 0 445214250 11094712320 43656 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10834680 memory=-7303279828959712342 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 33 13171 0 0 1 0 5 3 20 0 15 0 445214250 11094712320 43656 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10834680 memory=3833724587141655611 CPUtime=0.09 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 131 13171 0 0 1 0 5 3 20 0 15 0 445214251 11094712320 43656 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10834680 memory=-6870368076204431200 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 14 13171 0 0 0 0 5 3 20 0 15 0 445214252 11094712320 43656 33554432000 4194304 4196468 140722816562160 140186457465824 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10834680 memory=-6078294146213043397 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214252 11094712320 43656 33554432000 4194304 4196468 140722816562160 140185987703808 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11094712320 43656 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10834680 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 5840 0 -1 1077944384 1281 13171 0 0 26 0 5 3 20 0 15 0 445214255 11094712320 43656 33554432000 4194304 4196468 140722816562160 140186671880688 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10834680 memory=4580 CPUtime=0.37 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 5840 0 -1 1077944384 926 13171 0 0 29 0 5 3 20 0 15 0 445214255 11094712320 43656 33554432000 4194304 4196468 140722816562160 140186670828144 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10834680 memory=7302988467117778002 CPUtime=0.49 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) R 10576 10579 5840 0 -1 4202560 1663 13171 0 0 41 0 5 3 20 0 15 0 445214255 11094712320 43656 33554432000 4194304 4196468 140722816562160 140186669775600 140187146325398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10834680 memory=5792262887537201238 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11094712320 43656 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10834680 memory=5865753149975129190 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 445214255 11094712320 43656 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 65332 13171 0 0 236006 44 5 3 20 0 15 0 445214249 11109425152 177280 33554432000 4194304 4196468 140722816562160 140187118148528 140186754266811 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10849048 memory=709120 CPUtime=10.43 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 12299 13171 0 0 982 53 5 3 20 0 15 0 445214250 11109425152 177280 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10849048 memory=709120 CPUtime=10.42 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 16844 13171 0 0 982 52 5 3 20 0 15 0 445214250 11109425152 177280 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10849048 memory=709120 CPUtime=10.38 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 9229 13171 0 0 979 51 5 3 20 0 15 0 445214250 11109425152 177280 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10849048 memory=709120 CPUtime=10.4 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 11509 13171 0 0 983 49 5 3 20 0 15 0 445214250 11109425152 177280 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10849048 memory=709120 CPUtime=9.31 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 12151 13171 0 0 871 52 5 3 20 0 15 0 445214251 11109425152 177280 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10849048 memory=1412 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 19 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 177280 33554432000 4194304 4196468 140722816562160 140186457465824 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10849048 memory=784 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 4 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 177280 33554432000 4194304 4196468 140722816562160 140185987703808 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10849048 memory=709120 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 177280 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10849048 memory=709120 CPUtime=6.36 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 5840 0 -1 1077944384 32565 13171 0 0 621 7 5 3 20 0 15 0 445214255 11109425152 177280 33554432000 4194304 4196468 140722816562160 140186671880688 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10849048 memory=709120 CPUtime=5.77 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 5840 0 -1 1077944384 30768 13171 0 0 563 6 5 3 20 0 15 0 445214255 11109425152 177280 33554432000 4194304 4196468 140722816562160 140186670828144 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10849048 memory=709120 CPUtime=5.26 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) S 10576 10579 5840 0 -1 1077944384 35124 13171 0 0 508 10 5 3 20 0 15 0 445214255 11109425152 177280 33554432000 4194304 4196468 140722816562160 140186669775600 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10849048 memory=709120 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 177280 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10849048 memory=6791534058613427641 CPUtime=1.33 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1348 13171 0 0 57 68 5 3 20 0 15 0 445214255 11109425152 177280 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 2429.61 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 709120 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.50 1.40 3/227 11017
/proc/meminfo: memFree=28395760/32770624 swapFree=66939720/67108860
[pid=10579] ppid=10576 vsize=10849048 memory=704500 CPUtime=2490.41 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 230406 13171 0 0 248690 343 5 3 20 0 15 0 445214240 11109425152 176125 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2712262 176125 3631 1 0 2674317 0
[pid=10579/tid=10632] ppid=10576 vsize=10849048 memory=704500 CPUtime=2420.03 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 65923 13171 0 0 241950 45 5 3 20 0 15 0 445214249 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187118148000 140186757009760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.7 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 12349 13171 0 0 1008 54 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.69 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 16872 13171 0 0 1008 53 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.65 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 9286 13171 0 0 1004 53 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.68 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 11737 13171 0 0 1009 51 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10849048 memory=704500 CPUtime=9.54 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 12189 13171 0 0 893 53 5 3 20 0 15 0 445214251 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10849048 memory=904 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 19 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186457465824 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10849048 memory=704500 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 4 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185987703808 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10849048 memory=704500 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10849048 memory=704500 CPUtime=6.36 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 5840 0 -1 1077944384 32567 13171 0 0 621 7 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186671880688 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10849048 memory=704500 CPUtime=5.77 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 5840 0 -1 1077944384 30771 13171 0 0 563 6 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186670828144 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10849048 memory=704500 CPUtime=5.26 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) S 10576 10579 5840 0 -1 1077944384 35126 13171 0 0 508 10 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186669775600 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10849048 memory=904 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10849048 memory=704500 CPUtime=1.36 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1352 13171 0 0 58 70 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 2490.41 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 704500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.5 s]
/proc/loadavg: 1.56 1.50 1.40 3/227 11020
/proc/meminfo: memFree=28290324/32770624 swapFree=66939720/67108860
[pid=10579] ppid=10576 vsize=10849048 memory=704500 CPUtime=2520.02 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 231062 13171 0 0 251648 346 5 3 20 0 15 0 445214240 11109425152 176125 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2712262 176125 3631 1 0 2674317 0
[pid=10579/tid=10632] ppid=10576 vsize=10849048 memory=704500 CPUtime=2448.97 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 66202 13171 0 0 244844 45 5 3 20 0 15 0 445214249 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187118146192 140186756532895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.83 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 12368 13171 0 0 1021 54 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.82 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 16914 13171 0 0 1021 53 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.78 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 9384 13171 0 0 1017 53 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.81 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 11748 13171 0 0 1022 51 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10849048 memory=7156589700748234836 CPUtime=9.66 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 12375 13171 0 0 904 54 5 3 20 0 15 0 445214251 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10849048 memory=280223397707168 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 19 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186457465824 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10849048 memory=704500 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 4 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185987703808 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10849048 memory=704500 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10849048 memory=784 CPUtime=6.36 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 5840 0 -1 1077944384 32569 13171 0 0 621 7 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186671880688 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10849048 memory=1060 CPUtime=5.77 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 5840 0 -1 1077944384 30773 13171 0 0 563 6 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186670828144 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10849048 memory=704500 CPUtime=5.26 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) S 10576 10579 5840 0 -1 1077944384 35128 13171 0 0 508 10 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186669775600 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10849048 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10849048 memory=707072 CPUtime=1.37 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1367 13171 0 0 59 70 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 704500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.53 s]
# the end of solver process 10579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.55 s, system=3.50329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.5 s]
/proc/loadavg: 1.56 1.50 1.40 3/227 11020
/proc/meminfo: memFree=28290324/32770624 swapFree=66939720/67108860
[pid=10579] ppid=10576 vsize=10849048 memory=704500 CPUtime=2520.02 cores=1,3,5,7
/proc/10579/stat : 10579 (java) S 10576 10579 5840 0 -1 1077944320 231062 13171 0 0 251648 346 5 3 20 0 15 0 445214240 11109425152 176125 33554432000 4194304 4196468 140722816562160 140722816544704 140187146313463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
/proc/10579/statm: 2712262 176125 3631 1 0 2674317 0
[pid=10579/tid=10632] ppid=10576 vsize=10849048 memory=704500 CPUtime=2448.97 cores=1,3,5,7
/proc/10579/task/10632/stat : 10632 (java) R 10576 10579 5840 0 -1 4202560 66202 13171 0 0 244844 45 5 3 20 0 15 0 445214249 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187118146192 140186756532895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10633] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.83 cores=1,3,5,7
/proc/10579/task/10633/stat : 10633 (java) S 10576 10579 5840 0 -1 1077944384 12368 13171 0 0 1021 54 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187150555920 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10634] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.82 cores=1,3,5,7
/proc/10579/task/10634/stat : 10634 (java) S 10576 10579 5840 0 -1 1077944384 16914 13171 0 0 1021 53 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187065375632 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10635] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.78 cores=1,3,5,7
/proc/10579/task/10635/stat : 10635 (java) S 10576 10579 5840 0 -1 1077944384 9384 13171 0 0 1017 53 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187064323088 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10636] ppid=10576 vsize=10849048 memory=704500 CPUtime=10.81 cores=1,3,5,7
/proc/10579/task/10636/stat : 10636 (java) S 10576 10579 5840 0 -1 1077944384 11748 13171 0 0 1022 51 5 3 20 0 15 0 445214250 11109425152 176125 33554432000 4194304 4196468 140722816562160 140187063270544 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10637] ppid=10576 vsize=10849048 memory=7156589700748234836 CPUtime=9.66 cores=1,3,5,7
/proc/10579/task/10637/stat : 10637 (java) S 10576 10579 5840 0 -1 1077944384 12375 13171 0 0 904 54 5 3 20 0 15 0 445214251 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186672932848 140187146324610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10638] ppid=10576 vsize=10849048 memory=280223397707168 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10638/stat : 10638 (java) S 10576 10579 5840 0 -1 1077944384 19 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186457465824 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10639] ppid=10576 vsize=10849048 memory=704500 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10639/stat : 10639 (java) S 10576 10579 5840 0 -1 1077944384 4 13171 0 0 0 0 5 3 20 0 15 0 445214252 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185987703808 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10640] ppid=10576 vsize=10849048 memory=704500 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10640/stat : 10640 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185680304336 140187146332059 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10641] ppid=10576 vsize=10849048 memory=784 CPUtime=6.36 cores=1,3,5,7
/proc/10579/task/10641/stat : 10641 (java) S 10576 10579 5840 0 -1 1077944384 32569 13171 0 0 621 7 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186671880688 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10642] ppid=10576 vsize=10849048 memory=1060 CPUtime=5.77 cores=1,3,5,7
/proc/10579/task/10642/stat : 10642 (java) S 10576 10579 5840 0 -1 1077944384 30773 13171 0 0 563 6 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186670828144 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10643] ppid=10576 vsize=10849048 memory=704500 CPUtime=5.26 cores=1,3,5,7
/proc/10579/task/10643/stat : 10643 (java) S 10576 10579 5840 0 -1 1077944384 35128 13171 0 0 508 10 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186669775600 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10644] ppid=10576 vsize=10849048 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/10579/task/10644/stat : 10644 (java) S 10576 10579 5840 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140185646746720 140187146323669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
[pid=10579/tid=10645] ppid=10576 vsize=10849048 memory=707072 CPUtime=1.37 cores=1,3,5,7
/proc/10579/task/10645/stat : 10645 (java) S 10576 10579 5840 0 -1 1077944384 1367 13171 0 0 59 70 5 3 20 0 15 0 445214255 11109425152 176125 33554432000 4194304 4196468 140722816562160 140186668722480 140187146324610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12910592 140722816568047 140722816570565 140722816570565 140722816573391 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 704500 KiB
Child status: 143
Real time (s): 2471.53
CPU time (s): 2520.06
CPU user time (s): 2516.55
CPU system time (s): 3.50329
CPU usage (%): 101.964
Max. virtual memory (cumulated for all children) (KiB): 10854928
Max. memory (cumulated for all children) (KiB): 824648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.55
system time used= 3.50329
maximum resident set size= 827532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270140
involuntary context switches= 5059
# summary of solver processes directly reported to runsolver:
# pid: 10579
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.55
# total CPU system time (s): 3.50329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5519 second user time and 22.9743 second system time
The end