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 (14325 MiB free)
memory of node 1: 16384 MiB (15380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395950-1568411087/watcher-4395950-1568411087 -o /tmp/evaluation-result-4395950-1568411087/solver-4395950-1568411087 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9267 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1895027142 HOME/instance-4395950-1568411087.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13550, runsolver pid=13547
[startup+0.100224 s]*
/proc/loadavg: 1.43 1.34 1.37 3/218 13607
/proc/meminfo: memFree=30410180/32770624 swapFree=66934904/67108860
[pid=13550] ppid=13547 vsize=10055356 memory=18008 CPUtime=0.08 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 4731 13056 0 0 1 0 5 2 20 0 7 0 417380187 10296684544 4502 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2513839 4502 2032 1 0 2502277 0
[pid=13550/tid=13603] ppid=13547 vsize=10055356 memory=5854520767527157917 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 2530 13056 0 0 1 0 5 2 20 0 7 0 417380196 10296684544 4502 33554432000 4194304 4196468 140731479390208 139788612291344 139788623435408 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10055356 memory=5793855706002434489 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 7 0 417380196 10296684544 4502 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10055356 memory=140454992541312 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 7 0 417380196 10296684544 4502 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 7 0 417380196 10296684544 4502 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 7 0 417380196 10296684544 4502 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 7 0 417380198 10296684544 4502 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 18008 KiB
[startup+0.210033 s]*
/proc/loadavg: 1.43 1.34 1.37 3/227 13616
/proc/meminfo: memFree=30389364/32770624 swapFree=66934904/67108860
[pid=13550] ppid=13547 vsize=10819664 memory=44004 CPUtime=0.25 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 7360 13056 0 0 17 1 5 2 20 0 15 0 417380187 11079335936 11001 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2704916 11001 3172 1 0 2667149 0
[pid=13550/tid=13603] ppid=13547 vsize=10819664 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 3844 13056 0 0 11 1 5 2 20 0 15 0 417380196 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788612284128 139788624528734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10819664 memory=4211974181197331850 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10819664 memory=140454992541312 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10819664 memory=140454992541312 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380198 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 33 13056 0 0 0 0 5 2 20 0 15 0 417380198 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788098196768 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380198 11079335936 11065 33554432000 4194304 4196468 140731479390208 139787965032048 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11079335936 11065 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 9235 0 -1 1077944384 615 13056 0 0 1 0 5 2 20 0 15 0 417380201 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788064639088 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 45 13056 0 0 0 0 5 2 20 0 15 0 417380201 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10819664 memory=140454992541312 CPUtime=0.1 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) R 13547 13550 9235 0 -1 4202560 619 13056 0 0 3 0 5 2 20 0 15 0 417380201 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788062534000 139788632685374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11079335936 11065 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10819664 memory=140454992541312 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380202 11079335936 11065 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 44004 KiB
[startup+0.310357 s]*
/proc/loadavg: 1.43 1.34 1.37 4/227 13616
/proc/meminfo: memFree=30376704/32770624 swapFree=66934904/67108860
[pid=13550] ppid=13547 vsize=10820148 memory=53092 CPUtime=0.4 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 11041 13056 0 0 30 3 5 2 20 0 15 0 417380187 11079831552 13273 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2705037 13273 3304 1 0 2667149 0
[pid=13550/tid=13603] ppid=13547 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 7488 13056 0 0 19 2 5 2 20 0 15 0 417380196 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788612269744 139788640460182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380196 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380198 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10820148 memory=140454992541311 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 33 13056 0 0 0 0 5 2 20 0 15 0 417380198 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788098196768 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380198 11079831552 13273 33554432000 4194304 4196468 140731479390208 139787965032048 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11079831552 13273 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 9235 0 -1 1077944384 625 13056 0 0 2 0 5 2 20 0 15 0 417380201 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788064639088 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 45 13056 0 0 1 0 5 2 20 0 15 0 417380201 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) R 13547 13550 9235 0 -1 4202560 627 13056 0 0 5 0 5 2 20 0 15 0 417380201 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788062534000 139788618867361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11079831552 13273 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380202 11079831552 13273 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53092 KiB
[startup+0.70119 s]
/proc/loadavg: 1.43 1.34 1.37 5/227 13616
/proc/meminfo: memFree=30363000/32770624 swapFree=66934904/67108860
[pid=13550] ppid=13547 vsize=10824360 memory=85592 CPUtime=1.1 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 15091 13056 0 0 98 5 5 2 20 0 15 0 417380187 11084144640 21398 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2706090 21398 3502 1 0 2668173 0
[pid=13550/tid=13603] ppid=13547 vsize=10824360 memory=2124 CPUtime=0.66 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 10402 13056 0 0 55 4 5 2 20 0 15 0 417380196 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788612275136 139788625816401 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10824360 memory=7536 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10824360 memory=504 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10824360 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380196 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10824360 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380196 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10824360 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 5 13056 0 0 0 0 5 2 20 0 15 0 417380198 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10824360 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 33 13056 0 0 0 0 5 2 20 0 15 0 417380198 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788098196768 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10824360 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380198 11084144640 21398 33554432000 4194304 4196468 140731479390208 139787965032048 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10824360 memory=12024 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11084144640 21398 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10824360 memory=2124 CPUtime=0.17 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) R 13547 13550 9235 0 -1 4202560 1063 13056 0 0 10 0 5 2 20 0 15 0 417380201 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788064639088 139788620103425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10824360 memory=6944652177228980320 CPUtime=0.2 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 563 13056 0 0 13 0 5 2 20 0 15 0 417380201 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10824360 memory=504 CPUtime=0.24 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 9235 0 -1 1077944384 803 13056 0 0 17 0 5 2 20 0 15 0 417380201 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788062534000 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10824360 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11084144640 21398 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10824360 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380202 11084144640 21398 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85592 KiB
[startup+1.50068 s]
/proc/loadavg: 1.43 1.34 1.37 3/227 13616
/proc/meminfo: memFree=30314240/32770624 swapFree=66934904/67108860
[pid=13550] ppid=13547 vsize=10834676 memory=179472 CPUtime=2.56 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 23866 13056 0 0 237 12 5 2 20 0 15 0 417380187 11094708224 44868 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2708669 44868 3587 1 0 2670733 0
[pid=13550/tid=13603] ppid=13547 vsize=10834676 memory=3620 CPUtime=1.42 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 16042 13056 0 0 128 7 5 2 20 0 15 0 417380196 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788612248384 139788640460182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10834676 memory=23360 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 29 13056 0 0 1 0 5 2 20 0 15 0 417380196 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10834676 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 55 13056 0 0 1 0 5 2 20 0 15 0 417380196 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10834676 memory=176112 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 267 13056 0 0 1 0 5 2 20 0 15 0 417380196 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 67 13056 0 0 1 0 5 2 20 0 15 0 417380196 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 333 13056 0 0 1 0 5 2 20 0 15 0 417380198 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 34 13056 0 0 0 0 5 2 20 0 15 0 417380198 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788098196832 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10834676 memory=198900807953223 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380198 11094708224 44868 33554432000 4194304 4196468 140731479390208 139787965032064 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10834676 memory=3312111 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11094708224 44868 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10834676 memory=6935649255810949952 CPUtime=0.31 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 9235 0 -1 1077944384 1290 13056 0 0 24 0 5 2 20 0 15 0 417380201 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788064639088 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10834676 memory=4638778398332764256 CPUtime=0.44 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 1560 13056 0 0 37 0 5 2 20 0 15 0 417380201 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10834676 memory=280909785858288 CPUtime=0.47 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) R 13547 13550 9235 0 -1 4202560 1973 13056 0 0 40 0 5 2 20 0 15 0 417380201 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788062534000 139788625613552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10834676 memory=6935649255894902865 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11094708224 44868 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10834676 memory=-6728184734574754645 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1 13056 0 0 0 0 5 2 20 0 15 0 417380202 11094708224 44868 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
################
# More data... #
################
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 142795 13056 0 0 235367 74 5 2 20 0 15 0 417380196 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788612283520 139788259329682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10849044 memory=360496 CPUtime=12.64 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 18379 13056 0 0 1190 67 5 2 20 0 15 0 417380196 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10849044 memory=375804 CPUtime=12.59 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 19060 13056 0 0 1188 64 5 2 20 0 15 0 417380196 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10849044 memory=366576 CPUtime=12.6 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 15580 13056 0 0 1186 67 5 2 20 0 15 0 417380196 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10849044 memory=445 CPUtime=12.6 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 22097 13056 0 0 1185 68 5 2 20 0 15 0 417380196 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10849044 memory=365112 CPUtime=11.37 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 12911 13056 0 0 1048 82 5 2 20 0 15 0 417380198 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10849044 memory=360496 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 40 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788098196832 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10849044 memory=359980 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 7 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 89995 33554432000 4194304 4196468 140731479390208 139787965032064 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10849044 memory=370268 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 89995 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10849044 memory=12024 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 9235 0 -1 1077944384 25036 13056 0 0 440 5 5 2 20 0 15 0 417380201 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788064639088 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10849044 memory=3620 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 25230 13056 0 0 441 4 5 2 20 0 15 0 417380201 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10849044 memory=23520 CPUtime=4.01 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 9235 0 -1 1077944384 25743 13056 0 0 387 7 5 2 20 0 15 0 417380201 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788062534000 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10849044 memory=360496 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 89995 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10849044 memory=360496 CPUtime=1.47 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1468 13056 0 0 69 71 5 2 20 0 15 0 417380202 11109421056 89995 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 2430.28 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 359980 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.36 1.41 3/227 14009
/proc/meminfo: memFree=29033696/32770624 swapFree=66934952/67108860
[pid=13550] ppid=13547 vsize=10849044 memory=358596 CPUtime=2491.22 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 315146 13056 0 0 248660 455 5 2 20 0 15 0 417380187 11109421056 89649 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2712261 89649 3632 1 0 2674317 0
[pid=13550/tid=13603] ppid=13547 vsize=10849044 memory=358400 CPUtime=2413.7 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 145996 13056 0 0 241288 75 5 2 20 0 15 0 417380196 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788612283808 139788259558481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10849044 memory=358460 CPUtime=12.99 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 18637 13056 0 0 1222 70 5 2 20 0 15 0 417380196 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10849044 memory=359464 CPUtime=12.94 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 19552 13056 0 0 1221 66 5 2 20 0 15 0 417380196 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10849044 memory=359052 CPUtime=12.94 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 15918 13056 0 0 1219 68 5 2 20 0 15 0 417380196 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10849044 memory=370268 CPUtime=12.94 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 22322 13056 0 0 1217 70 5 2 20 0 15 0 417380196 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10849044 memory=358460 CPUtime=11.67 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 12970 13056 0 0 1076 84 5 2 20 0 15 0 417380198 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10849044 memory=366608 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 40 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788098196832 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10849044 memory=362504 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 7 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 89649 33554432000 4194304 4196468 140731479390208 139787965032064 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10849044 memory=362504 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 89649 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10849044 memory=364556 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 9235 0 -1 1077944384 25038 13056 0 0 440 5 5 2 20 0 15 0 417380201 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788064639088 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10849044 memory=365068 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 25232 13056 0 0 441 4 5 2 20 0 15 0 417380201 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10849044 memory=359464 CPUtime=4.02 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 9235 0 -1 1077944384 25746 13056 0 0 388 7 5 2 20 0 15 0 417380201 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788062534000 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10849044 memory=5960 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 89649 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10849044 memory=6791534058613427641 CPUtime=1.5 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1473 13056 0 0 70 73 5 2 20 0 15 0 417380202 11109421056 89649 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 2491.22 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 358596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.7 s]
/proc/loadavg: 1.60 1.40 1.43 3/227 14012
/proc/meminfo: memFree=29066024/32770624 swapFree=66934956/67108860
[pid=13550] ppid=13547 vsize=10849044 memory=355628 CPUtime=2520.07 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 316727 13056 0 0 251541 459 5 2 20 0 15 0 417380187 11109421056 88907 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2712261 88907 3632 1 0 2674317 0
[pid=13550/tid=13603] ppid=13547 vsize=10849044 memory=355628 CPUtime=2441.74 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 147164 13056 0 0 244091 76 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788612283680 139788622097696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10849044 memory=1548 CPUtime=13.14 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 18657 13056 0 0 1237 70 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10849044 memory=360760 CPUtime=13.1 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 19560 13056 0 0 1237 66 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10849044 memory=355004 CPUtime=13.11 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 15984 13056 0 0 1235 69 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10849044 memory=355516 CPUtime=13.11 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 22435 13056 0 0 1233 71 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10849044 memory=367892 CPUtime=11.81 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 13164 13056 0 0 1089 85 5 2 20 0 15 0 417380198 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10849044 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 40 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788098196832 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10849044 memory=364300 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 7 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 88907 33554432000 4194304 4196468 140731479390208 139787965032064 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10849044 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10849044 memory=364816 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 9235 0 -1 1077944384 25038 13056 0 0 440 5 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788064639088 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10849044 memory=369432 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 25232 13056 0 0 441 4 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10849044 memory=360760 CPUtime=4.02 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 9235 0 -1 1077944384 25746 13056 0 0 388 7 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788062534000 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10849044 memory=361784 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10849044 memory=372508 CPUtime=1.52 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1485 13056 0 0 71 74 5 2 20 0 15 0 417380202 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 355628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.72 s]
# the end of solver process 13550 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.49 s, system=4.62578 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.7 s]
/proc/loadavg: 1.60 1.40 1.43 3/227 14012
/proc/meminfo: memFree=29066024/32770624 swapFree=66934956/67108860
[pid=13550] ppid=13547 vsize=10849044 memory=355628 CPUtime=2520.07 cores=1,3,5,7
/proc/13550/stat : 13550 (java) S 13547 13550 9235 0 -1 1077944320 316727 13056 0 0 251541 459 5 2 20 0 15 0 417380187 11109421056 88907 33554432000 4194304 4196468 140731479390208 140731479372752 139788640448247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
/proc/13550/statm: 2712261 88907 3632 1 0 2674317 0
[pid=13550/tid=13603] ppid=13547 vsize=10849044 memory=355628 CPUtime=2441.74 cores=1,3,5,7
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 9235 0 -1 4202560 147164 13056 0 0 244091 76 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788612283680 139788622097696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13604] ppid=13547 vsize=10849044 memory=1548 CPUtime=13.14 cores=1,3,5,7
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 9235 0 -1 1077944384 18657 13056 0 0 1237 70 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788644690320 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13605] ppid=13547 vsize=10849044 memory=360760 CPUtime=13.1 cores=1,3,5,7
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 9235 0 -1 1077944384 19560 13056 0 0 1237 66 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788213213456 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13606] ppid=13547 vsize=10849044 memory=355004 CPUtime=13.11 cores=1,3,5,7
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 9235 0 -1 1077944384 15984 13056 0 0 1235 69 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788212161168 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13607] ppid=13547 vsize=10849044 memory=355516 CPUtime=13.11 cores=1,3,5,7
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 9235 0 -1 1077944384 22435 13056 0 0 1233 71 5 2 20 0 15 0 417380196 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788211108368 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13608] ppid=13547 vsize=10849044 memory=367892 CPUtime=11.81 cores=1,3,5,7
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 9235 0 -1 1077944384 13164 13056 0 0 1089 85 5 2 20 0 15 0 417380198 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788099250800 139788640459394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13609] ppid=13547 vsize=10849044 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 9235 0 -1 1077944384 40 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788098196832 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13610] ppid=13547 vsize=10849044 memory=364300 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 9235 0 -1 1077944384 7 13056 0 0 0 0 5 2 20 0 15 0 417380198 11109421056 88907 33554432000 4194304 4196468 140731479390208 139787965032064 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13611] ppid=13547 vsize=10849044 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 9235 0 -1 1077944384 2 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139787361053264 139788640466843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13612] ppid=13547 vsize=10849044 memory=364816 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 9235 0 -1 1077944384 25038 13056 0 0 440 5 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788064639088 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13613] ppid=13547 vsize=10849044 memory=369432 CPUtime=4.52 cores=1,3,5,7
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 9235 0 -1 1077944384 25232 13056 0 0 441 4 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788063586288 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13614] ppid=13547 vsize=10849044 memory=360760 CPUtime=4.02 cores=1,3,5,7
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 9235 0 -1 1077944384 25746 13056 0 0 388 7 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788062534000 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13615] ppid=13547 vsize=10849044 memory=361784 CPUtime=0.07 cores=1,3,5,7
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 9235 0 -1 1077944384 3 13056 0 0 0 0 5 2 20 0 15 0 417380201 11109421056 88907 33554432000 4194304 4196468 140731479390208 139786891291104 139788640458453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
[pid=13550/tid=13616] ppid=13547 vsize=10849044 memory=372508 CPUtime=1.52 cores=1,3,5,7
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 9235 0 -1 1077944384 1485 13056 0 0 71 74 5 2 20 0 15 0 417380202 11109421056 88907 33554432000 4194304 4196468 140731479390208 139788061481904 139788640459394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35344384 140731479399151 140731479401669 140731479401669 140731479404495 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 355628 KiB
Child status: 143
Real time (s): 2470.72
CPU time (s): 2520.11
CPU user time (s): 2515.49
CPU system time (s): 4.62578
CPU usage (%): 101.999
Max. virtual memory (cumulated for all children) (KiB): 10851996
Max. memory (cumulated for all children) (KiB): 1135828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.49
system time used= 4.62578
maximum resident set size= 1137344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280026
involuntary context switches= 9211
# summary of solver processes directly reported to runsolver:
# pid: 13550
# total CPU time (s): 2520.11
# total CPU user time (s): 2515.49
# total CPU system time (s): 4.62578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9585 second user time and 23.5017 second system time
The end