2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	70	2520.09	2449.63
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 (7517 MiB free)
  memory of node 1: 16384 MiB (9026 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293057-1532306923/watcher-4293057-1532306923 -o /tmp/evaluation-result-4293057-1532306923/solver-4293057-1532306923 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1738742227 HOME/instance-4293057-1532306923.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9101, runsolver pid=9098


[startup+0.100134 s]*
/proc/loadavg: 1.57 1.46 1.43 3/206 9158
/proc/meminfo: memFree=16935924/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=9972712 memory=14912 CPUtime=0.08 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 4389 12955 0 0 1 0 5 2 20 0 6 0 48255444 10212057088 3728 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2493178 3728 1934 1 0 2481616 0
[pid=9101/tid=9154] ppid=9098 vsize=9972712 memory=-8960322420946026437 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 2227 12955 0 0 0 0 5 2 20 0 6 0 48255453 10212057088 3728 33554432000 4194304 4196468 140722355579696 139740158431824 139740170675550 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 6 0 48255454 10212057088 3728 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=9972712 memory=140228865013376 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 6 0 48255454 10212057088 3794 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 6 0 48255454 10212057088 3794 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 6 0 48255454 10212057088 3794 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14912 KiB

[startup+0.21004 s]*
/proc/loadavg: 1.57 1.46 1.43 3/215 9167
/proc/meminfo: memFree=16909948/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=10818904 memory=45400 CPUtime=0.25 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 7562 12955 0 0 16 2 5 2 20 0 15 0 48255444 11078557696 11350 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2704726 11350 2957 1 0 2667149 0
[pid=9101/tid=9154] ppid=9098 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 4244 12955 0 0 10 1 5 2 20 0 15 0 48255453 11078557696 11482 33554432000 4194304 4196468 140722355579696 139740158418488 139740166870812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10818904 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11078557696 11482 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10818904 memory=140228865022731 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11078557696 11482 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11078557696 11482 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255454 11078557696 11482 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10818904 memory=140228865013376 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255455 11078557696 11482 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 33 12955 0 0 0 0 5 2 20 0 15 0 48255456 11078557696 11548 33554432000 4194304 4196468 140722355579696 139739644544672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255456 11078557696 11548 33554432000 4194304 4196468 140722355579696 139739512431856 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11078557696 11548 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) S 9098 9101 7293 0 -1 1077944384 372 12955 0 0 1 0 5 2 20 0 15 0 48255459 11078557696 11548 33554432000 4194304 4196468 140722355579696 139739610986736 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) S 9098 9101 7293 0 -1 1077944384 263 12955 0 0 1 0 5 2 20 0 15 0 48255459 11078557696 11548 33554432000 4194304 4196468 140722355579696 139739609934192 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10818904 memory=140228865013376 CPUtime=0.1 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 599 12955 0 0 3 0 5 2 20 0 15 0 48255459 11078557696 11548 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11078557696 11548 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10818904 memory=140228865013376 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255459 11078557696 11548 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45400 KiB

[startup+0.310364 s]*
/proc/loadavg: 1.57 1.46 1.43 3/215 9167
/proc/meminfo: memFree=16897700/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=10819352 memory=57888 CPUtime=0.38 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 10476 12955 0 0 28 3 5 2 20 0 15 0 48255444 11079016448 14472 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2704838 14472 3102 1 0 2667149 0
[pid=9101/tid=9154] ppid=9098 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 6996 12955 0 0 19 2 5 2 20 0 15 0 48255453 11079016448 14472 33554432000 4194304 4196468 140722355579696 139740158407072 139740168158601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 14472 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 14472 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255455 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 33 12955 0 0 0 0 5 2 20 0 15 0 48255456 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739644544672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255456 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739512431856 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11079016448 14472 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) S 9098 9101 7293 0 -1 1077944384 375 12955 0 0 2 0 5 2 20 0 15 0 48255459 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739610986736 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) S 9098 9101 7293 0 -1 1077944384 267 12955 0 0 1 0 5 2 20 0 15 0 48255459 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739609934192 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10819352 memory=140228865013376 CPUtime=0.11 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 605 12955 0 0 4 0 5 2 20 0 15 0 48255459 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11079016448 14472 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10819352 memory=140228865013376 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255459 11079016448 14472 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57888 KiB

[startup+0.700797 s]
/proc/loadavg: 1.57 1.46 1.43 3/215 9167
/proc/meminfo: memFree=16886412/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=10819352 memory=90524 CPUtime=0.99 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 16775 12955 0 0 87 5 5 2 20 0 15 0 48255444 11079016448 22631 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2704838 22631 3238 1 0 2667149 0
[pid=9101/tid=9154] ppid=9098 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 12228 12955 0 0 55 4 5 2 20 0 15 0 48255453 11079016448 22631 33554432000 4194304 4196468 140722355579696 139740158418064 139740170675550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 22631 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 22631 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255454 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 5 12955 0 0 0 0 5 2 20 0 15 0 48255455 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10819352 memory=140228736201424 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 33 12955 0 0 0 0 5 2 20 0 15 0 48255456 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739644544672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10819352 memory=140230682215011 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255456 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739512431856 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10819352 memory=10416 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11079016448 22631 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10819352 memory=7234564758908855872 CPUtime=0.15 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) S 9098 9101 7293 0 -1 1077944384 761 12955 0 0 8 0 5 2 20 0 15 0 48255459 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739610986736 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10819352 memory=7597685182856913236 CPUtime=0.16 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) S 9098 9101 7293 0 -1 1077944384 866 12955 0 0 9 0 5 2 20 0 15 0 48255459 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739609934192 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10819352 memory=5787219346483269989 CPUtime=0.2 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 681 12955 0 0 13 0 5 2 20 0 15 0 48255459 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10819352 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11079016448 22631 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255459 11079016448 22631 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90524 KiB

[startup+1.50164 s]
/proc/loadavg: 1.57 1.46 1.43 4/215 9167
/proc/meminfo: memFree=16841072/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=10832204 memory=178676 CPUtime=3.03 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 24644 12955 0 0 287 9 5 2 20 0 15 0 48255444 11092176896 44669 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2708051 44669 3457 1 0 2669709 0
[pid=9101/tid=9154] ppid=9098 vsize=10832204 memory=12813 CPUtime=1.46 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 16778 12955 0 0 132 7 5 2 20 0 15 0 48255453 11092176896 44669 33554432000 4194304 4196468 140722355579696 139740158408360 139740186616989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10832204 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11092176896 44669 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11092176896 44669 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10832204 memory=123 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255454 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10832204 memory=90524 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255454 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 12 12955 0 0 0 0 5 2 20 0 15 0 48255455 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10832204 memory=280457472344560 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 33 12955 0 0 0 0 5 2 20 0 15 0 48255456 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739644544672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10832204 memory=280457472395360 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255456 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739512431856 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10832204 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11092176896 44669 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10832204 memory=4638778398332698720 CPUtime=0.59 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) R 9098 9101 7293 0 -1 4202560 1543 12955 0 0 52 0 5 2 20 0 15 0 48255459 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739610986736 139740165841629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10832204 memory=280457472678784 CPUtime=0.66 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) R 9098 9101 7293 0 -1 4202560 2612 12955 0 0 59 0 5 2 20 0 15 0 48255459 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739609920656 139740164487040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10832204 memory=-7531822216213012384 CPUtime=0.49 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 1465 12955 0 0 42 0 5 2 20 0 15 0 48255459 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10832204 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11092176896 44669 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10832204 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 1 12955 0 0 0 0 5 2 20 0 15 0 48255459 11092176896 44669 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10832204 KiB

################
# More data... #
################

/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 126911 12955 0 0 229753 68 5 2 20 0 15 0 48255453 11178180608 237615 33554432000 4194304 4196468 140722355579696 139740158430432 139739811338820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10916192 memory=954048 CPUtime=14.57 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 28052 12955 0 0 1410 40 5 2 20 0 15 0 48255454 11178180608 237615 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10916192 memory=950972 CPUtime=14.59 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 28927 12955 0 0 1411 41 5 2 20 0 15 0 48255454 11178180608 237615 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10916192 memory=953536 CPUtime=14.55 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 29063 12955 0 0 1404 44 5 2 20 0 15 0 48255454 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10916192 memory=954564 CPUtime=14.57 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 31271 12955 0 0 1409 41 5 2 20 0 15 0 48255454 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10916192 memory=1728 CPUtime=6.88 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 25355 12955 0 0 618 63 5 2 20 0 15 0 48255455 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10916192 memory=956616 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 52 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739644544736 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10916192 memory=957640 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 12 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739512431872 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10916192 memory=5408 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 237615 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10916192 memory=1008 CPUtime=10.89 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) S 9098 9101 7293 0 -1 1077944384 134298 12955 0 0 1072 10 5 2 20 0 15 0 48255459 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739610986736 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10916192 memory=953024 CPUtime=10.95 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) S 9098 9101 7293 0 -1 1077944384 138931 12955 0 0 1077 11 5 2 20 0 15 0 48255459 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739609934192 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10916192 memory=953024 CPUtime=3.66 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 132124 12955 0 0 348 11 5 2 20 0 15 0 48255459 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10916192 memory=951484 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 237615 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10916192 memory=952512 CPUtime=1.47 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 3374 12955 0 0 66 74 5 2 20 0 15 0 48255459 11178180608 237615 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 2389.88 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 950460 KiB

[startup+2382.3 s]
/proc/loadavg: 1.43 1.30 1.31 3/216 9258
/proc/meminfo: memFree=16212840/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=10916192 memory=894540 CPUtime=2451.21 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 683734 12955 0 0 244742 372 5 2 20 0 15 0 48255444 11178180608 223635 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2729048 223635 3535 1 0 2690701 0
[pid=9101/tid=9154] ppid=9098 vsize=10916192 memory=895056 CPUtime=2357.6 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 127601 12955 0 0 235685 68 5 2 20 0 15 0 48255453 11178180608 223635 33554432000 4194304 4196468 140722355579696 139740158430752 139739810315032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10916192 memory=901212 CPUtime=14.99 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 28116 12955 0 0 1452 40 5 2 20 0 15 0 48255454 11178180608 223635 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10916192 memory=898644 CPUtime=15.01 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 29296 12955 0 0 1453 41 5 2 20 0 15 0 48255454 11178180608 223635 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10916192 memory=903264 CPUtime=14.97 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 29201 12955 0 0 1445 45 5 2 20 0 15 0 48255454 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10916192 memory=894540 CPUtime=15 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 31479 12955 0 0 1451 42 5 2 20 0 15 0 48255454 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10916192 memory=7957689449132282197 CPUtime=7.06 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 25542 12955 0 0 635 64 5 2 20 0 15 0 48255455 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10916192 memory=1700 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 52 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739644544736 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10916192 memory=902236 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 12 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739512431872 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10916192 memory=636 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 223635 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10916192 memory=960 CPUtime=10.91 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) S 9098 9101 7293 0 -1 1077944384 134416 12955 0 0 1074 10 5 2 20 0 15 0 48255459 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739610986736 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10916192 memory=906340 CPUtime=11 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) S 9098 9101 7293 0 -1 1077944384 139467 12955 0 0 1082 11 5 2 20 0 15 0 48255459 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739609934192 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10916192 memory=1692 CPUtime=3.67 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 132967 12955 0 0 349 11 5 2 20 0 15 0 48255459 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10916192 memory=896080 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 223635 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10916192 memory=4128 CPUtime=1.51 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 3391 12955 0 0 68 76 5 2 20 0 15 0 48255459 11178180608 223635 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 2451.21 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 894540 KiB

[startup+2442.3 s]
/proc/loadavg: 1.58 1.36 1.33 3/216 9390
/proc/meminfo: memFree=14336348/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=10916192 memory=843232 CPUtime=2512.57 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 687786 12955 0 0 250871 379 5 2 20 0 15 0 48255444 11178180608 210808 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2729048 210808 3535 1 0 2690701 0
[pid=9101/tid=9154] ppid=9098 vsize=10916192 memory=846312 CPUtime=2416.92 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 128730 12955 0 0 241616 69 5 2 20 0 15 0 48255453 11178180608 210808 33554432000 4194304 4196468 140722355579696 139740158430688 139739811338820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10916192 memory=843232 CPUtime=15.42 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 28463 12955 0 0 1494 41 5 2 20 0 15 0 48255454 11178180608 210808 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10916192 memory=848876 CPUtime=15.45 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 29567 12955 0 0 1495 43 5 2 20 0 15 0 48255454 11178180608 210808 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10916192 memory=960 CPUtime=15.41 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 29364 12955 0 0 1488 46 5 2 20 0 15 0 48255454 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10916192 memory=845800 CPUtime=15.43 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 31631 12955 0 0 1493 43 5 2 20 0 15 0 48255454 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10916192 memory=845800 CPUtime=7.24 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 25731 12955 0 0 651 66 5 2 20 0 15 0 48255455 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10916192 memory=850928 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 52 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739644544736 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10916192 memory=9748 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 12 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739512431872 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10916192 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 210808 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10916192 memory=1796 CPUtime=10.95 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) S 9098 9101 7293 0 -1 1077944384 135023 12955 0 0 1078 10 5 2 20 0 15 0 48255459 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739610986736 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10916192 memory=847852 CPUtime=11.04 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) S 9098 9101 7293 0 -1 1077944384 139839 12955 0 0 1086 11 5 2 20 0 15 0 48255459 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739609934192 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10916192 memory=848876 CPUtime=3.69 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 133773 12955 0 0 351 11 5 2 20 0 15 0 48255459 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10916192 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 210808 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10916192 memory=2421680 CPUtime=1.55 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 3407 12955 0 0 70 78 5 2 20 0 15 0 48255459 11178180608 210808 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 2512.57 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 843232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449.6 s]
/proc/loadavg: 1.73 1.39 1.34 6/216 9390
/proc/meminfo: memFree=13994328/32770624 swapFree=67108860/67108860
[pid=9101] ppid=9098 vsize=10916192 memory=837076 CPUtime=2520.04 cores=0,2,4,6
/proc/9101/stat : 9101 (java) S 9098 9101 7293 0 -1 1077944320 688048 12955 0 0 251617 380 5 2 20 0 15 0 48255444 11178180608 209269 33554432000 4194304 4196468 140722355579696 140722355562240 139740186595063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
/proc/9101/statm: 2729048 209269 3535 1 0 2690701 0
[pid=9101/tid=9154] ppid=9098 vsize=10916192 memory=796 CPUtime=2424.14 cores=0,2,4,6
/proc/9101/task/9154/stat : 9154 (java) R 9098 9101 7293 0 -1 4202560 128761 12955 0 0 242338 69 5 2 20 0 15 0 48255453 11178180608 209269 33554432000 4194304 4196468 140722355579696 139740158430336 139739810314603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9155] ppid=9098 vsize=10916192 memory=5408 CPUtime=15.47 cores=0,2,4,6
/proc/9101/task/9155/stat : 9155 (java) S 9098 9101 7293 0 -1 1077944384 28464 12955 0 0 1499 41 5 2 20 0 15 0 48255454 11178180608 209269 33554432000 4194304 4196468 140722355579696 139740190837264 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9156] ppid=9098 vsize=10916192 memory=1008 CPUtime=15.5 cores=0,2,4,6
/proc/9101/task/9156/stat : 9156 (java) S 9098 9101 7293 0 -1 1077944384 29570 12955 0 0 1500 43 5 2 20 0 15 0 48255454 11178180608 209269 33554432000 4194304 4196468 140722355579696 139740118317712 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9157] ppid=9098 vsize=10916192 memory=4128 CPUtime=15.46 cores=0,2,4,6
/proc/9101/task/9157/stat : 9157 (java) S 9098 9101 7293 0 -1 1077944384 29368 12955 0 0 1493 46 5 2 20 0 15 0 48255454 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739758438672 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9158] ppid=9098 vsize=10916192 memory=16024 CPUtime=15.48 cores=0,2,4,6
/proc/9101/task/9158/stat : 9158 (java) S 9098 9101 7293 0 -1 1077944384 31635 12955 0 0 1498 43 5 2 20 0 15 0 48255454 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739757386128 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9159] ppid=9098 vsize=10916192 memory=1292 CPUtime=7.26 cores=0,2,4,6
/proc/9101/task/9159/stat : 9159 (java) S 9098 9101 7293 0 -1 1077944384 25736 12955 0 0 653 66 5 2 20 0 15 0 48255455 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739645598448 139740186606210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9160] ppid=9098 vsize=10916192 memory=2416 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9160/stat : 9160 (java) S 9098 9101 7293 0 -1 1077944384 52 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739644544736 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9161] ppid=9098 vsize=10916192 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9161/stat : 9161 (java) S 9098 9101 7293 0 -1 1077944384 12 12955 0 0 0 0 5 2 20 0 15 0 48255456 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739512431872 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9162] ppid=9098 vsize=10916192 memory=839128 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9162/stat : 9162 (java) S 9098 9101 7293 0 -1 1077944384 2 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 209269 33554432000 4194304 4196468 140722355579696 139738908453328 139740186613659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9163] ppid=9098 vsize=10916192 memory=9748 CPUtime=10.95 cores=0,2,4,6
/proc/9101/task/9163/stat : 9163 (java) S 9098 9101 7293 0 -1 1077944384 135155 12955 0 0 1078 10 5 2 20 0 15 0 48255459 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739610986736 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9164] ppid=9098 vsize=10916192 memory=16024 CPUtime=11.05 cores=0,2,4,6
/proc/9101/task/9164/stat : 9164 (java) S 9098 9101 7293 0 -1 1077944384 139868 12955 0 0 1087 11 5 2 20 0 15 0 48255459 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739609934192 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9165] ppid=9098 vsize=10916192 memory=1292 CPUtime=3.69 cores=0,2,4,6
/proc/9101/task/9165/stat : 9165 (java) S 9098 9101 7293 0 -1 1077944384 133824 12955 0 0 351 11 5 2 20 0 15 0 48255459 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739608881136 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9166] ppid=9098 vsize=10916192 memory=2416 CPUtime=0.07 cores=0,2,4,6
/proc/9101/task/9166/stat : 9166 (java) S 9098 9101 7293 0 -1 1077944384 3 12955 0 0 0 0 5 2 20 0 15 0 48255459 11178180608 209269 33554432000 4194304 4196468 140722355579696 139738438691168 139740186605269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
[pid=9101/tid=9167] ppid=9098 vsize=10916192 memory=1728 CPUtime=1.55 cores=0,2,4,6
/proc/9101/task/9167/stat : 9167 (java) S 9098 9101 7293 0 -1 1077944384 3409 12955 0 0 70 78 5 2 20 0 15 0 48255459 11178180608 209269 33554432000 4194304 4196468 140722355579696 139739607829552 139740186606210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20582400 140722355583598 140722355586396 140722355586396 140722355589071 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 837076 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2449.63 s]
# the end of solver process 9101 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.25 s, system=3.84042 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2449.63
CPU time (s): 2520.09
CPU user time (s): 2516.25
CPU system time (s): 3.84042
CPU usage (%): 102.876
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 2914036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.84042
maximum resident set size= 2915584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202433
involuntary context switches= 7190


# summary of solver processes directly reported to runsolver:
#   pid: 9101
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.25
#   total CPU system time (s): 3.84042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1351 second user time and 23.375 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4293057

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
