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

Solver Name	Answer	objective function	CPU time	Wall clock time
GG's minicp 2018-04-29	SAT (TO)	7	2520.12	2474.33
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 (13090 MiB free)
  memory of node 1: 16384 MiB (14000 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298463-1532761641/watcher-4298463-1532761641 -o /tmp/evaluation-result-4298463-1532761641/solver-4298463-1532761641 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21839 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298463-1532761641.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=24616, runsolver pid=24613

[startup+0.100107 s]*
/proc/loadavg: 1.50 1.51 1.56 4/215 24631
/proc/meminfo: memFree=27722688/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661056 memory=27544 CPUtime=0.13 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 5295 0 0 0 12 1 0 0 20 0 15 0 93727244 10916921344 6886 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665264 6886 2868 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661056 memory=-7254947776133162106 CPUtime=0.09 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 3169 0 0 0 9 0 0 0 20 0 15 0 93727245 10916921344 6886 33554432000 4194304 4196468 140727063158208 140526240103792 140526235902554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661056 memory=5793855280018438585 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 6886 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661056 memory=140029008545408 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 6886 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 6886 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 6886 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727247 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93727247 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525726094368 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93727247 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) R 24613 24616 21807 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525722938224 140526221299152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) R 24613 24616 21807 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525721885424 140526235892354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661056 memory=140029008545408 CPUtime=0.02 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) R 24613 24616 21807 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 93727250 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525720832624 140526214864932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661056 memory=140029008545408 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 6886 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27544 KiB

[startup+0.210674 s]*
/proc/loadavg: 1.50 1.51 1.56 6/215 24631
/proc/meminfo: memFree=27710520/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661056 memory=40224 CPUtime=0.34 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 8179 0 0 0 32 2 0 0 20 0 15 0 93727244 10916921344 10056 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665264 10056 2969 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 5129 0 0 0 19 1 0 0 20 0 15 0 93727245 10916921344 10056 33554432000 4194304 4196468 140727063158208 140526240120576 140526235893142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661056 memory=4211973755213335946 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 10056 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661056 memory=140029008545408 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 10056 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 10056 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916921344 10056 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661056 memory=140029008545408 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727247 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93727247 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525726094368 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93727247 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) R 24613 24616 21807 0 -1 1077944384 576 0 0 0 2 0 0 0 20 0 15 0 93727250 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525722938224 140526235892354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) R 24613 24616 21807 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 15 0 93727250 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525721883824 140526216613104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661056 memory=140029008545408 CPUtime=0.08 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) R 24613 24616 21807 0 -1 4202560 843 0 0 0 8 0 0 0 20 0 15 0 93727250 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525720827160 140526228598170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661056 memory=140029008545408 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727250 10916921344 10056 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40224 KiB

[startup+0.320023 s]*
/proc/loadavg: 1.50 1.51 1.56 7/215 24631
/proc/meminfo: memFree=27693192/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661132 memory=55136 CPUtime=0.71 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 10427 0 0 0 69 2 0 0 20 0 15 0 93727244 10916999168 13784 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665283 13784 3074 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661132 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 5432 0 0 0 29 1 0 0 20 0 15 0 93727245 10916999168 13784 33554432000 4194304 4196468 140727063158208 140526240116928 140526217444177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661132 memory=4211973755213335946 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 13784 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661132 memory=140029008547765 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 13784 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661132 memory=140028885991231 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 13784 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661132 memory=140028885978575 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 13784 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661132 memory=140029008567242 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661132 memory=140028885987759 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525726094368 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661132 memory=280057771966352 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661132 memory=280057771964048 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661132 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) R 24613 24616 21807 0 -1 4202560 1452 0 0 0 12 0 0 0 20 0 15 0 93727250 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525722924640 140526217425324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661132 memory=-1 CPUtime=0.13 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) R 24613 24616 21807 0 -1 4202560 775 0 0 0 13 0 0 0 20 0 15 0 93727250 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525721875216 140526215535744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661132 memory=140029008545408 CPUtime=0.13 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) R 24613 24616 21807 0 -1 1077944384 1396 0 0 0 13 0 0 0 20 0 15 0 93727250 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525720832624 140526235892354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661132 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661132 memory=140029008545408 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 13784 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 55136 KiB

[startup+0.701115 s]
/proc/loadavg: 1.50 1.51 1.56 5/215 24631
/proc/meminfo: memFree=27659744/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661132 memory=131268 CPUtime=1.9 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 11442 0 0 0 186 4 0 0 20 0 15 0 93727244 10916999168 32817 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665283 32817 3108 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661132 memory=1228 CPUtime=0.68 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 5589 0 0 0 65 3 0 0 20 0 15 0 93727245 10916999168 32817 33554432000 4194304 4196468 140727063158208 140526240115184 140526220196444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661132 memory=1852 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 32817 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661132 memory=872 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 32817 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661132 memory=7307747153392788800 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 32817 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661132 memory=7453282923444727654 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93727245 10916999168 32817 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661132 memory=6370994028255662165 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525726094368 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661132 memory=81 CPUtime=0.45 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) R 24613 24616 21807 0 -1 4202560 1541 0 0 0 45 0 0 0 20 0 15 0 93727250 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525722938224 140526214008936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661132 memory=3 CPUtime=0.46 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) R 24613 24616 21807 0 -1 4202560 1194 0 0 0 46 0 0 0 20 0 15 0 93727250 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525721874016 140526217426208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661132 memory=264 CPUtime=0.29 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) R 24613 24616 21807 0 -1 1077944384 1748 0 0 0 29 0 0 0 20 0 15 0 93727250 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525720827584 140526235891413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661132 memory=280057772150256 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 32817 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 131268 KiB

[startup+1.50082 s]
/proc/loadavg: 1.50 1.51 1.56 5/215 24631
/proc/meminfo: memFree=27514780/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661132 memory=330780 CPUtime=4.42 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 15644 0 0 0 424 18 0 0 20 0 15 0 93727244 10916999168 82695 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665283 82695 3156 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661132 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 5885 0 0 0 137 3 0 0 20 0 15 0 93727245 10916999168 82695 33554432000 4194304 4196468 140727063158208 140526240119328 140525848572416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661132 memory=4948495672763783808 CPUtime=0.06 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 180 0 0 0 3 3 0 0 20 0 15 0 93727245 10916999168 82695 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661132 memory=-6437430055684695142 CPUtime=0.05 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 163 0 0 0 2 3 0 0 20 0 15 0 93727245 10916999168 82695 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661132 memory=-6007660418857049897 CPUtime=0.05 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 144 0 0 0 2 3 0 0 20 0 15 0 93727245 10916999168 82695 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661132 memory=-3472574513799858009 CPUtime=0.05 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 63 0 0 0 3 2 0 0 20 0 15 0 93727245 10916999168 82695 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661132 memory=-6305719416274576512 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 82695 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0

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

/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 56467 0 0 0 236467 44 0 0 20 0 15 0 93727245 10916999168 218704 33554432000 4194304 4196468 140727063158208 140526240120784 140525849669187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661132 memory=875844 CPUtime=13.26 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 18341 0 0 0 1294 32 0 0 20 0 15 0 93727245 10916999168 218704 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661132 memory=883024 CPUtime=13.26 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 21917 0 0 0 1297 29 0 0 20 0 15 0 93727245 10916999168 218704 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661132 memory=894808 CPUtime=13.25 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 17427 0 0 0 1295 30 0 0 20 0 15 0 93727245 10916999168 218704 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661132 memory=880460 CPUtime=13.22 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 17096 0 0 0 1292 30 0 0 20 0 15 0 93727245 10916999168 218704 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661132 memory=875844 CPUtime=2.9 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 20071 0 0 0 252 38 0 0 20 0 15 0 93727247 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661132 memory=879948 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525726094432 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661132 memory=876868 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661132 memory=875332 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661132 memory=15680 CPUtime=1.82 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) S 24613 24616 21807 0 -1 1077944384 7429 0 0 0 180 2 0 0 20 0 15 0 93727250 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525722938224 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661132 memory=875332 CPUtime=1.79 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) S 24613 24616 21807 0 -1 1077944384 4730 0 0 0 178 1 0 0 20 0 15 0 93727250 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525721885424 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661132 memory=875332 CPUtime=0.49 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) S 24613 24616 21807 0 -1 1077944384 4055 0 0 0 48 1 0 0 20 0 15 0 93727250 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525720832624 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661132 memory=1852 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661132 memory=872 CPUtime=1.03 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1775 0 0 0 51 52 0 0 20 0 15 0 93727250 10916999168 218704 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 2426.2 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 874816 KiB

[startup+2442.3 s]
/proc/loadavg: 1.69 1.50 1.46 3/215 24724
/proc/meminfo: memFree=25773720/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661132 memory=835316 CPUtime=2487.46 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 172081 0 0 0 248498 248 0 0 20 0 15 0 93727244 10916999168 208829 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665283 208829 3179 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661132 memory=835828 CPUtime=2424.56 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 57025 0 0 0 242412 44 0 0 20 0 15 0 93727245 10916999168 208829 33554432000 4194304 4196468 140727063158208 140526240120112 140525849821003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661132 memory=836856 CPUtime=13.69 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 18475 0 0 0 1337 32 0 0 20 0 15 0 93727245 10916999168 208829 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661132 memory=837368 CPUtime=13.68 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 21974 0 0 0 1339 29 0 0 20 0 15 0 93727245 10916999168 208829 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661132 memory=843012 CPUtime=13.66 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 17546 0 0 0 1336 30 0 0 20 0 15 0 93727245 10916999168 208829 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661132 memory=865584 CPUtime=13.65 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 17391 0 0 0 1334 31 0 0 20 0 15 0 93727245 10916999168 208829 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661132 memory=839420 CPUtime=2.99 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 20269 0 0 0 260 39 0 0 20 0 15 0 93727247 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661132 memory=837880 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525726094432 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661132 memory=840448 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661132 memory=837368 CPUtime=1.82 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) S 24613 24616 21807 0 -1 1077944384 7431 0 0 0 180 2 0 0 20 0 15 0 93727250 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525722938224 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661132 memory=835316 CPUtime=1.79 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) S 24613 24616 21807 0 -1 1077944384 4732 0 0 0 178 1 0 0 20 0 15 0 93727250 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525721885424 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661132 memory=858400 CPUtime=0.49 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) S 24613 24616 21807 0 -1 1077944384 4057 0 0 0 48 1 0 0 20 0 15 0 93727250 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525720832624 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661132 memory=837880 CPUtime=1.05 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1791 0 0 0 52 53 0 0 20 0 15 0 93727250 10916999168 208829 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 2487.46 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 835316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2474.3 s]
/proc/loadavg: 1.30 1.42 1.44 3/215 24725
/proc/meminfo: memFree=25792436/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661132 memory=816848 CPUtime=2520.09 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 173233 0 0 0 251759 250 0 0 20 0 15 0 93727244 10916999168 204212 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665283 204212 3179 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661132 memory=817360 CPUtime=2456.28 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 57307 0 0 0 245584 44 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526240120624 140525849915512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661132 memory=816848 CPUtime=13.9 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 18610 0 0 0 1358 32 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661132 memory=820440 CPUtime=13.88 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 22066 0 0 0 1359 29 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661132 memory=829160 CPUtime=13.87 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 17667 0 0 0 1357 30 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661132 memory=818900 CPUtime=13.85 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 17710 0 0 0 1354 31 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661132 memory=817876 CPUtime=3.04 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 20451 0 0 0 265 39 0 0 20 0 15 0 93727247 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661132 memory=817360 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525726094432 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661132 memory=817876 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661132 memory=816848 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661132 memory=4140 CPUtime=1.82 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) S 24613 24616 21807 0 -1 1077944384 7433 0 0 0 180 2 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525722938224 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661132 memory=817360 CPUtime=1.79 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) S 24613 24616 21807 0 -1 1077944384 4734 0 0 0 178 1 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525721885424 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661132 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) S 24613 24616 21807 0 -1 1077944384 4059 0 0 0 48 1 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525720832624 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661132 memory=819412 CPUtime=1.07 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1806 0 0 0 53 54 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 816848 KiB

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

[startup+2474.33 s]
# the end of solver process 24616 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.62 s, system=2.50524 s

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

[startup+2474.3 s]
/proc/loadavg: 1.30 1.42 1.44 3/215 24725
/proc/meminfo: memFree=25792436/32770624 swapFree=67108436/67108860
[pid=24616] ppid=24613 vsize=10661132 memory=816848 CPUtime=2520.09 cores=1,3,5,7
/proc/24616/stat : 24616 (java) S 24613 24616 21807 0 -1 1077944320 173233 0 0 0 251759 250 0 0 20 0 15 0 93727244 10916999168 204212 33554432000 4194304 4196468 140727063158208 140727063140752 140526235881207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
/proc/24616/statm: 2665283 204212 3179 1 0 2627263 0
[pid=24616/tid=24618] ppid=24613 vsize=10661132 memory=817360 CPUtime=2456.28 cores=1,3,5,7
/proc/24616/task/24618/stat : 24618 (java) R 24613 24616 21807 0 -1 4202560 57307 0 0 0 245584 44 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526240120624 140525849915512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24619] ppid=24613 vsize=10661132 memory=816848 CPUtime=13.9 cores=1,3,5,7
/proc/24616/task/24619/stat : 24619 (java) S 24613 24616 21807 0 -1 1077944384 18610 0 0 0 1358 32 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526172572816 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24620] ppid=24613 vsize=10661132 memory=820440 CPUtime=13.88 cores=1,3,5,7
/proc/24616/task/24620/stat : 24620 (java) S 24613 24616 21807 0 -1 1077944384 22066 0 0 0 1359 29 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526171520016 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24621] ppid=24613 vsize=10661132 memory=829160 CPUtime=13.87 cores=1,3,5,7
/proc/24616/task/24621/stat : 24621 (java) S 24613 24616 21807 0 -1 1077944384 17667 0 0 0 1357 30 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526170467216 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24622] ppid=24613 vsize=10661132 memory=818900 CPUtime=13.85 cores=1,3,5,7
/proc/24616/task/24622/stat : 24622 (java) S 24613 24616 21807 0 -1 1077944384 17710 0 0 0 1354 31 0 0 20 0 15 0 93727245 10916999168 204212 33554432000 4194304 4196468 140727063158208 140526169414416 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24623] ppid=24613 vsize=10661132 memory=817876 CPUtime=3.04 cores=1,3,5,7
/proc/24616/task/24623/stat : 24623 (java) S 24613 24616 21807 0 -1 1077944384 20451 0 0 0 265 39 0 0 20 0 15 0 93727247 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525727148400 140526235892354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24624] ppid=24613 vsize=10661132 memory=817360 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24624/stat : 24624 (java) S 24613 24616 21807 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525726094432 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24625] ppid=24613 vsize=10661132 memory=817876 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24625/stat : 24625 (java) S 24613 24616 21807 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93727247 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525725041520 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24626] ppid=24613 vsize=10661132 memory=816848 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24626/stat : 24626 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525723989840 140526235899803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24627] ppid=24613 vsize=10661132 memory=4140 CPUtime=1.82 cores=1,3,5,7
/proc/24616/task/24627/stat : 24627 (java) S 24613 24616 21807 0 -1 1077944384 7433 0 0 0 180 2 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525722938224 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24628] ppid=24613 vsize=10661132 memory=817360 CPUtime=1.79 cores=1,3,5,7
/proc/24616/task/24628/stat : 24628 (java) S 24613 24616 21807 0 -1 1077944384 4734 0 0 0 178 1 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525721885424 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24629] ppid=24613 vsize=10661132 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/24616/task/24629/stat : 24629 (java) S 24613 24616 21807 0 -1 1077944384 4059 0 0 0 48 1 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525720832624 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24630] ppid=24613 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/24616/task/24630/stat : 24630 (java) S 24613 24616 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525719780064 140526235891413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
[pid=24616/tid=24631] ppid=24613 vsize=10661132 memory=819412 CPUtime=1.07 cores=1,3,5,7
/proc/24616/task/24631/stat : 24631 (java) S 24613 24616 21807 0 -1 1077944384 1806 0 0 0 53 54 0 0 20 0 15 0 93727250 10916999168 204212 33554432000 4194304 4196468 140727063158208 140525718727344 140526235892354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22097920 140727063159925 140727063160073 140727063160073 140727063162831 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 816848 KiB

Child status: 143
Real time (s): 2474.33
CPU time (s): 2520.12
CPU user time (s): 2517.62
CPU system time (s): 2.50524
CPU usage (%): 101.851
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2669672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.62
system time used= 2.50524
maximum resident set size= 2671720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130952
involuntary context switches= 3505


# summary of solver processes directly reported to runsolver:
#   pid: 24616
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.62
#   total CPU system time (s): 2.50524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6683 second user time and 23.0913 second system time

The end
Name	GraphColoring/ GraphColoring-2-fullins-5_c18.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	354.284
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298463

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
