2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	Wrong Opt.	48	5.88979	2.37255
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 (9772 MiB free)
  memory of node 1: 16384 MiB (14373 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291966-1532268272/watcher-4291966-1532268272 -o /tmp/evaluation-result-4291966-1532268272/solver-4291966-1532268272 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1196726160 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291966-1532268272.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3526, runsolver pid=3523
Current StackSize limit: 8192 KiB


[startup+0.100121 s]*
/proc/loadavg: 1.56 1.57 1.59 3/216 3541
/proc/meminfo: memFree=24709408/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14082740 memory=32340 CPUtime=0.11 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 6966 0 0 0 10 1 0 0 20 0 15 0 44390360 14420725760 8085 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3520685 8085 3153 1 0 3482761 0
[pid=3526/tid=3528] ppid=3523 vsize=14082740 memory=-8969305100855899328 CPUtime=0.09 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 5088 0 0 0 8 1 0 0 20 0 15 0 44390361 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123946556552 140123580161152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390363 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390363 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123416126752 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390364 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123415074416 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) S 3523 3526 2501 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123412969584 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123411916784 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0.01 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) R 3523 3526 2501 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 15 0 44390366 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123410864496 140123923607248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 8151 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32340 KiB

[startup+0.210436 s]*
/proc/loadavg: 1.52 1.56 1.58 4/216 3541
/proc/meminfo: memFree=24694772/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14082740 memory=46004 CPUtime=0.3 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 10164 0 0 0 28 2 0 0 20 0 15 0 44390360 14420725760 11501 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3520685 11501 3370 1 0 3482761 0
[pid=3526/tid=3528] ppid=3523 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) S 3523 3526 2501 0 -1 1077944384 7787 0 0 0 18 1 0 0 20 0 15 0 44390361 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123946582992 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14082740 memory=139834698184004 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44390363 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390363 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123416126752 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390364 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123415074416 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) R 3523 3526 2501 0 -1 4202560 527 0 0 0 2 0 0 0 20 0 15 0 44390366 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123412969584 140123921600927 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) R 3523 3526 2501 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 44390366 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123411916784 140123942365826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0.06 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) S 3523 3526 2501 0 -1 1077944384 392 0 0 0 6 0 0 0 20 0 15 0 44390366 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123410864496 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 11501 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46004 KiB

[startup+0.310539 s]*
/proc/loadavg: 1.52 1.56 1.58 4/216 3541
/proc/meminfo: memFree=24691112/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14082740 memory=49804 CPUtime=0.43 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 10590 0 0 0 40 3 0 0 20 0 15 0 44390360 14420725760 12451 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3520685 12451 3414 1 0 3482761 0
[pid=3526/tid=3528] ppid=3523 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 8125 0 0 0 28 2 0 0 20 0 15 0 44390361 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123946535728 140123919578832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14082740 memory=16244597114480280 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390362 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44390363 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390363 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123416126752 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390364 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123415074416 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) S 3523 3526 2501 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 44390366 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123412969584 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) S 3523 3526 2501 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 44390366 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123411916784 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0.08 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) S 3523 3526 2501 0 -1 1077944384 433 0 0 0 8 0 0 0 20 0 15 0 44390366 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123410864496 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14082740 memory=139834698180224 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390366 14420725760 12451 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49804 KiB

[startup+0.700727 s]
/proc/loadavg: 1.52 1.56 1.58 3/216 3541
/proc/meminfo: memFree=24670028/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14084808 memory=85660 CPUtime=0.99 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 17365 0 0 0 94 5 0 0 20 0 15 0 44390360 14422843392 21415 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3521202 21415 3498 1 0 3483273 0
[pid=3526/tid=3528] ppid=3523 vsize=14084808 memory=9284 CPUtime=0.67 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 14443 0 0 0 64 3 0 0 20 0 15 0 44390361 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123946590160 140123925554637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14084808 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390362 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390362 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44390363 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14084808 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390363 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123416126752 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14084808 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390364 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123415074416 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14084808 memory=6081387179578519657 CPUtime=0.08 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) S 3523 3526 2501 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 15 0 44390366 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123412969584 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14084808 memory=5932762877087012201 CPUtime=0.05 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) S 3523 3526 2501 0 -1 1077944384 264 0 0 0 5 0 0 0 20 0 15 0 44390366 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123411916784 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) R 3523 3526 2501 0 -1 4202560 572 0 0 0 15 0 0 0 20 0 15 0 44390366 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123410864496 140123934591806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390366 14422843392 21415 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 85660 KiB

[startup+1.50084 s]
/proc/loadavg: 1.52 1.56 1.58 5/216 3541
/proc/meminfo: memFree=24622536/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14086856 memory=217444 CPUtime=3.39 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 25695 0 0 0 331 8 0 0 20 0 15 0 44390360 14424940544 54361 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3521714 54361 3570 1 0 3483785 0
[pid=3526/tid=3528] ppid=3523 vsize=14086856 memory=165224 CPUtime=1.45 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 17190 0 0 0 140 5 0 0 20 0 15 0 44390361 14424940544 54361 33554432000 4194304 4196468 140724389026912 140123946589240 140123585128722 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54361 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54361 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54361 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54361 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 44390363 14424940544 54361 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0

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

[startup+2.37249 s]
# the end of solver process 3526 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.74113 s, system=0.14866 s

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

[startup+1.60184 s]
/proc/loadavg: 1.52 1.56 1.58 5/216 3541
/proc/meminfo: memFree=24622536/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14086856 memory=219752 CPUtime=3.71 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 26459 0 0 0 363 8 0 0 20 0 15 0 44390360 14424940544 54938 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3521714 54938 3571 1 0 3483785 0
[pid=3526/tid=3528] ppid=3523 vsize=14086856 memory=279669077267248 CPUtime=1.55 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 17401 0 0 0 150 5 0 0 20 0 15 0 44390361 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123946590984 140123584251150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14086856 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 44390362 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 15 0 44390363 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44390363 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123416126752 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 44390364 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123415074416 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14086856 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) R 3523 3526 2501 0 -1 4202560 2447 0 0 0 80 1 0 0 20 0 15 0 44390366 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123412951120 140123922041377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14086856 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) R 3523 3526 2501 0 -1 4202560 2257 0 0 0 76 0 0 0 20 0 15 0 44390366 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123411905136 140123926250907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14086856 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) S 3523 3526 2501 0 -1 1077944384 2249 0 0 0 52 0 0 0 20 0 15 0 44390366 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123410864496 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44390366 14424940544 54938 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 3.71 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 219752 KiB

[startup+2.00066 s]*
/proc/loadavg: 1.52 1.56 1.58 4/216 3541
/proc/meminfo: memFree=24521792/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14090952 memory=222656 CPUtime=4.74 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 28104 0 0 0 465 9 0 0 20 0 15 0 44390360 14429134848 55664 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3522738 55664 3578 1 0 3484809 0
[pid=3526/tid=3528] ppid=3523 vsize=14090952 memory=0 CPUtime=1.95 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 18389 0 0 0 190 5 0 0 20 0 15 0 44390361 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123946589264 140123587585079 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14090952 memory=3977015140724401256 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14090952 memory=546657966 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14090952 memory=117397166 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14090952 memory=58 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14090952 memory=139834698181952 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 15 0 44390363 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14090952 memory=835 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44390363 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123416126752 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 44390364 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123415074416 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14090952 memory=44 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14090952 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) S 3523 3526 2501 0 -1 1077944384 2591 0 0 0 102 1 0 0 20 0 15 0 44390366 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123412969584 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14090952 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) S 3523 3526 2501 0 -1 1077944384 2372 0 0 0 101 0 0 0 20 0 15 0 44390366 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123411916784 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14090952 memory=3545187478319491170 CPUtime=0.68 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) S 3523 3526 2501 0 -1 1077944384 2647 0 0 0 68 0 0 0 20 0 15 0 44390366 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123410864496 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14090952 memory=3471202396320837679 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14090952 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 55664 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 222656 KiB

[startup+2.20084 s]
/proc/loadavg: 1.52 1.56 1.58 4/216 3541
/proc/meminfo: memFree=24521792/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14090952 memory=233680 CPUtime=5.34 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 38324 0 0 0 524 10 0 0 20 0 15 0 44390360 14429134848 58420 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3522738 58420 3579 1 0 3484809 0
[pid=3526/tid=3528] ppid=3523 vsize=14090952 memory=288230604674442060 CPUtime=2.14 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 19744 0 0 0 208 6 0 0 20 0 15 0 44390361 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123946572448 140123589944177 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14090952 memory=14130052401187039 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14090952 memory=139834698188945 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14090952 memory=139834698190769 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 44390362 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 44390363 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44390363 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123416126752 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 44390364 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123415074416 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14090952 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14090952 memory=7881696724453321575 CPUtime=1.16 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) R 3523 3526 2501 0 -1 4202560 4401 0 0 0 115 1 0 0 20 0 15 0 44390366 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123412958592 140123942376026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14090952 memory=7451609539861307712 CPUtime=1.13 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) R 3523 3526 2501 0 -1 4202560 4602 0 0 0 113 0 0 0 20 0 15 0 44390366 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123411902880 140123927460764 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14090952 memory=6081387179578519657 CPUtime=0.84 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) R 3523 3526 2501 0 -1 4202560 7458 0 0 0 83 1 0 0 20 0 15 0 44390366 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123410859536 140123921309318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14090952 memory=7156871063736963158 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14090952 memory=3471342231019017904 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 58420 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 233680 KiB

[startup+2.30084 s]
/proc/loadavg: 1.52 1.56 1.58 4/216 3541
/proc/meminfo: memFree=24521792/32770624 swapFree=67108852/67108860
[pid=3526] ppid=3523 vsize=14090952 memory=261316 CPUtime=5.69 cores=0,2,4,6
/proc/3526/stat : 3526 (java) S 3523 3526 2501 0 -1 1077944320 39401 0 0 0 556 13 0 0 20 0 15 0 44390360 14429134848 65329 33554432000 4194304 4196468 140724389026912 140724389009456 140123942354679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
/proc/3526/statm: 3522738 65329 3579 1 0 3484809 0
[pid=3526/tid=3528] ppid=3523 vsize=14090952 memory=227724 CPUtime=2.22 cores=0,2,4,6
/proc/3526/task/3528/stat : 3528 (java) R 3523 3526 2501 0 -1 4202560 19745 0 0 0 216 6 0 0 20 0 15 0 44390361 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123946592424 140123588348515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3529] ppid=3523 vsize=14090952 memory=217444 CPUtime=0.02 cores=0,2,4,6
/proc/3526/task/3529/stat : 3529 (java) S 3523 3526 2501 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 15 0 44390362 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123538594192 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3530] ppid=3523 vsize=14090952 memory=196444 CPUtime=0.01 cores=0,2,4,6
/proc/3526/task/3530/stat : 3530 (java) S 3523 3526 2501 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 15 0 44390362 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123537541392 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3531] ppid=3523 vsize=14090952 memory=55 CPUtime=0.01 cores=0,2,4,6
/proc/3526/task/3531/stat : 3531 (java) S 3523 3526 2501 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 44390362 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123536489104 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3532] ppid=3523 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3526/task/3532/stat : 3532 (java) S 3523 3526 2501 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 15 0 44390362 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123535436304 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3533] ppid=3523 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3526/task/3533/stat : 3533 (java) S 3523 3526 2501 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 44390363 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123417180784 140123942365826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3534] ppid=3523 vsize=14090952 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3534/stat : 3534 (java) S 3523 3526 2501 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44390363 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123416126816 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3535] ppid=3523 vsize=14090952 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3535/stat : 3535 (java) S 3523 3526 2501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 44390364 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123415074432 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3536] ppid=3523 vsize=14090952 memory=-7088785026379990432 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3536/stat : 3536 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123414022736 140123942373275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3537] ppid=3523 vsize=14090952 memory=6944656425122700657 CPUtime=1.24 cores=0,2,4,6
/proc/3526/task/3537/stat : 3537 (java) R 3523 3526 2501 0 -1 4202560 4991 0 0 0 123 1 0 0 20 0 15 0 44390366 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123412949392 140123928368988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3538] ppid=3523 vsize=14090952 memory=-8990767739041718176 CPUtime=1.21 cores=0,2,4,6
/proc/3526/task/3538/stat : 3538 (java) R 3523 3526 2501 0 -1 4202560 4725 0 0 0 121 0 0 0 20 0 15 0 44390366 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123411900384 140123920371691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3539] ppid=3523 vsize=14090952 memory=-8990767739041718224 CPUtime=0.87 cores=0,2,4,6
/proc/3526/task/3539/stat : 3539 (java) S 3523 3526 2501 0 -1 1077944384 7587 0 0 0 86 1 0 0 20 0 15 0 44390366 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123410864496 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3540] ppid=3523 vsize=14090952 memory=-9178176116494409632 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3540/stat : 3540 (java) S 3523 3526 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123409811936 140123942364885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
[pid=3526/tid=3541] ppid=3523 vsize=14090952 memory=-6352670693803649130 CPUtime=0 cores=0,2,4,6
/proc/3526/task/3541/stat : 3541 (java) S 3523 3526 2501 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 44390366 14429134848 65329 33554432000 4194304 4196468 140724389026912 140123408759728 140123942365826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34684928 140724389028948 140724389029129 140724389029129 140724389031887 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 261316 KiB

Child status: 0
Real time (s): 2.37255
CPU time (s): 5.88979
CPU user time (s): 5.74113
CPU system time (s): 0.14866
CPU usage (%): 248.247
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 261316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.74113
system time used= 0.14866
maximum resident set size= 264064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3170
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 3526
#   total CPU time (s): 5.88979
#   total CPU user time (s): 5.74113
#   total CPU system time (s): 0.14866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03923 second user time and 0.065384 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.14
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4291966

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
