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

Solver Name	Answer	CPU time	Wall clock time
The dodo solver 2018-04-29	SAT (TO)	2520.06	2509.31
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 (14985 MiB free)
  memory of node 1: 16384 MiB (11712 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298803-1532780877/watcher-4298803-1532780877 -o /tmp/evaluation-result-4298803-1532780877/solver-4298803-1532780877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532775878-27710 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298803-1532780877.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=28239, runsolver pid=28236
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.77 1.58 1.47 5/215 28254
/proc/meminfo: memFree=27320992/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10658972 memory=28728 CPUtime=0.13 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 5013 0 0 0 12 1 0 0 20 0 15 0 95650918 10914787328 7182 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2664743 7182 2887 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10658972 memory=-8197568871503139708 CPUtime=0.09 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 2838 0 0 0 9 0 0 0 20 0 15 0 95650919 10914787328 7182 33554432000 4194304 4196468 140725139274384 140415263382144 140415238742275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10914787328 7182 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10658972 memory=140273253279360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10914787328 7182 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10914787328 7182 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650919 10914787328 7182 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10658972 memory=140273253279360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650921 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95650921 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95650921 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) R 28236 28239 27678 0 -1 4202560 470 0 0 0 0 0 0 0 20 0 15 0 95650924 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414155737072 140415243446384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) R 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414154684528 140415259167362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10658972 memory=140273253279360 CPUtime=0.02 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) S 28236 28239 27678 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 95650924 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414153631984 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10658972 memory=140273253279360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650924 10914787328 7182 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 28728 KiB

[startup+0.21058 s]*
/proc/loadavg: 1.77 1.58 1.47 4/215 28254
/proc/meminfo: memFree=27309780/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10661056 memory=41596 CPUtime=0.35 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 7917 0 0 0 32 3 0 0 20 0 15 0 95650918 10916921344 10399 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2665264 10399 3014 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 4635 0 0 0 18 2 0 0 20 0 15 0 95650919 10916921344 10399 33554432000 4194304 4196468 140725139274384 140415263394032 140415245398797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916921344 10399 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661056 memory=288370649404991104 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916921344 10399 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916921344 10399 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650919 10916921344 10399 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661056 memory=140273253279360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650921 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95650921 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95650921 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) S 28236 28239 27678 0 -1 1077944384 635 0 0 0 2 0 0 0 20 0 15 0 95650924 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414155737072 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) R 28236 28239 27678 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 95650924 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414154665544 140415243052752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10661056 memory=140273253279360 CPUtime=0.08 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) R 28236 28239 27678 0 -1 4202560 936 0 0 0 8 0 0 0 20 0 15 0 95650924 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414153627712 140415238292153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10661056 memory=140273253279360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650924 10916921344 10399 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 41596 KiB

[startup+0.312421 s]*
/proc/loadavg: 1.77 1.58 1.47 4/215 28254
/proc/meminfo: memFree=27302088/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10661132 memory=47616 CPUtime=0.6 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 8500 0 0 0 57 3 0 0 20 0 15 0 95650918 10916999168 11904 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2665283 11904 3058 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 4957 0 0 0 28 2 0 0 20 0 15 0 95650919 10916999168 11904 33554432000 4194304 4196468 140725139274384 140415263391488 140415243199845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661132 memory=288230600429797399 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 11904 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661132 memory=288370649404991104 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 11904 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 11904 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 11904 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661132 memory=140273253279360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) R 28236 28239 27678 0 -1 1077944384 723 0 0 0 6 0 0 0 20 0 15 0 95650924 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414155737072 140415259167362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10661132 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) R 28236 28239 27678 0 -1 4202560 376 0 0 0 6 0 0 0 20 0 15 0 95650924 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414154684528 140415240700303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10661132 memory=140273253279360 CPUtime=0.16 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) S 28236 28239 27678 0 -1 1077944384 1077 0 0 0 16 0 0 0 20 0 15 0 95650924 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414153631984 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10661132 memory=140273253279360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 11904 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47616 KiB

[startup+0.700745 s]
/proc/loadavg: 1.77 1.58 1.47 5/215 28254
/proc/meminfo: memFree=27280444/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10661132 memory=78940 CPUtime=1.81 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 11153 0 0 0 176 5 0 0 20 0 15 0 95650918 10916999168 19735 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2665283 19735 3116 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10661132 memory=1788 CPUtime=0.67 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 5134 0 0 0 64 3 0 0 20 0 15 0 95650919 10916999168 19735 33554432000 4194304 4196468 140725139274384 140415263352160 140725139630018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661132 memory=860 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 19735 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661132 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 19735 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661132 memory=756 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 19735 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661132 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 19735 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661132 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10661132 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10661132 memory=6384 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10661132 memory=7523093115782322283 CPUtime=0.41 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) R 28236 28239 27678 0 -1 4202560 1777 0 0 0 41 0 0 0 20 0 15 0 95650924 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414155723296 140415238811408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10661132 memory=5787213827096799335 CPUtime=0.41 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) R 28236 28239 27678 0 -1 4202560 1392 0 0 0 41 0 0 0 20 0 15 0 95650924 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414154675984 140415243444976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10661132 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) S 28236 28239 27678 0 -1 1077944384 1479 0 0 0 28 0 0 0 20 0 15 0 95650924 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414153631984 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 19735 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 78940 KiB

[startup+1.50071 s]
/proc/loadavg: 1.77 1.58 1.47 3/215 28254
/proc/meminfo: memFree=27245664/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10661132 memory=141424 CPUtime=2.84 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 11810 0 0 0 278 6 0 0 20 0 15 0 95650918 10916999168 35356 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2665283 35356 3117 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10661132 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 5247 0 0 0 143 3 0 0 20 0 15 0 95650919 10916999168 35356 33554432000 4194304 4196468 140725139274384 140415263317152 140725139630018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 35356 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661132 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 35356 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661132 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 35356 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95650919 10916999168 35356 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 35356 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0

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

/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 13022 0 0 0 240143 3458 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415263376000 140725139630018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.11 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 3768 0 0 0 302 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.12 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 3023 0 0 0 303 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.12 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 2734 0 0 0 302 10 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.11 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2765 0 0 0 303 8 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661132 memory=173360 CPUtime=1.66 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 3991 0 0 0 155 11 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10661132 memory=173360 CPUtime=0.77 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) S 28236 28239 27678 0 -1 1077944384 6318 0 0 0 76 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414155737072 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10661132 memory=173360 CPUtime=0.98 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) S 28236 28239 27678 0 -1 1077944384 6503 0 0 0 97 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414154684528 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10661132 memory=173360 CPUtime=0.34 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) S 28236 28239 27678 0 -1 1077944384 4986 0 0 0 33 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414153631984 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10661132 memory=173360 CPUtime=0.52 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 545 0 0 0 23 29 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 2452.8 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 173360 KiB

[startup+2502.3 s]
/proc/loadavg: 1.56 1.48 1.42 3/215 28501
/proc/meminfo: memFree=27179500/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10661132 memory=173360 CPUtime=2512.99 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 49437 0 0 0 247685 3614 0 0 20 0 15 0 95650918 10916999168 43340 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2665283 43340 3152 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10661132 memory=173360 CPUtime=2495.83 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 13134 0 0 0 246042 3541 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415263362432 140725139630018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.19 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 3984 0 0 0 310 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.19 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 3029 0 0 0 310 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.19 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 2749 0 0 0 309 10 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.19 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2766 0 0 0 310 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661132 memory=173360 CPUtime=1.7 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 4008 0 0 0 159 11 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10661132 memory=1224 CPUtime=0.77 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) S 28236 28239 27678 0 -1 1077944384 6320 0 0 0 76 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414155737072 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10661132 memory=2260 CPUtime=0.98 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) S 28236 28239 27678 0 -1 1077944384 6505 0 0 0 97 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414154684528 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10661132 memory=173360 CPUtime=0.34 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) S 28236 28239 27678 0 -1 1077944384 4988 0 0 0 33 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414153631984 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10661132 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10661132 memory=4460 CPUtime=0.53 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 551 0 0 0 24 29 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 2512.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 173360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.3 s]
/proc/loadavg: 1.32 1.43 1.40 3/215 28501
/proc/meminfo: memFree=27179500/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10661132 memory=173360 CPUtime=2520.03 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 49449 0 0 0 248377 3626 0 0 20 0 15 0 95650918 10916999168 43340 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2665283 43340 3152 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10661132 memory=170 CPUtime=2502.82 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 13142 0 0 0 246729 3553 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415263362432 140725139630018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.19 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 3984 0 0 0 310 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.2 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 3029 0 0 0 311 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661132 memory=3872 CPUtime=3.2 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 2749 0 0 0 310 10 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661132 memory=27672 CPUtime=3.2 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2766 0 0 0 311 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661132 memory=173360 CPUtime=1.7 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 4010 0 0 0 159 11 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10661132 memory=56 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10661132 memory=3872 CPUtime=0.77 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) S 28236 28239 27678 0 -1 1077944384 6320 0 0 0 76 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414155737072 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10661132 memory=173360 CPUtime=0.98 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) S 28236 28239 27678 0 -1 1077944384 6505 0 0 0 97 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414154684528 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10661132 memory=6384 CPUtime=0.34 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) S 28236 28239 27678 0 -1 1077944384 4988 0 0 0 33 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414153631984 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10661132 memory=928 CPUtime=0.53 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 553 0 0 0 24 29 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 173360 KiB

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

[startup+2509.31 s]
# the end of solver process 28239 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2483.79 s, system=36.2666 s

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

[startup+2509.3 s]
/proc/loadavg: 1.32 1.43 1.40 3/215 28501
/proc/meminfo: memFree=27179500/32770624 swapFree=67108496/67108860
[pid=28239] ppid=28236 vsize=10661132 memory=173360 CPUtime=2520.03 cores=1,3,5,7
/proc/28239/stat : 28239 (java) S 28236 28239 27678 0 -1 1077944320 49449 0 0 0 248377 3626 0 0 20 0 15 0 95650918 10916999168 43340 33554432000 4194304 4196468 140725139274384 140725139256928 140415259156215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
/proc/28239/statm: 2665283 43340 3152 1 0 2627263 0
[pid=28239/tid=28241] ppid=28236 vsize=10661132 memory=170 CPUtime=2502.82 cores=1,3,5,7
/proc/28239/task/28241/stat : 28241 (java) R 28236 28239 27678 0 -1 4202560 13142 0 0 0 246729 3553 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415263362432 140725139630018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28242] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.19 cores=1,3,5,7
/proc/28239/task/28242/stat : 28242 (java) S 28236 28239 27678 0 -1 1077944384 3984 0 0 0 310 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415185230096 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28243] ppid=28236 vsize=10661132 memory=173360 CPUtime=3.2 cores=1,3,5,7
/proc/28239/task/28243/stat : 28243 (java) S 28236 28239 27678 0 -1 1077944384 3029 0 0 0 311 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415184177552 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28244] ppid=28236 vsize=10661132 memory=3872 CPUtime=3.2 cores=1,3,5,7
/proc/28239/task/28244/stat : 28244 (java) S 28236 28239 27678 0 -1 1077944384 2749 0 0 0 310 10 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415183125008 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28245] ppid=28236 vsize=10661132 memory=27672 CPUtime=3.2 cores=1,3,5,7
/proc/28239/task/28245/stat : 28245 (java) S 28236 28239 27678 0 -1 1077944384 2766 0 0 0 311 9 0 0 20 0 15 0 95650919 10916999168 43340 33554432000 4194304 4196468 140725139274384 140415182072464 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28246] ppid=28236 vsize=10661132 memory=173360 CPUtime=1.7 cores=1,3,5,7
/proc/28239/task/28246/stat : 28246 (java) S 28236 28239 27678 0 -1 1077944384 4010 0 0 0 159 11 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414362274288 140415259167362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28247] ppid=28236 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28247/stat : 28247 (java) S 28236 28239 27678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414361220512 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28248] ppid=28236 vsize=10661132 memory=56 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28248/stat : 28248 (java) S 28236 28239 27678 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 95650921 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414157841904 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28249] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28249/stat : 28249 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414156790480 140415259174811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28250] ppid=28236 vsize=10661132 memory=3872 CPUtime=0.77 cores=1,3,5,7
/proc/28239/task/28250/stat : 28250 (java) S 28236 28239 27678 0 -1 1077944384 6320 0 0 0 76 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414155737072 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28251] ppid=28236 vsize=10661132 memory=173360 CPUtime=0.98 cores=1,3,5,7
/proc/28239/task/28251/stat : 28251 (java) S 28236 28239 27678 0 -1 1077944384 6505 0 0 0 97 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414154684528 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28252] ppid=28236 vsize=10661132 memory=6384 CPUtime=0.34 cores=1,3,5,7
/proc/28239/task/28252/stat : 28252 (java) S 28236 28239 27678 0 -1 1077944384 4988 0 0 0 33 1 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414153631984 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28253] ppid=28236 vsize=10661132 memory=173360 CPUtime=0 cores=1,3,5,7
/proc/28239/task/28253/stat : 28253 (java) S 28236 28239 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414152579680 140415259166421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
[pid=28239/tid=28254] ppid=28236 vsize=10661132 memory=928 CPUtime=0.53 cores=1,3,5,7
/proc/28239/task/28254/stat : 28254 (java) S 28236 28239 27678 0 -1 1077944384 553 0 0 0 24 29 0 0 20 0 15 0 95650924 10916999168 43340 33554432000 4194304 4196468 140725139274384 140414151527216 140415259167362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33992704 140725139281016 140725139281161 140725139281161 140725139283919 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 173360 KiB

Child status: 143
Real time (s): 2509.31
CPU time (s): 2520.06
CPU user time (s): 2483.79
CPU system time (s): 36.2666
CPU usage (%): 100.428
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 193612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2483.79
system time used= 36.2666
maximum resident set size= 195660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99807
involuntary context switches= 3501


# summary of solver processes directly reported to runsolver:
#   pid: 28239
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2483.79
#   total CPU system time (s): 36.2666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3273 second user time and 20.4007 second system time

The end
Name	PseudoBoolean-dec/ Pb-robin08_c18.xml
MD5SUM	1bc3f3e5ba546c0eba55cc781441057a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.189783
Satisfiable
(Un)Satisfiability was proved
Number of variables	784
Number of constraints	256
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":784}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":784}]
Minimum constraint arity	28
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":256}]
Optimization problem	NO
Type of objective
Trace number 4298803

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
