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-06-14	SAT (TO)	12	2400.69	605.098
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 (9412 MiB free)
  memory of node 1: 16384 MiB (12326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394141-1568327957/watcher-4394141-1568327957 -o /tmp/evaluation-result-4394141-1568327957/solver-4394141-1568327957 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 169573176 HOME/instance-4394141-1568327957.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=19845, runsolver pid=19842
Current StackSize limit: 8192 KiB


[startup+0.10012 s]*
/proc/loadavg: 2.13 1.13 1.22 7/227 19861
/proc/meminfo: memFree=22230932/32770624 swapFree=66939824/67108860
[pid=19845] ppid=19842 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19845/stat : 19845 (xcsp3-exec) S 19842 19845 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710600 115843072 362 33554432000 4194304 5098028 140735095722544 140735095720648 140256369336956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39813120 140735095731067 140735095731309 140735095731309 140735095734218 0
/proc/19845/statm: 28282 362 304 221 0 87 0
[pid=19847] ppid=19845 vsize=15144768 memory=29156 CPUtime=0.12 cores=0,2,4,6
/proc/19847/stat : 19847 (java) S 19845 19845 19528 0 -1 1077944320 5713 0 0 0 12 0 0 0 20 0 15 0 408710601 15508242432 7289 33554432000 4194304 4196468 140730820605760 140730820588304 140119155531511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
/proc/19847/statm: 3786192 7289 3149 1 0 3748377 0
[pid=19847/tid=19848] ppid=19845 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/19847/task/19848/stat : 19848 (java) R 19845 19845 19528 0 -1 4202560 3616 0 0 0 9 0 0 0 20 0 15 0 408710601 15508242432 7289 33554432000 4194304 4196468 140730820605760 140119159762832 140118761503312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19849] ppid=19845 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19849/stat : 19849 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 7289 33554432000 4194304 4196468 140730820605760 140119083571472 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19850] ppid=19845 vsize=15144768 memory=139897851500160 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19850/stat : 19850 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 7289 33554432000 4194304 4196468 140730820605760 140119082518928 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19851] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19851/stat : 19851 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 7289 33554432000 4194304 4196468 140730820605760 140119081466384 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19852] ppid=19845 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19852/stat : 19852 (java) S 19845 19845 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118745016976 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19853] ppid=19845 vsize=15144768 memory=139897851500160 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19853/stat : 19853 (java) S 19845 19845 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710603 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118691285488 140119155542658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19854] ppid=19845 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19854/stat : 19854 (java) S 19845 19845 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710603 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118690231712 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19855] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19855/stat : 19855 (java) S 19845 19845 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710604 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118689179120 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19856] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19856/stat : 19856 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118688127696 140119155550107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19857] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19857/stat : 19857 (java) R 19845 19845 19528 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 15 0 408710606 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118687074288 140119133364368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19858] ppid=19845 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19858/stat : 19858 (java) R 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118686021744 140119155542658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19859] ppid=19845 vsize=15144768 memory=139897851500160 CPUtime=0.02 cores=0,2,4,6
/proc/19847/task/19859/stat : 19859 (java) R 19845 19845 19528 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 408710606 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118684969200 140119147768638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19860] ppid=19845 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19860/stat : 19860 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118683916896 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19861] ppid=19845 vsize=15144768 memory=139897851500160 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19861/stat : 19861 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710607 15508242432 7289 33554432000 4194304 4196468 140730820605760 140118682864432 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30604 KiB

[startup+0.210781 s]*
/proc/loadavg: 2.13 1.13 1.22 8/227 19861
/proc/meminfo: memFree=22202632/32770624 swapFree=66939824/67108860
[pid=19845] ppid=19842 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19845/stat : 19845 (xcsp3-exec) S 19842 19845 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710600 115843072 362 33554432000 4194304 5098028 140735095722544 140735095720648 140256369336956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39813120 140735095731067 140735095731309 140735095731309 140735095734218 0
/proc/19845/statm: 28282 362 304 221 0 87 0
[pid=19847] ppid=19845 vsize=15144768 memory=41724 CPUtime=0.34 cores=0,2,4,6
/proc/19847/stat : 19847 (java) S 19845 19845 19528 0 -1 1077944320 9201 0 0 0 32 2 0 0 20 0 15 0 408710601 15508242432 10431 33554432000 4194304 4196468 140730820605760 140730820588304 140119155531511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
/proc/19847/statm: 3786192 10431 3270 1 0 3748377 0
[pid=19847/tid=19848] ppid=19845 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19847/task/19848/stat : 19848 (java) R 19845 19845 19528 0 -1 4202560 6367 0 0 0 18 2 0 0 20 0 15 0 408710601 15508242432 10431 33554432000 4194304 4196468 140730820605760 140119159766208 140119139611998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19849] ppid=19845 vsize=15144768 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19849/stat : 19849 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 10431 33554432000 4194304 4196468 140730820605760 140119083571472 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19850] ppid=19845 vsize=15144768 memory=3760560910071234592 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19850/stat : 19850 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 10431 33554432000 4194304 4196468 140730820605760 140119082518928 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19851] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19851/stat : 19851 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 10431 33554432000 4194304 4196468 140730820605760 140119081466384 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19852] ppid=19845 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19852/stat : 19852 (java) S 19845 19845 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710602 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118745016976 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19853] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19853/stat : 19853 (java) S 19845 19845 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408710603 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118691285488 140119155542658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19854] ppid=19845 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19854/stat : 19854 (java) S 19845 19845 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710603 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118690231712 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19855] ppid=19845 vsize=15144768 memory=139897851500160 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19855/stat : 19855 (java) S 19845 19845 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710604 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118689179120 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19856] ppid=19845 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19856/stat : 19856 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118688127696 140119155550107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19857] ppid=19845 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19847/task/19857/stat : 19857 (java) S 19845 19845 19528 0 -1 1077944384 709 0 0 0 3 0 0 0 20 0 15 0 408710606 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118687074288 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19858] ppid=19845 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19847/task/19858/stat : 19858 (java) S 19845 19845 19528 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 408710606 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118686021744 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19859] ppid=19845 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19847/task/19859/stat : 19859 (java) S 19845 19845 19528 0 -1 1077944384 761 0 0 0 8 0 0 0 20 0 15 0 408710606 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118684969200 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19860] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19860/stat : 19860 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118683916896 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19861] ppid=19845 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19861/stat : 19861 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710607 15508242432 10431 33554432000 4194304 4196468 140730820605760 140118682864432 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 43172 KiB

[startup+0.321169 s]*
/proc/loadavg: 2.13 1.13 1.22 7/227 19861
/proc/meminfo: memFree=22176724/32770624 swapFree=66939824/67108860
[pid=19845] ppid=19842 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19845/stat : 19845 (xcsp3-exec) S 19842 19845 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710600 115843072 362 33554432000 4194304 5098028 140735095722544 140735095720648 140256369336956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39813120 140735095731067 140735095731309 140735095731309 140735095734218 0
/proc/19845/statm: 28282 362 304 221 0 87 0
[pid=19847] ppid=19845 vsize=15149024 memory=51716 CPUtime=0.54 cores=0,2,4,6
/proc/19847/stat : 19847 (java) S 19845 19845 19528 0 -1 1077944320 10742 0 0 0 51 3 0 0 20 0 15 0 408710601 15512600576 12929 33554432000 4194304 4196468 140730820605760 140730820588304 140119155531511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
/proc/19847/statm: 3787256 12929 3367 1 0 3748377 0
[pid=19847/tid=19848] ppid=19845 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/19847/task/19848/stat : 19848 (java) R 19845 19845 19528 0 -1 4202560 7678 0 0 0 28 2 0 0 20 0 15 0 408710601 15512600576 12929 33554432000 4194304 4196468 140730820605760 140119159762624 140119139611998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19849] ppid=19845 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19849/stat : 19849 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15512600576 12929 33554432000 4194304 4196468 140730820605760 140119083571472 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19850] ppid=19845 vsize=15149024 memory=4409645500605923360 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19850/stat : 19850 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15512600576 12929 33554432000 4194304 4196468 140730820605760 140119082518928 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19851] ppid=19845 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19851/stat : 19851 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15512600576 12929 33554432000 4194304 4196468 140730820605760 140119081466384 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19852] ppid=19845 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19852/stat : 19852 (java) S 19845 19845 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710602 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118745016976 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19853] ppid=19845 vsize=15149024 memory=139897851500160 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19853/stat : 19853 (java) S 19845 19845 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408710603 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118691285488 140119155542658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19854] ppid=19845 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19854/stat : 19854 (java) S 19845 19845 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710603 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118690231712 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19855] ppid=19845 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19855/stat : 19855 (java) S 19845 19845 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710604 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118689179120 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19856] ppid=19845 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19856/stat : 19856 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118688127696 140119155550107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19857] ppid=19845 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/19847/task/19857/stat : 19857 (java) S 19845 19845 19528 0 -1 1077944384 805 0 0 0 6 0 0 0 20 0 15 0 408710606 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118687074288 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19858] ppid=19845 vsize=15149024 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19847/task/19858/stat : 19858 (java) S 19845 19845 19528 0 -1 1077944384 91 0 0 0 3 0 0 0 20 0 15 0 408710606 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118686021744 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19859] ppid=19845 vsize=15149024 memory=139897851500160 CPUtime=0.12 cores=0,2,4,6
/proc/19847/task/19859/stat : 19859 (java) S 19845 19845 19528 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 408710606 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118684969200 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19860] ppid=19845 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19860/stat : 19860 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118683916896 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19861] ppid=19845 vsize=15149024 memory=139897851500160 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19861/stat : 19861 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710607 15512600576 12929 33554432000 4194304 4196468 140730820605760 140118682864432 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 53164 KiB

[startup+0.705111 s]
/proc/loadavg: 2.13 1.13 1.22 7/227 19861
/proc/meminfo: memFree=22103936/32770624 swapFree=66939824/67108860
[pid=19845] ppid=19842 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19845/stat : 19845 (xcsp3-exec) S 19842 19845 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710600 115843072 362 33554432000 4194304 5098028 140735095722544 140735095720648 140256369336956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39813120 140735095731067 140735095731309 140735095731309 140735095734218 0
/proc/19845/statm: 28282 362 304 221 0 87 0
[pid=19847] ppid=19845 vsize=15151148 memory=92440 CPUtime=1.75 cores=0,2,4,6
/proc/19847/stat : 19847 (java) S 19845 19845 19528 0 -1 1077944320 15299 0 0 0 171 4 0 0 20 0 15 0 408710601 15514775552 23110 33554432000 4194304 4196468 140730820605760 140730820588304 140119155531511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
/proc/19847/statm: 3787787 23110 3445 1 0 3748889 0
[pid=19847/tid=19848] ppid=19845 vsize=15151148 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/19847/task/19848/stat : 19848 (java) R 19845 19845 19528 0 -1 4202560 8924 0 0 0 65 3 0 0 20 0 15 0 408710601 15514775552 23110 33554432000 4194304 4196468 140730820605760 140119159766464 140118764652167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19849] ppid=19845 vsize=15151148 memory=520 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19849/stat : 19849 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15514775552 23110 33554432000 4194304 4196468 140730820605760 140119083571472 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19850] ppid=19845 vsize=15151148 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19850/stat : 19850 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15514775552 23110 33554432000 4194304 4196468 140730820605760 140119082518928 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19851] ppid=19845 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19851/stat : 19851 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710602 15514775552 23110 33554432000 4194304 4196468 140730820605760 140119081466384 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19852] ppid=19845 vsize=15151148 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19852/stat : 19852 (java) S 19845 19845 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408710602 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118745016976 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19853] ppid=19845 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19853/stat : 19853 (java) S 19845 19845 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408710603 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118691285488 140119155542658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19854] ppid=19845 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19854/stat : 19854 (java) S 19845 19845 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408710603 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118690231712 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19855] ppid=19845 vsize=15151148 memory=804 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19855/stat : 19855 (java) S 19845 19845 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408710604 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118689179120 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19856] ppid=19845 vsize=15151148 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19856/stat : 19856 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118688127696 140119155550107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19857] ppid=19845 vsize=15151148 memory=7453282923444726100 CPUtime=0.38 cores=0,2,4,6
/proc/19847/task/19857/stat : 19857 (java) R 19845 19845 19528 0 -1 4202560 1687 0 0 0 38 0 0 0 20 0 15 0 408710606 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118687055304 140119133548490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19858] ppid=19845 vsize=15151148 memory=5792825802846453857 CPUtime=0.25 cores=0,2,4,6
/proc/19847/task/19858/stat : 19858 (java) R 19845 19845 19528 0 -1 4202560 860 0 0 0 25 0 0 0 20 0 15 0 408710606 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118686021744 140119155552858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19859] ppid=19845 vsize=15151148 memory=8514726395715219869 CPUtime=0.41 cores=0,2,4,6
/proc/19847/task/19859/stat : 19859 (java) R 19845 19845 19528 0 -1 4202560 2522 0 0 0 41 0 0 0 20 0 15 0 408710606 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118684967160 140119134654940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19860] ppid=19845 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19860/stat : 19860 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408710606 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118683916896 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19861] ppid=19845 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19861/stat : 19861 (java) S 19845 19845 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408710607 15514775552 23110 33554432000 4194304 4196468 140730820605760 140118682864432 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93888 KiB

[startup+1.50668 s]
/proc/loadavg: 2.13 1.13 1.22 5/214 19893
/proc/meminfo: memFree=22195852/32770624 swapFree=66939824/67108860
[pid=19845] ppid=19842 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19845/stat : 19845 (xcsp3-exec) S 19842 19845 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710600 115843072 362 33554432000 4194304 5098028 140735095722544 140735095720648 140256369336956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39813120 140735095731067 140735095731309 140735095731309 140735095734218 0
/proc/19845/statm: 28282 362 304 221 0 87 0

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

/proc/19847/stat : 19847 (java) S 19845 19845 19528 0 -1 1077944320 85215 0 0 0 207127 63 0 0 20 0 19 0 408710601 15789518848 124415 33554432000 4194304 4196468 140730820605760 140730820588304 140119155531511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
/proc/19847/statm: 3854863 124415 3537 1 0 3815965 0
[pid=19847/tid=19848] ppid=19845 vsize=15419452 memory=497660 CPUtime=1.22 cores=0,2,4,6
/proc/19847/task/19848/stat : 19848 (java) S 19845 19845 19528 0 -1 1077944384 9587 0 0 0 118 4 0 0 20 0 19 0 408710601 15789518848 124415 33554432000 4194304 4196468 140730820605760 140119159772288 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19849] ppid=19845 vsize=15419452 memory=1448 CPUtime=1.4 cores=0,2,4,6
/proc/19847/task/19849/stat : 19849 (java) S 19845 19845 19528 0 -1 1077944384 1727 0 0 0 130 10 0 0 20 0 19 0 408710602 15789518848 124415 33554432000 4194304 4196468 140730820605760 140119083571472 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19850] ppid=19845 vsize=15419452 memory=497660 CPUtime=1.41 cores=0,2,4,6
/proc/19847/task/19850/stat : 19850 (java) S 19845 19845 19528 0 -1 1077944384 3692 0 0 0 131 10 0 0 20 0 19 0 408710602 15789518848 124415 33554432000 4194304 4196468 140730820605760 140119082518928 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19851] ppid=19845 vsize=15419452 memory=1448 CPUtime=1.39 cores=0,2,4,6
/proc/19847/task/19851/stat : 19851 (java) S 19845 19845 19528 0 -1 1077944384 3629 0 0 0 129 10 0 0 20 0 19 0 408710602 15789518848 124415 33554432000 4194304 4196468 140730820605760 140119081466384 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19852] ppid=19845 vsize=15419452 memory=6944656592455097440 CPUtime=1.4 cores=0,2,4,6
/proc/19847/task/19852/stat : 19852 (java) S 19845 19845 19528 0 -1 1077944384 3644 0 0 0 129 11 0 0 20 0 19 0 408710602 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118745016976 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19853] ppid=19845 vsize=15419452 memory=6944656592455360604 CPUtime=0.69 cores=0,2,4,6
/proc/19847/task/19853/stat : 19853 (java) S 19845 19845 19528 0 -1 1077944384 7596 0 0 0 63 6 0 0 20 0 19 0 408710603 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118691285488 140119155542658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19854] ppid=19845 vsize=15419452 memory=279795511915232 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19854/stat : 19854 (java) S 19845 19845 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408710603 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118690231776 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19855] ppid=19845 vsize=15419452 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19855/stat : 19855 (java) S 19845 19845 19528 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 408710604 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118689179136 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19856] ppid=19845 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19856/stat : 19856 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710606 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118688127696 140119155550107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19857] ppid=19845 vsize=15419452 memory=1448 CPUtime=2.64 cores=0,2,4,6
/proc/19847/task/19857/stat : 19857 (java) S 19845 19845 19528 0 -1 1077944384 20496 0 0 0 262 2 0 0 20 0 19 0 408710606 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118687074288 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19858] ppid=19845 vsize=15419452 memory=1448 CPUtime=2.35 cores=0,2,4,6
/proc/19847/task/19858/stat : 19858 (java) S 19845 19845 19528 0 -1 1077944384 11149 0 0 0 234 1 0 0 20 0 19 0 408710606 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118686021744 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19859] ppid=19845 vsize=15419452 memory=498176 CPUtime=0.74 cores=0,2,4,6
/proc/19847/task/19859/stat : 19859 (java) S 19845 19845 19528 0 -1 1077944384 9798 0 0 0 73 1 0 0 20 0 19 0 408710606 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118684969200 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19860] ppid=19845 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19860/stat : 19860 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710606 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118683916896 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19861] ppid=19845 vsize=15419452 memory=499200 CPUtime=0.1 cores=0,2,4,6
/proc/19847/task/19861/stat : 19861 (java) S 19845 19845 19528 0 -1 1077944384 596 0 0 0 10 0 0 0 20 0 19 0 408710607 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118682864432 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19921] ppid=19845 vsize=15419452 memory=498176 CPUtime=514.55 cores=0,2,4,6
/proc/19847/task/19921/stat : 19921 (java) R 19845 19845 19528 0 -1 1077944384 1538 0 0 0 51454 1 0 0 20 0 19 0 408710772 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118075518160 140119155541717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19922] ppid=19845 vsize=15419452 memory=1448 CPUtime=514.03 cores=0,2,4,6
/proc/19847/task/19922/stat : 19922 (java) R 19845 19845 19528 0 -1 4202560 5026 0 0 0 51402 1 0 0 20 0 19 0 408710772 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118078677440 140118768807037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19923] ppid=19845 vsize=15419452 memory=1448 CPUtime=514.59 cores=0,2,4,6
/proc/19847/task/19923/stat : 19923 (java) R 19845 19845 19528 0 -1 4202560 1599 0 0 0 51458 1 0 0 20 0 19 0 408710772 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118076572424 140118768807693 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19924] ppid=19845 vsize=15419452 memory=1448 CPUtime=514.22 cores=0,2,4,6
/proc/19847/task/19924/stat : 19924 (java) R 19845 19845 19528 0 -1 4202560 3384 0 0 0 51418 4 0 0 20 0 19 0 408710772 15789518848 124415 33554432000 4194304 4196468 140730820605760 140118077627488 140118768766146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
Current children cumulated CPU time: 2071.9 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 499108 KiB

[startup+582.301 s]
/proc/loadavg: 8.05 7.25 4.52 11/237 19993
/proc/meminfo: memFree=18746988/32770624 swapFree=66939824/67108860
[pid=19845] ppid=19842 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19845/stat : 19845 (xcsp3-exec) S 19842 19845 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710600 115843072 362 33554432000 4194304 5098028 140735095722544 140735095720648 140256369336956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39813120 140735095731067 140735095731309 140735095731309 140735095734218 0
/proc/19845/statm: 28282 362 304 221 0 87 0
[pid=19847] ppid=19845 vsize=15419452 memory=706528 CPUtime=2310.09 cores=0,2,4,6
/proc/19847/stat : 19847 (java) S 19845 19845 19528 0 -1 1077944320 92593 0 0 0 230933 76 0 0 20 0 19 0 408710601 15789518848 176632 33554432000 4194304 4196468 140730820605760 140730820588304 140119155531511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
/proc/19847/statm: 3854863 176632 3537 1 0 3815965 0
[pid=19847/tid=19848] ppid=19845 vsize=15419452 memory=706528 CPUtime=1.22 cores=0,2,4,6
/proc/19847/task/19848/stat : 19848 (java) S 19845 19845 19528 0 -1 1077944384 9587 0 0 0 118 4 0 0 20 0 19 0 408710601 15789518848 176632 33554432000 4194304 4196468 140730820605760 140119159772288 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19849] ppid=19845 vsize=15419452 memory=709092 CPUtime=1.85 cores=0,2,4,6
/proc/19847/task/19849/stat : 19849 (java) S 19845 19845 19528 0 -1 1077944384 1936 0 0 0 172 13 0 0 20 0 19 0 408710602 15789518848 176632 33554432000 4194304 4196468 140730820605760 140119083571472 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19850] ppid=19845 vsize=15419452 memory=1448 CPUtime=1.85 cores=0,2,4,6
/proc/19847/task/19850/stat : 19850 (java) S 19845 19845 19528 0 -1 1077944384 3936 0 0 0 173 12 0 0 20 0 19 0 408710602 15789518848 176632 33554432000 4194304 4196468 140730820605760 140119082518928 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19851] ppid=19845 vsize=15419452 memory=65 CPUtime=1.84 cores=0,2,4,6
/proc/19847/task/19851/stat : 19851 (java) S 19845 19845 19528 0 -1 1077944384 3860 0 0 0 172 12 0 0 20 0 19 0 408710602 15789518848 176632 33554432000 4194304 4196468 140730820605760 140119081466384 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19852] ppid=19845 vsize=15419452 memory=3504 CPUtime=1.85 cores=0,2,4,6
/proc/19847/task/19852/stat : 19852 (java) S 19845 19845 19528 0 -1 1077944384 4773 0 0 0 172 13 0 0 20 0 19 0 408710602 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118745016976 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19853] ppid=19845 vsize=15419452 memory=38216 CPUtime=0.82 cores=0,2,4,6
/proc/19847/task/19853/stat : 19853 (java) S 19845 19845 19528 0 -1 1077944384 11256 0 0 0 73 9 0 0 20 0 19 0 408710603 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118691285488 140119155542658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19854] ppid=19845 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19854/stat : 19854 (java) S 19845 19845 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408710603 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118690231776 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19855] ppid=19845 vsize=15419452 memory=719408 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19855/stat : 19855 (java) S 19845 19845 19528 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 408710604 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118689179136 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19856] ppid=19845 vsize=15419452 memory=736344 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19856/stat : 19856 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710606 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118688127696 140119155550107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19857] ppid=19845 vsize=15419452 memory=1448 CPUtime=2.64 cores=0,2,4,6
/proc/19847/task/19857/stat : 19857 (java) S 19845 19845 19528 0 -1 1077944384 20496 0 0 0 262 2 0 0 20 0 19 0 408710606 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118687074288 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19858] ppid=19845 vsize=15419452 memory=1448 CPUtime=2.35 cores=0,2,4,6
/proc/19847/task/19858/stat : 19858 (java) S 19845 19845 19528 0 -1 1077944384 11149 0 0 0 234 1 0 0 20 0 19 0 408710606 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118686021744 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19859] ppid=19845 vsize=15419452 memory=634636 CPUtime=0.74 cores=0,2,4,6
/proc/19847/task/19859/stat : 19859 (java) S 19845 19845 19528 0 -1 1077944384 9918 0 0 0 73 1 0 0 20 0 19 0 408710606 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118684969200 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19860] ppid=19845 vsize=15419452 memory=697864 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19860/stat : 19860 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710606 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118683916896 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19861] ppid=19845 vsize=15419452 memory=1448 CPUtime=0.11 cores=0,2,4,6
/proc/19847/task/19861/stat : 19861 (java) S 19845 19845 19528 0 -1 1077944384 600 0 0 0 11 0 0 0 20 0 19 0 408710607 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118682864432 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19921] ppid=19845 vsize=15419452 memory=739304 CPUtime=573.66 cores=0,2,4,6
/proc/19847/task/19921/stat : 19921 (java) R 19845 19845 19528 0 -1 4202560 1631 0 0 0 57364 2 0 0 20 0 19 0 408710772 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118075518296 140118770450398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19922] ppid=19845 vsize=15419452 memory=3504 CPUtime=573 cores=0,2,4,6
/proc/19847/task/19922/stat : 19922 (java) R 19845 19845 19528 0 -1 4202560 5769 0 0 0 57297 3 0 0 20 0 19 0 408710772 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118078676896 140118769943395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19923] ppid=19845 vsize=15419452 memory=711144 CPUtime=573.74 cores=0,2,4,6
/proc/19847/task/19923/stat : 19923 (java) R 19845 19845 19528 0 -1 4202560 1715 0 0 0 57372 2 0 0 20 0 19 0 408710772 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118076572424 140118768807722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19924] ppid=19845 vsize=15419452 memory=1448 CPUtime=573.3 cores=0,2,4,6
/proc/19847/task/19924/stat : 19924 (java) R 19845 19845 19528 0 -1 4202560 4213 0 0 0 57324 6 0 0 20 0 19 0 408710772 15789518848 176632 33554432000 4194304 4196468 140730820605760 140118077627376 140118768568544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
Current children cumulated CPU time: 2310.09 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 707976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+605.001 s]*
/proc/loadavg: 8.04 7.30 4.59 11/237 19996
/proc/meminfo: memFree=18747752/32770624 swapFree=66939824/67108860
[pid=19845] ppid=19842 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19845/stat : 19845 (xcsp3-exec) S 19842 19845 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408710600 115843072 362 33554432000 4194304 5098028 140735095722544 140735095720648 140256369336956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39813120 140735095731067 140735095731309 140735095731309 140735095734218 0
/proc/19845/statm: 28282 362 304 221 0 87 0
[pid=19847] ppid=19845 vsize=15419452 memory=691120 CPUtime=2400.35 cores=0,2,4,6
/proc/19847/stat : 19847 (java) S 19845 19845 19528 0 -1 1077944320 93522 0 0 0 239958 77 0 0 20 0 19 0 408710601 15789518848 172780 33554432000 4194304 4196468 140730820605760 140730820588304 140119155531511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
/proc/19847/statm: 3854863 172780 3537 1 0 3815965 0
[pid=19847/tid=19848] ppid=19845 vsize=15419452 memory=8317482817917895235 CPUtime=1.22 cores=0,2,4,6
/proc/19847/task/19848/stat : 19848 (java) S 19845 19845 19528 0 -1 1077944384 9587 0 0 0 118 4 0 0 20 0 19 0 408710601 15789518848 172780 33554432000 4194304 4196468 140730820605760 140119159772288 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19849] ppid=19845 vsize=15419452 memory=4872558044660077418 CPUtime=1.89 cores=0,2,4,6
/proc/19847/task/19849/stat : 19849 (java) S 19845 19845 19528 0 -1 1077944384 1957 0 0 0 176 13 0 0 20 0 19 0 408710602 15789518848 172780 33554432000 4194304 4196468 140730820605760 140119083571472 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19850] ppid=19845 vsize=15419452 memory=1232 CPUtime=1.89 cores=0,2,4,6
/proc/19847/task/19850/stat : 19850 (java) S 19845 19845 19528 0 -1 1077944384 4149 0 0 0 177 12 0 0 20 0 19 0 408710602 15789518848 172780 33554432000 4194304 4196468 140730820605760 140119082518928 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19851] ppid=19845 vsize=15419452 memory=1064 CPUtime=1.87 cores=0,2,4,6
/proc/19847/task/19851/stat : 19851 (java) S 19845 19845 19528 0 -1 1077944384 3887 0 0 0 175 12 0 0 20 0 19 0 408710602 15789518848 172780 33554432000 4194304 4196468 140730820605760 140119081466384 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19852] ppid=19845 vsize=15419452 memory=14008 CPUtime=1.88 cores=0,2,4,6
/proc/19847/task/19852/stat : 19852 (java) S 19845 19845 19528 0 -1 1077944384 4836 0 0 0 175 13 0 0 20 0 19 0 408710602 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118745016976 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19853] ppid=19845 vsize=15419452 memory=21116 CPUtime=0.84 cores=0,2,4,6
/proc/19847/task/19853/stat : 19853 (java) S 19845 19845 19528 0 -1 1077944384 11491 0 0 0 75 9 0 0 20 0 19 0 408710603 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118691285488 140119155542658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19854] ppid=19845 vsize=15419452 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19854/stat : 19854 (java) S 19845 19845 19528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 408710603 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118690231776 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19855] ppid=19845 vsize=15419452 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19855/stat : 19855 (java) S 19845 19845 19528 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 408710604 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118689179136 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19856] ppid=19845 vsize=15419452 memory=699952 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19856/stat : 19856 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710606 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118688127696 140119155550107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19857] ppid=19845 vsize=15419452 memory=3280 CPUtime=2.64 cores=0,2,4,6
/proc/19847/task/19857/stat : 19857 (java) S 19845 19845 19528 0 -1 1077944384 20499 0 0 0 262 2 0 0 20 0 19 0 408710606 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118687074288 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19858] ppid=19845 vsize=15419452 memory=1448 CPUtime=2.35 cores=0,2,4,6
/proc/19847/task/19858/stat : 19858 (java) S 19845 19845 19528 0 -1 1077944384 11151 0 0 0 234 1 0 0 20 0 19 0 408710606 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118686021744 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19859] ppid=19845 vsize=15419452 memory=696764 CPUtime=0.74 cores=0,2,4,6
/proc/19847/task/19859/stat : 19859 (java) S 19845 19845 19528 0 -1 1077944384 9920 0 0 0 73 1 0 0 20 0 19 0 408710606 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118684969200 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19860] ppid=19845 vsize=15419452 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/19847/task/19860/stat : 19860 (java) S 19845 19845 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408710606 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118683916896 140119155541717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19861] ppid=19845 vsize=15419452 memory=3344 CPUtime=0.11 cores=0,2,4,6
/proc/19847/task/19861/stat : 19861 (java) S 19845 19845 19528 0 -1 1077944384 619 0 0 0 11 0 0 0 20 0 19 0 408710607 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118682864432 140119155542658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19921] ppid=19845 vsize=15419452 memory=1448 CPUtime=596.29 cores=0,2,4,6
/proc/19847/task/19921/stat : 19921 (java) R 19845 19845 19528 0 -1 4202560 1680 0 0 0 59627 2 0 0 20 0 19 0 408710772 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118075521312 140118768807706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19922] ppid=19845 vsize=15419452 memory=2908812 CPUtime=595.4 cores=0,2,4,6
/proc/19847/task/19922/stat : 19922 (java) R 19845 19845 19528 0 -1 4202560 5868 0 0 0 59537 3 0 0 20 0 19 0 408710772 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118078680232 140118768928576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19923] ppid=19845 vsize=15419452 memory=1620 CPUtime=596.25 cores=0,2,4,6
/proc/19847/task/19923/stat : 19923 (java) R 19845 19845 19528 0 -1 4202560 1831 0 0 0 59623 2 0 0 20 0 19 0 408710772 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118076571632 140118770450678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
[pid=19847/tid=19924] ppid=19845 vsize=15419452 memory=8317482817917895235 CPUtime=595.86 cores=0,2,4,6
/proc/19847/task/19924/stat : 19924 (java) R 19845 19845 19528 0 -1 4202560 4293 0 0 0 59580 6 0 0 20 0 19 0 408710772 15789518848 172780 33554432000 4194304 4196468 140730820605760 140118077624312 140118768765927 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34705408 140730820613103 140730820613274 140730820613274 140730820616143 0
Current children cumulated CPU time: 2400.35 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 692568 KiB

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

[startup+605.04 s]
# the end of solver process 19845 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001152 s, system=0.001152 s

[startup+605.098 s]
# the end of solver process 19847 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.9 s, system=0.786916 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): 605.098
CPU time (s): 2400.69
CPU user time (s): 2399.9
CPU system time (s): 0.786916
CPU usage (%): 396.744
Max. virtual memory (cumulated for all children) (KiB): 15534244
Max. memory (cumulated for all children) (KiB): 744996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.9
system time used= 0.786916
maximum resident set size= 743548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45662
involuntary context switches= 39339


# summary of solver processes directly reported to runsolver:
#   pid: 19845,19847
#   total CPU time (s): 2400.69
#   total CPU user time (s): 2399.9
#   total CPU system time (s): 0.786916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.88029 second user time and 6.30474 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4394141

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
