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)	778	2520.09	2472.92
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 (9378 MiB free)
  memory of node 1: 16384 MiB (10174 MiB free)
  node distances:
     10  21
     21  10

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

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
solver pid=24307, runsolver pid=24304
Current StackSize limit: 8192 KiB


[startup+0.100182 s]*
/proc/loadavg: 1.56 1.45 1.42 4/215 24322
/proc/meminfo: memFree=20005860/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10658972 memory=27576 CPUtime=0.12 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 5318 0 0 0 12 0 0 0 20 0 15 0 92337896 10914787328 6894 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2664743 6894 2825 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10658972 memory=-7254952165438285178 CPUtime=0.09 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 3198 0 0 0 9 0 0 0 20 0 15 0 92337897 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083712388896 140083708169622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10658972 memory=5793855487095572921 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10658972 memory=140236085679744 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92337898 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92337899 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92337899 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083266663328 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) R 24304 24307 23077 0 -1 4202560 431 0 0 0 0 0 0 0 20 0 15 0 92337902 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083263506928 140083708169622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) R 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337902 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083262454384 140083708168834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10658972 memory=140236085679744 CPUtime=0.02 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) R 24304 24307 23077 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 15 0 92337902 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083261401840 140083686865440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10658972 memory=140236085679744 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337902 10914787328 6894 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27576 KiB

[startup+0.210532 s]*
/proc/loadavg: 1.56 1.45 1.42 5/215 24322
/proc/meminfo: memFree=19994984/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10661056 memory=40328 CPUtime=0.35 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 8225 0 0 0 33 2 0 0 20 0 15 0 92337896 10916921344 10082 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2665264 10082 2982 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 5134 0 0 0 19 1 0 0 20 0 15 0 92337897 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083712396112 140083328019152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661056 memory=4211973962290470282 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661056 memory=140236085679744 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92337898 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661056 memory=140236085679744 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92337899 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92337899 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083266663328 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) S 24304 24307 23077 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 92337902 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083263506928 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) S 24304 24307 23077 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 92337902 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083262454384 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10661056 memory=140236085679744 CPUtime=0.08 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) R 24304 24307 23077 0 -1 4202560 786 0 0 0 8 0 0 0 20 0 15 0 92337902 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083261401968 140083708169622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10661056 memory=140236085679744 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337902 10916921344 10082 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40328 KiB

[startup+0.311272 s]*
/proc/loadavg: 1.56 1.45 1.42 6/215 24322
/proc/meminfo: memFree=19963528/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10661132 memory=57140 CPUtime=0.69 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 10807 0 0 0 66 3 0 0 20 0 15 0 92337896 10916999168 14285 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2665283 14285 3073 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10661132 memory=6735269665583770266 CPUtime=0.29 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 5411 0 0 0 28 1 0 0 20 0 15 0 92337897 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083712395344 140083701254523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661132 memory=4211973962290470282 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661132 memory=280472069605760 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661132 memory=280471967879680 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661132 memory=140235983926031 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661132 memory=280472069614976 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10661132 memory=140235983930639 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083266663328 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10661132 memory=140235983956053 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10661132 memory=140235983958692 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10661132 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) R 24304 24307 23077 0 -1 4202560 1593 0 0 0 11 0 0 0 20 0 15 0 92337902 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083263487832 140083700394814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10661132 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) R 24304 24307 23077 0 -1 4202560 1069 0 0 0 11 0 0 0 20 0 15 0 92337902 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083262447576 140083691657768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10661132 memory=140236085679744 CPUtime=0.13 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) R 24304 24307 23077 0 -1 4202560 1363 0 0 0 13 0 0 0 20 0 15 0 92337902 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083261401840 140083686750379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10661132 memory=140236085707320 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 14285 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 57140 KiB

[startup+0.701258 s]
/proc/loadavg: 1.56 1.45 1.42 5/215 24322
/proc/meminfo: memFree=19869204/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10661132 memory=190860 CPUtime=1.99 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 12655 0 0 0 194 5 0 0 20 0 15 0 92337896 10916999168 47715 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2665283 47715 3115 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10661132 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 5571 0 0 0 65 2 0 0 20 0 15 0 92337897 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083712395864 140083331298528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 92337898 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661132 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10661132 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083266663328 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10661132 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10661132 memory=792 CPUtime=0.48 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) R 24304 24307 23077 0 -1 4202560 1833 0 0 0 48 0 0 0 20 0 15 0 92337902 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083263490208 140083687854656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10661132 memory=1716 CPUtime=0.48 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) R 24304 24307 23077 0 -1 4202560 1842 0 0 0 48 0 0 0 20 0 15 0 92337902 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083262443648 140083692446544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10661132 memory=1952 CPUtime=0.3 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) S 24304 24307 23077 0 -1 1077944384 1918 0 0 0 30 0 0 0 20 0 15 0 92337902 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083261401840 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10661132 memory=8580 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 47715 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 190860 KiB

[startup+1.50082 s]
/proc/loadavg: 1.60 1.46 1.42 7/215 24322
/proc/meminfo: memFree=19461408/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10661132 memory=231944 CPUtime=4.15 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 13814 0 0 0 405 10 0 0 20 0 15 0 92337896 10916999168 57986 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2665283 57986 3162 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10661132 memory=4140 CPUtime=1.42 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 5720 0 0 0 140 2 0 0 20 0 15 0 92337897 10916999168 57986 33554432000 4194304 4196468 140732295410624 140083712392896 140083333237689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661132 memory=26692 CPUtime=0.03 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 105 0 0 0 2 1 0 0 20 0 15 0 92337898 10916999168 57986 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661132 memory=1296 CPUtime=0.03 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 91 0 0 0 2 1 0 0 20 0 15 0 92337898 10916999168 57986 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661132 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 98 0 0 0 2 1 0 0 20 0 15 0 92337898 10916999168 57986 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661132 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 15 0 92337898 10916999168 57986 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661132 memory=7451293975509493584 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 57986 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0

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

/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 70441 0 0 0 236737 20 0 0 20 0 15 0 92337897 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083712396960 140083334284680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661132 memory=850640 CPUtime=13 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 27480 0 0 0 1262 38 0 0 20 0 15 0 92337898 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661132 memory=850380 CPUtime=12.99 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 28519 0 0 0 1260 39 0 0 20 0 15 0 92337898 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661132 memory=848524 CPUtime=12.99 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 32638 0 0 0 1261 38 0 0 20 0 15 0 92337898 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661132 memory=853936 CPUtime=12.96 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 28955 0 0 0 1260 36 0 0 20 0 15 0 92337898 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661132 memory=852860 CPUtime=1.25 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 10113 0 0 0 101 24 0 0 20 0 15 0 92337899 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10661132 memory=848244 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083266663392 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10661132 memory=853940 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10661132 memory=850640 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10661132 memory=849844 CPUtime=2.34 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) S 24304 24307 23077 0 -1 1077944384 11693 0 0 0 233 1 0 0 20 0 15 0 92337902 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083263506928 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10661132 memory=849848 CPUtime=2.24 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) S 24304 24307 23077 0 -1 1077944384 6592 0 0 0 223 1 0 0 20 0 15 0 92337902 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083262454384 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10661132 memory=4140 CPUtime=0.59 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) S 24304 24307 23077 0 -1 1077944384 6229 0 0 0 57 2 0 0 20 0 15 0 92337902 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083261401840 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10661132 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10661132 memory=2412 CPUtime=1.33 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1220 0 0 0 60 73 0 0 20 0 15 0 92337902 10916999168 212660 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 2427.35 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 850640 KiB

[startup+2442.3 s]
/proc/loadavg: 1.32 1.33 1.41 3/215 24396
/proc/meminfo: memFree=18896428/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10661132 memory=855836 CPUtime=2488.74 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 232426 0 0 0 248615 259 0 0 20 0 15 0 92337896 10916999168 213959 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2665283 213959 3186 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10661132 memory=853984 CPUtime=2427.05 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 71329 0 0 0 242685 20 0 0 20 0 15 0 92337897 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083712398416 140083334350640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661132 memory=852100 CPUtime=13.45 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 28784 0 0 0 1307 38 0 0 20 0 15 0 92337898 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661132 memory=853952 CPUtime=13.44 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 30241 0 0 0 1305 39 0 0 20 0 15 0 92337898 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661132 memory=851740 CPUtime=13.44 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 34133 0 0 0 1306 38 0 0 20 0 15 0 92337898 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661132 memory=851076 CPUtime=13.42 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 30582 0 0 0 1306 36 0 0 20 0 15 0 92337898 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661132 memory=852104 CPUtime=1.29 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 10238 0 0 0 105 24 0 0 20 0 15 0 92337899 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10661132 memory=851072 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083266663392 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10661132 memory=853984 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10661132 memory=855836 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10661132 memory=215418761 CPUtime=2.34 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) S 24304 24307 23077 0 -1 1077944384 11695 0 0 0 233 1 0 0 20 0 15 0 92337902 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083263506928 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10661132 memory=4140 CPUtime=2.24 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) S 24304 24307 23077 0 -1 1077944384 6594 0 0 0 223 1 0 0 20 0 15 0 92337902 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083262454384 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10661132 memory=852396 CPUtime=0.59 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) S 24304 24307 23077 0 -1 1077944384 6231 0 0 0 57 2 0 0 20 0 15 0 92337902 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083261401840 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10661132 memory=855836 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10661132 memory=12032 CPUtime=1.35 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1238 0 0 0 61 74 0 0 20 0 15 0 92337902 10916999168 213959 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 2488.74 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 855836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2472.9 s]
/proc/loadavg: 1.52 1.37 1.42 3/215 24397
/proc/meminfo: memFree=18896112/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10661132 memory=854932 CPUtime=2520.05 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 234867 0 0 0 251744 261 0 0 20 0 15 0 92337896 10916999168 213733 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2665283 213733 3186 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10661132 memory=854932 CPUtime=2457.38 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 71543 0 0 0 245718 20 0 0 20 0 15 0 92337897 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083712396960 140083334284740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661132 memory=854932 CPUtime=13.69 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 29240 0 0 0 1330 39 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661132 memory=855956 CPUtime=13.68 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 31101 0 0 0 1329 39 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661132 memory=856912 CPUtime=13.67 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 34583 0 0 0 1329 38 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661132 memory=856912 CPUtime=13.65 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 31033 0 0 0 1329 36 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661132 memory=850456 CPUtime=1.32 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 10246 0 0 0 108 24 0 0 20 0 15 0 92337899 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10661132 memory=848868 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083266663392 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10661132 memory=854932 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10661132 memory=852812 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10661132 memory=856912 CPUtime=2.34 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) S 24304 24307 23077 0 -1 1077944384 11695 0 0 0 233 1 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083263506928 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10661132 memory=855956 CPUtime=2.24 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) S 24304 24307 23077 0 -1 1077944384 6594 0 0 0 223 1 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083262454384 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10661132 memory=855956 CPUtime=0.59 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) S 24304 24307 23077 0 -1 1077944384 6231 0 0 0 57 2 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083261401840 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10661132 memory=856912 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10661132 memory=1408 CPUtime=1.38 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1240 0 0 0 62 76 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 854932 KiB

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

[startup+2472.91 s]
# the end of solver process 24307 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.46 s, system=2.62451 s

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

[startup+2472.9 s]
/proc/loadavg: 1.52 1.37 1.42 3/215 24397
/proc/meminfo: memFree=18896112/32770624 swapFree=67108860/67108860
[pid=24307] ppid=24304 vsize=10661132 memory=854932 CPUtime=2520.05 cores=1,3,5,7
/proc/24307/stat : 24307 (java) S 24304 24307 23077 0 -1 1077944320 234867 0 0 0 251744 261 0 0 20 0 15 0 92337896 10916999168 213733 33554432000 4194304 4196468 140732295410624 140732295393168 140083708157687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
/proc/24307/statm: 2665283 213733 3186 1 0 2627263 0
[pid=24307/tid=24309] ppid=24304 vsize=10661132 memory=854932 CPUtime=2457.38 cores=1,3,5,7
/proc/24307/task/24309/stat : 24309 (java) R 24304 24307 23077 0 -1 4202560 71543 0 0 0 245718 20 0 0 20 0 15 0 92337897 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083712396960 140083334284740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24310] ppid=24304 vsize=10661132 memory=854932 CPUtime=13.69 cores=1,3,5,7
/proc/24307/task/24310/stat : 24310 (java) S 24304 24307 23077 0 -1 1077944384 29240 0 0 0 1330 39 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083650161424 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24311] ppid=24304 vsize=10661132 memory=855956 CPUtime=13.68 cores=1,3,5,7
/proc/24307/task/24311/stat : 24311 (java) S 24304 24307 23077 0 -1 1077944384 31101 0 0 0 1329 39 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083649108880 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24312] ppid=24304 vsize=10661132 memory=856912 CPUtime=13.67 cores=1,3,5,7
/proc/24307/task/24312/stat : 24312 (java) S 24304 24307 23077 0 -1 1077944384 34583 0 0 0 1329 38 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083648056336 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24313] ppid=24304 vsize=10661132 memory=856912 CPUtime=13.65 cores=1,3,5,7
/proc/24307/task/24313/stat : 24313 (java) S 24304 24307 23077 0 -1 1077944384 31033 0 0 0 1329 36 0 0 20 0 15 0 92337898 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083311991952 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24314] ppid=24304 vsize=10661132 memory=850456 CPUtime=1.32 cores=1,3,5,7
/proc/24307/task/24314/stat : 24314 (java) S 24304 24307 23077 0 -1 1077944384 10246 0 0 0 108 24 0 0 20 0 15 0 92337899 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083267717104 140083708168834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24315] ppid=24304 vsize=10661132 memory=848868 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24315/stat : 24315 (java) S 24304 24307 23077 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92337899 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083266663392 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24316] ppid=24304 vsize=10661132 memory=854932 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24316/stat : 24316 (java) S 24304 24307 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92337900 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083265610736 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24317] ppid=24304 vsize=10661132 memory=852812 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24317/stat : 24317 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083264559312 140083708176283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24318] ppid=24304 vsize=10661132 memory=856912 CPUtime=2.34 cores=1,3,5,7
/proc/24307/task/24318/stat : 24318 (java) S 24304 24307 23077 0 -1 1077944384 11695 0 0 0 233 1 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083263506928 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24319] ppid=24304 vsize=10661132 memory=855956 CPUtime=2.24 cores=1,3,5,7
/proc/24307/task/24319/stat : 24319 (java) S 24304 24307 23077 0 -1 1077944384 6594 0 0 0 223 1 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083262454384 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24320] ppid=24304 vsize=10661132 memory=855956 CPUtime=0.59 cores=1,3,5,7
/proc/24307/task/24320/stat : 24320 (java) S 24304 24307 23077 0 -1 1077944384 6231 0 0 0 57 2 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083261401840 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24321] ppid=24304 vsize=10661132 memory=856912 CPUtime=0 cores=1,3,5,7
/proc/24307/task/24321/stat : 24321 (java) S 24304 24307 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083260349536 140083708167893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
[pid=24307/tid=24322] ppid=24304 vsize=10661132 memory=1408 CPUtime=1.38 cores=1,3,5,7
/proc/24307/task/24322/stat : 24322 (java) S 24304 24307 23077 0 -1 1077944384 1240 0 0 0 62 76 0 0 20 0 15 0 92337902 10916999168 213733 33554432000 4194304 4196468 140732295410624 140083259296048 140083708168834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 7024640 140732295419000 140732295419145 140732295419145 140732295421903 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 854932 KiB

Child status: 143
Real time (s): 2472.92
CPU time (s): 2520.09
CPU user time (s): 2517.46
CPU system time (s): 2.62451
CPU usage (%): 101.908
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1420708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.46
system time used= 2.62451
maximum resident set size= 1422652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85403
involuntary context switches= 2197


# summary of solver processes directly reported to runsolver:
#   pid: 24307
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2517.46
#   total CPU system time (s): 2.62451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5974 second user time and 22.3617 second system time

The end
Name	Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-10-opt_c18.xml
MD5SUM	243bcfbcb34c1b91a77d0c7cb67e5fc9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	0.8321
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	3907
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298174

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
