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

Solver Name	Answer	objective function	CPU time	Wall clock time
The dodo solver 2018-04-29	SAT (TO)	30	2520.08	2484.14
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 (9595 MiB free)
  memory of node 1: 16384 MiB (9390 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298475-1532760248/watcher-4298475-1532760248 -o /tmp/evaluation-result-4298475-1532760248/solver-4298475-1532760248 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23108 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298475-1532760248.xml --timelimit 2520 

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

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


[startup+0.100058 s]*
/proc/loadavg: 1.73 1.59 1.64 4/216 25627
/proc/meminfo: memFree=19401920/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10658972 memory=27728 CPUtime=0.13 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 5361 0 0 0 12 1 0 0 20 0 15 0 93588000 10914787328 6932 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2664743 6932 2845 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10658972 memory=-7254952165438285178 CPUtime=0.08 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 3229 0 0 0 8 0 0 0 20 0 15 0 93588001 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565943692896 140565939473814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10658972 memory=5793855139391629753 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10658972 memory=139888381736576 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93588002 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93588003 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93588003 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565498238496 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93588004 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) R 25609 25612 23077 0 -1 4202560 310 0 0 0 0 0 0 0 20 0 15 0 93588006 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565495081424 140565922885709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) R 25609 25612 23077 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 93588006 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565494028528 140565939473026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10658972 memory=139888381736576 CPUtime=0.02 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) R 25609 25612 23077 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 93588006 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565492975728 140565939473814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10658972 memory=139888381736576 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588007 10914787328 6932 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27728 KiB

[startup+0.210566 s]*
/proc/loadavg: 1.73 1.59 1.64 4/216 25627
/proc/meminfo: memFree=19389780/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10661056 memory=40312 CPUtime=0.35 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 8166 0 0 0 33 2 0 0 20 0 15 0 93588000 10916921344 10078 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2665264 10078 2972 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 5143 0 0 0 19 1 0 0 20 0 15 0 93588001 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565943699936 140565939473814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661056 memory=4211973614586527114 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661056 memory=139888381736576 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93588002 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661056 memory=139888381736576 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93588003 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93588003 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565498238496 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93588004 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) R 25609 25612 23077 0 -1 4202560 615 0 0 0 3 0 0 0 20 0 15 0 93588006 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565495081328 140565939483226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) R 25609 25612 23077 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 93588006 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565494028528 140565939473026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10661056 memory=139888381736576 CPUtime=0.08 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) R 25609 25612 23077 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 15 0 93588006 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565492971680 140565918421779 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10661056 memory=139888381736576 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588007 10916921344 10078 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40312 KiB

[startup+0.310688 s]*
/proc/loadavg: 1.73 1.59 1.64 5/216 25627
/proc/meminfo: memFree=19373528/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10661132 memory=56172 CPUtime=0.67 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 10139 0 0 0 65 2 0 0 20 0 15 0 93588000 10916999168 14043 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2665283 14043 3051 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10661132 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 5280 0 0 0 28 1 0 0 20 0 15 0 93588001 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565943694192 140565923542366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661132 memory=4211973614586527114 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661132 memory=279776607529344 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661132 memory=279776451613184 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661132 memory=139888225792783 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661132 memory=279776607538560 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10661132 memory=139888225797391 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565498238496 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10661132 memory=139888225822805 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93588004 10916999168 14043 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10661132 memory=139888225826908 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 14108 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10661132 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) R 25609 25612 23077 0 -1 4202560 1196 0 0 0 12 0 0 0 20 0 15 0 93588006 10916999168 14108 33554432000 4194304 4196468 140721399822800 140565495067352 140565924587999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10661132 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) R 25609 25612 23077 0 -1 4202560 1187 0 0 0 11 0 0 0 20 0 15 0 93588006 10916999168 14108 33554432000 4194304 4196468 140721399822800 140565494014408 140565920635932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10661132 memory=139888381736576 CPUtime=0.12 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) R 25609 25612 23077 0 -1 1077944384 1111 0 0 0 12 0 0 0 20 0 15 0 93588006 10916999168 14108 33554432000 4194304 4196468 140721399822800 140565492975728 140565939473026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 14108 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10661132 memory=139888381764304 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588007 10916999168 14108 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 56172 KiB

[startup+0.708645 s]
/proc/loadavg: 1.73 1.59 1.64 5/216 25627
/proc/meminfo: memFree=19352740/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10661132 memory=148464 CPUtime=1.84 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 11171 0 0 0 180 4 0 0 20 0 15 0 93588000 10916999168 37116 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2665283 37116 3098 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10661132 memory=54 CPUtime=0.69 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 5529 0 0 0 66 3 0 0 20 0 15 0 93588001 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565943696792 140565575273372 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93588002 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661132 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10661132 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565498238496 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10661132 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93588004 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10661132 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10661132 memory=792 CPUtime=0.45 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) R 25609 25612 23077 0 -1 4202560 1647 0 0 0 45 0 0 0 20 0 15 0 93588006 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565495071248 140565922799617 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10661132 memory=1716 CPUtime=0.44 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) R 25609 25612 23077 0 -1 4202560 1278 0 0 0 44 0 0 0 20 0 15 0 93588006 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565494010096 140565925477059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10661132 memory=1952 CPUtime=0.23 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25609 25612 23077 0 -1 1077944384 1346 0 0 0 23 0 0 0 20 0 15 0 93588006 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565492975728 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10661132 memory=8580 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93588007 10916999168 37116 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 148464 KiB

[startup+1.50172 s]
/proc/loadavg: 1.73 1.59 1.64 3/216 25627
/proc/meminfo: memFree=19237220/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10661132 memory=373544 CPUtime=4.24 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 15538 0 0 0 408 16 0 0 20 0 15 0 93588000 10916999168 93386 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2665283 93386 3158 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10661132 memory=4140 CPUtime=1.41 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 5754 0 0 0 137 4 0 0 20 0 15 0 93588001 10916999168 93386 33554432000 4194304 4196468 140721399822800 140565943698176 140565576579072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661132 memory=27056 CPUtime=0.05 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 134 0 0 0 3 2 0 0 20 0 15 0 93588002 10916999168 93386 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661132 memory=1296 CPUtime=0.05 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 224 0 0 0 3 2 0 0 20 0 15 0 93588002 10916999168 93386 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661132 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 121 0 0 0 3 2 0 0 20 0 15 0 93588002 10916999168 93386 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661132 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 127 0 0 0 3 2 0 0 20 0 15 0 93588002 10916999168 93386 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661132 memory=7451293975509492305 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 93386 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0

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

/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 87916 0 0 0 237222 77 0 0 20 0 15 0 93588001 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565943622784 140565578934020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661132 memory=968908 CPUtime=8.86 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 38687 0 0 0 865 21 0 0 20 0 15 0 93588002 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661132 memory=965316 CPUtime=8.84 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 31859 0 0 0 865 19 0 0 20 0 15 0 93588002 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661132 memory=965316 CPUtime=8.83 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 34364 0 0 0 864 19 0 0 20 0 15 0 93588002 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661132 memory=968908 CPUtime=8.78 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 45804 0 0 0 859 19 0 0 20 0 15 0 93588002 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661132 memory=965316 CPUtime=0.25 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 12363 0 0 0 20 5 0 0 20 0 15 0 93588003 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565498238560 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10661132 memory=27104 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93588004 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10661132 memory=968908 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10661132 memory=972820 CPUtime=2.72 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25609 25612 23077 0 -1 1077944384 10911 0 0 0 271 1 0 0 20 0 15 0 93588006 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565495081328 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10661132 memory=965316 CPUtime=3.11 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25609 25612 23077 0 -1 1077944384 15066 0 0 0 310 1 0 0 20 0 15 0 93588006 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565494028528 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10661132 memory=4140 CPUtime=0.52 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25609 25612 23077 0 -1 1077944384 4760 0 0 0 51 1 0 0 20 0 15 0 93588006 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565492975728 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10661132 memory=965316 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10661132 memory=4140 CPUtime=1.19 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1472 0 0 0 59 60 0 0 20 0 15 0 93588007 10916999168 241329 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 2416.18 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 965316 KiB

[startup+2442.3 s]
/proc/loadavg: 1.73 1.82 1.85 3/216 25724
/proc/meminfo: memFree=17840704/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10661132 memory=957628 CPUtime=2477.46 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 286513 0 0 0 247532 214 0 0 20 0 15 0 93588000 10916999168 239407 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2665283 239407 3179 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10661132 memory=957628 CPUtime=2432.57 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 88775 0 0 0 243178 79 0 0 20 0 15 0 93588001 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565943702752 140565578433993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661132 memory=957620 CPUtime=9.28 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 38937 0 0 0 907 21 0 0 20 0 15 0 93588002 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661132 memory=957632 CPUtime=9.25 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 32406 0 0 0 906 19 0 0 20 0 15 0 93588002 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661132 memory=957632 CPUtime=9.25 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 34440 0 0 0 906 19 0 0 20 0 15 0 93588002 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661132 memory=957628 CPUtime=9.2 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 45816 0 0 0 901 19 0 0 20 0 15 0 93588002 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661132 memory=957628 CPUtime=0.26 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 12506 0 0 0 21 5 0 0 20 0 15 0 93588003 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10661132 memory=957628 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565498238560 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10661132 memory=957628 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93588004 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10661132 memory=957628 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10661132 memory=12032 CPUtime=2.72 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25609 25612 23077 0 -1 1077944384 10914 0 0 0 271 1 0 0 20 0 15 0 93588006 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565495081328 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10661132 memory=288230574492221466 CPUtime=3.11 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25609 25612 23077 0 -1 1077944384 15068 0 0 0 310 1 0 0 20 0 15 0 93588006 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565494028528 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10661132 memory=303430244793319739 CPUtime=0.52 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25609 25612 23077 0 -1 1077944384 4762 0 0 0 51 1 0 0 20 0 15 0 93588006 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565492975728 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10661132 memory=14135545664113376 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10661132 memory=957628 CPUtime=1.22 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1502 0 0 0 60 62 0 0 20 0 15 0 93588007 10916999168 239407 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 2477.46 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 957628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2484.11 s]
/proc/loadavg: 1.95 1.88 1.87 3/215 25802
/proc/meminfo: memFree=18922012/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10661132 memory=949748 CPUtime=2520.05 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 289521 0 0 0 251788 217 0 0 20 0 15 0 93588000 10916999168 237437 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2665283 237437 3179 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10661132 memory=957752 CPUtime=2474.11 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 89549 0 0 0 247330 81 0 0 20 0 15 0 93588001 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565943609456 140721400203202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.53 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 38948 0 0 0 932 21 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.51 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 33463 0 0 0 932 19 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.5 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 34451 0 0 0 931 19 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.45 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 46810 0 0 0 926 19 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661132 memory=949748 CPUtime=0.26 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 12643 0 0 0 21 5 0 0 20 0 15 0 93588003 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10661132 memory=949748 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565498238560 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10661132 memory=957628 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93588004 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10661132 memory=953860 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10661132 memory=953860 CPUtime=2.72 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25609 25612 23077 0 -1 1077944384 10917 0 0 0 271 1 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565495081328 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10661132 memory=3472328296227679313 CPUtime=3.11 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25609 25612 23077 0 -1 1077944384 15070 0 0 0 310 1 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565494028528 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10661132 memory=301793952431092053 CPUtime=0.52 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25609 25612 23077 0 -1 1077944384 4764 0 0 0 51 1 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565492975728 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10661132 memory=949748 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10661132 memory=949748 CPUtime=1.25 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1519 0 0 0 62 63 0 0 20 0 15 0 93588007 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 949748 KiB

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

[startup+2484.14 s]
# the end of solver process 25612 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.9 s, system=2.18132 s

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

[startup+2484.11 s]
/proc/loadavg: 1.95 1.88 1.87 3/215 25802
/proc/meminfo: memFree=18922012/32770624 swapFree=67108860/67108860
[pid=25612] ppid=25609 vsize=10661132 memory=949748 CPUtime=2520.05 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25609 25612 23077 0 -1 1077944320 289521 0 0 0 251788 217 0 0 20 0 15 0 93588000 10916999168 237437 33554432000 4194304 4196468 140721399822800 140721399805344 140565939461879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
/proc/25612/statm: 2665283 237437 3179 1 0 2627263 0
[pid=25612/tid=25614] ppid=25609 vsize=10661132 memory=957752 CPUtime=2474.11 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) R 25609 25612 23077 0 -1 4202560 89549 0 0 0 247330 81 0 0 20 0 15 0 93588001 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565943609456 140721400203202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25615] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.53 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25609 25612 23077 0 -1 1077944384 38948 0 0 0 932 21 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565892082320 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25616] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.51 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25609 25612 23077 0 -1 1077944384 33463 0 0 0 932 19 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565545671184 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25617] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.5 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25609 25612 23077 0 -1 1077944384 34451 0 0 0 931 19 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565544618384 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25618] ppid=25609 vsize=10661132 memory=949748 CPUtime=9.45 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25609 25612 23077 0 -1 1077944384 46810 0 0 0 926 19 0 0 20 0 15 0 93588002 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565543565584 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25619] ppid=25609 vsize=10661132 memory=949748 CPUtime=0.26 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25609 25612 23077 0 -1 1077944384 12643 0 0 0 21 5 0 0 20 0 15 0 93588003 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565499292528 140565939473026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25620] ppid=25609 vsize=10661132 memory=949748 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25609 25612 23077 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93588003 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565498238560 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25621] ppid=25609 vsize=10661132 memory=957628 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25609 25612 23077 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93588004 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565497185648 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25622] ppid=25609 vsize=10661132 memory=953860 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565496133968 140565939480475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25623] ppid=25609 vsize=10661132 memory=953860 CPUtime=2.72 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25609 25612 23077 0 -1 1077944384 10917 0 0 0 271 1 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565495081328 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25624] ppid=25609 vsize=10661132 memory=3472328296227679313 CPUtime=3.11 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25609 25612 23077 0 -1 1077944384 15070 0 0 0 310 1 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565494028528 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25625] ppid=25609 vsize=10661132 memory=301793952431092053 CPUtime=0.52 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25609 25612 23077 0 -1 1077944384 4764 0 0 0 51 1 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565492975728 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25626] ppid=25609 vsize=10661132 memory=949748 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25609 25612 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93588006 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565491923168 140565939472085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
[pid=25612/tid=25627] ppid=25609 vsize=10661132 memory=949748 CPUtime=1.25 cores=0,2,4,6
/proc/25612/task/25627/stat : 25627 (java) S 25609 25612 23077 0 -1 1077944384 1519 0 0 0 62 63 0 0 20 0 15 0 93588007 10916999168 237437 33554432000 4194304 4196468 140721399822800 140565490871472 140565939473026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32256000 140721399829624 140721399829769 140721399829769 140721399832527 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 949748 KiB

Child status: 143
Real time (s): 2484.14
CPU time (s): 2520.08
CPU user time (s): 2517.9
CPU system time (s): 2.18132
CPU usage (%): 101.447
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1988228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.9
system time used= 2.18133
maximum resident set size= 1988228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58068
involuntary context switches= 3879


# summary of solver processes directly reported to runsolver:
#   pid: 25612
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.9
#   total CPU system time (s): 2.18132

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0898 second user time and 24.1847 second system time

The end
Name	GraphColoring/ GraphColoring-qg-order30_c18.xml
MD5SUM	2f5cbdca11052f8d5a6d32bd8b795ba4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	29
Best CPU time to get the best result obtained on this benchmark	2520.01
Satisfiable
(Un)Satisfiability was proved
Number of variables	900
Number of constraints	26100
Number of domains	1
Minimum domain size	900
Maximum domain size	900
Distribution of domain sizes	[{"size":900,"count":900}]
Minimum variable degree	59
Maximum variable degree	59
Distribution of variable degrees	[{"degree":59,"count":900}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":26100}]
Number of extensional constraints	0
Number of intensional constraints	26100
Distribution of constraint types	[{"type":"intension","count":26100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298475

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
