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	SAT (TO)	33	1969.29	252.141
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 (14614 MiB free)
  memory of node 1: 16384 MiB (15383 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400281-1568709771/watcher-4400281-1568709771 -o /tmp/evaluation-result-4400281-1568709771/solver-4400281-1568709771 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1859572716 HOME/instance-4400281-1568709771.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
solver pid=3663, runsolver pid=3660
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 8.02 8.03 8.13 3/212 3684
/proc/meminfo: memFree=30701488/32770624 swapFree=66954140/67108860
[pid=3663] ppid=3660 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3663/stat : 3663 (xcsp3-exec) S 3660 3663 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446918986 115843072 362 33554432000 4194304 5098028 140724037701856 140724037699960 140418904547964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31612928 140724037706619 140724037706862 140724037706862 140724037709770 0
/proc/3663/statm: 28282 362 304 221 0 87 0
[pid=3665] ppid=3663 vsize=28227396 memory=29668 CPUtime=0.12 cores=0-7
/proc/3665/stat : 3665 (java) S 3663 3663 561 0 -1 1077944320 5853 0 0 0 10 2 0 0 20 0 20 0 446918986 28904853504 7417 33554432000 4194304 4196468 140728350579552 140728350562096 139710572568311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
/proc/3665/statm: 7056849 7417 3125 1 0 7019032 0
[pid=3665/tid=3666] ppid=3663 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/3665/task/3666/stat : 3666 (java) R 3663 3663 561 0 -1 4202560 3841 0 0 0 8 1 0 0 20 0 20 0 446918986 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710576799376 139710202784602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3667] ppid=3663 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3665/task/3667/stat : 3667 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710525189136 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3668] ppid=3663 vsize=28227396 memory=139994199926400 CPUtime=0 cores=0-7
/proc/3665/task/3668/stat : 3668 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710524136592 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3669] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3669/stat : 3669 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710523083536 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3670] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3670/stat : 3670 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710120713104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3671] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3671/stat : 3671 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710119660048 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3672] ppid=3663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3665/task/3672/stat : 3672 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710118607504 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3673] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3673/stat : 3673 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710117554448 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3674] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3674/stat : 3674 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 7417 33554432000 4194304 4196468 140728350579552 139710116501904 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3675] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3675/stat : 3675 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918989 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709554752240 139710572579458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3676] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3676/stat : 3676 (java) S 3663 3663 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446918989 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709553698464 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3677] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3677/stat : 3677 (java) S 3663 3663 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446918990 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709552645360 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3678] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3678/stat : 3678 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709551593936 139710572586907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3679] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3679/stat : 3679 (java) S 3663 3663 561 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709550541040 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3680] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3680/stat : 3680 (java) S 3663 3663 561 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709549488496 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3681] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3681/stat : 3681 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709548435440 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3682] ppid=3663 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3665/task/3682/stat : 3682 (java) R 3663 3663 561 0 -1 4202560 283 0 0 0 1 0 0 0 20 0 20 0 446918992 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709547382896 139710551529247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3683] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3683/stat : 3683 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709546331104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3684] ppid=3663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3665/task/3684/stat : 3684 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918993 28904853504 7417 33554432000 4194304 4196468 140728350579552 139709545278640 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31116 KiB

[startup+0.210691 s]*
/proc/loadavg: 8.02 8.03 8.13 2/212 3684
/proc/meminfo: memFree=30688220/32770624 swapFree=66954140/67108860
[pid=3663] ppid=3660 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3663/stat : 3663 (xcsp3-exec) S 3660 3663 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446918986 115843072 362 33554432000 4194304 5098028 140724037701856 140724037699960 140418904547964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31612928 140724037706619 140724037706862 140724037706862 140724037709770 0
/proc/3663/statm: 28282 362 304 221 0 87 0
[pid=3665] ppid=3663 vsize=28227396 memory=41348 CPUtime=0.33 cores=0-7
/proc/3665/stat : 3665 (java) S 3663 3663 561 0 -1 1077944320 9555 0 0 0 30 3 0 0 20 0 20 0 446918986 28904853504 10337 33554432000 4194304 4196468 140728350579552 140728350562096 139710572568311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
/proc/3665/statm: 7056849 10337 3307 1 0 7019032 0
[pid=3665/tid=3666] ppid=3663 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3665/task/3666/stat : 3666 (java) R 3663 3663 561 0 -1 4202560 6679 0 0 0 18 2 0 0 20 0 20 0 446918986 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710576800224 139710572580246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3667] ppid=3663 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/3665/task/3667/stat : 3667 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710525189136 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3668] ppid=3663 vsize=28227396 memory=139994199944253 CPUtime=0 cores=0-7
/proc/3665/task/3668/stat : 3668 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710524136592 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3669] ppid=3663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3665/task/3669/stat : 3669 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710523083536 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3670] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3670/stat : 3670 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710120713104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3671] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3671/stat : 3671 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710119660048 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3672] ppid=3663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3665/task/3672/stat : 3672 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710118607504 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3673] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3673/stat : 3673 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710117554448 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3674] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3674/stat : 3674 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28904853504 10337 33554432000 4194304 4196468 140728350579552 139710116501904 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3675] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3675/stat : 3675 (java) S 3663 3663 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446918989 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709554752240 139710572579458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3676] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3676/stat : 3676 (java) S 3663 3663 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446918989 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709553698464 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3677] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3677/stat : 3677 (java) S 3663 3663 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446918990 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709552645360 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3678] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3678/stat : 3678 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709551593936 139710572586907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3679] ppid=3663 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3665/task/3679/stat : 3679 (java) S 3663 3663 561 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 20 0 446918992 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709550541040 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3680] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3680/stat : 3680 (java) R 3663 3663 561 0 -1 1077944384 364 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709549488496 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3681] ppid=3663 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3665/task/3681/stat : 3681 (java) S 3663 3663 561 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 446918992 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709548435440 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3682] ppid=3663 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/3665/task/3682/stat : 3682 (java) R 3663 3663 561 0 -1 4202560 682 0 0 0 8 0 0 0 20 0 20 0 446918992 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709547382896 139710572589658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3683] ppid=3663 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3683/stat : 3683 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446918992 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709546331104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3684] ppid=3663 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3665/task/3684/stat : 3684 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918993 28904853504 10337 33554432000 4194304 4196468 140728350579552 139709545278640 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42796 KiB

[startup+0.310417 s]*
/proc/loadavg: 8.02 8.03 8.13 5/212 3684
/proc/meminfo: memFree=30681208/32770624 swapFree=66954140/67108860
[pid=3663] ppid=3660 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3663/stat : 3663 (xcsp3-exec) S 3660 3663 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446918986 115843072 362 33554432000 4194304 5098028 140724037701856 140724037699960 140418904547964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31612928 140724037706619 140724037706862 140724037706862 140724037709770 0
/proc/3663/statm: 28282 362 304 221 0 87 0
[pid=3665] ppid=3663 vsize=28231652 memory=50088 CPUtime=0.52 cores=0-7
/proc/3665/stat : 3665 (java) S 3663 3663 561 0 -1 1077944320 10857 0 0 0 48 4 0 0 20 0 20 0 446918986 28909211648 12522 33554432000 4194304 4196468 140728350579552 140728350562096 139710572568311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
/proc/3665/statm: 7057913 12522 3346 1 0 7019032 0
[pid=3665/tid=3666] ppid=3663 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/3665/task/3666/stat : 3666 (java) R 3663 3663 561 0 -1 4202560 7791 0 0 0 27 2 0 0 20 0 20 0 446918986 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710576799424 139710565285274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3667] ppid=3663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3667/stat : 3667 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710525189136 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3668] ppid=3663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3668/stat : 3668 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710524136592 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3669] ppid=3663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3669/stat : 3669 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710523083536 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3670] ppid=3663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3670/stat : 3670 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710120713104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3671] ppid=3663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3671/stat : 3671 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710119660048 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3672] ppid=3663 vsize=28231652 memory=139994056452783 CPUtime=0 cores=0-7
/proc/3665/task/3672/stat : 3672 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710118607504 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3673] ppid=3663 vsize=28231652 memory=139994056455088 CPUtime=0 cores=0-7
/proc/3665/task/3673/stat : 3673 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710117554448 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3674] ppid=3663 vsize=28231652 memory=139994056457392 CPUtime=0 cores=0-7
/proc/3665/task/3674/stat : 3674 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28909211648 12553 33554432000 4194304 4196468 140728350579552 139710116501904 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3675] ppid=3663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3675/stat : 3675 (java) S 3663 3663 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446918989 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709554752240 139710572579458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3676] ppid=3663 vsize=28231652 memory=279988112928656 CPUtime=0 cores=0-7
/proc/3665/task/3676/stat : 3676 (java) S 3663 3663 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446918989 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709553698464 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3677] ppid=3663 vsize=28231652 memory=279988112926352 CPUtime=0 cores=0-7
/proc/3665/task/3677/stat : 3677 (java) S 3663 3663 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446918990 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709552645360 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3678] ppid=3663 vsize=28231652 memory=279988112933264 CPUtime=0 cores=0-7
/proc/3665/task/3678/stat : 3678 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918992 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709551593936 139710572586907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3679] ppid=3663 vsize=28231652 memory=279988112874544 CPUtime=0.03 cores=0-7
/proc/3665/task/3679/stat : 3679 (java) S 3663 3663 561 0 -1 1077944384 436 0 0 0 3 0 0 0 20 0 20 0 446918992 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709550541040 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3680] ppid=3663 vsize=28231652 memory=279988112947088 CPUtime=0.02 cores=0-7
/proc/3665/task/3680/stat : 3680 (java) R 3663 3663 561 0 -1 4202560 473 0 0 0 2 0 0 0 20 0 20 0 446918992 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709549488496 139710554089490 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3681] ppid=3663 vsize=28231652 memory=279988112954000 CPUtime=0.02 cores=0-7
/proc/3665/task/3681/stat : 3681 (java) S 3663 3663 561 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 446918992 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709548435440 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3682] ppid=3663 vsize=28231652 memory=279988112951696 CPUtime=0.12 cores=0-7
/proc/3665/task/3682/stat : 3682 (java) S 3663 3663 561 0 -1 1077944384 751 0 0 0 12 0 0 0 20 0 20 0 446918992 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709547382896 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3683] ppid=3663 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3683/stat : 3683 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446918992 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709546331104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3684] ppid=3663 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3665/task/3684/stat : 3684 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918993 28909211648 12553 33554432000 4194304 4196468 140728350579552 139709545278640 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51536 KiB

[startup+0.701068 s]
/proc/loadavg: 8.02 8.03 8.13 5/212 3684
/proc/meminfo: memFree=30649968/32770624 swapFree=66954140/67108860
[pid=3663] ppid=3660 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3663/stat : 3663 (xcsp3-exec) S 3660 3663 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446918986 115843072 362 33554432000 4194304 5098028 140724037701856 140724037699960 140418904547964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31612928 140724037706619 140724037706862 140724037706862 140724037709770 0
/proc/3663/statm: 28282 362 304 221 0 87 0
[pid=3665] ppid=3663 vsize=28233776 memory=116996 CPUtime=1.9 cores=0-7
/proc/3665/stat : 3665 (java) S 3663 3663 561 0 -1 1077944320 14865 0 0 0 184 6 0 0 20 0 20 0 446918986 28911386624 29249 33554432000 4194304 4196468 140728350579552 140728350562096 139710572568311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
/proc/3665/statm: 7058444 29249 3439 1 0 7019544 0
[pid=3665/tid=3666] ppid=3663 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/3665/task/3666/stat : 3666 (java) R 3663 3663 561 0 -1 4202560 8346 0 0 0 64 3 0 0 20 0 20 0 446918986 28911386624 29249 33554432000 4194304 4196468 140728350579552 139710576804368 139710206617159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3667] ppid=3663 vsize=28233776 memory=139994056663920 CPUtime=0 cores=0-7
/proc/3665/task/3667/stat : 3667 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446918987 28911386624 29249 33554432000 4194304 4196468 140728350579552 139710525189136 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3668] ppid=3663 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3665/task/3668/stat : 3668 (java) S 3663 3663 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446918987 28911386624 29249 33554432000 4194304 4196468 140728350579552 139710524136592 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3669] ppid=3663 vsize=28233776 memory=780 CPUtime=0 cores=0-7
/proc/3665/task/3669/stat : 3669 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446918987 28911386624 29249 33554432000 4194304 4196468 140728350579552 139710523083536 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0

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

[pid=3665/tid=3735] ppid=3663 vsize=28768336 memory=5823104 CPUtime=145.03 cores=0-7
/proc/3665/task/3735/stat : 3735 (java) R 3663 3663 561 0 -1 4202560 1587 0 0 0 14499 4 0 0 20 0 28 0 446920681 29458776064 1778336 33554432000 4194304 4196468 140728350579552 139709536060120 139710212349596 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
Current children cumulated CPU time: 1252.97 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 7114792 KiB

[startup+222.302 s]
/proc/loadavg: 8.77 8.32 8.21 9/219 3746
/proc/meminfo: memFree=22472420/32770624 swapFree=66954140/67108860
[pid=3663] ppid=3660 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3663/stat : 3663 (xcsp3-exec) S 3660 3663 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446918986 115843072 362 33554432000 4194304 5098028 140724037701856 140724037699960 140418904547964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31612928 140724037706619 140724037706862 140724037706862 140724037709770 0
/proc/3663/statm: 28282 362 304 221 0 87 0
[pid=3665] ppid=3663 vsize=28768336 memory=8245124 CPUtime=1731.57 cores=0-7
/proc/3665/stat : 3665 (java) S 3663 3663 561 0 -1 1077944320 143093 0 0 0 172735 422 0 0 20 0 28 0 446918986 29458776064 2061281 33554432000 4194304 4196468 140728350579552 140728350562096 139710572568311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
/proc/3665/statm: 7192084 2061281 3532 1 0 7153184 0
[pid=3665/tid=3666] ppid=3663 vsize=28768336 memory=8245124 CPUtime=6.9 cores=0-7
/proc/3665/task/3666/stat : 3666 (java) S 3663 3663 561 0 -1 1077944384 12656 0 0 0 668 22 0 0 20 0 28 0 446918986 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710576809088 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3667] ppid=3663 vsize=28768336 memory=8245124 CPUtime=0.51 cores=0-7
/proc/3665/task/3667/stat : 3667 (java) S 3663 3663 561 0 -1 1077944384 739 0 0 0 36 15 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710525189136 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3668] ppid=3663 vsize=28768336 memory=1448 CPUtime=0.58 cores=0-7
/proc/3665/task/3668/stat : 3668 (java) S 3663 3663 561 0 -1 1077944384 1592 0 0 0 39 19 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710524136592 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3669] ppid=3663 vsize=28768336 memory=0 CPUtime=0.52 cores=0-7
/proc/3665/task/3669/stat : 3669 (java) S 3663 3663 561 0 -1 1077944384 1185 0 0 0 36 16 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710523083536 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3670] ppid=3663 vsize=28768336 memory=1448 CPUtime=0.59 cores=0-7
/proc/3665/task/3670/stat : 3670 (java) S 3663 3663 561 0 -1 1077944384 1064 0 0 0 42 17 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710120713104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3671] ppid=3663 vsize=28768336 memory=1448 CPUtime=0.55 cores=0-7
/proc/3665/task/3671/stat : 3671 (java) S 3663 3663 561 0 -1 1077944384 1271 0 0 0 39 16 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710119660048 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3672] ppid=3663 vsize=28768336 memory=1448 CPUtime=0.58 cores=0-7
/proc/3665/task/3672/stat : 3672 (java) S 3663 3663 561 0 -1 1077944384 1006 0 0 0 40 18 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710118607504 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3673] ppid=3663 vsize=28768336 memory=8239748 CPUtime=0.59 cores=0-7
/proc/3665/task/3673/stat : 3673 (java) S 3663 3663 561 0 -1 1077944384 1297 0 0 0 41 18 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710117554448 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3674] ppid=3663 vsize=28768336 memory=3612 CPUtime=0.59 cores=0-7
/proc/3665/task/3674/stat : 3674 (java) S 3663 3663 561 0 -1 1077944384 1443 0 0 0 42 17 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710116501904 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3675] ppid=3663 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7
/proc/3665/task/3675/stat : 3675 (java) S 3663 3663 561 0 -1 1077944384 4795 0 0 0 3 1 0 0 20 0 28 0 446918989 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709554752240 139710572579458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3676] ppid=3663 vsize=28768336 memory=8215168 CPUtime=0 cores=0-7
/proc/3665/task/3676/stat : 3676 (java) S 3663 3663 561 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 446918989 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709553698528 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3677] ppid=3663 vsize=28768336 memory=2044 CPUtime=0 cores=0-7
/proc/3665/task/3677/stat : 3677 (java) S 3663 3663 561 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 446918990 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709552645376 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3678] ppid=3663 vsize=28768336 memory=1428 CPUtime=0 cores=0-7
/proc/3665/task/3678/stat : 3678 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709551593936 139710572586907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3679] ppid=3663 vsize=28768336 memory=1448 CPUtime=4.12 cores=0-7
/proc/3665/task/3679/stat : 3679 (java) S 3663 3663 561 0 -1 1077944384 13395 0 0 0 409 3 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709550541040 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3680] ppid=3663 vsize=28768336 memory=1448 CPUtime=4.38 cores=0-7
/proc/3665/task/3680/stat : 3680 (java) S 3663 3663 561 0 -1 1077944384 15499 0 0 0 435 3 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709549488496 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3681] ppid=3663 vsize=28768336 memory=129 CPUtime=4.94 cores=0-7
/proc/3665/task/3681/stat : 3681 (java) S 3663 3663 561 0 -1 1077944384 13740 0 0 0 492 2 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709548435440 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3682] ppid=3663 vsize=28768336 memory=6152880720259344737 CPUtime=1.05 cores=0-7
/proc/3665/task/3682/stat : 3682 (java) S 3663 3663 561 0 -1 1077944384 11762 0 0 0 102 3 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709547382896 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3683] ppid=3663 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3665/task/3683/stat : 3683 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709546331104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3684] ppid=3663 vsize=28768336 memory=4132 CPUtime=0.07 cores=0-7
/proc/3665/task/3684/stat : 3684 (java) S 3663 3663 561 0 -1 1077944384 1377 0 0 0 7 0 0 0 20 0 28 0 446918993 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709545278640 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3728] ppid=3663 vsize=28768336 memory=1448 CPUtime=204.56 cores=0-7
/proc/3665/task/3728/stat : 3728 (java) R 3663 3663 561 0 -1 4202560 17252 0 0 0 20364 92 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709530794520 139710206395240 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3729] ppid=3663 vsize=28768336 memory=3612 CPUtime=203.3 cores=0-7
/proc/3665/task/3729/stat : 3729 (java) R 3663 3663 561 0 -1 4202560 1556 0 0 0 20328 2 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709532901424 139710209532169 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3730] ppid=3663 vsize=28768336 memory=1428 CPUtime=204.99 cores=0-7
/proc/3665/task/3730/stat : 3730 (java) R 3663 3663 561 0 -1 4202560 17521 0 0 0 20438 61 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709531848296 139710212315041 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3731] ppid=3663 vsize=28768336 memory=1808 CPUtime=204.67 cores=0-7
/proc/3665/task/3731/stat : 3731 (java) R 3663 3663 561 0 -1 4202560 11671 0 0 0 20408 59 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709535006808 139710208964843 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3732] ppid=3663 vsize=28768336 memory=11624 CPUtime=205.09 cores=0-7
/proc/3665/task/3732/stat : 3732 (java) R 3663 3663 561 0 -1 4202560 1495 0 0 0 20507 2 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709529743016 139710210429208 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3733] ppid=3663 vsize=28768336 memory=1448 CPUtime=204.96 cores=0-7
/proc/3665/task/3733/stat : 3733 (java) R 3663 3663 561 0 -1 4202560 1655 0 0 0 20495 1 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709528690648 139710212349596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3734] ppid=3663 vsize=28768336 memory=7881675825041993060 CPUtime=203.05 cores=0-7
/proc/3665/task/3734/stat : 3734 (java) R 3663 3663 561 0 -1 4202560 1284 0 0 0 20302 3 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709533954600 139710212349717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3735] ppid=3663 vsize=28768336 memory=1448 CPUtime=205.01 cores=0-7
/proc/3665/task/3735/stat : 3735 (java) R 3663 3663 561 0 -1 4202560 2389 0 0 0 20496 5 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709536060120 139710212349669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
Current children cumulated CPU time: 1731.57 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 8246572 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.68 8.34 8.22 9/219 3749
/proc/meminfo: memFree=22471672/32770624 swapFree=66954140/67108860
[pid=3663] ppid=3660 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3663/stat : 3663 (xcsp3-exec) S 3660 3663 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446918986 115843072 362 33554432000 4194304 5098028 140724037701856 140724037699960 140418904547964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31612928 140724037706619 140724037706862 140724037706862 140724037709770 0
/proc/3663/statm: 28282 362 304 221 0 87 0
[pid=3665] ppid=3663 vsize=28768336 memory=8245124 CPUtime=1968.55 cores=0-7
/proc/3665/stat : 3665 (java) S 3663 3663 561 0 -1 1077944320 147695 0 0 0 196402 453 0 0 20 0 28 0 446918986 29458776064 2061281 33554432000 4194304 4196468 140728350579552 140728350562096 139710572568311 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
/proc/3665/statm: 7192084 2061281 3532 1 0 7153184 0
[pid=3665/tid=3666] ppid=3663 vsize=28768336 memory=8317482817917895235 CPUtime=6.9 cores=0-7
/proc/3665/task/3666/stat : 3666 (java) S 3663 3663 561 0 -1 1077944384 12656 0 0 0 668 22 0 0 20 0 28 0 446918986 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710576809088 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3667] ppid=3663 vsize=28768336 memory=4126316290023845779 CPUtime=0.51 cores=0-7
/proc/3665/task/3667/stat : 3667 (java) S 3663 3663 561 0 -1 1077944384 739 0 0 0 36 15 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710525189136 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3668] ppid=3663 vsize=28768336 memory=15823308880873484 CPUtime=0.58 cores=0-7
/proc/3665/task/3668/stat : 3668 (java) S 3663 3663 561 0 -1 1077944384 1592 0 0 0 39 19 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710524136592 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3669] ppid=3663 vsize=28768336 memory=14012 CPUtime=0.52 cores=0-7
/proc/3665/task/3669/stat : 3669 (java) S 3663 3663 561 0 -1 1077944384 1185 0 0 0 36 16 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710523083536 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3670] ppid=3663 vsize=28768336 memory=15148 CPUtime=0.59 cores=0-7
/proc/3665/task/3670/stat : 3670 (java) S 3663 3663 561 0 -1 1077944384 1064 0 0 0 42 17 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710120713104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3671] ppid=3663 vsize=28768336 memory=12024 CPUtime=0.55 cores=0-7
/proc/3665/task/3671/stat : 3671 (java) S 3663 3663 561 0 -1 1077944384 1271 0 0 0 39 16 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710119660048 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3672] ppid=3663 vsize=28768336 memory=2120 CPUtime=0.58 cores=0-7
/proc/3665/task/3672/stat : 3672 (java) S 3663 3663 561 0 -1 1077944384 1006 0 0 0 40 18 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710118607504 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3673] ppid=3663 vsize=28768336 memory=500 CPUtime=0.59 cores=0-7
/proc/3665/task/3673/stat : 3673 (java) S 3663 3663 561 0 -1 1077944384 1297 0 0 0 41 18 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710117554448 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3674] ppid=3663 vsize=28768336 memory=1556 CPUtime=0.59 cores=0-7
/proc/3665/task/3674/stat : 3674 (java) S 3663 3663 561 0 -1 1077944384 1443 0 0 0 42 17 0 0 20 0 28 0 446918987 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139710116501904 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3675] ppid=3663 vsize=28768336 memory=924 CPUtime=0.04 cores=0-7
/proc/3665/task/3675/stat : 3675 (java) S 3663 3663 561 0 -1 1077944384 4795 0 0 0 3 1 0 0 20 0 28 0 446918989 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709554752240 139710572579458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3676] ppid=3663 vsize=28768336 memory=1672 CPUtime=0 cores=0-7
/proc/3665/task/3676/stat : 3676 (java) S 3663 3663 561 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 446918989 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709553698528 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3677] ppid=3663 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/3665/task/3677/stat : 3677 (java) S 3663 3663 561 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 446918990 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709552645376 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3678] ppid=3663 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3665/task/3678/stat : 3678 (java) S 3663 3663 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709551593936 139710572586907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3679] ppid=3663 vsize=28768336 memory=1808 CPUtime=4.12 cores=0-7
/proc/3665/task/3679/stat : 3679 (java) S 3663 3663 561 0 -1 1077944384 13395 0 0 0 409 3 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709550541040 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3680] ppid=3663 vsize=28768336 memory=11624 CPUtime=4.38 cores=0-7
/proc/3665/task/3680/stat : 3680 (java) S 3663 3663 561 0 -1 1077944384 15499 0 0 0 435 3 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709549488496 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3681] ppid=3663 vsize=28768336 memory=1732 CPUtime=4.94 cores=0-7
/proc/3665/task/3681/stat : 3681 (java) S 3663 3663 561 0 -1 1077944384 13740 0 0 0 492 2 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709548435440 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3682] ppid=3663 vsize=28768336 memory=8317482817917895235 CPUtime=1.05 cores=0-7
/proc/3665/task/3682/stat : 3682 (java) S 3663 3663 561 0 -1 1077944384 11762 0 0 0 102 3 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709547382896 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3683] ppid=3663 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3665/task/3683/stat : 3683 (java) S 3663 3663 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446918992 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709546331104 139710572578517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3684] ppid=3663 vsize=28768336 memory=7378133498145761636 CPUtime=0.08 cores=0-7
/proc/3665/task/3684/stat : 3684 (java) S 3663 3663 561 0 -1 1077944384 1381 0 0 0 8 0 0 0 20 0 28 0 446918993 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709545278640 139710572579458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3728] ppid=3663 vsize=28768336 memory=7307484451768063587 CPUtime=234.26 cores=0-7
/proc/3665/task/3728/stat : 3728 (java) R 3663 3663 561 0 -1 4202560 18697 0 0 0 23324 102 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709530794520 139710204754826 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3729] ppid=3663 vsize=28768336 memory=7596276699854300499 CPUtime=233 cores=0-7
/proc/3665/task/3729/stat : 3729 (java) R 3663 3663 561 0 -1 4202560 1570 0 0 0 23298 2 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709532901424 139710210429383 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3730] ppid=3663 vsize=28768336 memory=7596276699854300499 CPUtime=234.68 cores=0-7
/proc/3665/task/3730/stat : 3730 (java) R 3663 3663 561 0 -1 4202560 19011 0 0 0 23397 71 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709531848296 139710208195091 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3731] ppid=3663 vsize=28768336 memory=6154568449082680421 CPUtime=233.74 cores=0-7
/proc/3665/task/3731/stat : 3731 (java) R 3663 3663 561 0 -1 4202560 13147 0 0 0 23305 69 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709535006808 139710212509994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3732] ppid=3663 vsize=28768336 memory=7234280006940714090 CPUtime=234.79 cores=0-7
/proc/3665/task/3732/stat : 3732 (java) R 3663 3663 561 0 -1 4202560 1517 0 0 0 23477 2 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709529743016 139710210427909 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3733] ppid=3663 vsize=28768336 memory=3612 CPUtime=234.67 cores=0-7
/proc/3665/task/3733/stat : 3733 (java) R 3663 3663 561 0 -1 4202560 1680 0 0 0 23466 1 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709528690648 139710206232607 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3734] ppid=3663 vsize=28768336 memory=33952 CPUtime=232.76 cores=0-7
/proc/3665/task/3734/stat : 3734 (java) R 3663 3663 561 0 -1 4202560 1334 0 0 0 23273 3 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709533954600 139710212349824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
[pid=3665/tid=3735] ppid=3663 vsize=28768336 memory=992 CPUtime=234.71 cores=0-7
/proc/3665/task/3735/stat : 3735 (java) R 3663 3663 561 0 -1 4202560 2465 0 0 0 23466 5 0 0 20 0 28 0 446920681 29458776064 2061281 33554432000 4194304 4196468 140728350579552 139709536060120 139710212349669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34062336 140728350585840 140728350586011 140728350586011 140728350588879 0
Current children cumulated CPU time: 1968.55 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 8246572 KiB

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

[startup+252.045 s]
# the end of solver process 3663 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.002526 s

[startup+252.141 s]
# the end of solver process 3665 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1964.71 s, system=4.5827 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 252.141
CPU time (s): 1969.29
CPU user time (s): 1964.71
CPU system time (s): 4.5827
CPU usage (%): 781.029
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 8246572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1964.71
system time used= 4.5827
maximum resident set size= 8245892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11912
involuntary context switches= 22743


# summary of solver processes directly reported to runsolver:
#   pid: 3663,3665
#   total CPU time (s): 1969.29
#   total CPU user time (s): 1964.71
#   total CPU system time (s): 4.5827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.11472 second user time and 3.21748 second system time

The end
Name	GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml
MD5SUM	2a724879a45d3456306f221189212969
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	33
Best CPU time to get the best result obtained on this benchmark	1964.89
Satisfiable
(Un)Satisfiability was proved
Number of variables	1089
Number of constraints	34849
Number of domains	1
Minimum domain size	1089
Maximum domain size	1089
Distribution of domain sizes	[{"size":1089,"count":1089}]
Minimum variable degree	65
Maximum variable degree	66
Distribution of variable degrees	[{"degree":65,"count":381},{"degree":66,"count":708}]
Minimum constraint arity	2
Maximum constraint arity	708
Distribution of constraint arities	[{"arity":2,"count":34848},{"arity":708,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	34848
Distribution of constraint types	[{"type":"intension","count":34848},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400281

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
