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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	SAT (TO)	24	2400.11	2387.22
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 (14472 MiB free)
  memory of node 1: 16384 MiB (13389 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406606-1569396673/watcher-4406606-1569396673 -o /var/tmp/evaluation-result-4406606-1569396673/solver-4406606-1569396673 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569392946-4664 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406606-1569396673.xml 

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

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=4788, runsolver pid=4785
Current StackSize limit: 8192 KiB


[startup+0.100208 s]*
/proc/loadavg: 0.00 0.01 0.05 3/228 4804
/proc/meminfo: memFree=28507996/32770624 swapFree=66954208/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0
[pid=4790] ppid=4788 vsize=15144776 memory=31324 CPUtime=0.13 cores=1,3,5,7
/proc/4790/stat : 4790 (java) S 4788 4788 4632 0 -1 1077944320 5753 0 0 0 12 1 0 0 20 0 15 0 515922564 15508250624 7831 33554432000 4194304 4196468 140722902501776 140722902484320 140533337681655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
/proc/4790/statm: 3786194 7831 3147 1 0 3748377 0
[pid=4790/tid=4791] ppid=4788 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/4790/task/4791/stat : 4791 (java) R 4788 4788 4632 0 -1 4202560 3680 0 0 0 9 0 0 0 20 0 15 0 515922564 15508250624 7963 33554432000 4194304 4196468 140722902501776 140533341914784 140533321762142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4792] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4792/stat : 4792 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 7963 33554432000 4194304 4196468 140722902501776 140533290301840 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4793] ppid=4788 vsize=15144776 memory=3833603963610556064 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4793/stat : 4793 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 7963 33554432000 4194304 4196468 140722902501776 140533289249040 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4794] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4794/stat : 4794 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 7963 33554432000 4194304 4196468 140722902501776 140533288196752 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4795] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4795/stat : 4795 (java) S 4788 4788 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 7963 33554432000 4194304 4196468 140722902501776 140533287143952 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4796] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4796/stat : 4796 (java) S 4788 4788 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515922566 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532211772016 140533337692802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4797] ppid=4788 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4797/stat : 4797 (java) S 4788 4788 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515922567 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532210717984 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4798] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515922567 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532209665648 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) S 4788 4788 4632 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 515922569 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532207560816 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532206508016 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15144776 memory=139939354601088 CPUtime=0.02 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) R 4788 4788 4632 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 515922569 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532205455728 140533337703002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15508250624 7963 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922570 15508250624 7963 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32776 KiB

[startup+0.210793 s]*
/proc/loadavg: 0.00 0.01 0.05 4/228 4804
/proc/meminfo: memFree=28492984/32770624 swapFree=66954208/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0
[pid=4790] ppid=4788 vsize=15144776 memory=42944 CPUtime=0.34 cores=1,3,5,7
/proc/4790/stat : 4790 (java) S 4788 4788 4632 0 -1 1077944320 9453 0 0 0 32 2 0 0 20 0 15 0 515922564 15508250624 10736 33554432000 4194304 4196468 140722902501776 140722902484320 140533337681655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
/proc/4790/statm: 3786194 10736 3283 1 0 3748377 0
[pid=4790/tid=4791] ppid=4788 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4790/task/4791/stat : 4791 (java) R 4788 4788 4632 0 -1 4202560 6602 0 0 0 19 1 0 0 20 0 15 0 515922564 15508250624 10736 33554432000 4194304 4196468 140722902501776 140533341919472 140533337703581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4792] ppid=4788 vsize=15144776 memory=10594 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4792/stat : 4792 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 10736 33554432000 4194304 4196468 140722902501776 140533290301840 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4793] ppid=4788 vsize=15144776 memory=139939357751654 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4793/stat : 4793 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 10736 33554432000 4194304 4196468 140722902501776 140533289249040 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4794] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4794/stat : 4794 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 10736 33554432000 4194304 4196468 140722902501776 140533288196752 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4795] ppid=4788 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4795/stat : 4795 (java) S 4788 4788 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515922565 15508250624 10736 33554432000 4194304 4196468 140722902501776 140533287143952 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4796] ppid=4788 vsize=15144776 memory=139939354601088 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4796/stat : 4796 (java) S 4788 4788 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515922566 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532211772016 140533337692802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4797] ppid=4788 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4797/stat : 4797 (java) S 4788 4788 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515922567 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532210717984 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4798] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515922567 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532209665648 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) S 4788 4788 4632 0 -1 1077944384 711 0 0 0 2 0 0 0 20 0 15 0 515922569 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532207560816 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) S 4788 4788 4632 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 15 0 515922569 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532206508016 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15144776 memory=139939354601088 CPUtime=0.08 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) R 4788 4788 4632 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 515922569 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532205455728 140533321762142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15508250624 10736 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922570 15508250624 10736 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44396 KiB

[startup+0.319879 s]*
/proc/loadavg: 0.00 0.01 0.05 5/228 4804
/proc/meminfo: memFree=28481460/32770624 swapFree=66954208/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0
[pid=4790] ppid=4788 vsize=15149032 memory=52404 CPUtime=0.54 cores=1,3,5,7
/proc/4790/stat : 4790 (java) S 4788 4788 4632 0 -1 1077944320 10930 0 0 0 51 3 0 0 20 0 15 0 515922564 15512608768 13101 33554432000 4194304 4196468 140722902501776 140722902484320 140533337681655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
/proc/4790/statm: 3787258 13101 3372 1 0 3748377 0
[pid=4790/tid=4791] ppid=4788 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/4790/task/4791/stat : 4791 (java) R 4788 4788 4632 0 -1 4202560 7907 0 0 0 28 2 0 0 20 0 15 0 515922564 15512608768 13101 33554432000 4194304 4196468 140722902501776 140533341915712 140533321762142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4792] ppid=4788 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4792/stat : 4792 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15512608768 13101 33554432000 4194304 4196468 140722902501776 140533290301840 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4793] ppid=4788 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4793/stat : 4793 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15512608768 13101 33554432000 4194304 4196468 140722902501776 140533289249040 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4794] ppid=4788 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4794/stat : 4794 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15512608768 13101 33554432000 4194304 4196468 140722902501776 140533288196752 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4795] ppid=4788 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4795/stat : 4795 (java) S 4788 4788 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515922565 15512608768 13101 33554432000 4194304 4196468 140722902501776 140533287143952 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4796] ppid=4788 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4796/stat : 4796 (java) S 4788 4788 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515922566 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532211772016 140533337692802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4797] ppid=4788 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4797/stat : 4797 (java) S 4788 4788 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515922567 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532210717984 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4798] ppid=4788 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515922567 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532209665648 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) S 4788 4788 4632 0 -1 1077944384 729 0 0 0 4 0 0 0 20 0 15 0 515922569 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532207560816 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) S 4788 4788 4632 0 -1 1077944384 191 0 0 0 5 0 0 0 20 0 15 0 515922569 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532206508016 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) S 4788 4788 4632 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 515922569 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532205455728 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15512608768 13101 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922570 15512608768 13101 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53856 KiB

[startup+0.700863 s]
/proc/loadavg: 0.00 0.01 0.05 5/228 4804
/proc/meminfo: memFree=28454396/32770624 swapFree=66954208/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0
[pid=4790] ppid=4788 vsize=15151156 memory=108076 CPUtime=1.74 cores=1,3,5,7
/proc/4790/stat : 4790 (java) S 4788 4788 4632 0 -1 1077944320 14649 0 0 0 169 5 0 0 20 0 15 0 515922564 15514783744 27019 33554432000 4194304 4196468 140722902501776 140722902484320 140533337681655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
/proc/4790/statm: 3787789 27019 3445 1 0 3748889 0
[pid=4790/tid=4791] ppid=4788 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/4790/task/4791/stat : 4791 (java) R 4788 4788 4632 0 -1 4202560 8335 0 0 0 65 3 0 0 20 0 15 0 515922564 15514783744 27019 33554432000 4194304 4196468 140722902501776 140533341915760 140532961183125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4792] ppid=4788 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4792/stat : 4792 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15514783744 27019 33554432000 4194304 4196468 140722902501776 140533290301840 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4793] ppid=4788 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4793/stat : 4793 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15514783744 27019 33554432000 4194304 4196468 140722902501776 140533289249040 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4794] ppid=4788 vsize=15151156 memory=708 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4794/stat : 4794 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922565 15514783744 27019 33554432000 4194304 4196468 140722902501776 140533288196752 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4795] ppid=4788 vsize=15151156 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4795/stat : 4795 (java) S 4788 4788 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515922565 15514783744 27019 33554432000 4194304 4196468 140722902501776 140533287143952 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4796] ppid=4788 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4796/stat : 4796 (java) S 4788 4788 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515922566 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532211772016 140533337692802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4797] ppid=4788 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4797/stat : 4797 (java) S 4788 4788 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532210717984 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4798] ppid=4788 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532209665648 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15151156 memory=8220 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15151156 memory=3616 CPUtime=0.36 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) R 4788 4788 4632 0 -1 4202560 1923 0 0 0 36 0 0 0 20 0 15 0 515922569 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532207546696 140533319201448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15151156 memory=1556 CPUtime=0.36 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) R 4788 4788 4632 0 -1 4202560 1437 0 0 0 36 0 0 0 20 0 15 0 515922569 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532206494040 140533319225744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15151156 memory=2832 CPUtime=0.31 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) R 4788 4788 4632 0 -1 4202560 1646 0 0 0 31 0 0 0 20 0 15 0 515922569 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532205455728 140533316312506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15514783744 27019 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515922570 15514783744 27019 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109528 KiB

[startup+1.50087 s]
/proc/loadavg: 0.00 0.01 0.05 4/228 4804
/proc/meminfo: memFree=28360196/32770624 swapFree=66954208/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0

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

/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 1533469 33554432000 4194304 4196468 140722902501776 140532209665664 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15514783744 1533469 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15151156 memory=2708 CPUtime=1.86 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) S 4788 4788 4632 0 -1 1077944384 11810 0 0 0 185 1 0 0 20 0 15 0 515922569 15514783744 1533469 33554432000 4194304 4196468 140722902501776 140532207560816 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15151156 memory=2576 CPUtime=1.8 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) S 4788 4788 4632 0 -1 1077944384 9202 0 0 0 179 1 0 0 20 0 15 0 515922569 15514783744 1533469 33554432000 4194304 4196468 140722902501776 140532206508016 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15151156 memory=1408 CPUtime=0.7 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) S 4788 4788 4632 0 -1 1077944384 6779 0 0 0 68 2 0 0 20 0 15 0 515922569 15514783744 1533469 33554432000 4194304 4196468 140722902501776 140532205455728 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15151156 memory=3268 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15514783744 1533469 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15151156 memory=1452 CPUtime=0.52 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 766 0 0 0 22 30 0 0 20 0 15 0 515922570 15514783744 1533469 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 2334.38 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6135328 KiB

[startup+2382.3 s]*
/proc/loadavg: 1.79 1.81 1.64 3/228 5810
/proc/meminfo: memFree=26944212/32770624 swapFree=66954216/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0
[pid=4790] ppid=4788 vsize=15151156 memory=1270532 CPUtime=2395.16 cores=1,3,5,7
/proc/4790/stat : 4790 (java) S 4788 4788 4632 0 -1 1077944320 151912 0 0 0 239095 421 0 0 20 0 15 0 515922564 15514783744 317633 33554432000 4194304 4196468 140722902501776 140722902484320 140533337681655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
/proc/4790/statm: 3787789 317633 3534 1 0 3748889 0
[pid=4790/tid=4791] ppid=4788 vsize=15151156 memory=8317482817917895235 CPUtime=2377.96 cores=1,3,5,7
/proc/4790/task/4791/stat : 4791 (java) R 4788 4788 4632 0 -1 4202560 68622 0 0 0 237460 336 0 0 20 0 15 0 515922564 15514783744 317633 33554432000 4194304 4196468 140722902501776 140533341921400 140532963698964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4792] ppid=4788 vsize=15151156 memory=508184 CPUtime=2.82 cores=1,3,5,7
/proc/4790/task/4792/stat : 4792 (java) S 4788 4788 4632 0 -1 1077944384 8793 0 0 0 272 10 0 0 20 0 15 0 515922565 15514783744 317633 33554432000 4194304 4196468 140722902501776 140533290301840 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4793] ppid=4788 vsize=15151156 memory=1452 CPUtime=2.8 cores=1,3,5,7
/proc/4790/task/4793/stat : 4793 (java) S 4788 4788 4632 0 -1 1077944384 8125 0 0 0 270 10 0 0 20 0 15 0 515922565 15514783744 317633 33554432000 4194304 4196468 140722902501776 140533289249040 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4794] ppid=4788 vsize=15151156 memory=3580 CPUtime=2.81 cores=1,3,5,7
/proc/4790/task/4794/stat : 4794 (java) S 4788 4788 4632 0 -1 1077944384 11497 0 0 0 270 11 0 0 20 0 15 0 515922565 15514783744 317633 33554432000 4194304 4196468 140722902501776 140533288196752 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4795] ppid=4788 vsize=15151156 memory=1452 CPUtime=2.82 cores=1,3,5,7
/proc/4790/task/4795/stat : 4795 (java) S 4788 4788 4632 0 -1 1077944384 8859 0 0 0 271 11 0 0 20 0 15 0 515922565 15514783744 317633 33554432000 4194304 4196468 140722902501776 140533287143952 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4796] ppid=4788 vsize=15151156 memory=6132864 CPUtime=0.98 cores=1,3,5,7
/proc/4790/task/4796/stat : 4796 (java) S 4788 4788 4632 0 -1 1077944384 15998 0 0 0 82 16 0 0 20 0 15 0 515922566 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532211772016 140533337692802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4797] ppid=4788 vsize=15151156 memory=12036 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4797/stat : 4797 (java) S 4788 4788 4632 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532210718048 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4798] ppid=4788 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532209665664 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15151156 memory=1074184 CPUtime=1.86 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) S 4788 4788 4632 0 -1 1077944384 11815 0 0 0 185 1 0 0 20 0 15 0 515922569 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532207560816 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15151156 memory=4427205132082312746 CPUtime=1.8 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) S 4788 4788 4632 0 -1 1077944384 9206 0 0 0 179 1 0 0 20 0 15 0 515922569 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532206508016 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15151156 memory=-8412652152092201843 CPUtime=0.7 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) S 4788 4788 4632 0 -1 1077944384 6783 0 0 0 68 2 0 0 20 0 15 0 515922569 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532205455728 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15151156 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15514783744 317633 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15151156 memory=-8486080722631693414 CPUtime=0.52 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 802 0 0 0 22 30 0 0 20 0 15 0 515922570 15514783744 317633 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 2395.16 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1271984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2387.2 s]
/proc/loadavg: 1.79 1.81 1.64 3/228 5810
/proc/meminfo: memFree=26879400/32770624 swapFree=66954216/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0
[pid=4790] ppid=4788 vsize=15151156 memory=1433480 CPUtime=2400.07 cores=1,3,5,7
/proc/4790/stat : 4790 (java) S 4788 4788 4632 0 -1 1077944320 152176 0 0 0 239583 424 0 0 20 0 15 0 515922564 15514783744 358370 33554432000 4194304 4196468 140722902501776 140722902484320 140533337681655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
/proc/4790/statm: 3787789 358370 3534 1 0 3748889 0
[pid=4790/tid=4791] ppid=4788 vsize=15151156 memory=1368712 CPUtime=2382.85 cores=1,3,5,7
/proc/4790/task/4791/stat : 4791 (java) R 4788 4788 4632 0 -1 4202560 68867 0 0 0 237946 339 0 0 20 0 15 0 515922564 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533341920752 140532963698969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4792] ppid=4788 vsize=15151156 memory=1452 CPUtime=2.82 cores=1,3,5,7
/proc/4790/task/4792/stat : 4792 (java) S 4788 4788 4632 0 -1 1077944384 8798 0 0 0 272 10 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533290301840 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4793] ppid=4788 vsize=15151156 memory=1335812 CPUtime=2.81 cores=1,3,5,7
/proc/4790/task/4793/stat : 4793 (java) S 4788 4788 4632 0 -1 1077944384 8125 0 0 0 271 10 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533289249040 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4794] ppid=4788 vsize=15151156 memory=1335812 CPUtime=2.82 cores=1,3,5,7
/proc/4790/task/4794/stat : 4794 (java) S 4788 4788 4632 0 -1 1077944384 11506 0 0 0 271 11 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533288196752 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4795] ppid=4788 vsize=15151156 memory=1204740 CPUtime=2.83 cores=1,3,5,7
/proc/4790/task/4795/stat : 4795 (java) S 4788 4788 4632 0 -1 1077944384 8862 0 0 0 272 11 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533287143952 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4796] ppid=4788 vsize=15151156 memory=679944 CPUtime=0.98 cores=1,3,5,7
/proc/4790/task/4796/stat : 4796 (java) S 4788 4788 4632 0 -1 1077944384 16000 0 0 0 82 16 0 0 20 0 15 0 515922566 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532211772016 140533337692802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4797] ppid=4788 vsize=15151156 memory=614152 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4797/stat : 4797 (java) S 4788 4788 4632 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532210718048 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4798] ppid=4788 vsize=15151156 memory=1074184 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532209665664 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15151156 memory=1452 CPUtime=1.86 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) S 4788 4788 4632 0 -1 1077944384 11815 0 0 0 185 1 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532207560816 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15151156 memory=1433480 CPUtime=1.8 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) S 4788 4788 4632 0 -1 1077944384 9206 0 0 0 179 1 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532206508016 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15151156 memory=1452 CPUtime=0.7 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) S 4788 4788 4632 0 -1 1077944384 6783 0 0 0 68 2 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532205455728 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15151156 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 802 0 0 0 22 31 0 0 20 0 15 0 515922570 15514783744 358370 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1434932 KiB

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

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

[startup+2387.22 s]
# the end of solver process 4790 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.85 s, system=4.25823 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

[startup+2387.2 s]
/proc/loadavg: 1.79 1.81 1.64 3/228 5810
/proc/meminfo: memFree=26879400/32770624 swapFree=66954216/67108860
[pid=4788] ppid=4785 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (xcsp3-exec) S 4785 4788 4632 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515922564 115843072 363 33554432000 4194304 5098028 140723148040960 140723148039064 140425009275516 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31305728 140723148047190 140723148047449 140723148047449 140723148050374 0
/proc/4788/statm: 28282 363 305 221 0 87 0
[pid=4790] ppid=4788 vsize=15151156 memory=1433480 CPUtime=2400.07 cores=1,3,5,7
/proc/4790/stat : 4790 (java) S 4788 4788 4632 0 -1 1077944320 152176 0 0 0 239583 424 0 0 20 0 15 0 515922564 15514783744 358370 33554432000 4194304 4196468 140722902501776 140722902484320 140533337681655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
/proc/4790/statm: 3787789 358370 3534 1 0 3748889 0
[pid=4790/tid=4791] ppid=4788 vsize=15151156 memory=1368712 CPUtime=2382.85 cores=1,3,5,7
/proc/4790/task/4791/stat : 4791 (java) R 4788 4788 4632 0 -1 4202560 68867 0 0 0 237946 339 0 0 20 0 15 0 515922564 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533341920752 140532963698969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4792] ppid=4788 vsize=15151156 memory=1452 CPUtime=2.82 cores=1,3,5,7
/proc/4790/task/4792/stat : 4792 (java) S 4788 4788 4632 0 -1 1077944384 8798 0 0 0 272 10 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533290301840 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4793] ppid=4788 vsize=15151156 memory=1335812 CPUtime=2.81 cores=1,3,5,7
/proc/4790/task/4793/stat : 4793 (java) S 4788 4788 4632 0 -1 1077944384 8125 0 0 0 271 10 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533289249040 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4794] ppid=4788 vsize=15151156 memory=1335812 CPUtime=2.82 cores=1,3,5,7
/proc/4790/task/4794/stat : 4794 (java) S 4788 4788 4632 0 -1 1077944384 11506 0 0 0 271 11 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533288196752 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4795] ppid=4788 vsize=15151156 memory=1204740 CPUtime=2.83 cores=1,3,5,7
/proc/4790/task/4795/stat : 4795 (java) S 4788 4788 4632 0 -1 1077944384 8862 0 0 0 272 11 0 0 20 0 15 0 515922565 15514783744 358370 33554432000 4194304 4196468 140722902501776 140533287143952 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4796] ppid=4788 vsize=15151156 memory=679944 CPUtime=0.98 cores=1,3,5,7
/proc/4790/task/4796/stat : 4796 (java) S 4788 4788 4632 0 -1 1077944384 16000 0 0 0 82 16 0 0 20 0 15 0 515922566 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532211772016 140533337692802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4797] ppid=4788 vsize=15151156 memory=614152 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4797/stat : 4797 (java) S 4788 4788 4632 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532210718048 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4798] ppid=4788 vsize=15151156 memory=1074184 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4798/stat : 4798 (java) S 4788 4788 4632 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 515922567 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532209665664 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4799] ppid=4788 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4799/stat : 4799 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532208613968 140533337700251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4800] ppid=4788 vsize=15151156 memory=1452 CPUtime=1.86 cores=1,3,5,7
/proc/4790/task/4800/stat : 4800 (java) S 4788 4788 4632 0 -1 1077944384 11815 0 0 0 185 1 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532207560816 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4801] ppid=4788 vsize=15151156 memory=1433480 CPUtime=1.8 cores=1,3,5,7
/proc/4790/task/4801/stat : 4801 (java) S 4788 4788 4632 0 -1 1077944384 9206 0 0 0 179 1 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532206508016 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4802] ppid=4788 vsize=15151156 memory=1452 CPUtime=0.7 cores=1,3,5,7
/proc/4790/task/4802/stat : 4802 (java) S 4788 4788 4632 0 -1 1077944384 6783 0 0 0 68 2 0 0 20 0 15 0 515922569 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532205455728 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4803] ppid=4788 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4790/task/4803/stat : 4803 (java) S 4788 4788 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515922570 15514783744 358370 33554432000 4194304 4196468 140722902501776 140532204403168 140533337691861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
[pid=4790/tid=4804] ppid=4788 vsize=15151156 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/4790/task/4804/stat : 4804 (java) S 4788 4788 4632 0 -1 1077944384 802 0 0 0 22 31 0 0 20 0 15 0 515922570 15514783744 358370 33554432000 4194304 4196468 140722902501776 140531894934448 140533337692802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 10981376 140722902504411 140722902504586 140722902504586 140722902507471 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1434932 KiB

Child status: 143
Real time (s): 2387.22
CPU time (s): 2400.11
CPU user time (s): 2395.85
CPU system time (s): 4.25823
CPU usage (%): 100.54
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 7943584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.85
system time used= 4.25823
maximum resident set size= 7989460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69885
involuntary context switches= 2599


# summary of solver processes directly reported to runsolver:
#   pid: 4788,4790
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2395.85
#   total CPU system time (s): 4.25823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6636 second user time and 22.8528 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
