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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	SAT (TO)	33	1965.63	252.116
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 (12254 MiB free)
  memory of node 1: 16384 MiB (12589 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407481-1569346551/watcher-4407481-1569346551 -o /tmp/evaluation-result-4407481-1569346551/solver-4407481-1569346551 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1515817887 HOME/instance-4407481-1569346551.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26544, runsolver pid=26541
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 8.38 8.29 8.20 3/211 26565
/proc/meminfo: memFree=25424040/32770624 swapFree=66975640/67108860
[pid=26544] ppid=26541 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26544/stat : 26544 (xcsp3-exec) S 26541 26544 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510921892 115843072 363 33554432000 4194304 5098028 140722086467520 140722086465624 140107044889212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26750976 140722086470523 140722086470766 140722086470766 140722086473674 0
/proc/26544/statm: 28282 363 304 221 0 87 0
[pid=26546] ppid=26544 vsize=28227396 memory=28932 CPUtime=0.12 cores=0-7
/proc/26546/stat : 26546 (java) S 26544 26544 24466 0 -1 1077944320 5698 0 0 0 11 1 0 0 20 0 20 0 510921893 28904853504 7233 33554432000 4194304 4196468 140725493766848 140725493749392 140074103836407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
/proc/26546/statm: 7056849 7233 3117 1 0 7019032 0
[pid=26546/tid=26547] ppid=26544 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/26546/task/26547/stat : 26547 (java) R 26544 26544 24466 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 510921893 28904853504 7233 33554432000 4194304 4196468 140725493766848 140074108062544 140074087880037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26548] ppid=26544 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26546/task/26548/stat : 26548 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140074056457104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26549] ppid=26544 vsize=28227396 memory=140629525317248 CPUtime=0 cores=0-7
/proc/26546/task/26549/stat : 26549 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140074055404304 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26550] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26550/stat : 26550 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140074054352016 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26551] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26551/stat : 26551 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140074053299216 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26552] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26552/stat : 26552 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140074052245904 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26553] ppid=26544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26546/task/26553/stat : 26553 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140074051193104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26554] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26554/stat : 26554 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073649429136 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26555] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26555/stat : 26555 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073648376336 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26556] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26556/stat : 26556 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921895 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073488632432 140074103847554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26557] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26557/stat : 26557 (java) S 26544 26544 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510921896 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073487578400 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26558] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26558/stat : 26558 (java) S 26544 26544 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510921896 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073486526064 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26559] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26559/stat : 26559 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921898 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073485474384 140074103855003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26560] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26560/stat : 26560 (java) S 26544 26544 24466 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 510921898 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073484421232 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26561] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26561/stat : 26561 (java) R 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921898 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073483368432 140074103847554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26562] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26562/stat : 26562 (java) S 26544 26544 24466 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510921898 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073482316144 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26563] ppid=26544 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/26546/task/26563/stat : 26563 (java) R 26544 26544 24466 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 510921898 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073481263344 140074103848342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26564] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26564/stat : 26564 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921899 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073480211296 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26565] ppid=26544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26546/task/26565/stat : 26565 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921899 28904853504 7233 33554432000 4194304 4196468 140725493766848 140073479158576 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30384 KiB

[startup+0.210614 s]*
/proc/loadavg: 8.38 8.29 8.20 2/211 26565
/proc/meminfo: memFree=25410280/32770624 swapFree=66975640/67108860
[pid=26544] ppid=26541 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26544/stat : 26544 (xcsp3-exec) S 26541 26544 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510921892 115843072 363 33554432000 4194304 5098028 140722086467520 140722086465624 140107044889212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26750976 140722086470523 140722086470766 140722086470766 140722086473674 0
/proc/26544/statm: 28282 363 304 221 0 87 0
[pid=26546] ppid=26544 vsize=28227396 memory=40792 CPUtime=0.34 cores=0-7
/proc/26546/stat : 26546 (java) S 26544 26544 24466 0 -1 1077944320 9485 0 0 0 31 3 0 0 20 0 20 0 510921893 28904853504 10198 33554432000 4194304 4196468 140725493766848 140725493749392 140074103836407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
/proc/26546/statm: 7056849 10198 3271 1 0 7019032 0
[pid=26546/tid=26547] ppid=26544 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26546/task/26547/stat : 26547 (java) R 26544 26544 24466 0 -1 4202560 6644 0 0 0 17 2 0 0 20 0 20 0 510921893 28904853504 10198 33554432000 4194304 4196468 140725493766848 140074108066960 140074103848342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26548] ppid=26544 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/26546/task/26548/stat : 26548 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140074056457104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26549] ppid=26544 vsize=28227396 memory=3906507755097867936 CPUtime=0 cores=0-7
/proc/26546/task/26549/stat : 26549 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140074055404304 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26550] ppid=26544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26546/task/26550/stat : 26550 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140074054352016 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26551] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26551/stat : 26551 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140074053299216 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26552] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26552/stat : 26552 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140074052245904 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26553] ppid=26544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26546/task/26553/stat : 26553 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140074051193104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26554] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26554/stat : 26554 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073649429136 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26555] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26555/stat : 26555 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073648376336 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26556] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26556/stat : 26556 (java) S 26544 26544 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510921895 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073488632432 140074103847554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26557] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26557/stat : 26557 (java) S 26544 26544 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510921896 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073487578400 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26558] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26558/stat : 26558 (java) S 26544 26544 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510921896 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073486526064 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26559] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26559/stat : 26559 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921898 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073485474384 140074103855003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26560] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26560/stat : 26560 (java) S 26544 26544 24466 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510921898 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073484421232 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26561] ppid=26544 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26546/task/26561/stat : 26561 (java) S 26544 26544 24466 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 510921898 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073483368432 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26562] ppid=26544 vsize=28227396 memory=-1 CPUtime=0.03 cores=0-7
/proc/26546/task/26562/stat : 26562 (java) S 26544 26544 24466 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 20 0 510921898 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073482316144 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26563] ppid=26544 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/26546/task/26563/stat : 26563 (java) R 26544 26544 24466 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 20 0 510921898 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073481263152 140074082819547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26564] ppid=26544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26564/stat : 26564 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921899 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073480211296 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26565] ppid=26544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26546/task/26565/stat : 26565 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921899 28904853504 10198 33554432000 4194304 4196468 140725493766848 140073479158576 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42244 KiB

[startup+0.310363 s]*
/proc/loadavg: 8.38 8.29 8.20 4/211 26565
/proc/meminfo: memFree=25402388/32770624 swapFree=66975640/67108860
[pid=26544] ppid=26541 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26544/stat : 26544 (xcsp3-exec) S 26541 26544 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510921892 115843072 363 33554432000 4194304 5098028 140722086467520 140722086465624 140107044889212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26750976 140722086470523 140722086470766 140722086470766 140722086473674 0
/proc/26544/statm: 28282 363 304 221 0 87 0
[pid=26546] ppid=26544 vsize=28231652 memory=50232 CPUtime=0.53 cores=0-7
/proc/26546/stat : 26546 (java) S 26544 26544 24466 0 -1 1077944320 10899 0 0 0 49 4 0 0 20 0 20 0 510921893 28909211648 12558 33554432000 4194304 4196468 140725493766848 140725493749392 140074103836407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
/proc/26546/statm: 7057913 12558 3353 1 0 7019032 0
[pid=26546/tid=26547] ppid=26544 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/26546/task/26547/stat : 26547 (java) R 26544 26544 24466 0 -1 4202560 7795 0 0 0 26 3 0 0 20 0 20 0 510921893 28909211648 12558 33554432000 4194304 4196468 140725493766848 140074108067520 140074087916894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26548] ppid=26544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26548/stat : 26548 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140074056457104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26549] ppid=26544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26549/stat : 26549 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140074055404304 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26550] ppid=26544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26550/stat : 26550 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140074054352016 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26551] ppid=26544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26551/stat : 26551 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140074053299216 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26552] ppid=26544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26552/stat : 26552 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140074052245904 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26553] ppid=26544 vsize=28231652 memory=140629376068271 CPUtime=0 cores=0-7
/proc/26546/task/26553/stat : 26553 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140074051193104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26554] ppid=26544 vsize=28231652 memory=140629376070576 CPUtime=0 cores=0-7
/proc/26546/task/26554/stat : 26554 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073649429136 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26555] ppid=26544 vsize=28231652 memory=140629376072880 CPUtime=0 cores=0-7
/proc/26546/task/26555/stat : 26555 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073648376336 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26556] ppid=26544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26556/stat : 26556 (java) S 26544 26544 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510921895 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073488632432 140074103847554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26557] ppid=26544 vsize=28231652 memory=281258752159632 CPUtime=0 cores=0-7
/proc/26546/task/26557/stat : 26557 (java) S 26544 26544 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510921896 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073487578400 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26558] ppid=26544 vsize=28231652 memory=281258752157328 CPUtime=0 cores=0-7
/proc/26546/task/26558/stat : 26558 (java) S 26544 26544 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510921896 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073486526064 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26559] ppid=26544 vsize=28231652 memory=281258752164240 CPUtime=0 cores=0-7
/proc/26546/task/26559/stat : 26559 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921898 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073485474384 140074103855003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26560] ppid=26544 vsize=28231652 memory=281258752105520 CPUtime=0.02 cores=0-7
/proc/26546/task/26560/stat : 26560 (java) R 26544 26544 24466 0 -1 4202560 422 0 0 0 2 0 0 0 20 0 20 0 510921898 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073484411616 140074088228624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26561] ppid=26544 vsize=28231652 memory=281258752178064 CPUtime=0.02 cores=0-7
/proc/26546/task/26561/stat : 26561 (java) S 26544 26544 24466 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 20 0 510921898 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073483368432 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26562] ppid=26544 vsize=28231652 memory=281258752184976 CPUtime=0.04 cores=0-7
/proc/26546/task/26562/stat : 26562 (java) S 26544 26544 24466 0 -1 1077944384 426 0 0 0 4 0 0 0 20 0 20 0 510921898 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073482316144 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26563] ppid=26544 vsize=28231652 memory=281258752182672 CPUtime=0.12 cores=0-7
/proc/26546/task/26563/stat : 26563 (java) S 26544 26544 24466 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 20 0 510921898 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073481263344 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26564] ppid=26544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26564/stat : 26564 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921899 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073480211296 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26565] ppid=26544 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/26546/task/26565/stat : 26565 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921899 28909211648 12558 33554432000 4194304 4196468 140725493766848 140073479158576 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51684 KiB

[startup+0.700983 s]
/proc/loadavg: 8.38 8.29 8.20 5/211 26565
/proc/meminfo: memFree=25370280/32770624 swapFree=66975640/67108860
[pid=26544] ppid=26541 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26544/stat : 26544 (xcsp3-exec) S 26541 26544 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510921892 115843072 363 33554432000 4194304 5098028 140722086467520 140722086465624 140107044889212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26750976 140722086470523 140722086470766 140722086470766 140722086473674 0
/proc/26544/statm: 28282 363 304 221 0 87 0
[pid=26546] ppid=26544 vsize=28233776 memory=118508 CPUtime=1.93 cores=0-7
/proc/26546/stat : 26546 (java) S 26544 26544 24466 0 -1 1077944320 15146 0 0 0 187 6 0 0 20 0 20 0 510921893 28911386624 29627 33554432000 4194304 4196468 140725493766848 140725493749392 140074103836407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
/proc/26546/statm: 7058444 29627 3443 1 0 7019544 0
[pid=26546/tid=26547] ppid=26544 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/26546/task/26547/stat : 26547 (java) R 26544 26544 24466 0 -1 4202560 8350 0 0 0 63 4 0 0 20 0 20 0 510921893 28911386624 29627 33554432000 4194304 4196468 140725493766848 140074108072592 140073734692052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26548] ppid=26544 vsize=28233776 memory=140629376279408 CPUtime=0 cores=0-7
/proc/26546/task/26548/stat : 26548 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510921894 28911386624 29627 33554432000 4194304 4196468 140725493766848 140074056457104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26549] ppid=26544 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/26546/task/26549/stat : 26549 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510921894 28911386624 29627 33554432000 4194304 4196468 140725493766848 140074055404304 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26550] ppid=26544 vsize=28233776 memory=1192 CPUtime=0 cores=0-7
/proc/26546/task/26550/stat : 26550 (java) S 26544 26544 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510921894 28911386624 29627 33554432000 4194304 4196468 140725493766848 140074054352016 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0

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

[pid=26546/tid=26615] ppid=26544 vsize=28768336 memory=111632 CPUtime=201.91 cores=0-7
/proc/26546/task/26615/stat : 26615 (java) R 26544 26544 24466 0 -1 4202560 2033 0 0 0 20186 5 0 0 20 0 28 0 510923909 29458776064 2071195 33554432000 4194304 4196468 140725493766848 140073463624072 140073741028780 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
Current children cumulated CPU time: 1728.02 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 8286232 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]
/proc/loadavg: 8.20 8.21 8.19 9/219 26629
/proc/meminfo: memFree=17156344/32770624 swapFree=66975640/67108860
[pid=26544] ppid=26541 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26544/stat : 26544 (xcsp3-exec) S 26541 26544 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510921892 115843072 363 33554432000 4194304 5098028 140722086467520 140722086465624 140107044889212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26750976 140722086470523 140722086470766 140722086470766 140722086473674 0
/proc/26544/statm: 28282 363 304 221 0 87 0
[pid=26546] ppid=26544 vsize=28768336 memory=8283752 CPUtime=1964.97 cores=0-7
/proc/26546/stat : 26546 (java) S 26544 26544 24466 0 -1 1077944320 150545 0 0 0 196070 427 0 0 20 0 28 0 510921893 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140725493749392 140074103836407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
/proc/26546/statm: 7192084 2070938 3534 1 0 7153184 0
[pid=26546/tid=26547] ppid=26544 vsize=28768336 memory=8283752 CPUtime=6.97 cores=0-7
/proc/26546/task/26547/stat : 26547 (java) S 26544 26544 24466 0 -1 1077944384 11502 0 0 0 673 24 0 0 20 0 28 0 510921893 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074108077184 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26548] ppid=26544 vsize=28768336 memory=8283752 CPUtime=0.55 cores=0-7
/proc/26546/task/26548/stat : 26548 (java) S 26544 26544 24466 0 -1 1077944384 1583 0 0 0 39 16 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074056457104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26549] ppid=26544 vsize=28768336 memory=8283752 CPUtime=0.58 cores=0-7
/proc/26546/task/26549/stat : 26549 (java) S 26544 26544 24466 0 -1 1077944384 1303 0 0 0 38 20 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074055404304 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26550] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.56 cores=0-7
/proc/26546/task/26550/stat : 26550 (java) S 26544 26544 24466 0 -1 1077944384 1589 0 0 0 36 20 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074054352016 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26551] ppid=26544 vsize=28768336 memory=8284780 CPUtime=0.55 cores=0-7
/proc/26546/task/26551/stat : 26551 (java) S 26544 26544 24466 0 -1 1077944384 812 0 0 0 37 18 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074053299216 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26552] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.55 cores=0-7
/proc/26546/task/26552/stat : 26552 (java) S 26544 26544 24466 0 -1 1077944384 1478 0 0 0 35 20 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074052245904 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26553] ppid=26544 vsize=28768336 memory=1804 CPUtime=0.57 cores=0-7
/proc/26546/task/26553/stat : 26553 (java) S 26544 26544 24466 0 -1 1077944384 1068 0 0 0 38 19 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074051193104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26554] ppid=26544 vsize=28768336 memory=920 CPUtime=0.56 cores=0-7
/proc/26546/task/26554/stat : 26554 (java) S 26544 26544 24466 0 -1 1077944384 1169 0 0 0 38 18 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073649429136 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26555] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.58 cores=0-7
/proc/26546/task/26555/stat : 26555 (java) S 26544 26544 24466 0 -1 1077944384 1358 0 0 0 39 19 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073648376336 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26556] ppid=26544 vsize=28768336 memory=3620 CPUtime=0.04 cores=0-7
/proc/26546/task/26556/stat : 26556 (java) S 26544 26544 24466 0 -1 1077944384 5294 0 0 0 3 1 0 0 20 0 28 0 510921895 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073488632432 140074103847554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26557] ppid=26544 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26546/task/26557/stat : 26557 (java) S 26544 26544 24466 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510921896 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073487578464 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26558] ppid=26544 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26546/task/26558/stat : 26558 (java) S 26544 26544 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510921896 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073486526080 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26559] ppid=26544 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26546/task/26559/stat : 26559 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073485474384 140074103855003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26560] ppid=26544 vsize=28768336 memory=3620 CPUtime=4.21 cores=0-7
/proc/26546/task/26560/stat : 26560 (java) S 26544 26544 24466 0 -1 1077944384 15192 0 0 0 418 3 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073484421232 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26561] ppid=26544 vsize=28768336 memory=8284780 CPUtime=4.05 cores=0-7
/proc/26546/task/26561/stat : 26561 (java) S 26544 26544 24466 0 -1 1077944384 17984 0 0 0 403 2 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073483368432 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26562] ppid=26544 vsize=28768336 memory=6944652177228980320 CPUtime=4.21 cores=0-7
/proc/26546/task/26562/stat : 26562 (java) S 26544 26544 24466 0 -1 1077944384 14999 0 0 0 418 3 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073482316144 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26563] ppid=26544 vsize=28768336 memory=1192 CPUtime=0.99 cores=0-7
/proc/26546/task/26563/stat : 26563 (java) S 26544 26544 24466 0 -1 1077944384 9666 0 0 0 97 2 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073481263344 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26564] ppid=26544 vsize=28768336 memory=940 CPUtime=0 cores=0-7
/proc/26546/task/26564/stat : 26564 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510921899 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073480211296 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26565] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.1 cores=0-7
/proc/26546/task/26565/stat : 26565 (java) S 26544 26544 24466 0 -1 1077944384 2187 0 0 0 8 2 0 0 20 0 28 0 510921899 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073479158576 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26608] ppid=26544 vsize=28768336 memory=8284780 CPUtime=230.79 cores=0-7
/proc/26546/task/26608/stat : 26608 (java) R 26544 26544 24466 0 -1 4202560 1674 0 0 0 23077 2 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073464675768 140725494090120 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26609] ppid=26544 vsize=28768336 memory=1452 CPUtime=231.6 cores=0-7
/proc/26546/task/26609/stat : 26609 (java) R 26544 26544 24466 0 -1 4202560 1927 0 0 0 23158 2 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073466781984 140073740699903 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26610] ppid=26544 vsize=28768336 memory=3620 CPUtime=231.4 cores=0-7
/proc/26546/task/26610/stat : 26610 (java) R 26544 26544 24466 0 -1 4202560 17920 0 0 0 23055 85 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073468889024 140073734991410 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26611] ppid=26544 vsize=28768336 memory=1452 CPUtime=228.82 cores=0-7
/proc/26546/task/26611/stat : 26611 (java) R 26544 26544 24466 0 -1 4202560 1796 0 0 0 22881 1 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073465728856 140073741028954 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26612] ppid=26544 vsize=28768336 memory=8283752 CPUtime=230.99 cores=0-7
/proc/26546/task/26612/stat : 26612 (java) R 26544 26544 24466 0 -1 4202560 12225 0 0 0 23052 47 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073467835048 140073736438075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26613] ppid=26544 vsize=28768336 memory=1452 CPUtime=231.15 cores=0-7
/proc/26546/task/26613/stat : 26613 (java) R 26544 26544 24466 0 -1 4202560 1855 0 0 0 23113 2 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073462571144 140073731699012 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26614] ppid=26544 vsize=28768336 memory=1452 CPUtime=231.19 cores=0-7
/proc/26546/task/26614/stat : 26614 (java) R 26544 26544 24466 0 -1 4202560 15939 0 0 0 23050 69 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073469939592 140073741357706 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26615] ppid=26544 vsize=28768336 memory=8283752 CPUtime=231.61 cores=0-7
/proc/26546/task/26615/stat : 26615 (java) R 26544 26544 24466 0 -1 4202560 2091 0 0 0 23155 6 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073463624072 140073741028876 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
Current children cumulated CPU time: 1964.97 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 8285204 KiB

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

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

[startup+252.116 s]
# the end of solver process 26546 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1961.32 s, system=4.31604 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+252.001 s]
/proc/loadavg: 8.20 8.21 8.19 9/219 26629
/proc/meminfo: memFree=17156344/32770624 swapFree=66975640/67108860
[pid=26544] ppid=26541 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26544/stat : 26544 (xcsp3-exec) S 26541 26544 24466 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510921892 115843072 363 33554432000 4194304 5098028 140722086467520 140722086465624 140107044889212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26750976 140722086470523 140722086470766 140722086470766 140722086473674 0
/proc/26544/statm: 28282 363 304 221 0 87 0
[pid=26546] ppid=26544 vsize=28768336 memory=8283752 CPUtime=1964.97 cores=0-7
/proc/26546/stat : 26546 (java) S 26544 26544 24466 0 -1 1077944320 150545 0 0 0 196070 427 0 0 20 0 28 0 510921893 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140725493749392 140074103836407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
/proc/26546/statm: 7192084 2070938 3534 1 0 7153184 0
[pid=26546/tid=26547] ppid=26544 vsize=28768336 memory=8283752 CPUtime=6.97 cores=0-7
/proc/26546/task/26547/stat : 26547 (java) S 26544 26544 24466 0 -1 1077944384 11502 0 0 0 673 24 0 0 20 0 28 0 510921893 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074108077184 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26548] ppid=26544 vsize=28768336 memory=8283752 CPUtime=0.55 cores=0-7
/proc/26546/task/26548/stat : 26548 (java) S 26544 26544 24466 0 -1 1077944384 1583 0 0 0 39 16 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074056457104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26549] ppid=26544 vsize=28768336 memory=8283752 CPUtime=0.58 cores=0-7
/proc/26546/task/26549/stat : 26549 (java) S 26544 26544 24466 0 -1 1077944384 1303 0 0 0 38 20 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074055404304 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26550] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.56 cores=0-7
/proc/26546/task/26550/stat : 26550 (java) S 26544 26544 24466 0 -1 1077944384 1589 0 0 0 36 20 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074054352016 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26551] ppid=26544 vsize=28768336 memory=8284780 CPUtime=0.55 cores=0-7
/proc/26546/task/26551/stat : 26551 (java) S 26544 26544 24466 0 -1 1077944384 812 0 0 0 37 18 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074053299216 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26552] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.55 cores=0-7
/proc/26546/task/26552/stat : 26552 (java) S 26544 26544 24466 0 -1 1077944384 1478 0 0 0 35 20 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074052245904 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26553] ppid=26544 vsize=28768336 memory=1804 CPUtime=0.57 cores=0-7
/proc/26546/task/26553/stat : 26553 (java) S 26544 26544 24466 0 -1 1077944384 1068 0 0 0 38 19 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140074051193104 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26554] ppid=26544 vsize=28768336 memory=920 CPUtime=0.56 cores=0-7
/proc/26546/task/26554/stat : 26554 (java) S 26544 26544 24466 0 -1 1077944384 1169 0 0 0 38 18 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073649429136 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26555] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.58 cores=0-7
/proc/26546/task/26555/stat : 26555 (java) S 26544 26544 24466 0 -1 1077944384 1358 0 0 0 39 19 0 0 20 0 28 0 510921894 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073648376336 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26556] ppid=26544 vsize=28768336 memory=3620 CPUtime=0.04 cores=0-7
/proc/26546/task/26556/stat : 26556 (java) S 26544 26544 24466 0 -1 1077944384 5294 0 0 0 3 1 0 0 20 0 28 0 510921895 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073488632432 140074103847554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26557] ppid=26544 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26546/task/26557/stat : 26557 (java) S 26544 26544 24466 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 510921896 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073487578464 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26558] ppid=26544 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26546/task/26558/stat : 26558 (java) S 26544 26544 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510921896 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073486526080 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26559] ppid=26544 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/26546/task/26559/stat : 26559 (java) S 26544 26544 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073485474384 140074103855003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26560] ppid=26544 vsize=28768336 memory=3620 CPUtime=4.21 cores=0-7
/proc/26546/task/26560/stat : 26560 (java) S 26544 26544 24466 0 -1 1077944384 15192 0 0 0 418 3 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073484421232 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26561] ppid=26544 vsize=28768336 memory=8284780 CPUtime=4.05 cores=0-7
/proc/26546/task/26561/stat : 26561 (java) S 26544 26544 24466 0 -1 1077944384 17984 0 0 0 403 2 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073483368432 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26562] ppid=26544 vsize=28768336 memory=6944652177228980320 CPUtime=4.21 cores=0-7
/proc/26546/task/26562/stat : 26562 (java) S 26544 26544 24466 0 -1 1077944384 14999 0 0 0 418 3 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073482316144 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26563] ppid=26544 vsize=28768336 memory=1192 CPUtime=0.99 cores=0-7
/proc/26546/task/26563/stat : 26563 (java) S 26544 26544 24466 0 -1 1077944384 9666 0 0 0 97 2 0 0 20 0 28 0 510921898 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073481263344 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26564] ppid=26544 vsize=28768336 memory=940 CPUtime=0 cores=0-7
/proc/26546/task/26564/stat : 26564 (java) S 26544 26544 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510921899 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073480211296 140074103846613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26565] ppid=26544 vsize=28768336 memory=1452 CPUtime=0.1 cores=0-7
/proc/26546/task/26565/stat : 26565 (java) S 26544 26544 24466 0 -1 1077944384 2187 0 0 0 8 2 0 0 20 0 28 0 510921899 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073479158576 140074103847554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26608] ppid=26544 vsize=28768336 memory=8284780 CPUtime=230.79 cores=0-7
/proc/26546/task/26608/stat : 26608 (java) R 26544 26544 24466 0 -1 4202560 1674 0 0 0 23077 2 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073464675768 140725494090120 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26609] ppid=26544 vsize=28768336 memory=1452 CPUtime=231.6 cores=0-7
/proc/26546/task/26609/stat : 26609 (java) R 26544 26544 24466 0 -1 4202560 1927 0 0 0 23158 2 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073466781984 140073740699903 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26610] ppid=26544 vsize=28768336 memory=3620 CPUtime=231.4 cores=0-7
/proc/26546/task/26610/stat : 26610 (java) R 26544 26544 24466 0 -1 4202560 17920 0 0 0 23055 85 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073468889024 140073734991410 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26611] ppid=26544 vsize=28768336 memory=1452 CPUtime=228.82 cores=0-7
/proc/26546/task/26611/stat : 26611 (java) R 26544 26544 24466 0 -1 4202560 1796 0 0 0 22881 1 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073465728856 140073741028954 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26612] ppid=26544 vsize=28768336 memory=8283752 CPUtime=230.99 cores=0-7
/proc/26546/task/26612/stat : 26612 (java) R 26544 26544 24466 0 -1 4202560 12225 0 0 0 23052 47 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073467835048 140073736438075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26613] ppid=26544 vsize=28768336 memory=1452 CPUtime=231.15 cores=0-7
/proc/26546/task/26613/stat : 26613 (java) R 26544 26544 24466 0 -1 4202560 1855 0 0 0 23113 2 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073462571144 140073731699012 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26614] ppid=26544 vsize=28768336 memory=1452 CPUtime=231.19 cores=0-7
/proc/26546/task/26614/stat : 26614 (java) R 26544 26544 24466 0 -1 4202560 15939 0 0 0 23050 69 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073469939592 140073741357706 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
[pid=26546/tid=26615] ppid=26544 vsize=28768336 memory=8283752 CPUtime=231.61 cores=0-7
/proc/26546/task/26615/stat : 26615 (java) R 26544 26544 24466 0 -1 4202560 2091 0 0 0 23155 6 0 0 20 0 28 0 510923909 29458776064 2070938 33554432000 4194304 4196468 140725493766848 140073463624072 140073741028876 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28098560 140725493769200 140725493769371 140725493769371 140725493772239 0
Current children cumulated CPU time: 1964.97 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 8285204 KiB

Child status: 143
Real time (s): 252.116
CPU time (s): 1965.63
CPU user time (s): 1961.32
CPU system time (s): 4.31604
CPU usage (%): 779.654
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 8286232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1961.32
system time used= 4.31604
maximum resident set size= 8286056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12362
involuntary context switches= 22237


# summary of solver processes directly reported to runsolver:
#   pid: 26544,26546
#   total CPU time (s): 1965.63
#   total CPU user time (s): 1961.32
#   total CPU system time (s): 4.31604

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.4594 second user time and 2.64107 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 4407481

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
