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

Solver Name	Answer	objective function	CPU time	Wall clock time
GG's minicp 2018-04-29	SAT (TO)	394	2520.08	2509.14
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13458 MiB free)
  memory of node 1: 16384 MiB (11756 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298169-1532749135/watcher-4298169-1532749135 -o /tmp/evaluation-result-4298169-1532749135/solver-4298169-1532749135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21838 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298169-1532749135.xml 

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

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

solver pid=23055, runsolver pid=23052

[startup+0.100059 s]*
/proc/loadavg: 1.23 1.29 1.43 4/215 23070
/proc/meminfo: memFree=25804276/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661056 memory=27888 CPUtime=0.12 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 5367 0 0 0 11 1 0 0 20 0 15 0 92476632 10916921344 6972 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665264 6972 2842 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661056 memory=-7254947776133162106 CPUtime=0.09 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 3250 0 0 0 8 1 0 0 20 0 15 0 92476632 10916921344 6972 33554432000 4194304 4196468 140726244898848 140459245604464 140458869225528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661056 memory=5793855822372149689 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 6972 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661056 memory=140571362256512 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 6972 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 6972 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 6972 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476635 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92476635 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458544678304 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92476635 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) S 23052 23055 21807 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458541520880 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458540468336 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661056 memory=140571362256512 CPUtime=0.01 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) R 23052 23055 21807 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 15 0 92476638 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458539412264 140459241385366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661056 memory=140571362256512 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 6972 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27888 KiB

[startup+0.21058 s]*
/proc/loadavg: 1.23 1.29 1.43 4/215 23070
/proc/meminfo: memFree=25792896/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661056 memory=40608 CPUtime=0.34 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 8262 0 0 0 32 2 0 0 20 0 15 0 92476632 10916921344 10152 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665264 10152 3009 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 5144 0 0 0 19 1 0 0 20 0 15 0 92476632 10916921344 10152 33554432000 4194304 4196468 140726244898848 140459245611392 140459241395357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661056 memory=4211974297567047050 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 10152 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661056 memory=140571362256512 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 10152 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 10152 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476633 10916921344 10152 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661056 memory=140571362256512 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476635 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92476635 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458544678304 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92476635 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) R 23052 23055 21807 0 -1 1077944384 782 0 0 0 3 0 0 0 20 0 15 0 92476638 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458541507728 140459241383637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) R 23052 23055 21807 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 15 0 92476638 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458540459320 140459218713840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661056 memory=140571362256512 CPUtime=0.08 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) R 23052 23055 21807 0 -1 4202560 893 0 0 0 8 0 0 0 20 0 15 0 92476638 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458539412728 140459233610558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661056 memory=140571362256512 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476638 10916921344 10152 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40608 KiB

[startup+0.310815 s]*
/proc/loadavg: 1.23 1.29 1.43 6/215 23070
/proc/meminfo: memFree=25776644/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661132 memory=57028 CPUtime=0.68 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 10343 0 0 0 65 3 0 0 20 0 15 0 92476632 10916999168 14257 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665283 14257 3075 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661132 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 5422 0 0 0 28 1 0 0 20 0 15 0 92476632 10916999168 14257 33554432000 4194304 4196468 140726244898848 140459245609648 140458869266232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661132 memory=4211974297567047050 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 14257 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661132 memory=140571362258869 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 14257 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661132 memory=140571259830079 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 14257 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661132 memory=140571259817423 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 14257 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661132 memory=140571362278346 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661132 memory=140571259826639 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458544678304 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661132 memory=281142519644048 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661132 memory=281142519641712 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661132 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) R 23052 23055 21807 0 -1 4202560 1738 0 0 0 11 0 0 0 20 0 15 0 92476638 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458541506760 140459222894496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661132 memory=2240 CPUtime=0.1 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) R 23052 23055 21807 0 -1 4202560 708 0 0 0 10 0 0 0 20 0 15 0 92476638 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458540467520 140459222895993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661132 memory=140571362256512 CPUtime=0.14 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) R 23052 23055 21807 0 -1 4202560 1105 0 0 0 14 0 0 0 20 0 15 0 92476638 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458539415792 140459220358762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661132 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661132 memory=140571362256512 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 14257 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 57028 KiB

[startup+0.700745 s]
/proc/loadavg: 1.23 1.29 1.43 5/215 23070
/proc/meminfo: memFree=25741876/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661132 memory=189172 CPUtime=1.97 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 12227 0 0 0 192 5 0 0 20 0 15 0 92476632 10916999168 47293 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665283 47293 3110 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661132 memory=1228 CPUtime=0.67 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 5580 0 0 0 64 3 0 0 20 0 15 0 92476632 10916999168 47293 33554432000 4194304 4196468 140726244898848 140459245609200 140458872230608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661132 memory=1852 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 47293 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661132 memory=872 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 47293 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661132 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 47293 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661132 memory=7453282923444727654 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 92476633 10916999168 47293 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661132 memory=6370994028255662166 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458544678304 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661132 memory=78 CPUtime=0.48 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) R 23052 23055 21807 0 -1 4202560 2077 0 0 0 48 0 0 0 20 0 15 0 92476638 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458541505536 140459221060057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661132 memory=3 CPUtime=0.47 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) R 23052 23055 21807 0 -1 4202560 1532 0 0 0 47 0 0 0 20 0 15 0 92476638 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458540448192 140459224760249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661132 memory=259 CPUtime=0.29 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) S 23052 23055 21807 0 -1 1077944384 1551 0 0 0 29 0 0 0 20 0 15 0 92476638 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458539415792 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661132 memory=281142519827952 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 47293 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189172 KiB

[startup+1.50082 s]
/proc/loadavg: 1.23 1.29 1.43 4/215 23070
/proc/meminfo: memFree=25611676/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661132 memory=646928 CPUtime=4.07 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 14323 0 0 0 385 22 0 0 20 0 15 0 92476632 10916999168 161732 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665283 161732 3144 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661132 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 6250 0 0 0 128 8 0 0 20 0 15 0 92476632 10916999168 161732 33554432000 4194304 4196468 140726244898848 140459245608920 140458874125026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661132 memory=4947656762538105472 CPUtime=0.08 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 100 0 0 0 5 3 0 0 20 0 15 0 92476633 10916999168 161732 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661132 memory=-6653884312775189857 CPUtime=0.08 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 82 0 0 0 6 2 0 0 20 0 15 0 92476633 10916999168 161732 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661132 memory=-6079718012894977833 CPUtime=0.06 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 138 0 0 0 4 2 0 0 20 0 15 0 92476633 10916999168 161732 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661132 memory=-3472574513799858009 CPUtime=0.08 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 227 0 0 0 6 2 0 0 20 0 15 0 92476633 10916999168 161732 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661132 memory=-6305719412046718080 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 161732 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0

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

/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 113690 0 0 0 243980 50 0 0 20 0 15 0 92476632 10916999168 605360 33554432000 4194304 4196468 140726244898848 140459245613008 140458875782652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661132 memory=2421440 CPUtime=1.54 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 9854 0 0 0 127 27 0 0 20 0 15 0 92476633 10916999168 605360 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661132 memory=2421440 CPUtime=1.54 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 9088 0 0 0 127 27 0 0 20 0 15 0 92476633 10916999168 605360 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661132 memory=2421440 CPUtime=1.51 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 11531 0 0 0 125 26 0 0 20 0 15 0 92476633 10916999168 605360 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661132 memory=2421440 CPUtime=1.51 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 11020 0 0 0 125 26 0 0 20 0 15 0 92476633 10916999168 605360 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661132 memory=2421440 CPUtime=0.22 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 13078 0 0 0 17 5 0 0 20 0 15 0 92476635 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661132 memory=65 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458544678368 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661132 memory=2421440 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661132 memory=2421440 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661132 memory=2421440 CPUtime=2.19 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) S 23052 23055 21807 0 -1 1077944384 8500 0 0 0 218 1 0 0 20 0 15 0 92476638 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458541520880 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661132 memory=2421440 CPUtime=2.53 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) S 23052 23055 21807 0 -1 1077944384 8622 0 0 0 251 2 0 0 20 0 15 0 92476638 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458540468336 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661132 memory=2421440 CPUtime=0.6 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) S 23052 23055 21807 0 -1 1077944384 5664 0 0 0 59 1 0 0 20 0 15 0 92476638 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458539415792 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661132 memory=2421440 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661132 memory=2244 CPUtime=0.87 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1914 0 0 0 40 47 0 0 20 0 15 0 92476638 10916999168 605360 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 2452.89 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2421440 KiB

[startup+2502.3 s]
/proc/loadavg: 1.61 1.80 1.87 3/215 23327
/proc/meminfo: memFree=22640416/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661132 memory=2421676 CPUtime=2513.19 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 197630 0 0 0 251117 202 0 0 20 0 15 0 92476632 10916999168 605419 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665283 605419 3178 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661132 memory=2421656 CPUtime=2500.15 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 115182 0 0 0 249965 50 0 0 20 0 15 0 92476632 10916999168 605419 33554432000 4194304 4196468 140726244898848 140459245612880 140458875783022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661132 memory=2421676 CPUtime=1.64 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 10198 0 0 0 136 28 0 0 20 0 15 0 92476633 10916999168 605419 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661132 memory=2421676 CPUtime=1.64 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 9241 0 0 0 137 27 0 0 20 0 15 0 92476633 10916999168 605419 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661132 memory=5752 CPUtime=1.6 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 12105 0 0 0 134 26 0 0 20 0 15 0 92476633 10916999168 605419 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661132 memory=2421676 CPUtime=1.62 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 11332 0 0 0 135 27 0 0 20 0 15 0 92476633 10916999168 605419 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661132 memory=2421656 CPUtime=0.24 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 13424 0 0 0 19 5 0 0 20 0 15 0 92476635 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661132 memory=2421656 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458544678368 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661132 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661132 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661132 memory=2421656 CPUtime=2.19 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) S 23052 23055 21807 0 -1 1077944384 8504 0 0 0 218 1 0 0 20 0 15 0 92476638 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458541520880 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661132 memory=4588 CPUtime=2.53 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) S 23052 23055 21807 0 -1 1077944384 8626 0 0 0 251 2 0 0 20 0 15 0 92476638 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458540468336 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661132 memory=4140 CPUtime=0.6 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) S 23052 23055 21807 0 -1 1077944384 5668 0 0 0 59 1 0 0 20 0 15 0 92476638 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458539415792 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661132 memory=26784 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661132 memory=2421656 CPUtime=0.89 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1948 0 0 0 41 48 0 0 20 0 15 0 92476638 10916999168 605419 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 2513.19 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2421676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.11 s]
/proc/loadavg: 1.56 1.79 1.86 3/215 23327
/proc/meminfo: memFree=22640548/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661132 memory=2421756 CPUtime=2520.04 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 198883 0 0 0 251801 203 0 0 20 0 15 0 92476632 10916999168 605439 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665283 605439 3178 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661132 memory=2421656 CPUtime=2506.94 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 115606 0 0 0 250644 50 0 0 20 0 15 0 92476632 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459245613136 140458875639495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661132 memory=2421676 CPUtime=1.66 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 10345 0 0 0 138 28 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661132 memory=6451477258504341916 CPUtime=1.65 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 9422 0 0 0 138 27 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661132 memory=2421656 CPUtime=1.62 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 12380 0 0 0 136 26 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661132 memory=2421756 CPUtime=1.63 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 11360 0 0 0 136 27 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661132 memory=2421556 CPUtime=0.25 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 13597 0 0 0 20 5 0 0 20 0 15 0 92476635 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661132 memory=2421448 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458544678368 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661132 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661132 memory=281142519935264 CPUtime=2.19 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) S 23052 23055 21807 0 -1 1077944384 8506 0 0 0 218 1 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458541520880 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661132 memory=6655300316396806240 CPUtime=2.53 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) S 23052 23055 21807 0 -1 1077944384 8628 0 0 0 251 2 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458540468336 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661132 memory=2421656 CPUtime=0.6 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) S 23052 23055 21807 0 -1 1077944384 5670 0 0 0 59 1 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458539415792 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661132 memory=4588 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661132 memory=1404 CPUtime=0.89 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1967 0 0 0 41 48 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2421756 KiB

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

[startup+2509.14 s]
# the end of solver process 23055 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.04 s, system=2.04031 s

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

[startup+2509.11 s]
/proc/loadavg: 1.56 1.79 1.86 3/215 23327
/proc/meminfo: memFree=22640548/32770624 swapFree=67108436/67108860
[pid=23055] ppid=23052 vsize=10661132 memory=2421756 CPUtime=2520.04 cores=0,2,4,6
/proc/23055/stat : 23055 (java) S 23052 23055 21807 0 -1 1077944320 198883 0 0 0 251801 203 0 0 20 0 15 0 92476632 10916999168 605439 33554432000 4194304 4196468 140726244898848 140726244881392 140459241373431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
/proc/23055/statm: 2665283 605439 3178 1 0 2627263 0
[pid=23055/tid=23057] ppid=23052 vsize=10661132 memory=2421656 CPUtime=2506.94 cores=0,2,4,6
/proc/23055/task/23057/stat : 23057 (java) R 23052 23055 21807 0 -1 4202560 115606 0 0 0 250644 50 0 0 20 0 15 0 92476632 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459245613136 140458875639495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23058] ppid=23052 vsize=10661132 memory=2421676 CPUtime=1.66 cores=0,2,4,6
/proc/23055/task/23058/stat : 23058 (java) S 23052 23055 21807 0 -1 1077944384 10345 0 0 0 138 28 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459193993488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23059] ppid=23052 vsize=10661132 memory=6451477258504341916 CPUtime=1.65 cores=0,2,4,6
/proc/23055/task/23059/stat : 23059 (java) S 23052 23055 21807 0 -1 1077944384 9422 0 0 0 138 27 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459192940944 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23060] ppid=23052 vsize=10661132 memory=2421656 CPUtime=1.62 cores=0,2,4,6
/proc/23055/task/23060/stat : 23060 (java) S 23052 23055 21807 0 -1 1077944384 12380 0 0 0 136 26 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459191888400 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23061] ppid=23052 vsize=10661132 memory=2421756 CPUtime=1.63 cores=0,2,4,6
/proc/23055/task/23061/stat : 23061 (java) S 23052 23055 21807 0 -1 1077944384 11360 0 0 0 136 27 0 0 20 0 15 0 92476633 10916999168 605439 33554432000 4194304 4196468 140726244898848 140459190835856 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23062] ppid=23052 vsize=10661132 memory=2421556 CPUtime=0.25 cores=0,2,4,6
/proc/23055/task/23062/stat : 23062 (java) S 23052 23055 21807 0 -1 1077944384 13597 0 0 0 20 5 0 0 20 0 15 0 92476635 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458545732080 140459241384578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23063] ppid=23052 vsize=10661132 memory=2421448 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23063/stat : 23063 (java) S 23052 23055 21807 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458544678368 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23064] ppid=23052 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23064/stat : 23064 (java) S 23052 23055 21807 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 92476635 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458543625712 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23065] ppid=23052 vsize=10661132 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23065/stat : 23065 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458542574288 140459241392027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23066] ppid=23052 vsize=10661132 memory=281142519935264 CPUtime=2.19 cores=0,2,4,6
/proc/23055/task/23066/stat : 23066 (java) S 23052 23055 21807 0 -1 1077944384 8506 0 0 0 218 1 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458541520880 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23067] ppid=23052 vsize=10661132 memory=6655300316396806240 CPUtime=2.53 cores=0,2,4,6
/proc/23055/task/23067/stat : 23067 (java) S 23052 23055 21807 0 -1 1077944384 8628 0 0 0 251 2 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458540468336 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23068] ppid=23052 vsize=10661132 memory=2421656 CPUtime=0.6 cores=0,2,4,6
/proc/23055/task/23068/stat : 23068 (java) S 23052 23055 21807 0 -1 1077944384 5670 0 0 0 59 1 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458539415792 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23069] ppid=23052 vsize=10661132 memory=4588 CPUtime=0 cores=0,2,4,6
/proc/23055/task/23069/stat : 23069 (java) S 23052 23055 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458538363488 140459241383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
[pid=23055/tid=23070] ppid=23052 vsize=10661132 memory=1404 CPUtime=0.89 cores=0,2,4,6
/proc/23055/task/23070/stat : 23070 (java) S 23052 23055 21807 0 -1 1077944384 1967 0 0 0 41 48 0 0 20 0 15 0 92476638 10916999168 605439 33554432000 4194304 4196468 140726244898848 140458537311024 140459241384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140726244902005 140726244902153 140726244902153 140726244904911 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2421756 KiB

Child status: 143
Real time (s): 2509.14
CPU time (s): 2520.08
CPU user time (s): 2518.04
CPU system time (s): 2.04031
CPU usage (%): 100.436
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 3141420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.04
system time used= 2.04031
maximum resident set size= 3141432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61355
involuntary context switches= 2427


# summary of solver processes directly reported to runsolver:
#   pid: 23055
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2518.04
#   total CPU system time (s): 2.04031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7132 second user time and 15.8273 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 4298169

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
