2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	394	31.6321	5.77969
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 (15318 MiB free)
  memory of node 1: 16384 MiB (13324 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400147-1568720406/watcher-4400147-1568720406 -o /tmp/evaluation-result-4400147-1568720406/solver-4400147-1568720406 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568711786-15138 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 987513532 HOME/instance-4400147-1568720406.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Starting watchdog thread
solver pid=24789, runsolver pid=24786
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.61 8.21 8.23 3/210 24810
/proc/meminfo: memFree=29312960/32770624 swapFree=66958324/67108860
[pid=24789] ppid=24786 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24789/stat : 24789 (xcsp3-exec) S 24786 24789 15111 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447977098 115843072 363 33554432000 4194304 5098028 140731655394592 140731655392696 140010672120444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12902400 140731655398268 140731655398510 140731655398510 140731655401418 0
/proc/24789/statm: 28282 363 304 221 0 87 0
[pid=24791] ppid=24789 vsize=28227396 memory=30072 CPUtime=0.12 cores=0-7
/proc/24791/stat : 24791 (java) S 24789 24789 15111 0 -1 1077944320 5495 0 0 0 11 1 0 0 20 0 20 0 447977098 28904853504 7518 33554432000 4194304 4196468 140724628991056 140724628973600 139951029677815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
/proc/24791/statm: 7056849 7518 3118 1 0 7019032 0
[pid=24791/tid=24792] ppid=24789 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/24791/task/24792/stat : 24792 (java) R 24789 24789 15111 0 -1 4202560 3385 0 0 0 8 1 0 0 20 0 20 0 447977098 28904853504 7518 33554432000 4194304 4196468 140724628991056 139951033908224 139951029689750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24793] ppid=24789 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24791/task/24793/stat : 24793 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950982297872 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24794] ppid=24789 vsize=28227396 memory=139928011560576 CPUtime=0 cores=0-7
/proc/24791/task/24794/stat : 24794 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950981245328 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24795] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24795/stat : 24795 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950980192784 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24796] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24796/stat : 24796 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950979140240 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24797] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24797/stat : 24797 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950978087696 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24798] ppid=24789 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24791/task/24798/stat : 24798 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950977035152 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24799] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24799/stat : 24799 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950975982608 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24800] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24800/stat : 24800 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 7518 33554432000 4194304 4196468 140724628991056 139950974930064 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24801] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24801/stat : 24801 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977100 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949158074352 139951029688962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24802] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24802/stat : 24802 (java) S 24789 24789 15111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447977101 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949157020576 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24803] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24803/stat : 24803 (java) S 24789 24789 15111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447977101 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949155967984 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24804] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24804/stat : 24804 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977103 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949154916560 139951029696411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24805] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24805/stat : 24805 (java) S 24789 24789 15111 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 447977103 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949153864176 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24806] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24806/stat : 24806 (java) S 24789 24789 15111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447977103 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949152811632 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24807] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24807/stat : 24807 (java) R 24789 24789 15111 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447977104 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949151759088 139951029688962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24808] ppid=24789 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24791/task/24808/stat : 24808 (java) R 24789 24789 15111 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 20 0 447977104 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949150706544 139951029689750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24809] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24809/stat : 24809 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977104 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949149653216 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24810] ppid=24789 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24791/task/24810/stat : 24810 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977104 28904853504 7518 33554432000 4194304 4196468 140724628991056 139949148600752 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31524 KiB

[startup+0.210483 s]*
/proc/loadavg: 7.61 8.21 8.23 3/210 24810
/proc/meminfo: memFree=29300344/32770624 swapFree=66958324/67108860
[pid=24789] ppid=24786 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24789/stat : 24789 (xcsp3-exec) S 24786 24789 15111 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447977098 115843072 363 33554432000 4194304 5098028 140731655394592 140731655392696 140010672120444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12902400 140731655398268 140731655398510 140731655398510 140731655401418 0
/proc/24789/statm: 28282 363 304 221 0 87 0
[pid=24791] ppid=24789 vsize=28227396 memory=41372 CPUtime=0.34 cores=0-7
/proc/24791/stat : 24791 (java) S 24789 24789 15111 0 -1 1077944320 9067 0 0 0 31 3 0 0 20 0 20 0 447977098 28904853504 10343 33554432000 4194304 4196468 140724628991056 140724628973600 139951029677815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
/proc/24791/statm: 7056849 10343 3295 1 0 7019032 0
[pid=24791/tid=24792] ppid=24789 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/24791/task/24792/stat : 24792 (java) R 24789 24789 15111 0 -1 4202560 6200 0 0 0 18 2 0 0 20 0 20 0 447977098 28904853504 10343 33554432000 4194304 4196468 140724628991056 139951033909344 139951029689750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24793] ppid=24789 vsize=28227396 memory=288230604674433361 CPUtime=0 cores=0-7
/proc/24791/task/24793/stat : 24793 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950982297872 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24794] ppid=24789 vsize=28227396 memory=4122685337534224032 CPUtime=0 cores=0-7
/proc/24791/task/24794/stat : 24794 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950981245328 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24795] ppid=24789 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24791/task/24795/stat : 24795 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950980192784 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24796] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24796/stat : 24796 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950979140240 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24797] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24797/stat : 24797 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950978087696 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24798] ppid=24789 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24791/task/24798/stat : 24798 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950977035152 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24799] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24799/stat : 24799 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950975982608 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24800] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24800/stat : 24800 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977099 28904853504 10343 33554432000 4194304 4196468 140724628991056 139950974930064 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24801] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24801/stat : 24801 (java) S 24789 24789 15111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447977100 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949158074352 139951029688962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24802] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24802/stat : 24802 (java) S 24789 24789 15111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447977101 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949157020576 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24803] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24803/stat : 24803 (java) S 24789 24789 15111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447977101 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949155967984 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24804] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24804/stat : 24804 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977103 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949154916560 139951029696411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24805] ppid=24789 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24791/task/24805/stat : 24805 (java) S 24789 24789 15111 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 447977103 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949153864176 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24806] ppid=24789 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24791/task/24806/stat : 24806 (java) S 24789 24789 15111 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 447977103 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949152811632 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24807] ppid=24789 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24791/task/24807/stat : 24807 (java) S 24789 24789 15111 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 447977104 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949151759088 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24808] ppid=24789 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/24791/task/24808/stat : 24808 (java) R 24789 24789 15111 0 -1 4202560 710 0 0 0 8 0 0 0 20 0 20 0 447977104 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949150706352 139951029689750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24809] ppid=24789 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24809/stat : 24809 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977104 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949149653216 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24810] ppid=24789 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24791/task/24810/stat : 24810 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977104 28904853504 10343 33554432000 4194304 4196468 140724628991056 139949148600752 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42824 KiB

[startup+0.320819 s]*
/proc/loadavg: 7.61 8.21 8.23 3/210 24810
/proc/meminfo: memFree=29293196/32770624 swapFree=66958324/67108860
[pid=24789] ppid=24786 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24789/stat : 24789 (xcsp3-exec) S 24786 24789 15111 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447977098 115843072 363 33554432000 4194304 5098028 140731655394592 140731655392696 140010672120444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12902400 140731655398268 140731655398510 140731655398510 140731655401418 0
/proc/24789/statm: 28282 363 304 221 0 87 0
[pid=24791] ppid=24789 vsize=28231652 memory=50832 CPUtime=0.54 cores=0-7
/proc/24791/stat : 24791 (java) S 24789 24789 15111 0 -1 1077944320 10543 0 0 0 50 4 0 0 20 0 20 0 447977098 28909211648 12708 33554432000 4194304 4196468 140724628991056 140724628973600 139951029677815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
/proc/24791/statm: 7057913 12708 3359 1 0 7019032 0
[pid=24791/tid=24792] ppid=24789 vsize=28231652 memory=1398722017469774279 CPUtime=0.31 cores=0-7
/proc/24791/task/24792/stat : 24792 (java) R 24789 24789 15111 0 -1 4202560 7457 0 0 0 28 3 0 0 20 0 20 0 447977098 28909211648 12708 33554432000 4194304 4196468 140724628991056 139951033907776 139951013758302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24793] ppid=24789 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24791/task/24793/stat : 24793 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950982297872 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24794] ppid=24789 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24794/stat : 24794 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950981245328 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24795] ppid=24789 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24795/stat : 24795 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950980192784 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24796] ppid=24789 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24796/stat : 24796 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950979140240 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24797] ppid=24789 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24797/stat : 24797 (java) S 24789 24789 15111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950978087696 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24798] ppid=24789 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24798/stat : 24798 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950977035152 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24799] ppid=24789 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/24791/task/24799/stat : 24799 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950975982608 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24800] ppid=24789 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/24791/task/24800/stat : 24800 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977099 28909211648 12708 33554432000 4194304 4196468 140724628991056 139950974930064 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24801] ppid=24789 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24801/stat : 24801 (java) S 24789 24789 15111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447977100 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949158074352 139951029688962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24802] ppid=24789 vsize=28231652 memory=139927887110607 CPUtime=0 cores=0-7
/proc/24791/task/24802/stat : 24802 (java) S 24789 24789 15111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447977101 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949157020576 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24803] ppid=24789 vsize=28231652 memory=279855774248848 CPUtime=0 cores=0-7
/proc/24791/task/24803/stat : 24803 (java) S 24789 24789 15111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447977101 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949155967984 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24804] ppid=24789 vsize=28231652 memory=279855774246544 CPUtime=0 cores=0-7
/proc/24791/task/24804/stat : 24804 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977103 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949154916560 139951029696411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24805] ppid=24789 vsize=28231652 memory=279855774253456 CPUtime=0.01 cores=0-7
/proc/24791/task/24805/stat : 24805 (java) S 24789 24789 15111 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 447977103 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949153864176 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24806] ppid=24789 vsize=28231652 memory=279855774194704 CPUtime=0.02 cores=0-7
/proc/24791/task/24806/stat : 24806 (java) S 24789 24789 15111 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 20 0 447977103 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949152811632 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24807] ppid=24789 vsize=28231652 memory=279855774267280 CPUtime=0.04 cores=0-7
/proc/24791/task/24807/stat : 24807 (java) S 24789 24789 15111 0 -1 1077944384 556 0 0 0 4 0 0 0 20 0 20 0 447977104 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949151759088 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24808] ppid=24789 vsize=28231652 memory=279855774274160 CPUtime=0.12 cores=0-7
/proc/24791/task/24808/stat : 24808 (java) S 24789 24789 15111 0 -1 1077944384 793 0 0 0 12 0 0 0 20 0 20 0 447977104 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949150706544 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24809] ppid=24789 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24809/stat : 24809 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977104 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949149653216 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24810] ppid=24789 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/24791/task/24810/stat : 24810 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977104 28909211648 12708 33554432000 4194304 4196468 140724628991056 139949148600752 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52284 KiB

[startup+0.700972 s]
/proc/loadavg: 7.61 8.21 8.23 4/210 24810
/proc/meminfo: memFree=29271884/32770624 swapFree=66958324/67108860
[pid=24789] ppid=24786 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24789/stat : 24789 (xcsp3-exec) S 24786 24789 15111 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447977098 115843072 363 33554432000 4194304 5098028 140731655394592 140731655392696 140010672120444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12902400 140731655398268 140731655398510 140731655398510 140731655401418 0
/proc/24789/statm: 28282 363 304 221 0 87 0
[pid=24791] ppid=24789 vsize=28233776 memory=106852 CPUtime=2 cores=0-7
/proc/24791/stat : 24791 (java) S 24789 24789 15111 0 -1 1077944320 16440 0 0 0 194 6 0 0 20 0 20 0 447977098 28911386624 26713 33554432000 4194304 4196468 140724628991056 140724628973600 139951029677815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
/proc/24791/statm: 7058444 26713 3449 1 0 7019544 0
[pid=24791/tid=24792] ppid=24789 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/24791/task/24792/stat : 24792 (java) R 24789 24789 15111 0 -1 4202560 8771 0 0 0 63 4 0 0 20 0 20 0 447977098 28911386624 26713 33554432000 4194304 4196468 140724628991056 139951033903200 139951029699741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24793] ppid=24789 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/24791/task/24793/stat : 24793 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28911386624 26713 33554432000 4194304 4196468 140724628991056 139950982297872 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24794] ppid=24789 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24794/stat : 24794 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977099 28911386624 26713 33554432000 4194304 4196468 140724628991056 139950981245328 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24795] ppid=24789 vsize=28233776 memory=8024 CPUtime=0 cores=0-7

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

[pid=24791/tid=24800] ppid=24789 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/24791/task/24800/stat : 24800 (java) S 24789 24789 15111 0 -1 1077944384 232 0 0 0 15 6 0 0 20 0 28 0 447977099 29458776064 198378 33554432000 4194304 4196468 140724628991056 139950974930064 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24801] ppid=24789 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/24791/task/24801/stat : 24801 (java) S 24789 24789 15111 0 -1 1077944384 632 0 0 0 1 0 0 0 20 0 28 0 447977100 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949158074352 139951029688962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24802] ppid=24789 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24802/stat : 24802 (java) S 24789 24789 15111 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447977101 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949157020640 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24803] ppid=24789 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24803/stat : 24803 (java) S 24789 24789 15111 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 447977101 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949155968000 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24804] ppid=24789 vsize=28768336 memory=7305792226132126054 CPUtime=0 cores=0-7
/proc/24791/task/24804/stat : 24804 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447977103 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949154916560 139951029696411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24805] ppid=24789 vsize=28768336 memory=6082203017525489239 CPUtime=3.64 cores=0-7
/proc/24791/task/24805/stat : 24805 (java) R 24789 24789 15111 0 -1 4202560 7407 0 0 0 362 2 0 0 20 0 28 0 447977103 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949153850608 139951011222049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24806] ppid=24789 vsize=28768336 memory=29359363728 CPUtime=3.57 cores=0-7
/proc/24791/task/24806/stat : 24806 (java) R 24789 24789 15111 0 -1 4202560 6942 0 0 0 355 2 0 0 20 0 28 0 447977103 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949152811632 139951008855137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24807] ppid=24789 vsize=28768336 memory=139927887635096 CPUtime=3.78 cores=0-7
/proc/24791/task/24807/stat : 24807 (java) R 24789 24789 15111 0 -1 4202560 7855 0 0 0 376 2 0 0 20 0 28 0 447977104 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949151745112 139951014601004 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24808] ppid=24789 vsize=28768336 memory=0 CPUtime=0.83 cores=0-7
/proc/24791/task/24808/stat : 24808 (java) S 24789 24789 15111 0 -1 1077944384 5187 0 0 0 81 2 0 0 20 0 28 0 447977104 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949150706544 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24809] ppid=24789 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24809/stat : 24809 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447977104 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949149653216 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24810] ppid=24789 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24810/stat : 24810 (java) S 24789 24789 15111 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447977104 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949148600752 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24811] ppid=24789 vsize=28768336 memory=0 CPUtime=1.3 cores=0-7
/proc/24791/task/24811/stat : 24811 (java) R 24789 24789 15111 0 -1 4202560 217 0 0 0 130 0 0 0 20 0 28 0 447977417 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949137284520 139950653822664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24812] ppid=24789 vsize=28768336 memory=0 CPUtime=1.34 cores=0-7
/proc/24791/task/24812/stat : 24812 (java) R 24789 24789 15111 0 -1 4202560 62 0 0 0 134 0 0 0 20 0 28 0 447977417 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949136232616 139950662979111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24813] ppid=24789 vsize=28768336 memory=0 CPUtime=1.24 cores=0-7
/proc/24791/task/24813/stat : 24813 (java) R 24789 24789 15111 0 -1 4202560 147 0 0 0 124 0 0 0 20 0 28 0 447977417 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949135180456 139950653733545 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24814] ppid=24789 vsize=28768336 memory=0 CPUtime=1.45 cores=0-7
/proc/24791/task/24814/stat : 24814 (java) R 24789 24789 15111 0 -1 4202560 118 0 0 0 145 0 0 0 20 0 28 0 447977418 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949134127704 139950662800085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24815] ppid=24789 vsize=28768336 memory=0 CPUtime=1.37 cores=0-7
/proc/24791/task/24815/stat : 24815 (java) R 24789 24789 15111 0 -1 4202560 76 0 0 0 137 0 0 0 20 0 28 0 447977418 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949133074648 139950664152302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24816] ppid=24789 vsize=28768336 memory=0 CPUtime=1.36 cores=0-7
/proc/24791/task/24816/stat : 24816 (java) R 24789 24789 15111 0 -1 4202560 78 0 0 0 136 0 0 0 20 0 28 0 447977418 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949132022264 139950653735613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24817] ppid=24789 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7
/proc/24791/task/24817/stat : 24817 (java) R 24789 24789 15111 0 -1 4202560 68 0 0 0 132 0 0 0 20 0 28 0 447977418 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949130968448 139950663564985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24818] ppid=24789 vsize=28768336 memory=0 CPUtime=1.43 cores=0-7
/proc/24791/task/24818/stat : 24818 (java) R 24789 24789 15111 0 -1 4202560 121 0 0 0 143 0 0 0 20 0 28 0 447977418 29458776064 198378 33554432000 4194304 4196468 140724628991056 139949129916120 139950664217093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
Current children cumulated CPU time: 27.42 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 794964 KiB

[startup+5.60183 s]
/proc/loadavg: 7.72 8.23 8.23 12/218 24818
/proc/meminfo: memFree=28550540/32770624 swapFree=66958324/67108860
[pid=24789] ppid=24786 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24789/stat : 24789 (xcsp3-exec) S 24786 24789 15111 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447977098 115843072 363 33554432000 4194304 5098028 140731655394592 140731655392696 140010672120444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12902400 140731655398268 140731655398510 140731655398510 140731655401418 0
/proc/24789/statm: 28282 363 304 221 0 87 0
[pid=24791] ppid=24789 vsize=28768336 memory=793588 CPUtime=30.61 cores=0-7
/proc/24791/stat : 24791 (java) S 24789 24789 15111 0 -1 1077944320 44650 0 0 0 2986 75 0 0 20 0 28 0 447977098 29458776064 198397 33554432000 4194304 4196468 140724628991056 140724628973600 139951029677815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
/proc/24791/statm: 7192084 198397 3532 1 0 7153184 0
[pid=24791/tid=24792] ppid=24789 vsize=28768336 memory=2244 CPUtime=3.01 cores=0-7
/proc/24791/task/24792/stat : 24792 (java) S 24789 24789 15111 0 -1 1077944384 11239 0 0 0 290 11 0 0 20 0 28 0 447977098 29458776064 198397 33554432000 4194304 4196468 140724628991056 139951033918592 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24793] ppid=24789 vsize=28768336 memory=1452 CPUtime=0.22 cores=0-7
/proc/24791/task/24793/stat : 24793 (java) S 24789 24789 15111 0 -1 1077944384 196 0 0 0 15 7 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950982297872 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24794] ppid=24789 vsize=28768336 memory=790304 CPUtime=0.17 cores=0-7
/proc/24791/task/24794/stat : 24794 (java) S 24789 24789 15111 0 -1 1077944384 170 0 0 0 12 5 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950981245328 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24795] ppid=24789 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/24791/task/24795/stat : 24795 (java) S 24789 24789 15111 0 -1 1077944384 321 0 0 0 15 6 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950980192784 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24796] ppid=24789 vsize=28768336 memory=1320 CPUtime=0.2 cores=0-7
/proc/24791/task/24796/stat : 24796 (java) S 24789 24789 15111 0 -1 1077944384 239 0 0 0 14 6 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950979140240 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24797] ppid=24789 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7
/proc/24791/task/24797/stat : 24797 (java) S 24789 24789 15111 0 -1 1077944384 178 0 0 0 12 5 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950978087696 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24798] ppid=24789 vsize=28768336 memory=279855774295008 CPUtime=0.21 cores=0-7
/proc/24791/task/24798/stat : 24798 (java) S 24789 24789 15111 0 -1 1077944384 297 0 0 0 15 6 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950977035152 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24799] ppid=24789 vsize=28768336 memory=8031758119676759722 CPUtime=0.2 cores=0-7
/proc/24791/task/24799/stat : 24799 (java) S 24789 24789 15111 0 -1 1077944384 319 0 0 0 15 5 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950975982608 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24800] ppid=24789 vsize=28768336 memory=9126232286719478932 CPUtime=0.21 cores=0-7
/proc/24791/task/24800/stat : 24800 (java) S 24789 24789 15111 0 -1 1077944384 232 0 0 0 15 6 0 0 20 0 28 0 447977099 29458776064 198397 33554432000 4194304 4196468 140724628991056 139950974930064 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24801] ppid=24789 vsize=28768336 memory=-7751062316387021378 CPUtime=0.01 cores=0-7
/proc/24791/task/24801/stat : 24801 (java) S 24789 24789 15111 0 -1 1077944384 632 0 0 0 1 0 0 0 20 0 28 0 447977100 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949158074352 139951029688962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24802] ppid=24789 vsize=28768336 memory=-2023959437020729679 CPUtime=0 cores=0-7
/proc/24791/task/24802/stat : 24802 (java) S 24789 24789 15111 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447977101 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949157020640 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24803] ppid=24789 vsize=28768336 memory=3612 CPUtime=0 cores=0-7
/proc/24791/task/24803/stat : 24803 (java) S 24789 24789 15111 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 447977101 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949155968000 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24804] ppid=24789 vsize=28768336 memory=47976 CPUtime=0 cores=0-7
/proc/24791/task/24804/stat : 24804 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447977103 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949154916560 139951029696411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24805] ppid=24789 vsize=28768336 memory=988 CPUtime=3.79 cores=0-7
/proc/24791/task/24805/stat : 24805 (java) S 24789 24789 15111 0 -1 1077944384 7725 0 0 0 377 2 0 0 20 0 28 0 447977103 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949153864176 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24806] ppid=24789 vsize=28768336 memory=2020 CPUtime=3.69 cores=0-7
/proc/24791/task/24806/stat : 24806 (java) S 24789 24789 15111 0 -1 1077944384 7633 0 0 0 367 2 0 0 20 0 28 0 447977103 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949152811632 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24807] ppid=24789 vsize=28768336 memory=1432 CPUtime=3.97 cores=0-7
/proc/24791/task/24807/stat : 24807 (java) S 24789 24789 15111 0 -1 1077944384 7906 0 0 0 395 2 0 0 20 0 28 0 447977104 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949151759088 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24808] ppid=24789 vsize=28768336 memory=776 CPUtime=0.84 cores=0-7
/proc/24791/task/24808/stat : 24808 (java) S 24789 24789 15111 0 -1 1077944384 5196 0 0 0 82 2 0 0 20 0 28 0 447977104 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949150706544 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24809] ppid=24789 vsize=28768336 memory=1056 CPUtime=0 cores=0-7
/proc/24791/task/24809/stat : 24809 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447977104 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949149653216 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24810] ppid=24789 vsize=28768336 memory=4000 CPUtime=0 cores=0-7
/proc/24791/task/24810/stat : 24810 (java) S 24789 24789 15111 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447977104 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949148600752 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24811] ppid=24789 vsize=28768336 memory=1552 CPUtime=1.6 cores=0-7
/proc/24791/task/24811/stat : 24811 (java) R 24789 24789 15111 0 -1 4202560 224 0 0 0 160 0 0 0 20 0 28 0 447977417 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949137283568 139950663719369 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24812] ppid=24789 vsize=28768336 memory=1712 CPUtime=1.68 cores=0-7
/proc/24791/task/24812/stat : 24812 (java) R 24789 24789 15111 0 -1 4202560 79 0 0 0 168 0 0 0 20 0 28 0 447977417 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949136234856 139950663287916 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24813] ppid=24789 vsize=28768336 memory=1196 CPUtime=1.63 cores=0-7
/proc/24791/task/24813/stat : 24813 (java) R 24789 24789 15111 0 -1 4202560 166 0 0 0 162 1 0 0 20 0 28 0 447977417 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949135179960 139950654854063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24814] ppid=24789 vsize=28768336 memory=1044 CPUtime=1.82 cores=0-7
/proc/24791/task/24814/stat : 24814 (java) R 24789 24789 15111 0 -1 4202560 143 0 0 0 181 1 0 0 20 0 28 0 447977418 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949134130056 139950664117609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24815] ppid=24789 vsize=28768336 memory=712 CPUtime=1.74 cores=0-7
/proc/24791/task/24815/stat : 24815 (java) R 24789 24789 15111 0 -1 4202560 90 0 0 0 174 0 0 0 20 0 28 0 447977418 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949133074648 139950663564985 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24816] ppid=24789 vsize=28768336 memory=2832 CPUtime=1.6 cores=0-7
/proc/24791/task/24816/stat : 24816 (java) R 24789 24789 15111 0 -1 4202560 98 0 0 0 160 0 0 0 20 0 28 0 447977418 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949132024744 139950664124313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24817] ppid=24789 vsize=28768336 memory=8024 CPUtime=1.67 cores=0-7
/proc/24791/task/24817/stat : 24817 (java) R 24789 24789 15111 0 -1 4202560 73 0 0 0 167 0 0 0 20 0 28 0 447977418 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949130968448 139950664217341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24818] ppid=24789 vsize=28768336 memory=10428 CPUtime=1.77 cores=0-7
/proc/24791/task/24818/stat : 24818 (java) R 24789 24789 15111 0 -1 4202560 141 0 0 0 177 0 0 0 20 0 28 0 447977418 29458776064 198397 33554432000 4194304 4196468 140724628991056 139949129918216 139950664152334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
Current children cumulated CPU time: 30.61 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 795040 KiB

[startup+5.70182 s]
/proc/loadavg: 7.72 8.23 8.23 12/218 24818
/proc/meminfo: memFree=28550540/32770624 swapFree=66958324/67108860
[pid=24789] ppid=24786 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24789/stat : 24789 (xcsp3-exec) S 24786 24789 15111 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447977098 115843072 363 33554432000 4194304 5098028 140731655394592 140731655392696 140010672120444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12902400 140731655398268 140731655398510 140731655398510 140731655401418 0
/proc/24789/statm: 28282 363 304 221 0 87 0
[pid=24791] ppid=24789 vsize=28768336 memory=793424 CPUtime=31.28 cores=0-7
/proc/24791/stat : 24791 (java) S 24789 24789 15111 0 -1 1077944320 44904 0 0 0 3053 75 0 0 20 0 28 0 447977098 29458776064 198356 33554432000 4194304 4196468 140724628991056 140724628973600 139951029677815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
/proc/24791/statm: 7192084 198356 3536 1 0 7153184 0
[pid=24791/tid=24792] ppid=24789 vsize=28768336 memory=792332 CPUtime=3.01 cores=0-7
/proc/24791/task/24792/stat : 24792 (java) S 24789 24789 15111 0 -1 1077944384 11248 0 0 0 290 11 0 0 20 0 28 0 447977098 29458776064 198356 33554432000 4194304 4196468 140724628991056 139951033918592 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24793] ppid=24789 vsize=28768336 memory=279855774288960 CPUtime=0.22 cores=0-7
/proc/24791/task/24793/stat : 24793 (java) S 24789 24789 15111 0 -1 1077944384 196 0 0 0 15 7 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950982297872 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24794] ppid=24789 vsize=28768336 memory=3612 CPUtime=0.17 cores=0-7
/proc/24791/task/24794/stat : 24794 (java) S 24789 24789 15111 0 -1 1077944384 170 0 0 0 12 5 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950981245328 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24795] ppid=24789 vsize=28768336 memory=47976 CPUtime=0.21 cores=0-7
/proc/24791/task/24795/stat : 24795 (java) S 24789 24789 15111 0 -1 1077944384 321 0 0 0 15 6 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950980192784 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24796] ppid=24789 vsize=28768336 memory=988 CPUtime=0.2 cores=0-7
/proc/24791/task/24796/stat : 24796 (java) S 24789 24789 15111 0 -1 1077944384 239 0 0 0 14 6 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950979140240 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24797] ppid=24789 vsize=28768336 memory=301741373374332954 CPUtime=0.17 cores=0-7
/proc/24791/task/24797/stat : 24797 (java) S 24789 24789 15111 0 -1 1077944384 178 0 0 0 12 5 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950978087696 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24798] ppid=24789 vsize=28768336 memory=301741416391115062 CPUtime=0.21 cores=0-7
/proc/24791/task/24798/stat : 24798 (java) S 24789 24789 15111 0 -1 1077944384 297 0 0 0 15 6 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950977035152 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24799] ppid=24789 vsize=28768336 memory=14408211662899591 CPUtime=0.2 cores=0-7
/proc/24791/task/24799/stat : 24799 (java) S 24789 24789 15111 0 -1 1077944384 319 0 0 0 15 5 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950975982608 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24800] ppid=24789 vsize=28768336 memory=4208985939430827872 CPUtime=0.21 cores=0-7
/proc/24791/task/24800/stat : 24800 (java) S 24789 24789 15111 0 -1 1077944384 232 0 0 0 15 6 0 0 20 0 28 0 447977099 29458776064 198356 33554432000 4194304 4196468 140724628991056 139950974930064 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24801] ppid=24789 vsize=28768336 memory=279855775012224 CPUtime=0.01 cores=0-7
/proc/24791/task/24801/stat : 24801 (java) S 24789 24789 15111 0 -1 1077944384 632 0 0 0 1 0 0 0 20 0 28 0 447977100 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949158074352 139951029688962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24802] ppid=24789 vsize=28768336 memory=3543663800768316424 CPUtime=0 cores=0-7
/proc/24791/task/24802/stat : 24802 (java) S 24789 24789 15111 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447977101 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949157020640 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24803] ppid=24789 vsize=28768336 memory=56 CPUtime=0 cores=0-7
/proc/24791/task/24803/stat : 24803 (java) S 24789 24789 15111 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 447977101 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949155968000 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24804] ppid=24789 vsize=28768336 memory=9125 CPUtime=0 cores=0-7
/proc/24791/task/24804/stat : 24804 (java) S 24789 24789 15111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447977103 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949154916560 139951029696411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24805] ppid=24789 vsize=28768336 memory=22713 CPUtime=3.84 cores=0-7
/proc/24791/task/24805/stat : 24805 (java) R 24789 24789 15111 0 -1 4202560 7738 0 0 0 382 2 0 0 20 0 28 0 447977103 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949153845136 139951008987801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24806] ppid=24789 vsize=28768336 memory=1452 CPUtime=3.73 cores=0-7
/proc/24791/task/24806/stat : 24806 (java) R 24789 24789 15111 0 -1 4202560 7635 0 0 0 371 2 0 0 20 0 28 0 447977103 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949152811632 139951013064603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24807] ppid=24789 vsize=28768336 memory=288230574492221466 CPUtime=4.02 cores=0-7
/proc/24791/task/24807/stat : 24807 (java) R 24789 24789 15111 0 -1 4202560 7915 0 0 0 400 2 0 0 20 0 28 0 447977104 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949151745184 139951011221910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24808] ppid=24789 vsize=28768336 memory=0 CPUtime=0.86 cores=0-7
/proc/24791/task/24808/stat : 24808 (java) S 24789 24789 15111 0 -1 1077944384 5236 0 0 0 84 2 0 0 20 0 28 0 447977104 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949150706544 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24809] ppid=24789 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/24791/task/24809/stat : 24809 (java) S 24789 24789 15111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447977104 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949149653216 139951029688021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
[pid=24791/tid=24810] ppid=24789 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/24791/task/24810/stat : 24810 (java) S 24789 24789 15111 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447977104 29458776064 198356 33554432000 4194304 4196468 140724628991056 139949148600752 139951029688962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140724628997104 140724628997275 140724628997275 140724629000143 0
Current children cumulated CPU time: 31.28 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 794876 KiB

Child status: 0
Real time (s): 5.77969
CPU time (s): 31.6321
CPU user time (s): 30.8381
CPU system time (s): 0.793986
CPU usage (%): 547.297
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 798972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.8381
system time used= 0.793986
maximum resident set size= 797848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4547
involuntary context switches= 762


# summary of solver processes directly reported to runsolver:
#   pid: 24789
#   total CPU time (s): 31.6321
#   total CPU user time (s): 30.8381
#   total CPU system time (s): 0.793986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069075 second user time and 0.100375 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
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	5.69025
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	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400147

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
