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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	SAT (TO)	33	2400.5	604.903
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 (14349 MiB free)
  memory of node 1: 16384 MiB (15530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400581-1568676627/watcher-4400581-1568676627 -o /tmp/evaluation-result-4400581-1568676627/solver-4400581-1568676627 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1979184242 HOME/instance-4400581-1568676627.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
Current StackSize limit: 8192 KiB

solver pid=5593, runsolver pid=5590

[startup+0.100076 s]*
/proc/loadavg: 8.54 8.58 8.42 8/233 5609
/proc/meminfo: memFree=30580176/32770624 swapFree=66997368/67108860
[pid=5593] ppid=5590 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (xcsp3-exec) S 5590 5593 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443915783 115843072 362 33554432000 4194304 5098028 140725417155984 140725417154088 139661916811900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140725417161594 140725417161837 140725417161837 140725417164746 0
/proc/5593/statm: 28282 362 304 221 0 87 0
[pid=5595] ppid=5593 vsize=15144776 memory=29876 CPUtime=0.13 cores=1,3,5,7
/proc/5595/stat : 5595 (java) S 5593 5593 32513 0 -1 1077944320 5939 0 0 0 12 1 0 0 20 0 15 0 443915784 15508250624 7469 33554432000 4194304 4196468 140720784476128 140720784458672 140095818219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
/proc/5595/statm: 3786194 7469 3115 1 0 3748377 0
[pid=5595/tid=5596] ppid=5593 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/5595/task/5596/stat : 5596 (java) R 5593 5593 32513 0 -1 4202560 3863 0 0 0 9 0 0 0 20 0 15 0 443915784 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095822449632 140095407638439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5597] ppid=5593 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5597/stat : 5597 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095729875728 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5598] ppid=5593 vsize=15144776 memory=140253679920768 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5598/stat : 5598 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095728823184 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5599] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5599/stat : 5599 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095727770640 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5600] ppid=5593 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5600/stat : 5600 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095407516816 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5601] ppid=5593 vsize=15144776 memory=140253679920768 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5601/stat : 5601 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915786 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095286421488 140095818230402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5602] ppid=5593 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5602/stat : 5602 (java) S 5593 5593 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443915786 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095285367712 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5603] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5603/stat : 5603 (java) S 5593 5593 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443915787 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095284315120 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5604] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5604/stat : 5604 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095283263696 140095818237851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5605] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5605/stat : 5605 (java) S 5593 5593 32513 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 443915789 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095282211312 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5606] ppid=5593 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5606/stat : 5606 (java) S 5593 5593 32513 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 443915789 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095281158768 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5607] ppid=5593 vsize=15144776 memory=140253679920768 CPUtime=0.02 cores=1,3,5,7
/proc/5595/task/5607/stat : 5607 (java) R 5593 5593 32513 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 443915789 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095280106224 140095810456382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5608] ppid=5593 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5608/stat : 5608 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095279053920 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5609] ppid=5593 vsize=15144776 memory=140253679920768 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5609/stat : 5609 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915790 15508250624 7535 33554432000 4194304 4196468 140720784476128 140095278000432 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31324 KiB

[startup+0.211933 s]*
/proc/loadavg: 8.54 8.58 8.42 6/233 5609
/proc/meminfo: memFree=30568560/32770624 swapFree=66997368/67108860
[pid=5593] ppid=5590 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (xcsp3-exec) S 5590 5593 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443915783 115843072 362 33554432000 4194304 5098028 140725417155984 140725417154088 139661916811900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140725417161594 140725417161837 140725417161837 140725417164746 0
/proc/5593/statm: 28282 362 304 221 0 87 0
[pid=5595] ppid=5593 vsize=15144776 memory=40456 CPUtime=0.34 cores=1,3,5,7
/proc/5595/stat : 5595 (java) S 5593 5593 32513 0 -1 1077944320 9371 0 0 0 31 3 0 0 20 0 15 0 443915784 15508250624 10114 33554432000 4194304 4196468 140720784476128 140720784458672 140095818219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
/proc/5595/statm: 3786194 10114 3267 1 0 3748377 0
[pid=5595/tid=5596] ppid=5593 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5595/task/5596/stat : 5596 (java) R 5593 5593 32513 0 -1 4202560 6678 0 0 0 18 2 0 0 20 0 15 0 443915784 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095822454240 140095818231190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5597] ppid=5593 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5597/stat : 5597 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095729875728 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5598] ppid=5593 vsize=15144776 memory=3978850854903555744 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5598/stat : 5598 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095728823184 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5599] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5599/stat : 5599 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095727770640 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5600] ppid=5593 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5600/stat : 5600 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095407516816 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5601] ppid=5593 vsize=15144776 memory=140253679920768 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5601/stat : 5601 (java) S 5593 5593 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 443915786 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095286421488 140095818230402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5602] ppid=5593 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5602/stat : 5602 (java) S 5593 5593 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443915786 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095285367712 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5603] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5603/stat : 5603 (java) S 5593 5593 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443915787 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095284315120 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5604] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5604/stat : 5604 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095283263696 140095818237851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5605] ppid=5593 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5595/task/5605/stat : 5605 (java) S 5593 5593 32513 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 443915789 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095282211312 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5606] ppid=5593 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5595/task/5606/stat : 5606 (java) S 5593 5593 32513 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 443915789 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095281158768 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5607] ppid=5593 vsize=15144776 memory=140253679920768 CPUtime=0.08 cores=1,3,5,7
/proc/5595/task/5607/stat : 5607 (java) R 5593 5593 32513 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 15 0 443915789 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095280106224 140095818240602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5608] ppid=5593 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5608/stat : 5608 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095279053920 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5609] ppid=5593 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5609/stat : 5609 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915790 15508250624 10114 33554432000 4194304 4196468 140720784476128 140095278000432 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41904 KiB

[startup+0.310493 s]*
/proc/loadavg: 8.54 8.58 8.42 7/233 5609
/proc/meminfo: memFree=30561540/32770624 swapFree=66997368/67108860
[pid=5593] ppid=5590 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (xcsp3-exec) S 5590 5593 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443915783 115843072 362 33554432000 4194304 5098028 140725417155984 140725417154088 139661916811900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140725417161594 140725417161837 140725417161837 140725417164746 0
/proc/5593/statm: 28282 362 304 221 0 87 0
[pid=5595] ppid=5593 vsize=15149032 memory=49864 CPUtime=0.52 cores=1,3,5,7
/proc/5595/stat : 5595 (java) S 5593 5593 32513 0 -1 1077944320 10837 0 0 0 49 3 0 0 20 0 15 0 443915784 15512608768 12466 33554432000 4194304 4196468 140720784476128 140720784458672 140095818219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
/proc/5595/statm: 3787258 12466 3370 1 0 3748377 0
[pid=5595/tid=5596] ppid=5593 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/5595/task/5596/stat : 5596 (java) R 5593 5593 32513 0 -1 4202560 7859 0 0 0 27 3 0 0 20 0 15 0 443915784 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095822453040 140095818241181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5597] ppid=5593 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5597/stat : 5597 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095729875728 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5598] ppid=5593 vsize=15149032 memory=16105874849904224 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5598/stat : 5598 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095728823184 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5599] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5599/stat : 5599 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095727770640 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5600] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5600/stat : 5600 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095407516816 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5601] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5601/stat : 5601 (java) S 5593 5593 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 443915786 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095286421488 140095818230402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5602] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5602/stat : 5602 (java) S 5593 5593 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443915786 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095285367712 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5603] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5603/stat : 5603 (java) S 5593 5593 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443915787 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095284315120 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5604] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5604/stat : 5604 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095283263696 140095818237851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5605] ppid=5593 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5595/task/5605/stat : 5605 (java) S 5593 5593 32513 0 -1 1077944384 513 0 0 0 5 0 0 0 20 0 15 0 443915789 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095282211312 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5606] ppid=5593 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5595/task/5606/stat : 5606 (java) S 5593 5593 32513 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 15 0 443915789 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095281158768 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5607] ppid=5593 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5595/task/5607/stat : 5607 (java) S 5593 5593 32513 0 -1 1077944384 913 0 0 0 12 0 0 0 20 0 15 0 443915789 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095280106224 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5608] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5608/stat : 5608 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095279053920 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5609] ppid=5593 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5609/stat : 5609 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915790 15512608768 12537 33554432000 4194304 4196468 140720784476128 140095278000432 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51312 KiB

[startup+0.700725 s]
/proc/loadavg: 8.54 8.58 8.42 10/233 5609
/proc/meminfo: memFree=30534912/32770624 swapFree=66997368/67108860
[pid=5593] ppid=5590 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (xcsp3-exec) S 5590 5593 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443915783 115843072 362 33554432000 4194304 5098028 140725417155984 140725417154088 139661916811900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140725417161594 140725417161837 140725417161837 140725417164746 0
/proc/5593/statm: 28282 362 304 221 0 87 0
[pid=5595] ppid=5593 vsize=15151156 memory=104768 CPUtime=1.72 cores=1,3,5,7
/proc/5595/stat : 5595 (java) S 5593 5593 32513 0 -1 1077944320 14262 0 0 0 166 6 0 0 20 0 15 0 443915784 15514783744 26192 33554432000 4194304 4196468 140720784476128 140720784458672 140095818219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
/proc/5595/statm: 3787789 26192 3436 1 0 3748889 0
[pid=5595/tid=5596] ppid=5593 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/5595/task/5596/stat : 5596 (java) R 5593 5593 32513 0 -1 4202560 8359 0 0 0 64 4 0 0 20 0 15 0 443915784 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095822453232 140095411194553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5597] ppid=5593 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5597/stat : 5597 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095729875728 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5598] ppid=5593 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5598/stat : 5598 (java) S 5593 5593 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443915785 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095728823184 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5599] ppid=5593 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5599/stat : 5599 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095727770640 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5600] ppid=5593 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5600/stat : 5600 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915785 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095407516816 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5601] ppid=5593 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5601/stat : 5601 (java) S 5593 5593 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 443915786 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095286421488 140095818230402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5602] ppid=5593 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5602/stat : 5602 (java) S 5593 5593 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443915786 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095285367712 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5603] ppid=5593 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5603/stat : 5603 (java) S 5593 5593 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443915787 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095284315120 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5604] ppid=5593 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5604/stat : 5604 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095283263696 140095818237851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5605] ppid=5593 vsize=15151156 memory=1764 CPUtime=0.36 cores=1,3,5,7
/proc/5595/task/5605/stat : 5605 (java) R 5593 5593 32513 0 -1 4202560 1332 0 0 0 36 0 0 0 20 0 15 0 443915789 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095282199184 140095818240602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5606] ppid=5593 vsize=15151156 memory=111628 CPUtime=0.34 cores=1,3,5,7
/proc/5595/task/5606/stat : 5606 (java) R 5593 5593 32513 0 -1 4202560 1437 0 0 0 34 0 0 0 20 0 15 0 443915789 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095281149600 140095803100998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5607] ppid=5593 vsize=15151156 memory=796 CPUtime=0.3 cores=1,3,5,7
/proc/5595/task/5607/stat : 5607 (java) S 5593 5593 32513 0 -1 1077944384 1826 0 0 0 30 0 0 0 20 0 15 0 443915789 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095280106224 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5608] ppid=5593 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5608/stat : 5608 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443915789 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095279053920 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5609] ppid=5593 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5609/stat : 5609 (java) S 5593 5593 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443915790 15514783744 26192 33554432000 4194304 4196468 140720784476128 140095278000432 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106216 KiB

[startup+1.50157 s]
/proc/loadavg: 8.54 8.58 8.42 8/233 5609
/proc/meminfo: memFree=30411764/32770624 swapFree=66997368/67108860
[pid=5593] ppid=5590 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (xcsp3-exec) S 5590 5593 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443915783 115843072 362 33554432000 4194304 5098028 140725417155984 140725417154088 139661916811900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140725417161594 140725417161837 140725417161837 140725417164746 0
/proc/5593/statm: 28282 362 304 221 0 87 0

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

/proc/5595/stat : 5595 (java) S 5593 5593 32513 0 -1 1077944320 104421 0 0 0 207048 124 0 0 20 0 19 0 443915784 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140720784458672 140095818219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
/proc/5595/statm: 3888147 1042256 3531 1 0 3849247 0
[pid=5595/tid=5596] ppid=5593 vsize=15552588 memory=4169024 CPUtime=4.56 cores=1,3,5,7
/proc/5595/task/5596/stat : 5596 (java) S 5593 5593 32513 0 -1 1077944384 11127 0 0 0 442 14 0 0 20 0 19 0 443915784 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095822460032 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5597] ppid=5593 vsize=15552588 memory=4169024 CPUtime=0.42 cores=1,3,5,7
/proc/5595/task/5597/stat : 5597 (java) S 5593 5593 32513 0 -1 1077944384 1519 0 0 0 32 10 0 0 20 0 19 0 443915785 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095729875728 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5598] ppid=5593 vsize=15552588 memory=4169024 CPUtime=0.45 cores=1,3,5,7
/proc/5595/task/5598/stat : 5598 (java) S 5593 5593 32513 0 -1 1077944384 979 0 0 0 33 12 0 0 20 0 19 0 443915785 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095728823184 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5599] ppid=5593 vsize=15552588 memory=1448 CPUtime=0.4 cores=1,3,5,7
/proc/5595/task/5599/stat : 5599 (java) S 5593 5593 32513 0 -1 1077944384 3518 0 0 0 29 11 0 0 20 0 19 0 443915785 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095727770640 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5600] ppid=5593 vsize=15552588 memory=4169024 CPUtime=0.43 cores=1,3,5,7
/proc/5595/task/5600/stat : 5600 (java) S 5593 5593 32513 0 -1 1077944384 1700 0 0 0 32 11 0 0 20 0 19 0 443915785 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095407516816 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5601] ppid=5593 vsize=15552588 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/5595/task/5601/stat : 5601 (java) S 5593 5593 32513 0 -1 1077944384 3837 0 0 0 2 1 0 0 20 0 19 0 443915786 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095286421488 140095818230402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5602] ppid=5593 vsize=15552588 memory=4169024 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5602/stat : 5602 (java) S 5593 5593 32513 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 443915786 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095285367776 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5603] ppid=5593 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5603/stat : 5603 (java) S 5593 5593 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443915787 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095284315136 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5604] ppid=5593 vsize=15552588 memory=7306916055891837009 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5604/stat : 5604 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443915789 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095283263696 140095818237851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5605] ppid=5593 vsize=15552588 memory=4169024 CPUtime=5.67 cores=1,3,5,7
/proc/5595/task/5605/stat : 5605 (java) S 5593 5593 32513 0 -1 1077944384 18364 0 0 0 564 3 0 0 20 0 19 0 443915789 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095282211312 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5606] ppid=5593 vsize=15552588 memory=1448 CPUtime=5.5 cores=1,3,5,7
/proc/5595/task/5606/stat : 5606 (java) S 5593 5593 32513 0 -1 1077944384 18185 0 0 0 548 2 0 0 20 0 19 0 443915789 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095281158768 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5607] ppid=5593 vsize=15552588 memory=14008 CPUtime=0.97 cores=1,3,5,7
/proc/5595/task/5607/stat : 5607 (java) S 5593 5593 32513 0 -1 1077944384 11217 0 0 0 95 2 0 0 20 0 19 0 443915789 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095280106224 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5608] ppid=5593 vsize=15552588 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5608/stat : 5608 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443915789 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095279053920 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5609] ppid=5593 vsize=15552588 memory=48342 CPUtime=0.18 cores=1,3,5,7
/proc/5595/task/5609/stat : 5609 (java) S 5593 5593 32513 0 -1 1077944384 976 0 0 0 0 18 0 0 20 0 19 0 443915790 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095278000432 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5632] ppid=5593 vsize=15552588 memory=48266 CPUtime=509.86 cores=1,3,5,7
/proc/5595/task/5632/stat : 5632 (java) R 5593 5593 32513 0 -1 4202560 1514 0 0 0 50985 1 0 0 20 0 19 0 443916541 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095266917376 140095411109638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5633] ppid=5593 vsize=15552588 memory=129 CPUtime=511.51 cores=1,3,5,7
/proc/5595/task/5633/stat : 5633 (java) R 5593 5593 32513 0 -1 4202560 23757 0 0 0 51105 46 0 0 20 0 19 0 443916541 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095269023984 140095411109638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5634] ppid=5593 vsize=15552588 memory=288230376158740550 CPUtime=512.81 cores=1,3,5,7
/proc/5595/task/5634/stat : 5634 (java) R 5593 5593 32513 0 -1 4202560 1386 0 0 0 51280 1 0 0 20 0 19 0 443916541 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095261664168 140095417100109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5635] ppid=5593 vsize=15552588 memory=1448 CPUtime=512.15 cores=1,3,5,7
/proc/5595/task/5635/stat : 5635 (java) R 5593 5593 32513 0 -1 4202560 4379 0 0 0 51211 4 0 0 20 0 19 0 443916541 15925850112 1042256 33554432000 4194304 4196468 140720784476128 140095267971112 140095416602237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
Current children cumulated CPU time: 2071.72 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 4170472 KiB

[startup+582.302 s]
/proc/loadavg: 9.10 8.79 8.55 10/237 5894
/proc/meminfo: memFree=25315708/32770624 swapFree=66997372/67108860
[pid=5593] ppid=5590 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (xcsp3-exec) S 5590 5593 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443915783 115843072 362 33554432000 4194304 5098028 140725417155984 140725417154088 139661916811900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140725417161594 140725417161837 140725417161837 140725417164746 0
/proc/5593/statm: 28282 362 304 221 0 87 0
[pid=5595] ppid=5593 vsize=15552588 memory=4169892 CPUtime=2310.57 cores=1,3,5,7
/proc/5595/stat : 5595 (java) S 5593 5593 32513 0 -1 1077944320 108047 0 0 0 230931 126 0 0 20 0 19 0 443915784 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140720784458672 140095818219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
/proc/5595/statm: 3888147 1042473 3531 1 0 3849247 0
[pid=5595/tid=5596] ppid=5593 vsize=15552588 memory=4171428 CPUtime=4.56 cores=1,3,5,7
/proc/5595/task/5596/stat : 5596 (java) S 5593 5593 32513 0 -1 1077944384 11127 0 0 0 442 14 0 0 20 0 19 0 443915784 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095822460032 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5597] ppid=5593 vsize=15552588 memory=4171428 CPUtime=0.42 cores=1,3,5,7
/proc/5595/task/5597/stat : 5597 (java) S 5593 5593 32513 0 -1 1077944384 1576 0 0 0 32 10 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095729875728 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5598] ppid=5593 vsize=15552588 memory=4171428 CPUtime=0.46 cores=1,3,5,7
/proc/5595/task/5598/stat : 5598 (java) S 5593 5593 32513 0 -1 1077944384 1047 0 0 0 34 12 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095728823184 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5599] ppid=5593 vsize=15552588 memory=4169892 CPUtime=0.41 cores=1,3,5,7
/proc/5595/task/5599/stat : 5599 (java) S 5593 5593 32513 0 -1 1077944384 4112 0 0 0 30 11 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095727770640 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5600] ppid=5593 vsize=15552588 memory=4169892 CPUtime=0.44 cores=1,3,5,7
/proc/5595/task/5600/stat : 5600 (java) S 5593 5593 32513 0 -1 1077944384 1738 0 0 0 33 11 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095407516816 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5601] ppid=5593 vsize=15552588 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/5595/task/5601/stat : 5601 (java) S 5593 5593 32513 0 -1 1077944384 4102 0 0 0 3 1 0 0 20 0 19 0 443915786 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095286421488 140095818230402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5602] ppid=5593 vsize=15552588 memory=280507133451136 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5602/stat : 5602 (java) S 5593 5593 32513 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 443915786 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095285367776 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5603] ppid=5593 vsize=15552588 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5603/stat : 5603 (java) S 5593 5593 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443915787 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095284315136 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5604] ppid=5593 vsize=15552588 memory=4169892 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5604/stat : 5604 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095283263696 140095818237851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5605] ppid=5593 vsize=15552588 memory=4171428 CPUtime=5.67 cores=1,3,5,7
/proc/5595/task/5605/stat : 5605 (java) S 5593 5593 32513 0 -1 1077944384 18367 0 0 0 564 3 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095282211312 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5606] ppid=5593 vsize=15552588 memory=1448 CPUtime=5.5 cores=1,3,5,7
/proc/5595/task/5606/stat : 5606 (java) S 5593 5593 32513 0 -1 1077944384 18199 0 0 0 548 2 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095281158768 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5607] ppid=5593 vsize=15552588 memory=47852 CPUtime=0.97 cores=1,3,5,7
/proc/5595/task/5607/stat : 5607 (java) S 5593 5593 32513 0 -1 1077944384 11221 0 0 0 95 2 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095280106224 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5608] ppid=5593 vsize=15552588 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5608/stat : 5608 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095279053920 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5609] ppid=5593 vsize=15552588 memory=3504 CPUtime=0.21 cores=1,3,5,7
/proc/5595/task/5609/stat : 5609 (java) S 5593 5593 32513 0 -1 1077944384 999 0 0 0 0 21 0 0 20 0 19 0 443915790 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095278000432 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5632] ppid=5593 vsize=15552588 memory=47852 CPUtime=568.82 cores=1,3,5,7
/proc/5595/task/5632/stat : 5632 (java) R 5593 5593 32513 0 -1 4202560 1628 0 0 0 56881 1 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095266914008 140095416555553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5633] ppid=5593 vsize=15552588 memory=1448 CPUtime=571.4 cores=1,3,5,7
/proc/5595/task/5633/stat : 5633 (java) R 5593 5593 32513 0 -1 4202560 25733 0 0 0 57093 47 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095269020088 140095411297507 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5634] ppid=5593 vsize=15552588 memory=4171428 CPUtime=572.78 cores=1,3,5,7
/proc/5595/task/5634/stat : 5634 (java) R 5593 5593 32513 0 -1 4202560 1546 0 0 0 57277 1 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095261659536 140095416555553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5635] ppid=5593 vsize=15552588 memory=4171428 CPUtime=572.12 cores=1,3,5,7
/proc/5595/task/5635/stat : 5635 (java) R 5593 5593 32513 0 -1 4202560 4689 0 0 0 57208 4 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095267969280 140095416602095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
Current children cumulated CPU time: 2310.57 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 4171340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.802 s]
/proc/loadavg: 9.07 8.80 8.56 10/237 5896
/proc/meminfo: memFree=25316448/32770624 swapFree=66997372/67108860
[pid=5593] ppid=5590 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5593/stat : 5593 (xcsp3-exec) S 5590 5593 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443915783 115843072 362 33554432000 4194304 5098028 140725417155984 140725417154088 139661916811900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37523456 140725417161594 140725417161837 140725417161837 140725417164746 0
/proc/5593/statm: 28282 362 304 221 0 87 0
[pid=5595] ppid=5593 vsize=15552588 memory=4169892 CPUtime=2400.14 cores=1,3,5,7
/proc/5595/stat : 5595 (java) S 5593 5593 32513 0 -1 1077944320 108487 0 0 0 239888 126 0 0 20 0 19 0 443915784 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140720784458672 140095818219255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
/proc/5595/statm: 3888147 1042473 3531 1 0 3849247 0
[pid=5595/tid=5596] ppid=5593 vsize=15552588 memory=776 CPUtime=4.56 cores=1,3,5,7
/proc/5595/task/5596/stat : 5596 (java) S 5593 5593 32513 0 -1 1077944384 11127 0 0 0 442 14 0 0 20 0 19 0 443915784 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095822460032 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5597] ppid=5593 vsize=15552588 memory=3992 CPUtime=0.42 cores=1,3,5,7
/proc/5595/task/5597/stat : 5597 (java) S 5593 5593 32513 0 -1 1077944384 1576 0 0 0 32 10 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095729875728 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5598] ppid=5593 vsize=15552588 memory=4169892 CPUtime=0.46 cores=1,3,5,7
/proc/5595/task/5598/stat : 5598 (java) S 5593 5593 32513 0 -1 1077944384 1047 0 0 0 34 12 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095728823184 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5599] ppid=5593 vsize=15552588 memory=1448 CPUtime=0.41 cores=1,3,5,7
/proc/5595/task/5599/stat : 5599 (java) S 5593 5593 32513 0 -1 1077944384 4112 0 0 0 30 11 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095727770640 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5600] ppid=5593 vsize=15552588 memory=4169892 CPUtime=0.44 cores=1,3,5,7
/proc/5595/task/5600/stat : 5600 (java) S 5593 5593 32513 0 -1 1077944384 1738 0 0 0 33 11 0 0 20 0 19 0 443915785 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095407516816 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5601] ppid=5593 vsize=15552588 memory=1412 CPUtime=0.04 cores=1,3,5,7
/proc/5595/task/5601/stat : 5601 (java) S 5593 5593 32513 0 -1 1077944384 4102 0 0 0 3 1 0 0 20 0 19 0 443915786 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095286421488 140095818230402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5602] ppid=5593 vsize=15552588 memory=3416 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5602/stat : 5602 (java) S 5593 5593 32513 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 443915786 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095285367776 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5603] ppid=5593 vsize=15552588 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5603/stat : 5603 (java) S 5593 5593 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443915787 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095284315136 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5604] ppid=5593 vsize=15552588 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5604/stat : 5604 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095283263696 140095818237851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5605] ppid=5593 vsize=15552588 memory=1808 CPUtime=5.67 cores=1,3,5,7
/proc/5595/task/5605/stat : 5605 (java) S 5593 5593 32513 0 -1 1077944384 18367 0 0 0 564 3 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095282211312 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5606] ppid=5593 vsize=15552588 memory=920 CPUtime=5.5 cores=1,3,5,7
/proc/5595/task/5606/stat : 5606 (java) S 5593 5593 32513 0 -1 1077944384 18199 0 0 0 548 2 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095281158768 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5607] ppid=5593 vsize=15552588 memory=3848 CPUtime=0.97 cores=1,3,5,7
/proc/5595/task/5607/stat : 5607 (java) S 5593 5593 32513 0 -1 1077944384 11221 0 0 0 95 2 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095280106224 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5608] ppid=5593 vsize=15552588 memory=8881 CPUtime=0 cores=1,3,5,7
/proc/5595/task/5608/stat : 5608 (java) S 5593 5593 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443915789 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095279053920 140095818229461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5609] ppid=5593 vsize=15552588 memory=4420 CPUtime=0.21 cores=1,3,5,7
/proc/5595/task/5609/stat : 5609 (java) S 5593 5593 32513 0 -1 1077944384 1001 0 0 0 0 21 0 0 20 0 19 0 443915790 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095278000432 140095818230402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5632] ppid=5593 vsize=15552588 memory=6628 CPUtime=591.31 cores=1,3,5,7
/proc/5595/task/5632/stat : 5632 (java) R 5593 5593 32513 0 -1 4202560 1655 0 0 0 59130 1 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095266917880 140095417100084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5633] ppid=5593 vsize=15552588 memory=8836 CPUtime=593.49 cores=1,3,5,7
/proc/5595/task/5633/stat : 5633 (java) R 5593 5593 32513 0 -1 4202560 25997 0 0 0 59302 47 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095269024552 140095417119025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5634] ppid=5593 vsize=15552588 memory=0 CPUtime=595.26 cores=1,3,5,7
/proc/5595/task/5634/stat : 5634 (java) R 5593 5593 32513 0 -1 4202560 1576 0 0 0 59525 1 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095261663600 140095411109703 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
[pid=5595/tid=5635] ppid=5593 vsize=15552588 memory=0 CPUtime=594.62 cores=1,3,5,7
/proc/5595/task/5635/stat : 5635 (java) R 5593 5593 32513 0 -1 4202560 4806 0 0 0 59458 4 0 0 20 0 19 0 443916541 15925850112 1042473 33554432000 4194304 4196468 140720784476128 140095267969280 140095416602095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26963968 140720784483311 140720784483482 140720784483482 140720784486351 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 4171340 KiB

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

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

[startup+604.903 s]
# the end of solver process 5595 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.21 s, system=1.2895 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): 604.903
CPU time (s): 2400.5
CPU user time (s): 2399.21
CPU system time (s): 1.2895
CPU usage (%): 396.84
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 4172876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.21
system time used= 1.2895
maximum resident set size= 4173120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16505
involuntary context switches= 29719


# summary of solver processes directly reported to runsolver:
#   pid: 5593,5595
#   total CPU time (s): 2400.5
#   total CPU user time (s): 2399.21
#   total CPU system time (s): 1.2895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96178 second user time and 6.9066 second system time

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

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
