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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-07-26)	SAT (TO)	40	1920.73	244.83501
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254556-1501680578/watcher-4254556-1501680578 -o /tmp/evaluation-result-4254556-1501680578/solver-4254556-1501680578 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1210725550 HOME/instance-4254556-1501680578.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 6.40 7.84 7.67 2/176 20986
/proc/meminfo: memFree=31653440/32770624 swapFree=0/351472
[pid=20986] ppid=20983 vsize=23672 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (runsolver) D 20983 20986 1143 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 15563540 24240128 108 18446744073709551615 4194304 4338465 140737079680928 140737079678568 139782484624087 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 11673600 140737079685203 140737079685699 140737079685699 140737079689162 0
/proc/20986/statm: 5918 108 54 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 6.40 7.84 7.67 2/176 20986
/proc/meminfo: memFree=31653440/32770624 swapFree=0/351472
[pid=20986] ppid=20983 vsize=23672 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (runsolver) D 20983 20986 1143 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 15563540 24240128 108 18446744073709551615 4194304 4338465 140737079680928 140737079678568 139782484624087 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 11673600 140737079685203 140737079685699 140737079685699 140737079689162 0
/proc/20986/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200323 s]
/proc/loadavg: 6.40 7.84 7.67 2/176 20986
/proc/meminfo: memFree=31653440/32770624 swapFree=0/351472
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300324 s]
/proc/loadavg: 6.40 7.84 7.67 2/176 20986
/proc/meminfo: memFree=31653440/32770624 swapFree=0/351472
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700198 s]
/proc/loadavg: 6.40 7.84 7.67 2/176 20986
/proc/meminfo: memFree=31653440/32770624 swapFree=0/351472
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50076 s]
/proc/loadavg: 6.13 7.76 7.65 5/197 21007
/proc/meminfo: memFree=31463604/32770624 swapFree=0/351232
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
[pid=20988] ppid=20986 vsize=26001944 CPUtime=4.03 cores=0-7
/proc/20988/stat : 20988 (java) S 20986 20986 1143 0 -1 1077944320 16891 0 0 0 387 16 0 0 20 0 20 0 15563551 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140734983925856 140536508747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
/proc/20988/statm: 6500486 59888 3198 1 0 6488787 0
[pid=20988/tid=20989] ppid=20986 vsize=26001944 CPUtime=1.19 cores=0-7
/proc/20988/task/20989/stat : 20989 (java) R 20986 20986 1143 0 -1 4202560 8172 0 0 0 115 4 0 0 20 0 20 0 15563551 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536512985232 140536508759446 0 4 1 16800974 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20990] ppid=20986 vsize=26001944 CPUtime=0.02 cores=0-7
/proc/20988/task/20990/stat : 20990 (java) S 20986 20986 1143 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536435673744 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20991] ppid=20986 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/20988/task/20991/stat : 20991 (java) S 20986 20986 1143 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536434620944 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20992] ppid=20986 vsize=26001944 CPUtime=0.02 cores=0-7
/proc/20988/task/20992/stat : 20992 (java) S 20986 20986 1143 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536433568144 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20993] ppid=20986 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/20988/task/20993/stat : 20993 (java) S 20986 20986 1143 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536432515344 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20994] ppid=20986 vsize=26001944 CPUtime=0.03 cores=0-7
/proc/20988/task/20994/stat : 20994 (java) S 20986 20986 1143 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536431463568 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20995] ppid=20986 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/20988/task/20995/stat : 20995 (java) S 20986 20986 1143 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536066366480 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20996] ppid=20986 vsize=26001944 CPUtime=0.03 cores=0-7
/proc/20988/task/20996/stat : 20996 (java) S 20986 20986 1143 0 -1 1077944384 64 0 0 0 2 1 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536065313680 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20997] ppid=20986 vsize=26001944 CPUtime=0.04 cores=0-7
/proc/20988/task/20997/stat : 20997 (java) S 20986 20986 1143 0 -1 1077944384 85 0 0 0 3 1 0 0 20 0 20 0 15563552 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140536064260880 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20998] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/20998/stat : 20998 (java) S 20986 20986 1143 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 15563553 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535188040048 140536508758658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20999] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/20999/stat : 20999 (java) S 20986 20986 1143 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 15563554 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535186986080 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21000] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21000/stat : 21000 (java) S 20986 20986 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 15563554 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535185933184 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21001] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21001/stat : 21001 (java) S 20986 20986 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15563556 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535184881488 140536508766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21002] ppid=20986 vsize=26001944 CPUtime=0.7 cores=0-7
/proc/20988/task/21002/stat : 21002 (java) R 20986 20986 1143 0 -1 4202560 1729 0 0 0 69 1 0 0 20 0 20 0 15563556 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535183829872 140536488440574 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21003] ppid=20986 vsize=26001944 CPUtime=0.67 cores=0-7
/proc/20988/task/21003/stat : 21003 (java) R 20986 20986 1143 0 -1 4202560 1459 0 0 0 67 0 0 0 20 0 20 0 15563556 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535182777072 140536508768858 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21004] ppid=20986 vsize=26001944 CPUtime=0.72 cores=0-7
/proc/20988/task/21004/stat : 21004 (java) R 20986 20986 1143 0 -1 4202560 1899 0 0 0 72 0 0 0 20 0 20 0 15563556 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535181724272 140536508759446 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21005] ppid=20986 vsize=26001944 CPUtime=0.45 cores=0-7
/proc/20988/task/21005/stat : 21005 (java) S 20986 20986 1143 0 -1 1077944384 1961 0 0 0 45 0 0 0 20 0 20 0 15563556 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535180671472 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21006] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21006/stat : 21006 (java) S 20986 20986 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15563557 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535179618912 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21007] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21007/stat : 21007 (java) S 20986 20986 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15563570 26625990656 59888 18446744073709551615 4194304 4196468 140734983943312 140535178566192 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 26011456

[startup+3.10085 s]
/proc/loadavg: 6.13 7.76 7.65 5/197 21007
/proc/meminfo: memFree=31255592/32770624 swapFree=0/351232
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
[pid=20988] ppid=20986 vsize=26001944 CPUtime=9.06 cores=0-7
/proc/20988/stat : 20988 (java) S 20986 20986 1143 0 -1 1077944320 20898 0 0 0 843 63 0 0 20 0 20 0 15563551 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140734983925856 140536508747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
/proc/20988/statm: 6500486 186175 3228 1 0 6488787 0
[pid=20988/tid=20989] ppid=20986 vsize=26001944 CPUtime=2.59 cores=0-7
/proc/20988/task/20989/stat : 20989 (java) R 20986 20986 1143 0 -1 4202560 8545 0 0 0 249 10 0 0 20 0 20 0 15563551 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536512986352 140536111768286 0 4 1 16800974 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20990] ppid=20986 vsize=26001944 CPUtime=0.21 cores=0-7
/proc/20988/task/20990/stat : 20990 (java) S 20986 20986 1143 0 -1 1077944384 140 0 0 0 16 5 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536435673744 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20991] ppid=20986 vsize=26001944 CPUtime=0.2 cores=0-7
/proc/20988/task/20991/stat : 20991 (java) S 20986 20986 1143 0 -1 1077944384 119 0 0 0 15 5 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536434620944 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20992] ppid=20986 vsize=26001944 CPUtime=0.21 cores=0-7
/proc/20988/task/20992/stat : 20992 (java) S 20986 20986 1143 0 -1 1077944384 122 0 0 0 15 6 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536433568144 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20993] ppid=20986 vsize=26001944 CPUtime=0.21 cores=0-7
/proc/20988/task/20993/stat : 20993 (java) S 20986 20986 1143 0 -1 1077944384 343 0 0 0 15 6 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536432515344 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20994] ppid=20986 vsize=26001944 CPUtime=0.21 cores=0-7
/proc/20988/task/20994/stat : 20994 (java) S 20986 20986 1143 0 -1 1077944384 215 0 0 0 15 6 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536431463568 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20995] ppid=20986 vsize=26001944 CPUtime=0.18 cores=0-7
/proc/20988/task/20995/stat : 20995 (java) S 20986 20986 1143 0 -1 1077944384 109 0 0 0 13 5 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536066366480 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20996] ppid=20986 vsize=26001944 CPUtime=0.2 cores=0-7
/proc/20988/task/20996/stat : 20996 (java) S 20986 20986 1143 0 -1 1077944384 143 0 0 0 14 6 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536065313680 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20997] ppid=20986 vsize=26001944 CPUtime=0.22 cores=0-7
/proc/20988/task/20997/stat : 20997 (java) S 20986 20986 1143 0 -1 1077944384 177 0 0 0 16 6 0 0 20 0 20 0 15563552 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140536064260880 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20998] ppid=20986 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/20988/task/20998/stat : 20998 (java) S 20986 20986 1143 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 20 0 15563553 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535188040048 140536508758658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20999] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/20999/stat : 20999 (java) S 20986 20986 1143 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 15563554 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535186986080 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21000] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21000/stat : 21000 (java) S 20986 20986 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 15563554 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535185933184 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21001] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21001/stat : 21001 (java) S 20986 20986 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15563556 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535184881488 140536508766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21002] ppid=20986 vsize=26001944 CPUtime=1.41 cores=0-7
/proc/20988/task/21002/stat : 21002 (java) S 20986 20986 1143 0 -1 1077944384 2378 0 0 0 140 1 0 0 20 0 20 0 15563556 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535183829872 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21003] ppid=20986 vsize=26001944 CPUtime=1.36 cores=0-7
/proc/20988/task/21003/stat : 21003 (java) S 20986 20986 1143 0 -1 1077944384 2511 0 0 0 135 1 0 0 20 0 20 0 15563556 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535182777072 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21004] ppid=20986 vsize=26001944 CPUtime=1.44 cores=0-7
/proc/20988/task/21004/stat : 21004 (java) S 20986 20986 1143 0 -1 1077944384 2250 0 0 0 143 1 0 0 20 0 20 0 15563556 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535181724272 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21005] ppid=20986 vsize=26001944 CPUtime=0.51 cores=0-7
/proc/20988/task/21005/stat : 21005 (java) S 20986 20986 1143 0 -1 1077944384 2032 0 0 0 51 0 0 0 20 0 20 0 15563556 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535180671472 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21006] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21006/stat : 21006 (java) S 20986 20986 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15563557 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535179618912 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21007] ppid=20986 vsize=26001944 CPUtime=0 cores=0-7
/proc/20988/task/21007/stat : 21007 (java) S 20986 20986 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15563570 26625990656 186175 18446744073709551615 4194304 4196468 140734983943312 140535178566192 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
Current children cumulated CPU time (s) 9.06
Current children cumulated vsize (KiB) 26011456

[startup+6.30853 s]
/proc/loadavg: 6.13 7.76 7.65 12/205 21015
/proc/meminfo: memFree=30256984/32770624 swapFree=0/351244
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
[pid=20988] ppid=20986 vsize=26534456 CPUtime=22.46 cores=0-7
/proc/20988/stat : 20988 (java) S 20986 20986 1143 0 -1 1077944320 30075 0 0 0 2101 145 0 0 20 0 28 0 15563551 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140734983925856 140536508747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
/proc/20988/statm: 6633614 392420 3242 1 0 6621915 0
[pid=20988/tid=20989] ppid=20986 vsize=26534456 CPUtime=4.24 cores=0-7
/proc/20988/task/20989/stat : 20989 (java) S 20986 20986 1143 0 -1 1077944384 9010 0 0 0 406 18 0 0 20 0 28 0 15563551 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536512988288 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20990] ppid=20986 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/20988/task/20990/stat : 20990 (java) S 20986 20986 1143 0 -1 1077944384 295 0 0 0 34 13 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536435673744 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20991] ppid=20986 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/20988/task/20991/stat : 20991 (java) S 20986 20986 1143 0 -1 1077944384 307 0 0 0 32 15 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536434620944 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20992] ppid=20986 vsize=26534456 CPUtime=0.43 cores=0-7
/proc/20988/task/20992/stat : 20992 (java) S 20986 20986 1143 0 -1 1077944384 241 0 0 0 30 13 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536433568144 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20993] ppid=20986 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/20988/task/20993/stat : 20993 (java) S 20986 20986 1143 0 -1 1077944384 533 0 0 0 33 14 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536432515344 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20994] ppid=20986 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/20988/task/20994/stat : 20994 (java) S 20986 20986 1143 0 -1 1077944384 388 0 0 0 32 14 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536431463568 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20995] ppid=20986 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/20988/task/20995/stat : 20995 (java) S 20986 20986 1143 0 -1 1077944384 328 0 0 0 31 15 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536066366480 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20996] ppid=20986 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/20988/task/20996/stat : 20996 (java) S 20986 20986 1143 0 -1 1077944384 323 0 0 0 31 15 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536065313680 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20997] ppid=20986 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/20988/task/20997/stat : 20997 (java) S 20986 20986 1143 0 -1 1077944384 408 0 0 0 34 15 0 0 20 0 28 0 15563552 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140536064260880 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20998] ppid=20986 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/20988/task/20998/stat : 20998 (java) S 20986 20986 1143 0 -1 1077944384 574 0 0 0 1 0 0 0 20 0 28 0 15563553 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140535188040048 140536508758658 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20999] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/20999/stat : 20999 (java) S 20986 20986 1143 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 15563554 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140535186986080 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21000] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21000/stat : 21000 (java) S 20986 20986 1143 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 15563554 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140535185933184 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21001] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21001/stat : 21001 (java) S 20986 20986 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15563556 27171282944 392420 18446744073709551615 4194304 4196468 140734983943312 140535184881488 140536508766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0

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

[pid=20988/tid=21138] ppid=20986 vsize=26534456 CPUtime=34.05 cores=0-7
/proc/20988/task/21138/stat : 21138 (java) R 20986 20986 1143 0 -1 4202560 525 0 0 0 3405 0 0 0 20 0 28 0 15576362 27171282944 1536047 18446744073709551615 4194304 4196468 140734983943312 140535166345192 140536120270384 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21139] ppid=20986 vsize=26534456 CPUtime=34.04 cores=0-7
/proc/20988/task/21139/stat : 21139 (java) R 20986 20986 1143 0 -1 4202560 456 0 0 0 3404 0 0 0 20 0 28 0 15576362 27171282944 1536047 18446744073709551615 4194304 4196468 140734983943312 140535163187048 140536119803170 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
Current children cumulated CPU time (s) 1262.11
Current children cumulated vsize (KiB) 26543968

[startup+222.307 s]
/proc/loadavg: 8.17 8.09 7.81 9/206 21141
/proc/meminfo: memFree=25483392/32770624 swapFree=0/351276
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
[pid=20988] ppid=20986 vsize=26534456 CPUtime=1741.15 cores=0-7
/proc/20988/stat : 20988 (java) S 20986 20986 1143 0 -1 1077944320 160464 0 0 0 173619 496 0 0 20 0 28 0 15563551 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140734983925856 140536508747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
/proc/20988/statm: 6633614 1544226 3261 1 0 6621915 0
[pid=20988/tid=20989] ppid=20986 vsize=26534456 CPUtime=4.26 cores=0-7
/proc/20988/task/20989/stat : 20989 (java) S 20986 20986 1143 0 -1 1077944384 9682 0 0 0 408 18 0 0 20 0 28 0 15563551 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536512988288 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20990] ppid=20986 vsize=26534456 CPUtime=1.06 cores=0-7
/proc/20988/task/20990/stat : 20990 (java) S 20986 20986 1143 0 -1 1077944384 1697 0 0 0 82 24 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536435673744 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20991] ppid=20986 vsize=26534456 CPUtime=1.06 cores=0-7
/proc/20988/task/20991/stat : 20991 (java) S 20986 20986 1143 0 -1 1077944384 1470 0 0 0 81 25 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536434620944 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20992] ppid=20986 vsize=26534456 CPUtime=1.01 cores=0-7
/proc/20988/task/20992/stat : 20992 (java) S 20986 20986 1143 0 -1 1077944384 1114 0 0 0 79 22 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536433568144 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20993] ppid=20986 vsize=26534456 CPUtime=1.06 cores=0-7
/proc/20988/task/20993/stat : 20993 (java) S 20986 20986 1143 0 -1 1077944384 1450 0 0 0 83 23 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536432515344 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20994] ppid=20986 vsize=26534456 CPUtime=1.03 cores=0-7
/proc/20988/task/20994/stat : 20994 (java) S 20986 20986 1143 0 -1 1077944384 1506 0 0 0 80 23 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536431463568 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20995] ppid=20986 vsize=26534456 CPUtime=1.03 cores=0-7
/proc/20988/task/20995/stat : 20995 (java) S 20986 20986 1143 0 -1 1077944384 1063 0 0 0 80 23 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536066366480 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20996] ppid=20986 vsize=26534456 CPUtime=1.04 cores=0-7
/proc/20988/task/20996/stat : 20996 (java) S 20986 20986 1143 0 -1 1077944384 1913 0 0 0 81 23 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536065313680 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20997] ppid=20986 vsize=26534456 CPUtime=1.07 cores=0-7
/proc/20988/task/20997/stat : 20997 (java) S 20986 20986 1143 0 -1 1077944384 1513 0 0 0 82 25 0 0 20 0 28 0 15563552 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140536064260880 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20998] ppid=20986 vsize=26534456 CPUtime=0.27 cores=0-7
/proc/20988/task/20998/stat : 20998 (java) S 20986 20986 1143 0 -1 1077944384 8857 0 0 0 25 2 0 0 20 0 28 0 15563553 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535188040048 140536508758658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20999] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/20999/stat : 20999 (java) S 20986 20986 1143 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 15563554 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535186986080 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21000] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21000/stat : 21000 (java) S 20986 20986 1143 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 15563554 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535185933184 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21001] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21001/stat : 21001 (java) S 20986 20986 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15563556 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535184881488 140536508766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21002] ppid=20986 vsize=26534456 CPUtime=3.4 cores=0-7
/proc/20988/task/21002/stat : 21002 (java) S 20986 20986 1143 0 -1 1077944384 14238 0 0 0 337 3 0 0 20 0 28 0 15563556 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535183829872 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21003] ppid=20986 vsize=26534456 CPUtime=3.27 cores=0-7
/proc/20988/task/21003/stat : 21003 (java) S 20986 20986 1143 0 -1 1077944384 14637 0 0 0 324 3 0 0 20 0 28 0 15563556 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535182777072 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21004] ppid=20986 vsize=26534456 CPUtime=3.47 cores=0-7
/proc/20988/task/21004/stat : 21004 (java) S 20986 20986 1143 0 -1 1077944384 12085 0 0 0 344 3 0 0 20 0 28 0 15563556 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535181724272 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21005] ppid=20986 vsize=26534456 CPUtime=0.93 cores=0-7
/proc/20988/task/21005/stat : 21005 (java) S 20986 20986 1143 0 -1 1077944384 9008 0 0 0 91 2 0 0 20 0 28 0 15563556 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535180671472 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21006] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21006/stat : 21006 (java) S 20986 20986 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15563557 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535179618912 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21007] ppid=20986 vsize=26534456 CPUtime=0.07 cores=0-7
/proc/20988/task/21007/stat : 21007 (java) S 20986 20986 1143 0 -1 1077944384 2369 0 0 0 1 6 0 0 20 0 28 0 15563570 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535178566192 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21132] ppid=20986 vsize=26534456 CPUtime=94.01 cores=0-7
/proc/20988/task/21132/stat : 21132 (java) R 20986 20986 1143 0 -1 4202560 822 0 0 0 9400 1 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535170554640 140536115293085 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21133] ppid=20986 vsize=26534456 CPUtime=94.02 cores=0-7
/proc/20988/task/21133/stat : 21133 (java) R 20986 20986 1143 0 -1 4202560 718 0 0 0 9401 1 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535165292136 140536114524895 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21134] ppid=20986 vsize=26534456 CPUtime=92.6 cores=0-7
/proc/20988/task/21134/stat : 21134 (java) R 20986 20986 1143 0 -1 4202560 7536 0 0 0 9250 10 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535164242672 140536113956330 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21135] ppid=20986 vsize=26534456 CPUtime=93.98 cores=0-7
/proc/20988/task/21135/stat : 21135 (java) R 20986 20986 1143 0 -1 4202560 6954 0 0 0 9355 43 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535169503656 140536112568359 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21136] ppid=20986 vsize=26534456 CPUtime=94.04 cores=0-7
/proc/20988/task/21136/stat : 21136 (java) R 20986 20986 1143 0 -1 4202560 4587 0 0 0 9392 12 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535167398920 140536113956715 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21137] ppid=20986 vsize=26534456 CPUtime=94 cores=0-7
/proc/20988/task/21137/stat : 21137 (java) R 20986 20986 1143 0 -1 4202560 3952 0 0 0 9379 21 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535168450776 140536115001893 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21138] ppid=20986 vsize=26534456 CPUtime=94.03 cores=0-7
/proc/20988/task/21138/stat : 21138 (java) R 20986 20986 1143 0 -1 4202560 999 0 0 0 9403 0 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535166345192 140536114524941 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21139] ppid=20986 vsize=26534456 CPUtime=94.03 cores=0-7
/proc/20988/task/21139/stat : 21139 (java) R 20986 20986 1143 0 -1 4202560 811 0 0 0 9402 1 0 0 20 0 28 0 15576362 27171282944 1544226 18446744073709551615 4194304 4196468 140734983943312 140535163187192 140536113956053 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
Current children cumulated CPU time (s) 1741.15
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.801 s]
/proc/loadavg: 8.12 8.08 7.82 9/206 21141
/proc/meminfo: memFree=25207980/32770624 swapFree=0/351284
[pid=20986] ppid=20983 vsize=9512 CPUtime=0 cores=0-7
/proc/20986/stat : 20986 (xcsp3-exec) S 20983 20986 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15563540 9740288 345 18446744073709551615 4194304 5098028 140720506457696 140720506455800 140169079005820 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 35094528 140720506466706 140720506466916 140720506466916 140720506470379 0
/proc/20986/statm: 2378 345 289 221 0 87 0
[pid=20988] ppid=20986 vsize=26534456 CPUtime=1920.73 cores=0-7
/proc/20988/stat : 20988 (java) S 20986 20986 1143 0 -1 1077944320 165582 0 0 0 191549 524 0 0 20 0 28 0 15563551 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140734983925856 140536508747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
/proc/20988/statm: 6633614 1612961 3261 1 0 6621915 0
[pid=20988/tid=20989] ppid=20986 vsize=26534456 CPUtime=4.26 cores=0-7
/proc/20988/task/20989/stat : 20989 (java) S 20986 20986 1143 0 -1 1077944384 9682 0 0 0 408 18 0 0 20 0 28 0 15563551 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536512988288 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20990] ppid=20986 vsize=26534456 CPUtime=1.07 cores=0-7
/proc/20988/task/20990/stat : 20990 (java) S 20986 20986 1143 0 -1 1077944384 1768 0 0 0 83 24 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536435673744 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20991] ppid=20986 vsize=26534456 CPUtime=1.06 cores=0-7
/proc/20988/task/20991/stat : 20991 (java) S 20986 20986 1143 0 -1 1077944384 1490 0 0 0 81 25 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536434620944 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20992] ppid=20986 vsize=26534456 CPUtime=1.01 cores=0-7
/proc/20988/task/20992/stat : 20992 (java) S 20986 20986 1143 0 -1 1077944384 1196 0 0 0 79 22 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536433568144 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20993] ppid=20986 vsize=26534456 CPUtime=1.06 cores=0-7
/proc/20988/task/20993/stat : 20993 (java) S 20986 20986 1143 0 -1 1077944384 1560 0 0 0 83 23 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536432515344 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20994] ppid=20986 vsize=26534456 CPUtime=1.05 cores=0-7
/proc/20988/task/20994/stat : 20994 (java) S 20986 20986 1143 0 -1 1077944384 1611 0 0 0 81 24 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536431463568 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20995] ppid=20986 vsize=26534456 CPUtime=1.04 cores=0-7
/proc/20988/task/20995/stat : 20995 (java) S 20986 20986 1143 0 -1 1077944384 1104 0 0 0 80 24 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536066366480 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20996] ppid=20986 vsize=26534456 CPUtime=1.05 cores=0-7
/proc/20988/task/20996/stat : 20996 (java) S 20986 20986 1143 0 -1 1077944384 1963 0 0 0 81 24 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536065313680 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20997] ppid=20986 vsize=26534456 CPUtime=1.09 cores=0-7
/proc/20988/task/20997/stat : 20997 (java) S 20986 20986 1143 0 -1 1077944384 1985 0 0 0 83 26 0 0 20 0 28 0 15563552 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140536064260880 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20998] ppid=20986 vsize=26534456 CPUtime=0.28 cores=0-7
/proc/20988/task/20998/stat : 20998 (java) S 20986 20986 1143 0 -1 1077944384 9259 0 0 0 25 3 0 0 20 0 28 0 15563553 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535188040048 140536508758658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=20999] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/20999/stat : 20999 (java) S 20986 20986 1143 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 15563554 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535186986080 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21000] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21000/stat : 21000 (java) S 20986 20986 1143 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 15563554 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535185933184 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21001] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21001/stat : 21001 (java) S 20986 20986 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15563556 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535184881488 140536508766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21002] ppid=20986 vsize=26534456 CPUtime=3.4 cores=0-7
/proc/20988/task/21002/stat : 21002 (java) S 20986 20986 1143 0 -1 1077944384 14242 0 0 0 337 3 0 0 20 0 28 0 15563556 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535183829872 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21003] ppid=20986 vsize=26534456 CPUtime=3.27 cores=0-7
/proc/20988/task/21003/stat : 21003 (java) S 20986 20986 1143 0 -1 1077944384 14640 0 0 0 324 3 0 0 20 0 28 0 15563556 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535182777072 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21004] ppid=20986 vsize=26534456 CPUtime=3.47 cores=0-7
/proc/20988/task/21004/stat : 21004 (java) S 20986 20986 1143 0 -1 1077944384 12093 0 0 0 344 3 0 0 20 0 28 0 15563556 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535181724272 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21005] ppid=20986 vsize=26534456 CPUtime=0.93 cores=0-7
/proc/20988/task/21005/stat : 21005 (java) S 20986 20986 1143 0 -1 1077944384 9013 0 0 0 91 2 0 0 20 0 28 0 15563556 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535180671472 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21006] ppid=20986 vsize=26534456 CPUtime=0 cores=0-7
/proc/20988/task/21006/stat : 21006 (java) S 20986 20986 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15563557 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535179618912 140536508757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21007] ppid=20986 vsize=26534456 CPUtime=0.08 cores=0-7
/proc/20988/task/21007/stat : 21007 (java) S 20986 20986 1143 0 -1 1077944384 2393 0 0 0 1 7 0 0 20 0 28 0 15563570 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535178566192 140536508758658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21132] ppid=20986 vsize=26534456 CPUtime=116.48 cores=0-7
/proc/20988/task/21132/stat : 21132 (java) R 20986 20986 1143 0 -1 4202560 871 0 0 0 11647 1 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535170554600 140536120272980 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21133] ppid=20986 vsize=26534456 CPUtime=116.49 cores=0-7
/proc/20988/task/21133/stat : 21133 (java) R 20986 20986 1143 0 -1 4202560 789 0 0 0 11648 1 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535165292200 140536114524883 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21134] ppid=20986 vsize=26534456 CPUtime=114.73 cores=0-7
/proc/20988/task/21134/stat : 21134 (java) R 20986 20986 1143 0 -1 4202560 8566 0 0 0 11456 17 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535164241160 140536120638684 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21135] ppid=20986 vsize=26534456 CPUtime=116.45 cores=0-7
/proc/20988/task/21135/stat : 21135 (java) R 20986 20986 1143 0 -1 4202560 8582 0 0 0 11593 52 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535169503168 140536115001641 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21136] ppid=20986 vsize=26534456 CPUtime=116.52 cores=0-7
/proc/20988/task/21136/stat : 21136 (java) R 20986 20986 1143 0 -1 4202560 4822 0 0 0 11637 15 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535167398120 140536113956330 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21137] ppid=20986 vsize=26534456 CPUtime=116.48 cores=0-7
/proc/20988/task/21137/stat : 21137 (java) R 20986 20986 1143 0 -1 4202560 4529 0 0 0 11625 23 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535168453168 140536119875083 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21138] ppid=20986 vsize=26534456 CPUtime=116.51 cores=0-7
/proc/20988/task/21138/stat : 21138 (java) R 20986 20986 1143 0 -1 4202560 1064 0 0 0 11651 0 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535166345192 140536113956270 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
[pid=20988/tid=21139] ppid=20986 vsize=26534456 CPUtime=116.51 cores=0-7
/proc/20988/task/21139/stat : 21139 (java) R 20986 20986 1143 0 -1 4202560 877 0 0 0 11650 1 0 0 20 0 28 0 15576362 27171282944 1612961 18446744073709551615 4194304 4196468 140734983943312 140535163187112 140536119803170 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16371712 140734983950800 140734983950976 140734983950976 140734983954383 0
Current children cumulated CPU time (s) 1920.73
Current children cumulated vsize (KiB) 26543968

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20988 sig 9
??? kill 20986 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20986 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1904
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=237
# CPU time returned by wait4() is 0.002141
# while last known CPU time is 1920.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 244.835
CPU time (s): 1920.73
CPU user time (s): 1915.49
CPU system time (s): 5.24
CPU usage (%): 784.498
Max. virtual memory (cumulated for all children) (KiB): 26543968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001904
system time used= 0.000237
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.75445 second user time and 1.91906 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	245.19501
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4254556

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
