2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
MiniCPFever 2018-04-29	SAT (TO)	1084	2520.12	2501.73
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 (8665 MiB free)
  memory of node 1: 16384 MiB (12658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298457-1532761321/watcher-4298457-1532761321 -o /tmp/evaluation-result-4298457-1532761321/solver-4298457-1532761321 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23279 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298457-1532761321.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB

solver pid=25985, runsolver pid=25982

[startup+0.100111 s]*
/proc/loadavg: 1.53 1.55 1.60 4/216 26000
/proc/meminfo: memFree=21820144/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10658972 memory=27496 CPUtime=0.13 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 5277 0 0 0 12 1 0 0 20 0 15 0 93695255 10914787328 6808 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664743 6808 2802 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10658972 memory=-8269626465541196927 CPUtime=0.09 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 3108 0 0 0 9 0 0 0 20 0 15 0 93695255 10914787328 6874 33554432000 4194304 4196468 140734491430864 140471348410464 140471344202330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 6874 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10658972 memory=139828255069824 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 6874 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10658972 memory=139828255069824 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695257 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93695258 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470835221664 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93695258 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) R 25982 25985 23247 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 15 0 93695260 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470832065264 140471322013840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) R 25982 25985 23247 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 93695260 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470831012720 140471344192130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10658972 memory=139828255069824 CPUtime=0.02 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) S 25982 25985 23247 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 15 0 93695260 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470829959664 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10658972 memory=139828255069824 CPUtime=0 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) R 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695261 10914787328 6874 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27496 KiB

[startup+0.210556 s]*
/proc/loadavg: 1.53 1.55 1.60 5/216 26000
/proc/meminfo: memFree=21807732/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10658972 memory=39884 CPUtime=0.34 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 8087 0 0 0 33 1 0 0 20 0 15 0 93695255 10914787328 9971 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664743 9971 2953 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 5069 0 0 0 19 1 0 0 20 0 15 0 93695255 10914787328 9971 33554432000 4194304 4196468 140734491430864 140471348417480 140471344192918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10658972 memory=342 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 9971 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10658972 memory=3546223377389524640 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 9971 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10658972 memory=139828255069824 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695257 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93695258 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470835221664 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93695258 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) R 25982 25985 23247 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 93695260 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470832065264 140471323684866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) R 25982 25985 23247 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 93695260 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470831012720 140471344192130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10658972 memory=139828255069824 CPUtime=0.08 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) R 25982 25985 23247 0 -1 4202560 892 0 0 0 8 0 0 0 20 0 15 0 93695260 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470829958064 140471323316921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10658972 memory=139828255069824 CPUtime=0 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) S 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695261 10914787328 9971 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 39884 KiB

[startup+0.311492 s]*
/proc/loadavg: 1.53 1.55 1.60 7/216 26000
/proc/meminfo: memFree=21793156/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10659048 memory=54920 CPUtime=0.7 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 10357 0 0 0 68 2 0 0 20 0 15 0 93695255 10914865152 13730 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664762 13730 3053 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 5341 0 0 0 29 1 0 0 20 0 15 0 93695255 10914865152 13730 33554432000 4194304 4196468 140734491430864 140471348417152 140470948875277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10659048 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 13730 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10659048 memory=4050901413561964192 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 13730 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10659048 memory=139828255069824 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93695257 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470835221664 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10659048 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) R 25982 25985 23247 0 -1 4202560 1047 0 0 0 12 0 0 0 20 0 15 0 93695260 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470832055536 140471328569856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10659048 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) R 25982 25985 23247 0 -1 4202560 1285 0 0 0 12 0 0 0 20 0 15 0 93695260 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470830998600 140471322593712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10659048 memory=139828255069824 CPUtime=0.13 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) R 25982 25985 23247 0 -1 1077944384 1311 0 0 0 13 0 0 0 20 0 15 0 93695260 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470829959664 140471344192130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10659048 memory=139828255069824 CPUtime=0 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) S 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 13730 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 54920 KiB

[startup+0.700733 s]
/proc/loadavg: 1.53 1.55 1.60 5/216 26000
/proc/meminfo: memFree=21765108/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10659048 memory=130972 CPUtime=1.89 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 11366 0 0 0 186 3 0 0 20 0 15 0 93695255 10914865152 32743 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664762 32743 3096 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10659048 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 5522 0 0 0 66 2 0 0 20 0 15 0 93695255 10914865152 32743 33554432000 4194304 4196468 140734491430864 140471348419344 140471328224613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10659048 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 32743 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10659048 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 32743 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10659048 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10659048 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93695256 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10659048 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93695257 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10659048 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470835221664 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10659048 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10659048 memory=4639098309541127013 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10659048 memory=7156895382296482920 CPUtime=0.45 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) R 25982 25985 23247 0 -1 4202560 1472 0 0 0 45 0 0 0 20 0 15 0 93695260 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470832065264 140471321776368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10659048 memory=6154282490091891024 CPUtime=0.46 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) S 25982 25985 23247 0 -1 1077944384 1383 0 0 0 46 0 0 0 20 0 15 0 93695260 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470831012720 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10659048 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) R 25982 25985 23247 0 -1 1077944384 1617 0 0 0 28 0 0 0 20 0 15 0 93695260 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470829959664 140471344192130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10659048 memory=33 CPUtime=0 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) S 25982 25985 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 32743 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 130972 KiB

[startup+1.50075 s]
/proc/loadavg: 1.53 1.55 1.60 3/216 26000
/proc/meminfo: memFree=21625848/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10659048 memory=368708 CPUtime=4.24 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 16422 0 0 0 402 22 0 0 20 0 15 0 93695255 10914865152 92177 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664762 92177 3152 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10659048 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 5724 0 0 0 136 3 0 0 20 0 15 0 93695255 10914865152 92177 33554432000 4194304 4196468 140734491430864 140471348417136 140470954058740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10659048 memory=-6951259422114956437 CPUtime=0.07 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 173 0 0 0 3 4 0 0 20 0 15 0 93695256 10914865152 92177 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10659048 memory=-6509546260019855295 CPUtime=0.07 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 117 0 0 0 3 4 0 0 20 0 15 0 93695256 10914865152 92177 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10659048 memory=-7390251449858225344 CPUtime=0.07 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 216 0 0 0 3 4 0 0 20 0 15 0 93695256 10914865152 92177 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10659048 memory=4134692831991786133 CPUtime=0.06 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 70 0 0 0 2 4 0 0 20 0 15 0 93695256 10914865152 92177 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93695257 10914865152 92177 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0

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

/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 74508 0 0 0 237733 55 0 0 20 0 15 0 93695255 10914865152 391527 33554432000 4194304 4196468 140734491430864 140471348420448 140470954463133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10659048 memory=1567136 CPUtime=3.55 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 9650 0 0 0 344 11 0 0 20 0 15 0 93695256 10914865152 391527 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10659048 memory=1568676 CPUtime=3.55 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 9894 0 0 0 344 11 0 0 20 0 15 0 93695256 10914865152 391527 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10659048 memory=1568676 CPUtime=3.57 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 10920 0 0 0 343 14 0 0 20 0 15 0 93695256 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10659048 memory=1568160 CPUtime=3.52 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 7592 0 0 0 341 11 0 0 20 0 15 0 93695256 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10659048 memory=1567136 CPUtime=0.55 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 16384 0 0 0 43 12 0 0 20 0 15 0 93695257 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10659048 memory=1566108 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470835221728 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10659048 memory=1566108 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10659048 memory=1566108 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10659048 memory=1592276 CPUtime=2.11 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) S 25982 25985 23247 0 -1 1077944384 7324 0 0 0 210 1 0 0 20 0 15 0 93695260 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470832065264 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10659048 memory=0 CPUtime=2.36 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) S 25982 25985 23247 0 -1 1077944384 6852 0 0 0 235 1 0 0 20 0 15 0 93695260 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470831012720 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10659048 memory=1566108 CPUtime=0.51 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) S 25982 25985 23247 0 -1 1077944384 4464 0 0 0 50 1 0 0 20 0 15 0 93695260 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470829959664 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10659048 memory=1566108 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10659048 memory=2240 CPUtime=1.38 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) S 25982 25985 23247 0 -1 1077944384 2693 0 0 0 61 77 0 0 20 0 15 0 93695261 10914865152 391527 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 2399.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1566108 KiB

[startup+2442.3 s]
/proc/loadavg: 1.44 1.49 1.64 3/215 26147
/proc/meminfo: memFree=21518340/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10659048 memory=1535836 CPUtime=2459.88 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 153837 0 0 0 245804 184 0 0 20 0 15 0 93695255 10914865152 383959 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664762 383959 3175 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10659048 memory=1545068 CPUtime=2437.57 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 75218 0 0 0 243702 55 0 0 20 0 15 0 93695255 10914865152 383959 33554432000 4194304 4196468 140734491430864 140471348420656 140470954427968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10659048 memory=1544044 CPUtime=3.81 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 9808 0 0 0 369 12 0 0 20 0 15 0 93695256 10914865152 383959 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10659048 memory=1542504 CPUtime=3.8 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 10262 0 0 0 369 11 0 0 20 0 15 0 93695256 10914865152 383959 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10659048 memory=1541992 CPUtime=3.83 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 11285 0 0 0 369 14 0 0 20 0 15 0 93695256 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10659048 memory=1539940 CPUtime=3.78 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 7754 0 0 0 367 11 0 0 20 0 15 0 93695256 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10659048 memory=1536860 CPUtime=0.59 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 16743 0 0 0 46 13 0 0 20 0 15 0 93695257 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10659048 memory=1536860 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470835221728 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10659048 memory=1536860 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10659048 memory=1535836 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10659048 memory=1535836 CPUtime=2.11 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) S 25982 25985 23247 0 -1 1077944384 7328 0 0 0 210 1 0 0 20 0 15 0 93695260 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470832065264 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10659048 memory=1536860 CPUtime=2.36 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) S 25982 25985 23247 0 -1 1077944384 6857 0 0 0 235 1 0 0 20 0 15 0 93695260 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470831012720 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10659048 memory=1546096 CPUtime=0.51 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) S 25982 25985 23247 0 -1 1077944384 4468 0 0 0 50 1 0 0 20 0 15 0 93695260 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470829959664 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10659048 memory=1538912 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10659048 memory=1535836 CPUtime=1.42 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) S 25982 25985 23247 0 -1 1077944384 2727 0 0 0 63 79 0 0 20 0 15 0 93695261 10914865152 383959 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 2459.88 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1535836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.7 s]
/proc/loadavg: 1.58 1.52 1.64 3/215 26148
/proc/meminfo: memFree=21600004/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10659048 memory=1509148 CPUtime=2520.08 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 155779 0 0 0 251820 188 0 0 20 0 15 0 93695255 10914865152 377287 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664762 377287 3175 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10659048 memory=1509148 CPUtime=2496.66 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 75806 0 0 0 249611 55 0 0 20 0 15 0 93695255 10914865152 377287 33554432000 4194304 4196468 140734491430864 140471348420480 140470954998587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10659048 memory=1509660 CPUtime=4.07 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 10247 0 0 0 395 12 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10659048 memory=1509660 CPUtime=4.05 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 10303 0 0 0 394 11 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10659048 memory=1510176 CPUtime=4.08 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 11715 0 0 0 394 14 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10659048 memory=279656193652096 CPUtime=4.04 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 7782 0 0 0 392 12 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10659048 memory=1508124 CPUtime=0.63 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 17104 0 0 0 49 14 0 0 20 0 15 0 93695257 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10659048 memory=1512740 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470835221728 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10659048 memory=1515820 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10659048 memory=1509152 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10659048 memory=1509660 CPUtime=2.11 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) S 25982 25985 23247 0 -1 1077944384 7333 0 0 0 210 1 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470832065264 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10659048 memory=1509148 CPUtime=2.37 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) S 25982 25985 23247 0 -1 1077944384 6861 0 0 0 236 1 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470831012720 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10659048 memory=1516844 CPUtime=0.51 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) S 25982 25985 23247 0 -1 1077944384 4472 0 0 0 50 1 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470829959664 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10659048 memory=1509660 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10659048 memory=1509660 CPUtime=1.45 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) S 25982 25985 23247 0 -1 1077944384 2769 0 0 0 65 80 0 0 20 0 15 0 93695261 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1509148 KiB

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

[startup+2501.73 s]
# the end of solver process 25985 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.23 s, system=1.88854 s

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

[startup+2501.7 s]
/proc/loadavg: 1.58 1.52 1.64 3/215 26148
/proc/meminfo: memFree=21600004/32770624 swapFree=67108860/67108860
[pid=25985] ppid=25982 vsize=10659048 memory=1509148 CPUtime=2520.08 cores=1,3,5,7
/proc/25985/stat : 25985 (java) S 25982 25985 23247 0 -1 1077944320 155779 0 0 0 251820 188 0 0 20 0 15 0 93695255 10914865152 377287 33554432000 4194304 4196468 140734491430864 140734491413408 140471344180983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
/proc/25985/statm: 2664762 377287 3175 1 0 2627263 0
[pid=25985/tid=25987] ppid=25982 vsize=10659048 memory=1509148 CPUtime=2496.66 cores=1,3,5,7
/proc/25985/task/25987/stat : 25987 (java) R 25982 25985 23247 0 -1 4202560 75806 0 0 0 249611 55 0 0 20 0 15 0 93695255 10914865152 377287 33554432000 4194304 4196468 140734491430864 140471348420480 140470954998587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25988] ppid=25982 vsize=10659048 memory=1509660 CPUtime=4.07 cores=1,3,5,7
/proc/25985/task/25988/stat : 25988 (java) S 25982 25985 23247 0 -1 1077944384 10247 0 0 0 395 12 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140471270255632 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25989] ppid=25982 vsize=10659048 memory=1509660 CPUtime=4.05 cores=1,3,5,7
/proc/25985/task/25989/stat : 25989 (java) S 25982 25985 23247 0 -1 1077944384 10303 0 0 0 394 11 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140471269203088 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25990] ppid=25982 vsize=10659048 memory=1510176 CPUtime=4.08 cores=1,3,5,7
/proc/25985/task/25990/stat : 25990 (java) S 25982 25985 23247 0 -1 1077944384 11715 0 0 0 394 14 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470948719376 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25991] ppid=25982 vsize=10659048 memory=279656193652096 CPUtime=4.04 cores=1,3,5,7
/proc/25985/task/25991/stat : 25991 (java) S 25982 25985 23247 0 -1 1077944384 7782 0 0 0 392 12 0 0 20 0 15 0 93695256 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470947666832 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25992] ppid=25982 vsize=10659048 memory=1508124 CPUtime=0.63 cores=1,3,5,7
/proc/25985/task/25992/stat : 25992 (java) S 25982 25985 23247 0 -1 1077944384 17104 0 0 0 49 14 0 0 20 0 15 0 93695257 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470836275440 140471344192130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25993] ppid=25982 vsize=10659048 memory=1512740 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25993/stat : 25993 (java) S 25982 25985 23247 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470835221728 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25994] ppid=25982 vsize=10659048 memory=1515820 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25994/stat : 25994 (java) S 25982 25985 23247 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 93695258 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470834168560 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25995] ppid=25982 vsize=10659048 memory=1509152 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25995/stat : 25995 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470833117136 140471344199579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25996] ppid=25982 vsize=10659048 memory=1509660 CPUtime=2.11 cores=1,3,5,7
/proc/25985/task/25996/stat : 25996 (java) S 25982 25985 23247 0 -1 1077944384 7333 0 0 0 210 1 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470832065264 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25997] ppid=25982 vsize=10659048 memory=1509148 CPUtime=2.37 cores=1,3,5,7
/proc/25985/task/25997/stat : 25997 (java) S 25982 25985 23247 0 -1 1077944384 6861 0 0 0 236 1 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470831012720 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25998] ppid=25982 vsize=10659048 memory=1516844 CPUtime=0.51 cores=1,3,5,7
/proc/25985/task/25998/stat : 25998 (java) S 25982 25985 23247 0 -1 1077944384 4472 0 0 0 50 1 0 0 20 0 15 0 93695260 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470829959664 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=25999] ppid=25982 vsize=10659048 memory=1509660 CPUtime=0 cores=1,3,5,7
/proc/25985/task/25999/stat : 25999 (java) S 25982 25985 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93695261 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470828907360 140471344191189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
[pid=25985/tid=26000] ppid=25982 vsize=10659048 memory=1509660 CPUtime=1.45 cores=1,3,5,7
/proc/25985/task/26000/stat : 26000 (java) S 25982 25985 23247 0 -1 1077944384 2769 0 0 0 65 80 0 0 20 0 15 0 93695261 10914865152 377287 33554432000 4194304 4196468 140734491430864 140470827854384 140471344192130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13111296 140734491432109 140734491432201 140734491432201 140734491434959 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1509148 KiB

Child status: 143
Real time (s): 2501.73
CPU time (s): 2520.12
CPU user time (s): 2518.23
CPU system time (s): 1.88854
CPU usage (%): 100.735
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2705596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.23
system time used= 1.88854
maximum resident set size= 2708064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68641
involuntary context switches= 1576


# summary of solver processes directly reported to runsolver:
#   pid: 25985
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2518.23
#   total CPU system time (s): 1.88854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.017 second user time and 24.358 second system time

The end
Name	GraphColoring/ GraphColoring-5-fullins-4_c18.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	206.048
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298457

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
