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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	26	250.47501	240.02299
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 (12116 MiB free)
  memory of node 1: 16384 MiB (12129 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284324-1503211038/watcher-4284324-1503211038 -o /tmp/evaluation-result-4284324-1503211038/solver-4284324-1503211038 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13390 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1366380982 HOME/instance-4284324-1503211038.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14490, runsolver pid=14487
Current StackSize limit: 8192 KiB


[startup+0.105612 s]*
/proc/loadavg: 1.63 1.60 1.53 4/218 14506
/proc/meminfo: memFree=24810412/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0
[pid=14492] ppid=14490 vsize=13978596 memory=28596 CPUtime=0.13 cores=1,3,5,7
/proc/14492/stat : 14492 (java) S 14490 14490 13358 0 -1 1077944320 5535 0 0 0 12 1 0 0 20 0 15 0 154191414 14314082304 7149 33554432000 4194304 4196468 140737043130512 140737043113056 140383544483575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
/proc/14492/statm: 3494649 7149 2869 1 0 3482966 0
[pid=14492/tid=14493] ppid=14490 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/14492/task/14493/stat : 14493 (java) R 14490 14490 13358 0 -1 4202560 3461 0 0 0 9 1 0 0 20 0 15 0 154191415 14314082304 7149 33554432000 4194304 4196468 140737043130512 140383548710176 140383544505501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14494] ppid=14490 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14494/stat : 14494 (java) S 14490 14490 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191415 14314082304 7149 33554432000 4194304 4196468 140737043130512 140383497104016 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14495] ppid=14490 vsize=13978596 memory=140038908864128 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14495/stat : 14495 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14314082304 7149 33554432000 4194304 4196468 140737043130512 140383496051216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14496] ppid=14490 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14496/stat : 14496 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14314082304 7149 33554432000 4194304 4196468 140737043130512 140383494998416 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14497] ppid=14490 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14497/stat : 14497 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14314082304 7149 33554432000 4194304 4196468 140737043130512 140383493945616 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14498] ppid=14490 vsize=13978596 memory=140038908864128 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14498/stat : 14498 (java) S 14490 14490 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191417 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382658100080 140383544494722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14499] ppid=14490 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14499/stat : 14499 (java) S 14490 14490 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191417 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382657046048 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14500] ppid=14490 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191417 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382655993200 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) S 14490 14490 13358 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 154191420 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382653888880 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) S 14490 14490 13358 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 154191420 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382652836080 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13978596 memory=140038908864128 CPUtime=0.02 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) R 14490 14490 13358 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 154191420 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382651783280 140383536720702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13978596 memory=140038908864128 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191420 14314082304 7149 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29976 KiB

[startup+0.210895 s]*
/proc/loadavg: 1.63 1.60 1.53 3/218 14506
/proc/meminfo: memFree=24799372/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0
[pid=14492] ppid=14490 vsize=13982852 memory=40428 CPUtime=0.34 cores=1,3,5,7
/proc/14492/stat : 14492 (java) S 14490 14490 13358 0 -1 1077944320 8232 0 0 0 32 2 0 0 20 0 15 0 154191414 14318440448 10107 33554432000 4194304 4196468 140737043130512 140737043113056 140383544483575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
/proc/14492/statm: 3495713 10107 3043 1 0 3482966 0
[pid=14492/tid=14493] ppid=14490 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/14492/task/14493/stat : 14493 (java) R 14490 14490 13358 0 -1 4202560 5354 0 0 0 18 1 0 0 20 0 15 0 154191415 14318440448 10107 33554432000 4194304 4196468 140737043130512 140383548694368 140383537162797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14494] ppid=14490 vsize=13982852 memory=2898 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14494/stat : 14494 (java) S 14490 14490 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 10107 33554432000 4194304 4196468 140737043130512 140383497104016 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14495] ppid=14490 vsize=13982852 memory=288370415060575872 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14495/stat : 14495 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 10107 33554432000 4194304 4196468 140737043130512 140383496051216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14496] ppid=14490 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14496/stat : 14496 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 10107 33554432000 4194304 4196468 140737043130512 140383494998416 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14497] ppid=14490 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14497/stat : 14497 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 10107 33554432000 4194304 4196468 140737043130512 140383493945616 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14498] ppid=14490 vsize=13982852 memory=140038908864128 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14498/stat : 14498 (java) S 14490 14490 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191417 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382658100080 140383544494722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14499] ppid=14490 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14499/stat : 14499 (java) S 14490 14490 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191417 14318473216 10107 33554432000 4194304 4196468 140737043130512 140382657046048 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14500] ppid=14490 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191417 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382655993200 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) S 14490 14490 13358 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 154191420 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382653888880 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) S 14490 14490 13358 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 15 0 154191420 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382652836080 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13982852 memory=140038908864128 CPUtime=0.07 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) S 14490 14490 13358 0 -1 1077944384 711 0 0 0 7 0 0 0 20 0 15 0 154191420 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382651783280 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191420 14318440448 10107 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41808 KiB

[startup+0.311125 s]*
/proc/loadavg: 1.63 1.60 1.53 5/218 14506
/proc/meminfo: memFree=24792672/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0
[pid=14492] ppid=14490 vsize=13982852 memory=47552 CPUtime=0.52 cores=1,3,5,7
/proc/14492/stat : 14492 (java) S 14490 14490 13358 0 -1 1077944320 9021 0 0 0 50 2 0 0 20 0 15 0 154191414 14318440448 11888 33554432000 4194304 4196468 140737043130512 140737043113056 140383544483575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
/proc/14492/statm: 3495713 11888 3108 1 0 3482966 0
[pid=14492/tid=14493] ppid=14490 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/14492/task/14493/stat : 14493 (java) R 14490 14490 13358 0 -1 4202560 5930 0 0 0 28 2 0 0 20 0 15 0 154191415 14318440448 11888 33554432000 4194304 4196468 140737043130512 140383548721392 140383544495510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14494] ppid=14490 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14494/stat : 14494 (java) S 14490 14490 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 11888 33554432000 4194304 4196468 140737043130512 140383497104016 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14495] ppid=14490 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14495/stat : 14495 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 11888 33554432000 4194304 4196468 140737043130512 140383496051216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14496] ppid=14490 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14496/stat : 14496 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 11888 33554432000 4194304 4196468 140737043130512 140383494998416 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14497] ppid=14490 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14497/stat : 14497 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318440448 11888 33554432000 4194304 4196468 140737043130512 140383493945616 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14498] ppid=14490 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14498/stat : 14498 (java) S 14490 14490 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191417 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382658100080 140383544494722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14499] ppid=14490 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14499/stat : 14499 (java) S 14490 14490 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191417 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382657046048 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14500] ppid=14490 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191417 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382655993200 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) R 14490 14490 13358 0 -1 4202560 476 0 0 0 4 0 0 0 20 0 15 0 154191420 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382653888976 140383537468617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) R 14490 14490 13358 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 154191420 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382652836080 140383544494722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) R 14490 14490 13358 0 -1 4202560 866 0 0 0 13 0 0 0 20 0 15 0 154191420 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382651780944 140383544495510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191420 14318440448 11888 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48932 KiB

[startup+0.70112 s]
/proc/loadavg: 1.63 1.60 1.53 5/218 14506
/proc/meminfo: memFree=24768572/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0
[pid=14492] ppid=14490 vsize=13982928 memory=128812 CPUtime=1.71 cores=1,3,5,7
/proc/14492/stat : 14492 (java) S 14490 14490 13358 0 -1 1077944320 11969 0 0 0 166 5 0 0 20 0 15 0 154191414 14318518272 32203 33554432000 4194304 4196468 140737043130512 140737043113056 140383544483575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
/proc/14492/statm: 3495732 32203 3197 1 0 3482966 0
[pid=14492/tid=14493] ppid=14490 vsize=13982928 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/14492/task/14493/stat : 14493 (java) R 14490 14490 13358 0 -1 4202560 6242 0 0 0 64 3 0 0 20 0 15 0 154191415 14318518272 32203 33554432000 4194304 4196468 140737043130512 140383548718160 140383173687392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14494] ppid=14490 vsize=13982928 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14494/stat : 14494 (java) S 14490 14490 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191415 14318518272 32203 33554432000 4194304 4196468 140737043130512 140383497104016 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14495] ppid=14490 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14495/stat : 14495 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318518272 32203 33554432000 4194304 4196468 140737043130512 140383496051216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14496] ppid=14490 vsize=13982928 memory=42940 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14496/stat : 14496 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318518272 32203 33554432000 4194304 4196468 140737043130512 140383494998416 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14497] ppid=14490 vsize=13982928 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14497/stat : 14497 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191415 14318518272 32203 33554432000 4194304 4196468 140737043130512 140383493945616 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14498] ppid=14490 vsize=13982928 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14498/stat : 14498 (java) S 14490 14490 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154191417 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382658100080 140383544494722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14499] ppid=14490 vsize=13982928 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14499/stat : 14499 (java) S 14490 14490 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191417 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382657046048 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14500] ppid=14490 vsize=13982928 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191417 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382655993200 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13982928 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13982928 memory=796 CPUtime=0.38 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) R 14490 14490 13358 0 -1 4202560 1410 0 0 0 38 0 0 0 20 0 15 0 154191420 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382653874904 140383526026907 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13982928 memory=10088 CPUtime=0.36 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) R 14490 14490 13358 0 -1 4202560 1449 0 0 0 36 0 0 0 20 0 15 0 154191420 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382652834480 140383529406495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13982928 memory=1948 CPUtime=0.27 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) S 14490 14490 13358 0 -1 1077944384 1562 0 0 0 27 0 0 0 20 0 15 0 154191420 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382651783280 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13982928 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13982928 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191420 14318518272 32203 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 130192 KiB

[startup+1.50608 s]
/proc/loadavg: 1.63 1.60 1.53 3/218 14506
/proc/meminfo: memFree=24673004/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0

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

/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 154191417 14320615424 103527 33554432000 4194304 4196468 140737043130512 140382655993216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13984976 memory=4640185777728278560 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 103527 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13984976 memory=33 CPUtime=4.04 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) S 14490 14490 13358 0 -1 1077944384 12194 0 0 0 403 1 0 0 20 0 15 0 154191420 14320615424 103527 33554432000 4194304 4196468 140737043130512 140382653888880 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13984976 memory=4640185777728278608 CPUtime=4.37 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) S 14490 14490 13358 0 -1 1077944384 13945 0 0 0 435 2 0 0 20 0 15 0 154191420 14320615424 103527 33554432000 4194304 4196468 140737043130512 140382652836080 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13984976 memory=410540 CPUtime=0.86 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) S 14490 14490 13358 0 -1 1077944384 5761 0 0 0 84 2 0 0 20 0 15 0 154191420 14320615424 103527 33554432000 4194304 4196468 140737043130512 140382651783280 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13984976 memory=410540 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 103527 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13984976 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 308 0 0 0 1 2 0 0 20 0 15 0 154191420 14320615424 103527 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 112.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 415488 KiB

[startup+162.301 s]
/proc/loadavg: 1.79 1.67 1.57 3/217 14509
/proc/meminfo: memFree=23816332/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0
[pid=14492] ppid=14490 vsize=13984976 memory=407752 CPUtime=172.41 cores=1,3,5,7
/proc/14492/stat : 14492 (java) S 14490 14490 13358 0 -1 1077944320 58927 0 0 0 17198 43 0 0 20 0 15 0 154191414 14320615424 101938 33554432000 4194304 4196468 140737043130512 140737043113056 140383544483575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
/proc/14492/statm: 3496244 101938 3283 1 0 3483478 0
[pid=14492/tid=14493] ppid=14490 vsize=13984976 memory=412392 CPUtime=161.95 cores=1,3,5,7
/proc/14492/task/14493/stat : 14493 (java) R 14490 14490 13358 0 -1 4202560 13043 0 0 0 16188 7 0 0 20 0 15 0 154191415 14320615424 101938 33554432000 4194304 4196468 140737043130512 140383548723184 140383177325250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14494] ppid=14490 vsize=13984976 memory=407752 CPUtime=0.23 cores=1,3,5,7
/proc/14492/task/14494/stat : 14494 (java) S 14490 14490 13358 0 -1 1077944384 1345 0 0 0 17 6 0 0 20 0 15 0 154191415 14320615424 101938 33554432000 4194304 4196468 140737043130512 140383497104016 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14495] ppid=14490 vsize=13984976 memory=1380 CPUtime=0.23 cores=1,3,5,7
/proc/14492/task/14495/stat : 14495 (java) S 14490 14490 13358 0 -1 1077944384 657 0 0 0 18 5 0 0 20 0 15 0 154191415 14320615424 101938 33554432000 4194304 4196468 140737043130512 140383496051216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14496] ppid=14490 vsize=13984976 memory=1380 CPUtime=0.25 cores=1,3,5,7
/proc/14492/task/14496/stat : 14496 (java) S 14490 14490 13358 0 -1 1077944384 3268 0 0 0 19 6 0 0 20 0 15 0 154191415 14320615424 101938 33554432000 4194304 4196468 140737043130512 140383494998416 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14497] ppid=14490 vsize=13984976 memory=414964 CPUtime=0.25 cores=1,3,5,7
/proc/14492/task/14497/stat : 14497 (java) S 14490 14490 13358 0 -1 1077944384 2233 0 0 0 19 6 0 0 20 0 15 0 154191415 14320615424 101938 33554432000 4194304 4196468 140737043130512 140383493945616 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14498] ppid=14490 vsize=13984976 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14492/task/14498/stat : 14498 (java) S 14490 14490 13358 0 -1 1077944384 1583 0 0 0 2 1 0 0 20 0 15 0 154191417 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382658100080 140383544494722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14499] ppid=14490 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14499/stat : 14499 (java) S 14490 14490 13358 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154191417 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382657046112 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14500] ppid=14490 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 154191417 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382655993216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13984976 memory=1228 CPUtime=4.05 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) S 14490 14490 13358 0 -1 1077944384 12627 0 0 0 404 1 0 0 20 0 15 0 154191420 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382653888880 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13984976 memory=1380 CPUtime=4.39 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) S 14490 14490 13358 0 -1 1077944384 15383 0 0 0 437 2 0 0 20 0 15 0 154191420 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382652836080 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13984976 memory=412392 CPUtime=0.87 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) S 14490 14490 13358 0 -1 1077944384 7038 0 0 0 85 2 0 0 20 0 15 0 154191420 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382651783280 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13984976 memory=412392 CPUtime=0.05 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 357 0 0 0 2 3 0 0 20 0 15 0 154191420 14320615424 101938 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 172.41 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 409132 KiB

[startup+222.301 s]
/proc/loadavg: 1.72 1.67 1.57 6/215 14541
/proc/meminfo: memFree=24712580/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0
[pid=14492] ppid=14490 vsize=13984976 memory=335812 CPUtime=232.64 cores=1,3,5,7
/proc/14492/stat : 14492 (java) S 14490 14490 13358 0 -1 1077944320 60590 0 0 0 23217 47 0 0 20 0 15 0 154191414 14320615424 83953 33554432000 4194304 4196468 140737043130512 140737043113056 140383544483575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
/proc/14492/statm: 3496244 83953 3283 1 0 3483478 0
[pid=14492/tid=14493] ppid=14490 vsize=13984976 memory=340428 CPUtime=221.87 cores=1,3,5,7
/proc/14492/task/14493/stat : 14493 (java) R 14490 14490 13358 0 -1 4202560 13609 0 0 0 22180 7 0 0 20 0 15 0 154191415 14320615424 83953 33554432000 4194304 4196468 140737043130512 140383548723136 140383179338959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14494] ppid=14490 vsize=13984976 memory=335812 CPUtime=0.31 cores=1,3,5,7
/proc/14492/task/14494/stat : 14494 (java) S 14490 14490 13358 0 -1 1077944384 1614 0 0 0 24 7 0 0 20 0 15 0 154191415 14320615424 83953 33554432000 4194304 4196468 140737043130512 140383497104016 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14495] ppid=14490 vsize=13984976 memory=349664 CPUtime=0.3 cores=1,3,5,7
/proc/14492/task/14495/stat : 14495 (java) S 14490 14490 13358 0 -1 1077944384 732 0 0 0 24 6 0 0 20 0 15 0 154191415 14320615424 83953 33554432000 4194304 4196468 140737043130512 140383496051216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14496] ppid=14490 vsize=13984976 memory=1380 CPUtime=0.32 cores=1,3,5,7
/proc/14492/task/14496/stat : 14496 (java) S 14490 14490 13358 0 -1 1077944384 3664 0 0 0 25 7 0 0 20 0 15 0 154191415 14320615424 83953 33554432000 4194304 4196468 140737043130512 140383494998416 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14497] ppid=14490 vsize=13984976 memory=1380 CPUtime=0.33 cores=1,3,5,7
/proc/14492/task/14497/stat : 14497 (java) S 14490 14490 13358 0 -1 1077944384 2294 0 0 0 26 7 0 0 20 0 15 0 154191415 14320615424 83953 33554432000 4194304 4196468 140737043130512 140383493945616 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14498] ppid=14490 vsize=13984976 memory=335812 CPUtime=0.04 cores=1,3,5,7
/proc/14492/task/14498/stat : 14498 (java) S 14490 14490 13358 0 -1 1077944384 1835 0 0 0 3 1 0 0 20 0 15 0 154191417 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382658100080 140383544494722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14499] ppid=14490 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14499/stat : 14499 (java) S 14490 14490 13358 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154191417 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382657046112 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14500] ppid=14490 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 154191417 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382655993216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13984976 memory=942572 CPUtime=4.05 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) S 14490 14490 13358 0 -1 1077944384 12630 0 0 0 404 1 0 0 20 0 15 0 154191420 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382653888880 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13984976 memory=1380 CPUtime=4.39 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) S 14490 14490 13358 0 -1 1077944384 15389 0 0 0 437 2 0 0 20 0 15 0 154191420 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382652836080 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13984976 memory=4132 CPUtime=0.87 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) S 14490 14490 13358 0 -1 1077944384 7044 0 0 0 85 2 0 0 20 0 15 0 154191420 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382651783280 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13984976 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 386 0 0 0 3 5 0 0 20 0 15 0 154191420 14320615424 83953 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 232.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 337192 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.85 1.71 1.59 3/217 14664
/proc/meminfo: memFree=24541124/32770624 swapFree=67108860/67108860
[pid=14490] ppid=14487 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14490/stat : 14490 (xcsp3-exec) S 14487 14490 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154191414 9740288 345 33554432000 4194304 5098028 140735882357680 140735882355784 140691080290940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32821248 140735882359924 140735882360128 140735882360128 140735882362859 0
/proc/14490/statm: 2378 345 289 221 0 87 0
[pid=14492] ppid=14490 vsize=13984976 memory=309648 CPUtime=250.45 cores=1,3,5,7
/proc/14492/stat : 14492 (java) S 14490 14490 13358 0 -1 1077944320 62391 0 0 0 24997 48 0 0 20 0 15 0 154191414 14320615424 77412 33554432000 4194304 4196468 140737043130512 140737043113056 140383544483575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
/proc/14492/statm: 3496244 77412 3283 1 0 3483478 0
[pid=14492/tid=14493] ppid=14490 vsize=13984976 memory=6791534058613427641 CPUtime=239.55 cores=1,3,5,7
/proc/14492/task/14493/stat : 14493 (java) R 14490 14490 13358 0 -1 4202560 13930 0 0 0 23948 7 0 0 20 0 15 0 154191415 14320615424 77412 33554432000 4194304 4196468 140737043130512 140383548723280 140383177501513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14494] ppid=14490 vsize=13984976 memory=4872558044660077418 CPUtime=0.34 cores=1,3,5,7
/proc/14492/task/14494/stat : 14494 (java) S 14490 14490 13358 0 -1 1077944384 1692 0 0 0 27 7 0 0 20 0 15 0 154191415 14320615424 77412 33554432000 4194304 4196468 140737043130512 140383497104016 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14495] ppid=14490 vsize=13984976 memory=1436 CPUtime=0.33 cores=1,3,5,7
/proc/14492/task/14495/stat : 14495 (java) S 14490 14490 13358 0 -1 1077944384 979 0 0 0 27 6 0 0 20 0 15 0 154191415 14320615424 77412 33554432000 4194304 4196468 140737043130512 140383496051216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14496] ppid=14490 vsize=13984976 memory=1200 CPUtime=0.35 cores=1,3,5,7
/proc/14492/task/14496/stat : 14496 (java) S 14490 14490 13358 0 -1 1077944384 3692 0 0 0 28 7 0 0 20 0 15 0 154191415 14320615424 77412 33554432000 4194304 4196468 140737043130512 140383494998416 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14497] ppid=14490 vsize=13984976 memory=15876 CPUtime=0.35 cores=1,3,5,7
/proc/14492/task/14497/stat : 14497 (java) S 14490 14490 13358 0 -1 1077944384 2334 0 0 0 28 7 0 0 20 0 15 0 154191415 14320615424 77412 33554432000 4194304 4196468 140737043130512 140383493945616 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14498] ppid=14490 vsize=13984976 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/14492/task/14498/stat : 14498 (java) S 14490 14490 13358 0 -1 1077944384 1862 0 0 0 3 1 0 0 20 0 15 0 154191417 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382658100080 140383544494722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14499] ppid=14490 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14499/stat : 14499 (java) S 14490 14490 13358 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154191417 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382657046112 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14500] ppid=14490 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14500/stat : 14500 (java) S 14490 14490 13358 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 154191417 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382655993216 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14501] ppid=14490 vsize=13984976 memory=3092 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14501/stat : 14501 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382654941520 140383544502171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14502] ppid=14490 vsize=13984976 memory=1380 CPUtime=4.05 cores=1,3,5,7
/proc/14492/task/14502/stat : 14502 (java) S 14490 14490 13358 0 -1 1077944384 12632 0 0 0 404 1 0 0 20 0 15 0 154191420 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382653888880 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14503] ppid=14490 vsize=13984976 memory=318888 CPUtime=4.4 cores=1,3,5,7
/proc/14492/task/14503/stat : 14503 (java) S 14490 14490 13358 0 -1 1077944384 15999 0 0 0 438 2 0 0 20 0 15 0 154191420 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382652836080 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14504] ppid=14490 vsize=13984976 memory=1160 CPUtime=0.87 cores=1,3,5,7
/proc/14492/task/14504/stat : 14504 (java) S 14490 14490 13358 0 -1 1077944384 7483 0 0 0 85 2 0 0 20 0 15 0 154191420 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382651783280 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14505] ppid=14490 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14492/task/14505/stat : 14505 (java) S 14490 14490 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191420 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382650730720 140383544493781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
[pid=14492/tid=14506] ppid=14490 vsize=13984976 memory=318888 CPUtime=0.08 cores=1,3,5,7
/proc/14492/task/14506/stat : 14506 (java) S 14490 14490 13358 0 -1 1077944384 395 0 0 0 3 5 0 0 20 0 15 0 154191420 14320615424 77412 33554432000 4194304 4196468 140737043130512 140382649679024 140383544494722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20729856 140737043133597 140737043133772 140737043133772 140737043136463 0
Current children cumulated CPU time: 250.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 311028 KiB

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

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

[startup+240.023 s]
# the end of solver process 14492 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.985 s, system=0.49013 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): 240.023
CPU time (s): 250.475
CPU user time (s): 249.985
CPU system time (s): 0.49013
CPU usage (%): 104.354
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 425412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.985
system time used= 0.49013
maximum resident set size= 425048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63391
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9088
involuntary context switches= 254


# summary of solver processes directly reported to runsolver:
#   pid: 14490,14492
#   total CPU time (s): 250.475
#   total CPU user time (s): 249.985
#   total CPU system time (s): 0.49013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47925 second user time and 2.40191 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	26
Best CPU time to get the best result obtained on this benchmark	240.039
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4284324

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
