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-24 parallel	SAT (TO)	24	1994.95	252.101
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 (12768 MiB free)
  memory of node 1: 16384 MiB (14289 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407506-1569346605/watcher-4407506-1569346605 -o /var/tmp/evaluation-result-4407506-1569346605/solver-4407506-1569346605 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569335940-11744 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407506-1569346605.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
Current StackSize limit: 8192 KiB

solver pid=14415, runsolver pid=14412

[startup+0.10006 s]*
/proc/loadavg: 8.02 8.11 8.16 2/211 14436
/proc/meminfo: memFree=27691984/32770624 swapFree=66957756/67108860
[pid=14415] ppid=14412 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14415/stat : 14415 (xcsp3-exec) S 14412 14415 11717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510899115 115843072 364 33554432000 4194304 5098028 140721803536432 140721803534536 139959935206012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39452672 140721803543383 140721803543642 140721803543642 140721803546566 0
/proc/14415/statm: 28282 364 305 221 0 87 0
[pid=14417] ppid=14415 vsize=28227396 memory=28792 CPUtime=0.12 cores=0-7
/proc/14417/stat : 14417 (java) S 14415 14415 11717 0 -1 1077944320 5686 0 0 0 11 1 0 0 20 0 20 0 510899115 28904853504 7198 33554432000 4194304 4196468 140721863359888 140721863342432 140622006611703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
/proc/14417/statm: 7056849 7198 3124 1 0 7019032 0
[pid=14417/tid=14418] ppid=14415 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14417/task/14418/stat : 14418 (java) R 14415 14415 11717 0 -1 4202560 3621 0 0 0 8 0 0 0 20 0 20 0 510899116 28904853504 7198 33554432000 4194304 4196468 140721863359888 140622010836512 140622006623638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14419] ppid=14415 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14417/task/14419/stat : 14419 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621959232528 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14420] ppid=14415 vsize=28227396 memory=139708035647104 CPUtime=0 cores=0-7
/proc/14417/task/14420/stat : 14420 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621958179984 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14421] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14421/stat : 14421 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621957126928 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14422] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14422/stat : 14422 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621956074384 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14423] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14423/stat : 14423 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621955021328 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14424] ppid=14415 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14417/task/14424/stat : 14424 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621953968784 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14425] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14425/stat : 14425 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621952915728 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14426] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14426/stat : 14426 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621951863184 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14427] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14427/stat : 14427 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899118 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621391129328 140622006622850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14428] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14428/stat : 14428 (java) S 14415 14415 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510899119 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621322905248 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14429] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14429/stat : 14429 (java) S 14415 14415 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510899119 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621321852144 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14430] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14430/stat : 14430 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621320800720 140622006630299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14431] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14431/stat : 14431 (java) S 14415 14415 11717 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621319747824 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14432] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14432/stat : 14432 (java) S 14415 14415 11717 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621318695280 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14433] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14433/stat : 14433 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621317642224 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14434] ppid=14415 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14417/task/14434/stat : 14434 (java) R 14415 14415 11717 0 -1 4202560 310 0 0 0 1 0 0 0 20 0 20 0 510899121 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621316589680 140621985578600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14435] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14435/stat : 14435 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621315537888 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14436] ppid=14415 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14417/task/14436/stat : 14436 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899122 28904853504 7198 33554432000 4194304 4196468 140721863359888 140621314485424 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30248 KiB

[startup+0.210661 s]*
/proc/loadavg: 8.02 8.11 8.16 3/211 14436
/proc/meminfo: memFree=27678148/32770624 swapFree=66957756/67108860
[pid=14415] ppid=14412 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14415/stat : 14415 (xcsp3-exec) S 14412 14415 11717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510899115 115843072 364 33554432000 4194304 5098028 140721803536432 140721803534536 139959935206012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39452672 140721803543383 140721803543642 140721803543642 140721803546566 0
/proc/14415/statm: 28282 364 305 221 0 87 0
[pid=14417] ppid=14415 vsize=28227396 memory=41044 CPUtime=0.33 cores=0-7
/proc/14417/stat : 14417 (java) S 14415 14415 11717 0 -1 1077944320 9530 0 0 0 30 3 0 0 20 0 20 0 510899115 28904853504 10261 33554432000 4194304 4196468 140721863359888 140721863342432 140622006611703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
/proc/14417/statm: 7056849 10261 3304 1 0 7019032 0
[pid=14417/tid=14418] ppid=14415 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14417/task/14418/stat : 14418 (java) R 14415 14415 11717 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 20 0 510899116 28904853504 10261 33554432000 4194304 4196468 140721863359888 140622010845648 140621990747728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14419] ppid=14415 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/14417/task/14419/stat : 14419 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621959232528 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14420] ppid=14415 vsize=28227396 memory=139708035660425 CPUtime=0 cores=0-7
/proc/14417/task/14420/stat : 14420 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621958179984 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14421] ppid=14415 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14417/task/14421/stat : 14421 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621957126928 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14422] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14422/stat : 14422 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621956074384 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14423] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14423/stat : 14423 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621955021328 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14424] ppid=14415 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14417/task/14424/stat : 14424 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621953968784 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14425] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14425/stat : 14425 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621952915728 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14426] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14426/stat : 14426 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621951863184 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14427] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14427/stat : 14427 (java) S 14415 14415 11717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510899118 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621391129328 140622006622850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14428] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14428/stat : 14428 (java) S 14415 14415 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510899119 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621322905248 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14429] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14429/stat : 14429 (java) S 14415 14415 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510899119 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621321852144 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14430] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14430/stat : 14430 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621320800720 140622006630299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14431] ppid=14415 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14417/task/14431/stat : 14431 (java) S 14415 14415 11717 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 20 0 510899121 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621319747824 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14432] ppid=14415 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14417/task/14432/stat : 14432 (java) S 14415 14415 11717 0 -1 1077944384 394 0 0 0 2 0 0 0 20 0 20 0 510899121 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621318695280 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14433] ppid=14415 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14417/task/14433/stat : 14433 (java) R 14415 14415 11717 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621317642224 140622006622850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14434] ppid=14415 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/14417/task/14434/stat : 14434 (java) R 14415 14415 11717 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 20 0 510899121 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621316589680 140622006625585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14435] ppid=14415 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14435/stat : 14435 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510899121 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621315537888 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14436] ppid=14415 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14417/task/14436/stat : 14436 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899122 28904853504 10261 33554432000 4194304 4196468 140721863359888 140621314485424 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42500 KiB

[startup+0.318283 s]*
/proc/loadavg: 8.02 8.11 8.16 3/211 14436
/proc/meminfo: memFree=27671000/32770624 swapFree=66957756/67108860
[pid=14415] ppid=14412 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14415/stat : 14415 (xcsp3-exec) S 14412 14415 11717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510899115 115843072 364 33554432000 4194304 5098028 140721803536432 140721803534536 139959935206012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39452672 140721803543383 140721803543642 140721803543642 140721803546566 0
/proc/14415/statm: 28282 364 305 221 0 87 0
[pid=14417] ppid=14415 vsize=28231652 memory=50516 CPUtime=0.54 cores=0-7
/proc/14417/stat : 14417 (java) S 14415 14415 11717 0 -1 1077944320 10981 0 0 0 50 4 0 0 20 0 20 0 510899115 28909211648 12564 33554432000 4194304 4196468 140721863359888 140721863342432 140622006611703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
/proc/14417/statm: 7057913 12564 3353 1 0 7019032 0
[pid=14417/tid=14418] ppid=14415 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/14417/task/14418/stat : 14418 (java) R 14415 14415 11717 0 -1 4202560 7885 0 0 0 28 2 0 0 20 0 20 0 510899116 28909211648 12629 33554432000 4194304 4196468 140721863359888 140622010842816 140622006633629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14419] ppid=14415 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14419/stat : 14419 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621959232528 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14420] ppid=14415 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14420/stat : 14420 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621958179984 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14421] ppid=14415 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14421/stat : 14421 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621957126928 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14422] ppid=14415 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14422/stat : 14422 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621956074384 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14423] ppid=14415 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/14417/task/14423/stat : 14423 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621955021328 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14424] ppid=14415 vsize=28231652 memory=139707904258991 CPUtime=0 cores=0-7
/proc/14417/task/14424/stat : 14424 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621953968784 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14425] ppid=14415 vsize=28231652 memory=139707904261296 CPUtime=0 cores=0-7
/proc/14417/task/14425/stat : 14425 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621952915728 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14426] ppid=14415 vsize=28231652 memory=139707904263600 CPUtime=0 cores=0-7
/proc/14417/task/14426/stat : 14426 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621951863184 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14427] ppid=14415 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14427/stat : 14427 (java) S 14415 14415 11717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510899118 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621391129328 140622006622850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14428] ppid=14415 vsize=28231652 memory=279415808534160 CPUtime=0 cores=0-7
/proc/14417/task/14428/stat : 14428 (java) S 14415 14415 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510899119 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621322905248 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14429] ppid=14415 vsize=28231652 memory=279415808541072 CPUtime=0 cores=0-7
/proc/14417/task/14429/stat : 14429 (java) S 14415 14415 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510899119 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621321852144 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14430] ppid=14415 vsize=28231652 memory=279415808482224 CPUtime=0 cores=0-7
/proc/14417/task/14430/stat : 14430 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899121 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621320800720 140622006630299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14431] ppid=14415 vsize=28231652 memory=279415808554896 CPUtime=0.02 cores=0-7
/proc/14417/task/14431/stat : 14431 (java) S 14415 14415 11717 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 20 0 510899121 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621319747824 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14432] ppid=14415 vsize=28231652 memory=279415808561808 CPUtime=0.04 cores=0-7
/proc/14417/task/14432/stat : 14432 (java) S 14415 14415 11717 0 -1 1077944384 488 0 0 0 4 0 0 0 20 0 20 0 510899121 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621318695280 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14433] ppid=14415 vsize=28231652 memory=279415808559504 CPUtime=0.01 cores=0-7
/proc/14417/task/14433/stat : 14433 (java) S 14415 14415 11717 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 510899121 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621317642224 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14434] ppid=14415 vsize=28231652 memory=279415808575664 CPUtime=0.12 cores=0-7
/proc/14417/task/14434/stat : 14434 (java) S 14415 14415 11717 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 510899121 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621316589680 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14435] ppid=14415 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14435/stat : 14435 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510899121 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621315537888 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14436] ppid=14415 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14417/task/14436/stat : 14436 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899122 28909211648 12629 33554432000 4194304 4196468 140721863359888 140621314485424 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51972 KiB

[startup+0.701028 s]
/proc/loadavg: 7.78 8.06 8.14 3/211 14436
/proc/meminfo: memFree=27647840/32770624 swapFree=66957756/67108860
[pid=14415] ppid=14412 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14415/stat : 14415 (xcsp3-exec) S 14412 14415 11717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510899115 115843072 364 33554432000 4194304 5098028 140721803536432 140721803534536 139959935206012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39452672 140721803543383 140721803543642 140721803543642 140721803546566 0
/proc/14415/statm: 28282 364 305 221 0 87 0
[pid=14417] ppid=14415 vsize=28233776 memory=117596 CPUtime=1.96 cores=0-7
/proc/14417/stat : 14417 (java) S 14415 14415 11717 0 -1 1077944320 15477 0 0 0 191 5 0 0 20 0 20 0 510899115 28911386624 29399 33554432000 4194304 4196468 140721863359888 140721863342432 140622006611703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
/proc/14417/statm: 7058444 29399 3451 1 0 7019544 0
[pid=14417/tid=14418] ppid=14415 vsize=28233776 memory=279415808933552 CPUtime=0.67 cores=0-7
/proc/14417/task/14418/stat : 14418 (java) R 14415 14415 11717 0 -1 4202560 8392 0 0 0 64 3 0 0 20 0 20 0 510899116 28911386624 29399 33554432000 4194304 4196468 140721863359888 140622010847112 140621988193999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14419] ppid=14415 vsize=28233776 memory=139707904467824 CPUtime=0 cores=0-7
/proc/14417/task/14419/stat : 14419 (java) S 14415 14415 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510899117 28911386624 29399 33554432000 4194304 4196468 140721863359888 140621959232528 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14420] ppid=14415 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14417/task/14420/stat : 14420 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510899117 28911386624 29399 33554432000 4194304 4196468 140721863359888 140621958179984 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14421] ppid=14415 vsize=28233776 memory=6160 CPUtime=0 cores=0-7
/proc/14417/task/14421/stat : 14421 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510899117 28911386624 29399 33554432000 4194304 4196468 140721863359888 140621957126928 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0

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

[pid=14417/tid=14468] ppid=14415 vsize=28768336 memory=532 CPUtime=156.35 cores=0-7
/proc/14417/task/14468/stat : 14468 (java) R 14415 14415 11717 0 -1 4202560 3571 0 0 0 15613 22 0 0 20 0 28 0 510899474 29458776064 862218 33554432000 4194304 4196468 140721863359888 140621301056232 140621992679822 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
Current children cumulated CPU time: 1278.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3450328 KiB

[startup+222.301 s]
/proc/loadavg: 7.99 8.03 8.12 9/220 14482
/proc/meminfo: memFree=24265360/32770624 swapFree=66957756/67108860
[pid=14415] ppid=14412 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14415/stat : 14415 (xcsp3-exec) S 14412 14415 11717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510899115 115843072 364 33554432000 4194304 5098028 140721803536432 140721803534536 139959935206012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39452672 140721803543383 140721803543642 140721803543642 140721803546566 0
/proc/14415/statm: 28282 364 305 221 0 87 0
[pid=14417] ppid=14415 vsize=28768336 memory=3451808 CPUtime=1757.45 cores=0-7
/proc/14417/stat : 14417 (java) S 14415 14415 11717 0 -1 1077944320 120974 0 0 0 175529 216 0 0 20 0 28 0 510899115 29458776064 862952 33554432000 4194304 4196468 140721863359888 140721863342432 140622006611703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
/proc/14417/statm: 7192084 862952 3542 1 0 7153184 0
[pid=14417/tid=14418] ppid=14415 vsize=28768336 memory=3451808 CPUtime=2.75 cores=0-7
/proc/14417/task/14418/stat : 14418 (java) S 14415 14415 11717 0 -1 1077944384 11515 0 0 0 265 10 0 0 20 0 28 0 510899116 29458776064 862952 33554432000 4194304 4196468 140721863359888 140622010852480 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14419] ppid=14415 vsize=28768336 memory=3451808 CPUtime=0.18 cores=0-7
/proc/14417/task/14419/stat : 14419 (java) S 14415 14415 11717 0 -1 1077944384 1247 0 0 0 12 6 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621959232528 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14420] ppid=14415 vsize=28768336 memory=3451808 CPUtime=0.2 cores=0-7
/proc/14417/task/14420/stat : 14420 (java) S 14415 14415 11717 0 -1 1077944384 1010 0 0 0 14 6 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621958179984 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14421] ppid=14415 vsize=28768336 memory=3451808 CPUtime=0.16 cores=0-7
/proc/14417/task/14421/stat : 14421 (java) S 14415 14415 11717 0 -1 1077944384 976 0 0 0 11 5 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621957126928 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14422] ppid=14415 vsize=28768336 memory=3451808 CPUtime=0.15 cores=0-7
/proc/14417/task/14422/stat : 14422 (java) S 14415 14415 11717 0 -1 1077944384 415 0 0 0 11 4 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621956074384 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14423] ppid=14415 vsize=28768336 memory=3451360 CPUtime=0.18 cores=0-7
/proc/14417/task/14423/stat : 14423 (java) S 14415 14415 11717 0 -1 1077944384 1505 0 0 0 12 6 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621955021328 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14424] ppid=14415 vsize=28768336 memory=1456 CPUtime=0.17 cores=0-7
/proc/14417/task/14424/stat : 14424 (java) S 14415 14415 11717 0 -1 1077944384 1582 0 0 0 11 6 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621953968784 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14425] ppid=14415 vsize=28768336 memory=1456 CPUtime=0.17 cores=0-7
/proc/14417/task/14425/stat : 14425 (java) S 14415 14415 11717 0 -1 1077944384 955 0 0 0 12 5 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621952915728 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14426] ppid=14415 vsize=28768336 memory=139712330614399 CPUtime=0.17 cores=0-7
/proc/14417/task/14426/stat : 14426 (java) S 14415 14415 11717 0 -1 1077944384 1653 0 0 0 11 6 0 0 20 0 28 0 510899117 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621951863184 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14427] ppid=14415 vsize=28768336 memory=3452384 CPUtime=0.04 cores=0-7
/proc/14417/task/14427/stat : 14427 (java) S 14415 14415 11717 0 -1 1077944384 4751 0 0 0 3 1 0 0 20 0 28 0 510899118 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621391129328 140622006622850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14428] ppid=14415 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14417/task/14428/stat : 14428 (java) S 14415 14415 11717 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 510899119 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621322905312 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14429] ppid=14415 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14417/task/14429/stat : 14429 (java) S 14415 14415 11717 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 510899119 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621321852160 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14430] ppid=14415 vsize=28768336 memory=3620 CPUtime=0 cores=0-7
/proc/14417/task/14430/stat : 14430 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510899121 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621320800720 140622006630299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14431] ppid=14415 vsize=28768336 memory=6791534058613427641 CPUtime=3.29 cores=0-7
/proc/14417/task/14431/stat : 14431 (java) S 14415 14415 11717 0 -1 1077944384 13107 0 0 0 325 4 0 0 20 0 28 0 510899121 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621319747824 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14432] ppid=14415 vsize=28768336 memory=1988 CPUtime=3.1 cores=0-7
/proc/14417/task/14432/stat : 14432 (java) S 14415 14415 11717 0 -1 1077944384 9360 0 0 0 308 2 0 0 20 0 28 0 510899121 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621318695280 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14433] ppid=14415 vsize=28768336 memory=3620 CPUtime=2.96 cores=0-7
/proc/14417/task/14433/stat : 14433 (java) S 14415 14415 11717 0 -1 1077944384 15361 0 0 0 293 3 0 0 20 0 28 0 510899121 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621317642224 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14434] ppid=14415 vsize=28768336 memory=63824 CPUtime=0.94 cores=0-7
/proc/14417/task/14434/stat : 14434 (java) S 14415 14415 11717 0 -1 1077944384 13645 0 0 0 92 2 0 0 20 0 28 0 510899121 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621316589680 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14435] ppid=14415 vsize=28768336 memory=1412 CPUtime=0 cores=0-7
/proc/14417/task/14435/stat : 14435 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510899121 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621315537888 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14436] ppid=14415 vsize=28768336 memory=3564 CPUtime=0.08 cores=0-7
/proc/14417/task/14436/stat : 14436 (java) S 14415 14415 11717 0 -1 1077944384 856 0 0 0 0 8 0 0 20 0 28 0 510899122 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621314485424 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14461] ppid=14415 vsize=28768336 memory=3451808 CPUtime=218.16 cores=0-7
/proc/14417/task/14461/stat : 14461 (java) R 14415 14415 11717 0 -1 4202560 1473 0 0 0 21815 1 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621297900368 140621618994024 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14462] ppid=14415 vsize=28768336 memory=3620 CPUtime=217.9 cores=0-7
/proc/14417/task/14462/stat : 14462 (java) R 14415 14415 11717 0 -1 4202560 1909 0 0 0 21788 2 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621305267176 140621618550517 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14463] ppid=14415 vsize=28768336 memory=1456 CPUtime=217.42 cores=0-7
/proc/14417/task/14463/stat : 14463 (java) R 14415 14415 11717 0 -1 4202560 1329 0 0 0 21741 1 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621302108104 140621616778941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14464] ppid=14415 vsize=28768336 memory=1456 CPUtime=217.93 cores=0-7
/proc/14417/task/14464/stat : 14464 (java) R 14415 14415 11717 0 -1 4202560 11569 0 0 0 21751 42 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621300002568 140621618345964 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14465] ppid=14415 vsize=28768336 memory=3451808 CPUtime=218.04 cores=0-7
/proc/14417/task/14465/stat : 14465 (java) R 14415 14415 11717 0 -1 4202560 2119 0 0 0 21800 4 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621298949944 140621616487044 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14466] ppid=14415 vsize=28768336 memory=1456 CPUtime=217.82 cores=0-7
/proc/14417/task/14466/stat : 14466 (java) R 14415 14415 11717 0 -1 4202560 2862 0 0 0 21770 12 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621303163344 140621616487294 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14467] ppid=14415 vsize=28768336 memory=3451808 CPUtime=217.59 cores=0-7
/proc/14417/task/14467/stat : 14467 (java) R 14415 14415 11717 0 -1 4202560 15693 0 0 0 21705 54 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621304213336 140621618047398 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14468] ppid=14415 vsize=28768336 memory=1412 CPUtime=215.04 cores=0-7
/proc/14417/task/14468/stat : 14468 (java) R 14415 14415 11717 0 -1 4202560 3959 0 0 0 21481 23 0 0 20 0 28 0 510899474 29458776064 862952 33554432000 4194304 4196468 140721863359888 140621301055984 140621616487085 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
Current children cumulated CPU time: 1757.45 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3453264 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.00 8.03 8.12 9/220 14490
/proc/meminfo: memFree=24262888/32770624 swapFree=66957756/67108860
[pid=14415] ppid=14412 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14415/stat : 14415 (xcsp3-exec) S 14412 14415 11717 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510899115 115843072 364 33554432000 4194304 5098028 140721803536432 140721803534536 139959935206012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39452672 140721803543383 140721803543642 140721803543642 140721803546566 0
/proc/14415/statm: 28282 364 305 221 0 87 0
[pid=14417] ppid=14415 vsize=28768336 memory=3452716 CPUtime=1994.37 cores=0-7
/proc/14417/stat : 14417 (java) S 14415 14415 11717 0 -1 1077944320 122603 0 0 0 199216 221 0 0 20 0 28 0 510899115 29458776064 863179 33554432000 4194304 4196468 140721863359888 140721863342432 140622006611703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
/proc/14417/statm: 7192084 863179 3542 1 0 7153184 0
[pid=14417/tid=14418] ppid=14415 vsize=28768336 memory=6791534058613427641 CPUtime=2.75 cores=0-7
/proc/14417/task/14418/stat : 14418 (java) S 14415 14415 11717 0 -1 1077944384 11515 0 0 0 265 10 0 0 20 0 28 0 510899116 29458776064 863179 33554432000 4194304 4196468 140721863359888 140622010852480 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14419] ppid=14415 vsize=28768336 memory=4872558044660077418 CPUtime=0.19 cores=0-7
/proc/14417/task/14419/stat : 14419 (java) S 14415 14415 11717 0 -1 1077944384 1279 0 0 0 13 6 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621959232528 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14420] ppid=14415 vsize=28768336 memory=532 CPUtime=0.2 cores=0-7
/proc/14417/task/14420/stat : 14420 (java) S 14415 14415 11717 0 -1 1077944384 1031 0 0 0 14 6 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621958179984 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14421] ppid=14415 vsize=28768336 memory=928 CPUtime=0.18 cores=0-7
/proc/14417/task/14421/stat : 14421 (java) S 14415 14415 11717 0 -1 1077944384 991 0 0 0 12 6 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621957126928 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14422] ppid=14415 vsize=28768336 memory=1720 CPUtime=0.15 cores=0-7
/proc/14417/task/14422/stat : 14422 (java) S 14415 14415 11717 0 -1 1077944384 448 0 0 0 11 4 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621956074384 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14423] ppid=14415 vsize=28768336 memory=6791534058613427641 CPUtime=0.19 cores=0-7
/proc/14417/task/14423/stat : 14423 (java) S 14415 14415 11717 0 -1 1077944384 1540 0 0 0 12 7 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621955021328 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14424] ppid=14415 vsize=28768336 memory=624 CPUtime=0.17 cores=0-7
/proc/14417/task/14424/stat : 14424 (java) S 14415 14415 11717 0 -1 1077944384 1883 0 0 0 11 6 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621953968784 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14425] ppid=14415 vsize=28768336 memory=3636 CPUtime=0.18 cores=0-7
/proc/14417/task/14425/stat : 14425 (java) S 14415 14415 11717 0 -1 1077944384 981 0 0 0 13 5 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621952915728 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14426] ppid=14415 vsize=28768336 memory=2832 CPUtime=0.18 cores=0-7
/proc/14417/task/14426/stat : 14426 (java) S 14415 14415 11717 0 -1 1077944384 1679 0 0 0 12 6 0 0 20 0 28 0 510899117 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621951863184 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14427] ppid=14415 vsize=28768336 memory=14012 CPUtime=0.04 cores=0-7
/proc/14417/task/14427/stat : 14427 (java) S 14415 14415 11717 0 -1 1077944384 4806 0 0 0 3 1 0 0 20 0 28 0 510899118 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621391129328 140622006622850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14428] ppid=14415 vsize=28768336 memory=2112 CPUtime=0 cores=0-7
/proc/14417/task/14428/stat : 14428 (java) S 14415 14415 11717 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 510899119 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621322905312 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14429] ppid=14415 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14417/task/14429/stat : 14429 (java) S 14415 14415 11717 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 510899119 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621321852160 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14430] ppid=14415 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14417/task/14430/stat : 14430 (java) S 14415 14415 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510899121 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621320800720 140622006630299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14431] ppid=14415 vsize=28768336 memory=1428 CPUtime=3.29 cores=0-7
/proc/14417/task/14431/stat : 14431 (java) S 14415 14415 11717 0 -1 1077944384 13196 0 0 0 325 4 0 0 20 0 28 0 510899121 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621319747824 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14432] ppid=14415 vsize=28768336 memory=1728 CPUtime=3.1 cores=0-7
/proc/14417/task/14432/stat : 14432 (java) S 14415 14415 11717 0 -1 1077944384 9362 0 0 0 308 2 0 0 20 0 28 0 510899121 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621318695280 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14433] ppid=14415 vsize=28768336 memory=1056 CPUtime=2.96 cores=0-7
/proc/14417/task/14433/stat : 14433 (java) S 14415 14415 11717 0 -1 1077944384 15363 0 0 0 293 3 0 0 20 0 28 0 510899121 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621317642224 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14434] ppid=14415 vsize=28768336 memory=1556 CPUtime=0.94 cores=0-7
/proc/14417/task/14434/stat : 14434 (java) S 14415 14415 11717 0 -1 1077944384 13662 0 0 0 92 2 0 0 20 0 28 0 510899121 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621316589680 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14435] ppid=14415 vsize=28768336 memory=11632 CPUtime=0 cores=0-7
/proc/14417/task/14435/stat : 14435 (java) S 14415 14415 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510899121 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621315537888 140622006621909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14436] ppid=14415 vsize=28768336 memory=1732 CPUtime=0.1 cores=0-7
/proc/14417/task/14436/stat : 14436 (java) S 14415 14415 11717 0 -1 1077944384 876 0 0 0 0 10 0 0 20 0 28 0 510899122 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621314485424 140622006622850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14461] ppid=14415 vsize=28768336 memory=1224 CPUtime=247.83 cores=0-7
/proc/14417/task/14461/stat : 14461 (java) R 14415 14415 11717 0 -1 4202560 1547 0 0 0 24782 1 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621297899360 140621617566469 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14462] ppid=14415 vsize=28768336 memory=988 CPUtime=247.58 cores=0-7
/proc/14417/task/14462/stat : 14462 (java) R 14415 14415 11717 0 -1 4202560 1977 0 0 0 24756 2 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621305267176 140621617568088 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14463] ppid=14415 vsize=28768336 memory=780 CPUtime=247.1 cores=0-7
/proc/14417/task/14463/stat : 14463 (java) R 14415 14415 11717 0 -1 4202560 1397 0 0 0 24709 1 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621302108104 140621618047374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14464] ppid=14415 vsize=28768336 memory=6160 CPUtime=247.61 cores=0-7
/proc/14417/task/14464/stat : 14464 (java) R 14415 14415 11717 0 -1 4202560 11779 0 0 0 24718 43 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621300002672 140621616779532 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14465] ppid=14415 vsize=28768336 memory=988 CPUtime=247.53 cores=0-7
/proc/14417/task/14465/stat : 14465 (java) R 14415 14415 11717 0 -1 4202560 2167 0 0 0 24749 4 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621298949944 140621616487682 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14466] ppid=14415 vsize=28768336 memory=780 CPUtime=247.51 cores=0-7
/proc/14417/task/14466/stat : 14466 (java) R 14415 14415 11717 0 -1 4202560 2916 0 0 0 24739 12 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621303160808 140621618442882 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14467] ppid=14415 vsize=28768336 memory=6160 CPUtime=246.9 cores=0-7
/proc/14417/task/14467/stat : 14467 (java) R 14415 14415 11717 0 -1 4202560 15979 0 0 0 24635 55 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621304214120 140621618047294 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
[pid=14417/tid=14468] ppid=14415 vsize=28768336 memory=624 CPUtime=244.66 cores=0-7
/proc/14417/task/14468/stat : 14468 (java) R 14415 14415 11717 0 -1 4202560 4106 0 0 0 24443 23 0 0 20 0 28 0 510899474 29458776064 863179 33554432000 4194304 4196468 140721863359888 140621301056232 140621616487309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26451968 140721863361500 140721863361675 140721863361675 140721863364559 0
Current children cumulated CPU time: 1994.37 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3454172 KiB

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

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

[startup+252.101 s]
# the end of solver process 14417 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1992.71 s, system=2.24021 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.101
CPU time (s): 1994.95
CPU user time (s): 1992.71
CPU system time (s): 2.24021
CPU usage (%): 791.331
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3456784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1992.71
system time used= 2.24021
maximum resident set size= 3457436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11884
involuntary context switches= 24452


# summary of solver processes directly reported to runsolver:
#   pid: 14415,14417
#   total CPU time (s): 1994.95
#   total CPU user time (s): 1992.71
#   total CPU system time (s): 2.24021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07318 second user time and 3.15463 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	31.2143
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407506

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
