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-20	OPT	6	13.0573	4.02851
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 (4824 MiB free)
  memory of node 1: 16384 MiB (5561 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403930-1568989994/watcher-4403930-1568989994 -o /var/tmp/evaluation-result-4403930-1568989994/solver-4403930-1568989994 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5359 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 113612585 HOME/instance-4403930-1568989994.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=5515, runsolver pid=5512

[startup+0.102311 s]*
/proc/loadavg: 1.26 1.23 1.43 6/234 5531
/proc/meminfo: memFree=10617796/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0
[pid=5517] ppid=5515 vsize=15144776 memory=30292 CPUtime=0.14 cores=1,3,5,7
/proc/5517/stat : 5517 (java) S 5515 5515 5327 0 -1 1077944320 5482 0 0 0 12 2 0 0 20 0 15 0 474941211 15508250624 7573 33554432000 4194304 4196468 140728115081408 140728115063952 139833910714103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
/proc/5517/statm: 3786194 7573 3185 1 0 3748377 0
[pid=5517/tid=5518] ppid=5515 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=1,3,5,7
/proc/5517/task/5518/stat : 5518 (java) R 5515 5515 5327 0 -1 4202560 3368 0 0 0 8 1 0 0 20 0 15 0 474941211 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833914941264 139833894757733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5519] ppid=5515 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5519/stat : 5519 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833869474320 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5520] ppid=5515 vsize=15144776 memory=140712602576512 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5520/stat : 5520 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833501624976 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5521] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5521/stat : 5521 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833500571920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5522] ppid=5515 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5522/stat : 5522 (java) S 5515 5515 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833499519376 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5523] ppid=5515 vsize=15144776 memory=140712602576512 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5523/stat : 5523 (java) S 5515 5515 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941213 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833378818800 139833910725250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5524] ppid=5515 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5524/stat : 5524 (java) S 5515 5515 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941214 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833377765024 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5525] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5525/stat : 5525 (java) S 5515 5515 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941214 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833376711920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5526] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5526/stat : 5526 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941216 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833375660496 139833910732699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5527] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5527/stat : 5527 (java) R 5515 5515 5327 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 474941216 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833374607600 139833910725250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5528] ppid=5515 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5528/stat : 5528 (java) R 5515 5515 5327 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 15 0 474941216 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833373555056 139833902951230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5529] ppid=5515 vsize=15144776 memory=140712602576512 CPUtime=0.02 cores=1,3,5,7
/proc/5517/task/5529/stat : 5529 (java) R 5515 5515 5327 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 474941216 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833372502000 139833889671201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5530] ppid=5515 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5530/stat : 5530 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941217 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833371449696 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5531] ppid=5515 vsize=15144776 memory=140712602576512 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5531/stat : 5531 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941217 15508250624 7573 33554432000 4194304 4196468 140728115081408 139833370397744 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31744 KiB

[startup+0.21238 s]*
/proc/loadavg: 1.26 1.23 1.43 6/234 5531
/proc/meminfo: memFree=10604716/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0
[pid=5517] ppid=5515 vsize=15144776 memory=41596 CPUtime=0.35 cores=1,3,5,7
/proc/5517/stat : 5517 (java) S 5515 5515 5327 0 -1 1077944320 9049 0 0 0 32 3 0 0 20 0 15 0 474941211 15508250624 10399 33554432000 4194304 4196468 140728115081408 140728115063952 139833910714103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
/proc/5517/statm: 3786194 10399 3319 1 0 3748377 0
[pid=5517/tid=5518] ppid=5515 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5517/task/5518/stat : 5518 (java) R 5515 5515 5327 0 -1 4202560 6198 0 0 0 18 2 0 0 20 0 15 0 474941211 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833914949088 139833910726038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5519] ppid=5515 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5519/stat : 5519 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833869474320 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5520] ppid=5515 vsize=15144776 memory=140712605919378 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5520/stat : 5520 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833501624976 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5521] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5521/stat : 5521 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833500571920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5522] ppid=5515 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5522/stat : 5522 (java) S 5515 5515 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941212 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833499519376 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5523] ppid=5515 vsize=15144776 memory=140712602576512 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5523/stat : 5523 (java) S 5515 5515 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474941213 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833378818800 139833910725250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5524] ppid=5515 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5524/stat : 5524 (java) S 5515 5515 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941214 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833377765024 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5525] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5525/stat : 5525 (java) S 5515 5515 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941214 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833376711920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5526] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5526/stat : 5526 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941216 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833375660496 139833910732699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5527] ppid=5515 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5517/task/5527/stat : 5527 (java) S 5515 5515 5327 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 474941216 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833374607600 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5528] ppid=5515 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5517/task/5528/stat : 5528 (java) S 5515 5515 5327 0 -1 1077944384 402 0 0 0 3 0 0 0 20 0 15 0 474941216 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833373555056 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5529] ppid=5515 vsize=15144776 memory=140712602576512 CPUtime=0.08 cores=1,3,5,7
/proc/5517/task/5529/stat : 5529 (java) R 5515 5515 5327 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 15 0 474941216 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833372502000 139833910735450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5530] ppid=5515 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5530/stat : 5530 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941217 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833371449696 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5531] ppid=5515 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5531/stat : 5531 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941217 15508250624 10399 33554432000 4194304 4196468 140728115081408 139833370397744 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43048 KiB

[startup+0.310592 s]*
/proc/loadavg: 1.26 1.23 1.43 6/234 5531
/proc/meminfo: memFree=10597808/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0
[pid=5517] ppid=5515 vsize=15149032 memory=49612 CPUtime=0.53 cores=1,3,5,7
/proc/5517/stat : 5517 (java) S 5515 5515 5327 0 -1 1077944320 10235 0 0 0 48 5 0 0 20 0 15 0 474941211 15512608768 12403 33554432000 4194304 4196468 140728115081408 140728115063952 139833910714103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
/proc/5517/statm: 3787258 12403 3354 1 0 3748377 0
[pid=5517/tid=5518] ppid=5515 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/5517/task/5518/stat : 5518 (java) R 5515 5515 5327 0 -1 4202560 7339 0 0 0 26 3 0 0 20 0 15 0 474941211 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833914945216 139833894794590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5519] ppid=5515 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5519/stat : 5519 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833869474320 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5520] ppid=5515 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5520/stat : 5520 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833501624976 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5521] ppid=5515 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5521/stat : 5521 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833500571920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5522] ppid=5515 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5522/stat : 5522 (java) S 5515 5515 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941212 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833499519376 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5523] ppid=5515 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5523/stat : 5523 (java) S 5515 5515 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474941213 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833378818800 139833910725250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5524] ppid=5515 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5524/stat : 5524 (java) S 5515 5515 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941214 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833377765024 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5525] ppid=5515 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5525/stat : 5525 (java) S 5515 5515 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941214 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833376711920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5526] ppid=5515 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5526/stat : 5526 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941216 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833375660496 139833910732699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5527] ppid=5515 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=1,3,5,7
/proc/5517/task/5527/stat : 5527 (java) S 5515 5515 5327 0 -1 1077944384 403 0 0 0 3 0 0 0 20 0 15 0 474941216 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833374607600 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5528] ppid=5515 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5517/task/5528/stat : 5528 (java) S 5515 5515 5327 0 -1 1077944384 411 0 0 0 4 0 0 0 20 0 15 0 474941216 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833373555056 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5529] ppid=5515 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/5517/task/5529/stat : 5529 (java) S 5515 5515 5327 0 -1 1077944384 791 0 0 0 13 0 0 0 20 0 15 0 474941216 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833372502000 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5530] ppid=5515 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5530/stat : 5530 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941217 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833371449696 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5531] ppid=5515 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5531/stat : 5531 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941217 15512608768 12473 33554432000 4194304 4196468 140728115081408 139833370397744 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51064 KiB

[startup+0.705459 s]
/proc/loadavg: 1.26 1.23 1.43 8/234 5531
/proc/meminfo: memFree=10577848/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0
[pid=5517] ppid=5515 vsize=15151156 memory=105416 CPUtime=1.75 cores=1,3,5,7
/proc/5517/stat : 5517 (java) S 5515 5515 5327 0 -1 1077944320 13418 0 0 0 169 6 0 0 20 0 15 0 474941211 15514783744 26354 33554432000 4194304 4196468 140728115081408 140728115063952 139833910714103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
/proc/5517/statm: 3787789 26354 3447 1 0 3748889 0
[pid=5517/tid=5518] ppid=5515 vsize=15151156 memory=1791739561217 CPUtime=0.67 cores=1,3,5,7
/proc/5517/task/5518/stat : 5518 (java) R 5515 5515 5327 0 -1 4202560 7944 0 0 0 63 4 0 0 20 0 15 0 474941211 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833914947072 139833546663104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5519] ppid=5515 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5519/stat : 5519 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833869474320 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5520] ppid=5515 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5520/stat : 5520 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833501624976 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5521] ppid=5515 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5521/stat : 5521 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941212 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833500571920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5522] ppid=5515 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5522/stat : 5522 (java) S 5515 5515 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941212 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833499519376 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5523] ppid=5515 vsize=15151156 memory=43040 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5523/stat : 5523 (java) S 5515 5515 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474941213 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833378818800 139833910725250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5524] ppid=5515 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5524/stat : 5524 (java) S 5515 5515 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941214 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833377765024 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5525] ppid=5515 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5525/stat : 5525 (java) S 5515 5515 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941214 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833376711920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5526] ppid=5515 vsize=15151156 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5526/stat : 5526 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941216 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833375660496 139833910732699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5527] ppid=5515 vsize=15151156 memory=11624 CPUtime=0.36 cores=1,3,5,7
/proc/5517/task/5527/stat : 5527 (java) R 5515 5515 5327 0 -1 4202560 1372 0 0 0 36 0 0 0 20 0 15 0 474941216 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833374593680 139833894098918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5528] ppid=5515 vsize=15151156 memory=740 CPUtime=0.35 cores=1,3,5,7
/proc/5517/task/5528/stat : 5528 (java) R 5515 5515 5327 0 -1 1077944384 1185 0 0 0 35 0 0 0 20 0 15 0 474941216 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833373542688 139833910724309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5529] ppid=5515 vsize=15151156 memory=1056 CPUtime=0.32 cores=1,3,5,7
/proc/5517/task/5529/stat : 5529 (java) R 5515 5515 5327 0 -1 4202560 1610 0 0 0 32 0 0 0 20 0 15 0 474941216 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833372502000 139833894757733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5530] ppid=5515 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5530/stat : 5530 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941217 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833371449696 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5531] ppid=5515 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5531/stat : 5531 (java) S 5515 5515 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941217 15514783744 26354 33554432000 4194304 4196468 140728115081408 139833370397744 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106868 KiB

[startup+1.50082 s]
/proc/loadavg: 1.26 1.23 1.43 8/234 5531
/proc/meminfo: memFree=10503636/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0

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

/proc/5517/task/5531/stat : 5531 (java) S 5515 5515 5327 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 474941217 15790579712 69631 33554432000 4194304 4196468 140728115081408 139833370397744 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5552] ppid=5515 vsize=15420488 memory=-7522837583095740291 CPUtime=0.11 cores=1,3,5,7
/proc/5517/task/5552/stat : 5552 (java) R 5515 5515 5327 0 -1 4202560 17 0 0 0 11 0 0 0 20 0 19 0 474941510 15790579712 69631 33554432000 4194304 4196468 140728115081408 139833359310216 139833554503870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5553] ppid=5515 vsize=15420488 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5517/task/5553/stat : 5553 (java) R 5515 5515 5327 0 -1 4202560 27 0 0 0 11 0 0 0 20 0 19 0 474941510 15790579712 69631 33554432000 4194304 4196468 140728115081408 139833360362832 139833555188355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5554] ppid=5515 vsize=15420488 memory=11201814732848 CPUtime=0.02 cores=1,3,5,7
/proc/5517/task/5554/stat : 5554 (java) R 5515 5515 5327 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 474941510 15790579712 69631 33554432000 4194304 4196468 140728115081408 139833355115336 139833546821888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5555] ppid=5515 vsize=15420488 memory=288230574492221466 CPUtime=0.03 cores=1,3,5,7
/proc/5517/task/5555/stat : 5555 (java) R 5515 5515 5327 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 474941510 15790579712 69631 33554432000 4194304 4196468 140728115081408 139833361418504 139833553820080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 9.47 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 277928 KiB

[startup+4.02846 s]
# the end of solver process 5515 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.8631 s, system=0.19417 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20105 s]
/proc/loadavg: 1.88 1.36 1.47 13/238 5555
/proc/meminfo: memFree=10382048/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0
[pid=5517] ppid=5515 vsize=15420488 memory=286784 CPUtime=9.83 cores=1,3,5,7
/proc/5517/stat : 5517 (java) S 5515 5515 5327 0 -1 1077944320 28832 0 0 0 968 15 0 0 20 0 19 0 474941211 15790579712 71696 33554432000 4194304 4196468 140728115081408 140728115063952 139833910714103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
/proc/5517/statm: 3855122 71696 3524 1 0 3816222 0
[pid=5517/tid=5518] ppid=5515 vsize=15420488 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/5517/task/5518/stat : 5518 (java) S 5515 5515 5327 0 -1 1077944384 10341 0 0 0 203 7 0 0 20 0 19 0 474941211 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833914954880 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5519] ppid=5515 vsize=15420488 memory=6944656592455097440 CPUtime=0.05 cores=1,3,5,7
/proc/5517/task/5519/stat : 5519 (java) S 5515 5515 5327 0 -1 1077944384 109 0 0 0 4 1 0 0 20 0 19 0 474941212 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833869474320 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5520] ppid=5515 vsize=15420488 memory=6656426216303648864 CPUtime=0.05 cores=1,3,5,7
/proc/5517/task/5520/stat : 5520 (java) S 5515 5515 5327 0 -1 1077944384 472 0 0 0 4 1 0 0 20 0 19 0 474941212 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833501624976 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5521] ppid=5515 vsize=15420488 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5517/task/5521/stat : 5521 (java) S 5515 5515 5327 0 -1 1077944384 118 0 0 0 4 0 0 0 20 0 19 0 474941212 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833500571920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5522] ppid=5515 vsize=15420488 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5517/task/5522/stat : 5522 (java) S 5515 5515 5327 0 -1 1077944384 235 0 0 0 3 1 0 0 20 0 19 0 474941212 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833499519376 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5523] ppid=5515 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5517/task/5523/stat : 5523 (java) S 5515 5515 5327 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 19 0 474941213 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833378818800 139833910725250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5524] ppid=5515 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5524/stat : 5524 (java) S 5515 5515 5327 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474941214 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833377765088 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5525] ppid=5515 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5525/stat : 5525 (java) S 5515 5515 5327 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 474941214 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833376711936 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5526] ppid=5515 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5526/stat : 5526 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941216 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833375660496 139833910732699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5527] ppid=5515 vsize=15420488 memory=0 CPUtime=2.35 cores=1,3,5,7
/proc/5517/task/5527/stat : 5527 (java) R 5515 5515 5327 0 -1 4202560 5641 0 0 0 235 0 0 0 20 0 19 0 474941216 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833374586128 139833894245568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5528] ppid=5515 vsize=15420488 memory=0 CPUtime=2.46 cores=1,3,5,7
/proc/5517/task/5528/stat : 5528 (java) R 5515 5515 5327 0 -1 4202560 5889 0 0 0 246 0 0 0 20 0 19 0 474941216 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833373548248 139833895107856 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5529] ppid=5515 vsize=15420488 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/5517/task/5529/stat : 5529 (java) S 5515 5515 5327 0 -1 1077944384 3695 0 0 0 76 1 0 0 20 0 19 0 474941216 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833372502000 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5530] ppid=5515 vsize=15420488 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5530/stat : 5530 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941217 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833371449696 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5531] ppid=5515 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5531/stat : 5531 (java) S 5515 5515 5327 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 474941217 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833370397744 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5552] ppid=5515 vsize=15420488 memory=4420 CPUtime=0.2 cores=1,3,5,7
/proc/5517/task/5552/stat : 5552 (java) R 5515 5515 5327 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 19 0 474941510 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833359310152 139833554284911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5553] ppid=5515 vsize=15420488 memory=6628 CPUtime=0.15 cores=1,3,5,7
/proc/5517/task/5553/stat : 5553 (java) R 5515 5515 5327 0 -1 4202560 29 0 0 0 15 0 0 0 20 0 19 0 474941510 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833360365176 139833554285081 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5554] ppid=5515 vsize=15420488 memory=8836 CPUtime=0.06 cores=1,3,5,7
/proc/5517/task/5554/stat : 5554 (java) R 5515 5515 5327 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 474941510 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833355115336 139833551104112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5555] ppid=5515 vsize=15420488 memory=11044 CPUtime=0.1 cores=1,3,5,7
/proc/5517/task/5555/stat : 5555 (java) R 5515 5515 5327 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 474941510 15790579712 71696 33554432000 4194304 4196468 140728115081408 139833361418536 139833553820559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 288236 KiB

[startup+3.60175 s]
/proc/loadavg: 1.88 1.36 1.47 13/238 5555
/proc/meminfo: memFree=10382048/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0
[pid=5517] ppid=5515 vsize=15420488 memory=337660 CPUtime=11.43 cores=1,3,5,7
/proc/5517/stat : 5517 (java) S 5515 5515 5327 0 -1 1077944320 29302 0 0 0 1127 16 0 0 20 0 19 0 474941211 15790579712 84415 33554432000 4194304 4196468 140728115081408 140728115063952 139833910714103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
/proc/5517/statm: 3855122 84415 3525 1 0 3816222 0
[pid=5517/tid=5518] ppid=5515 vsize=15420488 memory=1984 CPUtime=2.1 cores=1,3,5,7
/proc/5517/task/5518/stat : 5518 (java) S 5515 5515 5327 0 -1 1077944384 10341 0 0 0 203 7 0 0 20 0 19 0 474941211 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833914954880 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5519] ppid=5515 vsize=15420488 memory=2424 CPUtime=0.05 cores=1,3,5,7
/proc/5517/task/5519/stat : 5519 (java) S 5515 5515 5327 0 -1 1077944384 109 0 0 0 4 1 0 0 20 0 19 0 474941212 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833869474320 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5520] ppid=5515 vsize=15420488 memory=1764 CPUtime=0.05 cores=1,3,5,7
/proc/5517/task/5520/stat : 5520 (java) S 5515 5515 5327 0 -1 1077944384 472 0 0 0 4 1 0 0 20 0 19 0 474941212 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833501624976 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5521] ppid=5515 vsize=15420488 memory=111636 CPUtime=0.04 cores=1,3,5,7
/proc/5517/task/5521/stat : 5521 (java) S 5515 5515 5327 0 -1 1077944384 118 0 0 0 4 0 0 0 20 0 19 0 474941212 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833500571920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5522] ppid=5515 vsize=15420488 memory=804 CPUtime=0.04 cores=1,3,5,7
/proc/5517/task/5522/stat : 5522 (java) S 5515 5515 5327 0 -1 1077944384 235 0 0 0 3 1 0 0 20 0 19 0 474941212 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833499519376 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5523] ppid=5515 vsize=15420488 memory=4100 CPUtime=0.01 cores=1,3,5,7
/proc/5517/task/5523/stat : 5523 (java) S 5515 5515 5327 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 19 0 474941213 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833378818800 139833910725250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5524] ppid=5515 vsize=15420488 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5524/stat : 5524 (java) S 5515 5515 5327 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474941214 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833377765088 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5525] ppid=5515 vsize=15420488 memory=924 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5525/stat : 5525 (java) S 5515 5515 5327 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 474941214 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833376711936 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5526] ppid=5515 vsize=15420488 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5526/stat : 5526 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941216 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833375660496 139833910732699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5527] ppid=5515 vsize=15420488 memory=2304 CPUtime=2.55 cores=1,3,5,7
/proc/5517/task/5527/stat : 5527 (java) R 5515 5515 5327 0 -1 4202560 5772 0 0 0 255 0 0 0 20 0 19 0 474941216 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833374603968 139833895106080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5528] ppid=5515 vsize=15420488 memory=2596 CPUtime=2.66 cores=1,3,5,7
/proc/5517/task/5528/stat : 5528 (java) R 5515 5515 5327 0 -1 4202560 6168 0 0 0 266 0 0 0 20 0 19 0 474941216 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833373541080 139833895102144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5529] ppid=5515 vsize=15420488 memory=1412 CPUtime=0.8 cores=1,3,5,7
/proc/5517/task/5529/stat : 5529 (java) S 5515 5515 5327 0 -1 1077944384 3729 0 0 0 79 1 0 0 20 0 19 0 474941216 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833372502000 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5530] ppid=5515 vsize=15420488 memory=2680 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5530/stat : 5530 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941217 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833371449696 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5531] ppid=5515 vsize=15420488 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5531/stat : 5531 (java) S 5515 5515 5327 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 474941217 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833370397744 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5552] ppid=5515 vsize=15420488 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/5517/task/5552/stat : 5552 (java) R 5515 5515 5327 0 -1 4202560 17 0 0 0 58 0 0 0 20 0 19 0 474941510 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833359309416 139833892120321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5553] ppid=5515 vsize=15420488 memory=2241 CPUtime=0.35 cores=1,3,5,7
/proc/5517/task/5553/stat : 5553 (java) R 5515 5515 5327 0 -1 4202560 44 0 0 0 35 0 0 0 20 0 19 0 474941510 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833360365128 139833555287670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5554] ppid=5515 vsize=15420488 memory=281424914487840 CPUtime=0.26 cores=1,3,5,7
/proc/5517/task/5554/stat : 5554 (java) R 5515 5515 5327 0 -1 4202560 32 0 0 0 26 0 0 0 20 0 19 0 474941510 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833355107928 139833554384401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5555] ppid=5515 vsize=15420488 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/5517/task/5555/stat : 5555 (java) R 5515 5515 5327 0 -1 4202560 21 0 0 0 50 0 0 0 20 0 19 0 474941510 15790579712 84415 33554432000 4194304 4196468 140728115081408 139833361416064 139833553820108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 11.43 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 339112 KiB

[startup+4.00436 s]*
/proc/loadavg: 1.88 1.36 1.47 8/238 5555
/proc/meminfo: memFree=10259124/32770624 swapFree=66972236/67108860
[pid=5515] ppid=5512 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (xcsp3-exec) S 5512 5515 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474941211 115843072 363 33554432000 4194304 5098028 140734983050320 140734983048424 140019769651836 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17653760 140734983058263 140734983058521 140734983058521 140734983061446 0
/proc/5515/statm: 28282 363 304 221 0 87 0
[pid=5517] ppid=5515 vsize=15420488 memory=387740 CPUtime=13.04 cores=1,3,5,7
/proc/5517/stat : 5517 (java) S 5515 5515 5327 0 -1 1077944320 31147 0 0 0 1286 18 0 0 20 0 15 0 474941211 15790579712 96935 33554432000 4194304 4196468 140728115081408 140728115063952 139833910714103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
/proc/5517/statm: 3855122 96935 3526 1 0 3816222 0
[pid=5517/tid=5518] ppid=5515 vsize=15420488 memory=590024538871365763 CPUtime=2.1 cores=1,3,5,7
/proc/5517/task/5518/stat : 5518 (java) S 5515 5515 5327 0 -1 1077944384 10347 0 0 0 203 7 0 0 20 0 15 0 474941211 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833914956944 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5519] ppid=5515 vsize=15420488 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5517/task/5519/stat : 5519 (java) S 5515 5515 5327 0 -1 1077944384 118 0 0 0 5 1 0 0 20 0 15 0 474941212 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833869474320 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5520] ppid=5515 vsize=15420488 memory=140712602585458 CPUtime=0.07 cores=1,3,5,7
/proc/5517/task/5520/stat : 5520 (java) S 5515 5515 5327 0 -1 1077944384 493 0 0 0 6 1 0 0 20 0 15 0 474941212 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833501624976 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5521] ppid=5515 vsize=15420488 memory=6944656592455360604 CPUtime=0.06 cores=1,3,5,7
/proc/5517/task/5521/stat : 5521 (java) S 5515 5515 5327 0 -1 1077944384 132 0 0 0 5 1 0 0 20 0 15 0 474941212 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833500571920 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5522] ppid=5515 vsize=15420488 memory=6944656575208382560 CPUtime=0.04 cores=1,3,5,7
/proc/5517/task/5522/stat : 5522 (java) S 5515 5515 5327 0 -1 1077944384 238 0 0 0 3 1 0 0 20 0 15 0 474941212 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833499519376 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5523] ppid=5515 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5517/task/5523/stat : 5523 (java) S 5515 5515 5327 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 15 0 474941213 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833378819008 139833910725250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5524] ppid=5515 vsize=15420488 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5524/stat : 5524 (java) S 5515 5515 5327 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 474941214 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833377765088 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5525] ppid=5515 vsize=15420488 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5525/stat : 5525 (java) S 5515 5515 5327 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 474941214 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833376711936 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5527] ppid=5515 vsize=15420488 memory=6944656592455359580 CPUtime=2.86 cores=1,3,5,7
/proc/5517/task/5527/stat : 5527 (java) S 5515 5515 5327 0 -1 1077944384 7007 0 0 0 286 0 0 0 20 0 15 0 474941216 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833374592560 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5528] ppid=5515 vsize=15420488 memory=0 CPUtime=2.94 cores=1,3,5,7
/proc/5517/task/5528/stat : 5528 (java) S 5515 5515 5327 0 -1 1077944384 6518 0 0 0 294 0 0 0 20 0 15 0 474941216 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833373535296 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5529] ppid=5515 vsize=15420488 memory=16537 CPUtime=0.81 cores=1,3,5,7
/proc/5517/task/5529/stat : 5529 (java) S 5515 5515 5327 0 -1 1077944384 3735 0 0 0 80 1 0 0 20 0 15 0 474941216 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833372502000 139833910725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5530] ppid=5515 vsize=15420488 memory=140712602576512 CPUtime=0 cores=1,3,5,7
/proc/5517/task/5530/stat : 5530 (java) S 5515 5515 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941217 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833371449696 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5553] ppid=5515 vsize=15420488 memory=-1 CPUtime=0.51 cores=1,3,5,7
/proc/5517/task/5553/stat : 5553 (java) S 5515 5515 5327 0 -1 1077944384 52 0 0 0 51 0 0 0 20 0 15 0 474941510 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833360367856 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
[pid=5517/tid=5554] ppid=5515 vsize=15420488 memory=6944656575208382560 CPUtime=0.49 cores=1,3,5,7
/proc/5517/task/5554/stat : 5554 (java) S 5515 5515 5327 0 -1 1077944384 40 0 0 0 49 0 0 0 20 0 15 0 474941510 15790579712 96935 33554432000 4194304 4196468 140728115081408 139833355112816 139833910724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140728115086299 140728115086474 140728115086474 140728115089359 0
Current children cumulated CPU time: 13.04 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 389192 KiB

Child status: 0
Real time (s): 4.02851
CPU time (s): 13.0573
CPU user time (s): 12.8631
CPU system time (s): 0.19417
CPU usage (%): 324.123
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 389192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8631
system time used= 0.19417
maximum resident set size= 388772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2533
involuntary context switches= 376


# summary of solver processes directly reported to runsolver:
#   pid: 5515
#   total CPU time (s): 13.0573
#   total CPU user time (s): 12.8631
#   total CPU system time (s): 0.19417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058122 second user time and 0.080831 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	1.16899
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4403930

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
