2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	4	11.5157	3.44261
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 (12915 MiB free)
  memory of node 1: 16384 MiB (11918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404596-1568994652/watcher-4404596-1568994652 -o /var/tmp/evaluation-result-4404596-1568994652/solver-4404596-1568994652 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1568994428-2972 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1660948256 HOME/instance-4404596-1568994652.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=3411, runsolver pid=3408
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 7.82 7.02 7.29 2/212 3432
/proc/meminfo: memFree=25412860/32770624 swapFree=67002252/67108860
[pid=3411] ppid=3408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (xcsp3-exec) S 3408 3411 2945 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475713775 115843072 362 33554432000 4194304 5098028 140733766389184 140733766387288 140681958961788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140733766390609 140733766390869 140733766390869 140733766393798 0
/proc/3411/statm: 28282 362 304 221 0 87 0
[pid=3413] ppid=3411 vsize=28227396 memory=29172 CPUtime=0.09 cores=0-7
/proc/3413/stat : 3413 (java) S 3411 3411 2945 0 -1 1077944320 5224 0 0 0 8 1 0 0 20 0 20 0 475713775 28904853504 7293 33554432000 4194304 4196468 140729836780384 140729836762928 139770756157175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
/proc/3413/statm: 7056849 7293 3007 1 0 7019032 0
[pid=3413/tid=3414] ppid=3411 vsize=28227396 memory=-7096649868621430206 CPUtime=0.06 cores=0-7
/proc/3413/task/3414/stat : 3414 (java) R 3411 3411 2945 0 -1 4202560 3370 0 0 0 6 0 0 0 20 0 20 0 475713776 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770760392392 139770740237633 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3415] ppid=3411 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7
/proc/3413/task/3415/stat : 3415 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713776 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770719263248 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3416] ppid=3411 vsize=28227396 memory=140165352339072 CPUtime=0 cores=0-7
/proc/3413/task/3416/stat : 3416 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770306878096 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3417] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3417/stat : 3417 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770305825040 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3418] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3418/stat : 3418 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770304772496 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3419] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3419/stat : 3419 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770303720464 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3420] ppid=3411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3413/task/3420/stat : 3420 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770302667920 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3421] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3421/stat : 3421 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770301614864 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3422] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3422/stat : 3422 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770300562320 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3423] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3423/stat : 3423 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713778 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770141006064 139770756168322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3424] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3424/stat : 3424 (java) S 3411 3411 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475713778 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770139952288 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3425] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3425/stat : 3425 (java) S 3411 3411 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475713779 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770138899184 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3426] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3426/stat : 3426 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713781 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770137847760 139770756175771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3427] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3427/stat : 3427 (java) S 3411 3411 2945 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 475713783 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770136795888 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3428] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3428/stat : 3428 (java) S 3411 3411 2945 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 475713783 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770135743344 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3429] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3429/stat : 3429 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713783 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770134690288 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3430] ppid=3411 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3413/task/3430/stat : 3430 (java) R 3411 3411 2945 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 475713783 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770133634552 139770735114265 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3431] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3431/stat : 3431 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713783 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770132584928 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3432] ppid=3411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3413/task/3432/stat : 3432 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713784 28904853504 7357 33554432000 4194304 4196468 140729836780384 139770131532464 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30620 KiB

[startup+0.210477 s]*
/proc/loadavg: 7.82 7.02 7.29 3/212 3432
/proc/meminfo: memFree=25400708/32770624 swapFree=67002252/67108860
[pid=3411] ppid=3408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (xcsp3-exec) S 3408 3411 2945 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475713775 115843072 362 33554432000 4194304 5098028 140733766389184 140733766387288 140681958961788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140733766390609 140733766390869 140733766390869 140733766393798 0
/proc/3411/statm: 28282 362 304 221 0 87 0
[pid=3413] ppid=3411 vsize=28227396 memory=40900 CPUtime=0.3 cores=0-7
/proc/3413/stat : 3413 (java) S 3411 3411 2945 0 -1 1077944320 8917 0 0 0 27 3 0 0 20 0 20 0 475713775 28904853504 10225 33554432000 4194304 4196468 140729836780384 140729836762928 139770756157175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
/proc/3413/statm: 7056849 10225 3302 1 0 7019032 0
[pid=3413/tid=3414] ppid=3411 vsize=28227396 memory=8390339637985935414 CPUtime=0.18 cores=0-7
/proc/3413/task/3414/stat : 3414 (java) R 3411 3411 2945 0 -1 4202560 6208 0 0 0 16 2 0 0 20 0 20 0 475713776 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770760394736 139770756169110 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3415] ppid=3411 vsize=28227396 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/3413/task/3415/stat : 3415 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713776 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770719263248 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3416] ppid=3411 vsize=28227396 memory=140165352360627 CPUtime=0 cores=0-7
/proc/3413/task/3416/stat : 3416 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770306878096 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3417] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3417/stat : 3417 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770305825040 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3418] ppid=3411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3413/task/3418/stat : 3418 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770304772496 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3419] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3419/stat : 3419 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770303720464 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3420] ppid=3411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3413/task/3420/stat : 3420 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770302667920 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3421] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3421/stat : 3421 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770301614864 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3422] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3422/stat : 3422 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713777 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770300562320 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3423] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3423/stat : 3423 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713778 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770141006064 139770756168322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3424] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3424/stat : 3424 (java) S 3411 3411 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475713778 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770139952288 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3425] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3425/stat : 3425 (java) S 3411 3411 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475713779 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770138899184 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3426] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3426/stat : 3426 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713781 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770137847760 139770756175771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3427] ppid=3411 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3413/task/3427/stat : 3427 (java) S 3411 3411 2945 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 475713783 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770136795888 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3428] ppid=3411 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3413/task/3428/stat : 3428 (java) S 3411 3411 2945 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 20 0 475713783 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770135743344 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3429] ppid=3411 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3413/task/3429/stat : 3429 (java) S 3411 3411 2945 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 475713783 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770134690288 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3430] ppid=3411 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/3413/task/3430/stat : 3430 (java) R 3411 3411 2945 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 475713783 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770133637744 139770756178522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3431] ppid=3411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3431/stat : 3431 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713783 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770132584928 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3432] ppid=3411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3413/task/3432/stat : 3432 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713784 28904853504 10225 33554432000 4194304 4196468 140729836780384 139770131532464 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42348 KiB

[startup+0.310351 s]*
/proc/loadavg: 7.82 7.02 7.29 2/212 3432
/proc/meminfo: memFree=25395636/32770624 swapFree=67002252/67108860
[pid=3411] ppid=3408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (xcsp3-exec) S 3408 3411 2945 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475713775 115843072 362 33554432000 4194304 5098028 140733766389184 140733766387288 140681958961788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140733766390609 140733766390869 140733766390869 140733766393798 0
/proc/3411/statm: 28282 362 304 221 0 87 0
[pid=3413] ppid=3411 vsize=28231652 memory=46796 CPUtime=0.49 cores=0-7
/proc/3413/stat : 3413 (java) S 3411 3411 2945 0 -1 1077944320 10054 0 0 0 45 4 0 0 20 0 20 0 475713775 28909211648 11699 33554432000 4194304 4196468 140729836780384 140729836762928 139770756157175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
/proc/3413/statm: 7057913 11699 3336 1 0 7019032 0
[pid=3413/tid=3414] ppid=3411 vsize=28231652 memory=1398720917958146503 CPUtime=0.27 cores=0-7
/proc/3413/task/3414/stat : 3414 (java) R 3411 3411 2945 0 -1 4202560 7181 0 0 0 25 2 0 0 20 0 20 0 475713776 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770760388864 139770756169110 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3415] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3415/stat : 3415 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713776 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770719263248 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3416] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3416/stat : 3416 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713777 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770306878096 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3417] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3417/stat : 3417 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770305825040 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3418] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3418/stat : 3418 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770304772496 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3419] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3419/stat : 3419 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713777 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770303720464 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3420] ppid=3411 vsize=28231652 memory=140165251164847 CPUtime=0 cores=0-7
/proc/3413/task/3420/stat : 3420 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770302667920 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3421] ppid=3411 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3413/task/3421/stat : 3421 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770301614864 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3422] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3422/stat : 3422 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713777 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770300562320 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3423] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3423/stat : 3423 (java) S 3411 3411 2945 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475713778 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770141006064 139770756168322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3424] ppid=3411 vsize=28231652 memory=2110515858306052 CPUtime=0 cores=0-7
/proc/3413/task/3424/stat : 3424 (java) S 3411 3411 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475713778 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770139952288 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3425] ppid=3411 vsize=28231652 memory=2110515858280100 CPUtime=0 cores=0-7
/proc/3413/task/3425/stat : 3425 (java) S 3411 3411 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475713779 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770138899184 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3426] ppid=3411 vsize=28231652 memory=2110515858282404 CPUtime=0 cores=0-7
/proc/3413/task/3426/stat : 3426 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713781 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770137847760 139770756175771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3427] ppid=3411 vsize=28231652 memory=2110515858305828 CPUtime=0.02 cores=0-7
/proc/3413/task/3427/stat : 3427 (java) S 3411 3411 2945 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 475713783 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770136795888 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3428] ppid=3411 vsize=28231652 memory=2110515858287012 CPUtime=0.02 cores=0-7
/proc/3413/task/3428/stat : 3428 (java) R 3411 3411 2945 0 -1 4202560 315 0 0 0 2 0 0 0 20 0 20 0 475713783 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770135743344 139770756168322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3429] ppid=3411 vsize=28231652 memory=2110515858305860 CPUtime=0.02 cores=0-7
/proc/3413/task/3429/stat : 3429 (java) S 3411 3411 2945 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 20 0 475713783 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770134690288 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3430] ppid=3411 vsize=28231652 memory=2110515858305892 CPUtime=0.12 cores=0-7
/proc/3413/task/3430/stat : 3430 (java) R 3411 3411 2945 0 -1 4202560 885 0 0 0 12 0 0 0 20 0 20 0 475713783 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770133637744 139770748394302 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3431] ppid=3411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3431/stat : 3431 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713783 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770132584928 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3432] ppid=3411 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3413/task/3432/stat : 3432 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713784 28909211648 11699 33554432000 4194304 4196468 140729836780384 139770131532464 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48244 KiB

[startup+0.700967 s]
/proc/loadavg: 7.82 7.02 7.29 4/212 3432
/proc/meminfo: memFree=25374836/32770624 swapFree=67002252/67108860
[pid=3411] ppid=3408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (xcsp3-exec) S 3408 3411 2945 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475713775 115843072 362 33554432000 4194304 5098028 140733766389184 140733766387288 140681958961788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140733766390609 140733766390869 140733766390869 140733766393798 0
/proc/3411/statm: 28282 362 304 221 0 87 0
[pid=3413] ppid=3411 vsize=28233776 memory=114676 CPUtime=1.84 cores=0-7
/proc/3413/stat : 3413 (java) S 3411 3411 2945 0 -1 1077944320 14766 0 0 0 179 5 0 0 20 0 20 0 475713775 28911386624 28669 33554432000 4194304 4196468 140729836780384 140729836762928 139770756157175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
/proc/3413/statm: 7058444 28669 3447 1 0 7019544 0
[pid=3413/tid=3414] ppid=3411 vsize=28233776 memory=4580 CPUtime=0.65 cores=0-7
/proc/3413/task/3414/stat : 3414 (java) R 3411 3411 2945 0 -1 4202560 7952 0 0 0 62 3 0 0 20 0 20 0 475713776 28911386624 28669 33554432000 4194304 4196468 140729836780384 139770760390080 139770740200805 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3415] ppid=3411 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3415/stat : 3415 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713776 28911386624 28669 33554432000 4194304 4196468 140729836780384 139770719263248 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3416] ppid=3411 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3416/stat : 3416 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713777 28911386624 28669 33554432000 4194304 4196468 140729836780384 139770306878096 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3417] ppid=3411 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/3413/task/3417/stat : 3417 (java) S 3411 3411 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475713777 28911386624 28669 33554432000 4194304 4196468 140729836780384 139770305825040 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0

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

/proc/loadavg: 7.82 7.02 7.29 2/212 3432
/proc/meminfo: memFree=24772932/32770624 swapFree=67002252/67108860
[pid=3411] ppid=3408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (xcsp3-exec) S 3408 3411 2945 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475713775 115843072 362 33554432000 4194304 5098028 140733766389184 140733766387288 140681958961788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140733766390609 140733766390869 140733766390869 140733766393798 0
/proc/3411/statm: 28282 362 304 221 0 87 0
[pid=3413] ppid=3411 vsize=28233776 memory=669180 CPUtime=9.31 cores=0-7
/proc/3413/stat : 3413 (java) S 3411 3411 2945 0 -1 1077944320 34832 0 0 0 893 38 0 0 20 0 20 0 475713775 28911386624 167295 33554432000 4194304 4196468 140729836780384 140729836762928 139770756157175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
/proc/3413/statm: 7058444 167295 3511 1 0 7019544 0
[pid=3413/tid=3414] ppid=3411 vsize=28233776 memory=1448 CPUtime=2.94 cores=0-7
/proc/3413/task/3414/stat : 3414 (java) R 3411 3411 2945 0 -1 4202560 10714 0 0 0 284 10 0 0 20 0 20 0 475713776 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770760387024 139770756169110 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3415] ppid=3411 vsize=28233776 memory=131872 CPUtime=0.08 cores=0-7
/proc/3413/task/3415/stat : 3415 (java) S 3411 3411 2945 0 -1 1077944384 193 0 0 0 6 2 0 0 20 0 20 0 475713776 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770719263248 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3416] ppid=3411 vsize=28233776 memory=280330502745280 CPUtime=0.09 cores=0-7
/proc/3413/task/3416/stat : 3416 (java) S 3411 3411 2945 0 -1 1077944384 128 0 0 0 7 2 0 0 20 0 20 0 475713777 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770306878096 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3417] ppid=3411 vsize=28233776 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3417/stat : 3417 (java) S 3411 3411 2945 0 -1 1077944384 129 0 0 0 6 2 0 0 20 0 20 0 475713777 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770305825040 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3418] ppid=3411 vsize=28233776 memory=98 CPUtime=0.08 cores=0-7
/proc/3413/task/3418/stat : 3418 (java) S 3411 3411 2945 0 -1 1077944384 150 0 0 0 6 2 0 0 20 0 20 0 475713777 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770304772496 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3419] ppid=3411 vsize=28233776 memory=622 CPUtime=0.08 cores=0-7
/proc/3413/task/3419/stat : 3419 (java) S 3411 3411 2945 0 -1 1077944384 162 0 0 0 5 3 0 0 20 0 20 0 475713777 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770303720464 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3420] ppid=3411 vsize=28233776 memory=55 CPUtime=0.06 cores=0-7
/proc/3413/task/3420/stat : 3420 (java) S 3411 3411 2945 0 -1 1077944384 105 0 0 0 5 1 0 0 20 0 20 0 475713777 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770302667920 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3421] ppid=3411 vsize=28233776 memory=13841 CPUtime=0.08 cores=0-7
/proc/3413/task/3421/stat : 3421 (java) S 3411 3411 2945 0 -1 1077944384 535 0 0 0 6 2 0 0 20 0 20 0 475713777 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770301614864 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3422] ppid=3411 vsize=28233776 memory=23625 CPUtime=0.08 cores=0-7
/proc/3413/task/3422/stat : 3422 (java) S 3411 3411 2945 0 -1 1077944384 119 0 0 0 6 2 0 0 20 0 20 0 475713777 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770300562320 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3423] ppid=3411 vsize=28233776 memory=0 CPUtime=0.01 cores=0-7
/proc/3413/task/3423/stat : 3423 (java) S 3411 3411 2945 0 -1 1077944384 651 0 0 0 1 0 0 0 20 0 20 0 475713778 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770141006064 139770756168322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3424] ppid=3411 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3424/stat : 3424 (java) S 3411 3411 2945 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 475713778 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770139952352 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3425] ppid=3411 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3425/stat : 3425 (java) S 3411 3411 2945 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 475713779 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770138899200 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3426] ppid=3411 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3426/stat : 3426 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475713781 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770137847760 139770756175771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3427] ppid=3411 vsize=28233776 memory=29 CPUtime=1.75 cores=0-7
/proc/3413/task/3427/stat : 3427 (java) R 3411 3411 2945 0 -1 4202560 6008 0 0 0 173 2 0 0 20 0 20 0 475713783 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770136794288 139770756178522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3428] ppid=3411 vsize=28233776 memory=28 CPUtime=1.63 cores=0-7
/proc/3413/task/3428/stat : 3428 (java) R 3411 3411 2945 0 -1 4202560 5538 0 0 0 162 1 0 0 20 0 20 0 475713783 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770135743152 139770756178522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3429] ppid=3411 vsize=28233776 memory=28 CPUtime=1.61 cores=0-7
/proc/3413/task/3429/stat : 3429 (java) R 3411 3411 2945 0 -1 4202560 4760 0 0 0 160 1 0 0 20 0 20 0 475713783 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770134690288 139770756169110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3430] ppid=3411 vsize=28233776 memory=30 CPUtime=0.61 cores=0-7
/proc/3413/task/3430/stat : 3430 (java) R 3411 3411 2945 0 -1 4202560 4285 0 0 0 60 1 0 0 20 0 20 0 475713783 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770133637744 139770740237662 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3431] ppid=3411 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3431/stat : 3431 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475713783 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770132584928 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3432] ppid=3411 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3432/stat : 3432 (java) S 3411 3411 2945 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 475713784 28911386624 167295 33554432000 4194304 4196468 140729836780384 139770131532464 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 670628 KiB

[startup+3.44255 s]
# the end of solver process 3411 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.1083 s, system=0.407399 s

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

[startup+3.20128 s]
/proc/loadavg: 7.82 7.02 7.29 2/212 3432
/proc/meminfo: memFree=24772932/32770624 swapFree=67002252/67108860
[pid=3411] ppid=3408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (xcsp3-exec) S 3408 3411 2945 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475713775 115843072 362 33554432000 4194304 5098028 140733766389184 140733766387288 140681958961788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140733766390609 140733766390869 140733766390869 140733766393798 0
/proc/3411/statm: 28282 362 304 221 0 87 0
[pid=3413] ppid=3411 vsize=28766288 memory=669720 CPUtime=9.88 cores=0-7
/proc/3413/stat : 3413 (java) S 3411 3411 2945 0 -1 1077944320 35408 0 0 0 950 38 0 0 20 0 28 0 475713775 29456678912 167430 33554432000 4194304 4196468 140729836780384 140729836762928 139770756157175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
/proc/3413/statm: 7191572 167430 3512 1 0 7152672 0
[pid=3413/tid=3414] ppid=3411 vsize=28766288 memory=0 CPUtime=2.96 cores=0-7
/proc/3413/task/3414/stat : 3414 (java) S 3411 3411 2945 0 -1 1077944384 10882 0 0 0 286 10 0 0 20 0 28 0 475713776 29456678912 167430 33554432000 4194304 4196468 140729836780384 139770760397952 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3415] ppid=3411 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3415/stat : 3415 (java) S 3411 3411 2945 0 -1 1077944384 193 0 0 0 6 2 0 0 20 0 28 0 475713776 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770719263248 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3416] ppid=3411 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7
/proc/3413/task/3416/stat : 3416 (java) S 3411 3411 2945 0 -1 1077944384 128 0 0 0 7 2 0 0 20 0 28 0 475713777 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770306878096 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3417] ppid=3411 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3417/stat : 3417 (java) S 3411 3411 2945 0 -1 1077944384 129 0 0 0 6 2 0 0 20 0 28 0 475713777 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770305825040 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3418] ppid=3411 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3418/stat : 3418 (java) S 3411 3411 2945 0 -1 1077944384 150 0 0 0 6 2 0 0 20 0 28 0 475713777 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770304772496 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3419] ppid=3411 vsize=28766288 memory=140165352339072 CPUtime=0.08 cores=0-7
/proc/3413/task/3419/stat : 3419 (java) S 3411 3411 2945 0 -1 1077944384 162 0 0 0 5 3 0 0 20 0 28 0 475713777 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770303720464 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3420] ppid=3411 vsize=28766288 memory=31356350842106267 CPUtime=0.06 cores=0-7
/proc/3413/task/3420/stat : 3420 (java) S 3411 3411 2945 0 -1 1077944384 105 0 0 0 5 1 0 0 20 0 28 0 475713777 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770302667920 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3421] ppid=3411 vsize=28766288 memory=18009 CPUtime=0.08 cores=0-7
/proc/3413/task/3421/stat : 3421 (java) S 3411 3411 2945 0 -1 1077944384 535 0 0 0 6 2 0 0 20 0 28 0 475713777 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770301614864 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3422] ppid=3411 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3422/stat : 3422 (java) S 3411 3411 2945 0 -1 1077944384 119 0 0 0 6 2 0 0 20 0 28 0 475713777 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770300562320 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3423] ppid=3411 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/3413/task/3423/stat : 3423 (java) S 3411 3411 2945 0 -1 1077944384 651 0 0 0 1 0 0 0 20 0 28 0 475713778 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770141006064 139770756168322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3424] ppid=3411 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3424/stat : 3424 (java) S 3411 3411 2945 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 475713778 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770139952352 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3425] ppid=3411 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3425/stat : 3425 (java) S 3411 3411 2945 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475713779 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770138899200 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3426] ppid=3411 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3426/stat : 3426 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475713781 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770137847760 139770756175771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3427] ppid=3411 vsize=28766288 memory=0 CPUtime=1.78 cores=0-7
/proc/3413/task/3427/stat : 3427 (java) R 3411 3411 2945 0 -1 4202560 6019 0 0 0 176 2 0 0 20 0 28 0 475713783 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770136778560 139770740902864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3428] ppid=3411 vsize=28766288 memory=0 CPUtime=1.67 cores=0-7
/proc/3413/task/3428/stat : 3428 (java) R 3411 3411 2945 0 -1 4202560 5587 0 0 0 166 1 0 0 20 0 28 0 475713783 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770135732016 139770740547288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3429] ppid=3411 vsize=28766288 memory=0 CPUtime=1.67 cores=0-7
/proc/3413/task/3429/stat : 3429 (java) R 3411 3411 2945 0 -1 4202560 4781 0 0 0 166 1 0 0 20 0 28 0 475713783 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770134676384 139770737331348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3430] ppid=3411 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7
/proc/3413/task/3430/stat : 3430 (java) R 3411 3411 2945 0 -1 4202560 4335 0 0 0 63 1 0 0 20 0 28 0 475713783 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770133634480 139770748394302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3431] ppid=3411 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3431/stat : 3431 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475713783 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770132584928 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3432] ppid=3411 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3432/stat : 3432 (java) S 3411 3411 2945 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 475713784 29456678912 167448 33554432000 4194304 4196468 140729836780384 139770131532464 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 671168 KiB

[startup+3.40129 s]
/proc/loadavg: 7.82 7.02 7.29 2/212 3432
/proc/meminfo: memFree=24772932/32770624 swapFree=67002252/67108860
[pid=3411] ppid=3408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (xcsp3-exec) S 3408 3411 2945 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475713775 115843072 362 33554432000 4194304 5098028 140733766389184 140733766387288 140681958961788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140733766390609 140733766390869 140733766390869 140733766393798 0
/proc/3411/statm: 28282 362 304 221 0 87 0
[pid=3413] ppid=3411 vsize=28768336 memory=671704 CPUtime=11.41 cores=0-7
/proc/3413/stat : 3413 (java) S 3411 3411 2945 0 -1 1077944320 35995 0 0 0 1102 39 0 0 20 0 28 0 475713775 29458776064 167926 33554432000 4194304 4196468 140729836780384 140729836762928 139770756157175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
/proc/3413/statm: 7192084 167926 3531 1 0 7153184 0
[pid=3413/tid=3414] ppid=3411 vsize=28768336 memory=0 CPUtime=2.97 cores=0-7
/proc/3413/task/3414/stat : 3414 (java) S 3411 3411 2945 0 -1 1077944384 10883 0 0 0 286 11 0 0 20 0 28 0 475713776 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770760397952 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3415] ppid=3411 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3415/stat : 3415 (java) S 3411 3411 2945 0 -1 1077944384 193 0 0 0 6 2 0 0 20 0 28 0 475713776 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770719263248 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3416] ppid=3411 vsize=28768336 memory=6656426216303648864 CPUtime=0.09 cores=0-7
/proc/3413/task/3416/stat : 3416 (java) S 3411 3411 2945 0 -1 1077944384 128 0 0 0 7 2 0 0 20 0 28 0 475713777 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770306878096 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3417] ppid=3411 vsize=28768336 memory=6656426216303648864 CPUtime=0.08 cores=0-7
/proc/3413/task/3417/stat : 3417 (java) S 3411 3411 2945 0 -1 1077944384 129 0 0 0 6 2 0 0 20 0 28 0 475713777 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770305825040 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3418] ppid=3411 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3418/stat : 3418 (java) S 3411 3411 2945 0 -1 1077944384 150 0 0 0 6 2 0 0 20 0 28 0 475713777 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770304772496 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3419] ppid=3411 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3419/stat : 3419 (java) S 3411 3411 2945 0 -1 1077944384 162 0 0 0 5 3 0 0 20 0 28 0 475713777 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770303720464 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3420] ppid=3411 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/3413/task/3420/stat : 3420 (java) S 3411 3411 2945 0 -1 1077944384 105 0 0 0 5 1 0 0 20 0 28 0 475713777 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770302667920 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3421] ppid=3411 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3421/stat : 3421 (java) S 3411 3411 2945 0 -1 1077944384 535 0 0 0 6 2 0 0 20 0 28 0 475713777 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770301614864 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3422] ppid=3411 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/3413/task/3422/stat : 3422 (java) S 3411 3411 2945 0 -1 1077944384 119 0 0 0 6 2 0 0 20 0 28 0 475713777 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770300562320 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3423] ppid=3411 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/3413/task/3423/stat : 3423 (java) S 3411 3411 2945 0 -1 1077944384 651 0 0 0 1 0 0 0 20 0 28 0 475713778 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770141006064 139770756168322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3424] ppid=3411 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3424/stat : 3424 (java) S 3411 3411 2945 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 475713778 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770139952352 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3425] ppid=3411 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3425/stat : 3425 (java) S 3411 3411 2945 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475713779 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770138899200 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3426] ppid=3411 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3426/stat : 3426 (java) S 3411 3411 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475713781 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770137847760 139770756175771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3427] ppid=3411 vsize=28768336 memory=0 CPUtime=1.93 cores=0-7
/proc/3413/task/3427/stat : 3427 (java) R 3411 3411 2945 0 -1 4202560 6060 0 0 0 191 2 0 0 20 0 28 0 475713783 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770136777456 139770734323656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3428] ppid=3411 vsize=28768336 memory=0 CPUtime=1.85 cores=0-7
/proc/3413/task/3428/stat : 3428 (java) R 3411 3411 2945 0 -1 4202560 5735 0 0 0 184 1 0 0 20 0 28 0 475713783 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770135729504 139770737704582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3429] ppid=3411 vsize=28768336 memory=0 CPUtime=1.81 cores=0-7
/proc/3413/task/3429/stat : 3429 (java) R 3411 3411 2945 0 -1 4202560 4815 0 0 0 180 1 0 0 20 0 28 0 475713783 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770134690288 139770741066079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3430] ppid=3411 vsize=28768336 memory=0 CPUtime=0.7 cores=0-7
/proc/3413/task/3430/stat : 3430 (java) R 3411 3411 2945 0 -1 1077944384 4477 0 0 0 69 1 0 0 20 0 28 0 475713783 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770133633008 139770756167381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3431] ppid=3411 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3431/stat : 3431 (java) S 3411 3411 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475713783 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770132584928 139770756167381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
[pid=3413/tid=3432] ppid=3411 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3413/task/3432/stat : 3432 (java) S 3411 3411 2945 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 475713784 29458776064 167926 33554432000 4194304 4196468 140729836780384 139770131532464 139770756168322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140729836782550 140729836782726 140729836782726 140729836785615 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 673152 KiB

Child status: 0
Real time (s): 3.44261
CPU time (s): 11.5157
CPU user time (s): 11.1083
CPU system time (s): 0.407399
CPU usage (%): 334.504
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 673152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1083
system time used= 0.407399
maximum resident set size= 673440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36682
page faults= 0
swaps= 0
block input operations= 8
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3895
involuntary context switches= 95


# summary of solver processes directly reported to runsolver:
#   pid: 3411
#   total CPU time (s): 11.5157
#   total CPU user time (s): 11.1083
#   total CPU system time (s): 0.407399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051885 second user time and 0.074715 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2.21188
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404596

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
