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 (12847 MiB free)
memory of node 1: 16384 MiB (10345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309528-1534300926/watcher-4309528-1534300926 -o /tmp/evaluation-result-4309528-1534300926/solver-4309528-1534300926 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534293152-15985 --watchdog 2580 xcsp_picat HOME/instance-4309528-1534300926.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16881, runsolver pid=16878
[startup+0.100178 s]*
/proc/loadavg: 2.12 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23724788/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2036984 memory=28112 CPUtime=0.1 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 4644 0 0 0 10 0 0 0 20 0 1 0 247655740 2085871616 7028 33554432000 4194304 5849940 140722186502672 140722186502672 5365594 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 509246 7028 654 405 0 506190 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036984 KiB
Current children cumulated memory: 28112 KiB
[startup+0.209749 s]*
/proc/loadavg: 2.12 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23722184/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2043924 memory=31104 CPUtime=0.2 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 5643 0 0 0 20 0 0 0 20 0 1 0 247655740 2092978176 7776 33554432000 4194304 5849940 140722186502672 140722186502672 5359362 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 510981 7776 667 405 0 507925 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2043924 KiB
Current children cumulated memory: 31104 KiB
[startup+0.309608 s]*
/proc/loadavg: 2.12 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23722448/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2038820 memory=29880 CPUtime=0.3 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 5645 0 0 0 30 0 0 0 20 0 1 0 247655740 2087751680 7470 33554432000 4194304 5849940 140722186502672 140722186501544 4206137 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 509705 7470 668 405 0 506649 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2038820 KiB
Current children cumulated memory: 29880 KiB
[startup+0.700333 s]
/proc/loadavg: 2.12 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23720460/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2042532 memory=33512 CPUtime=0.69 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 6949 0 0 0 69 0 0 0 20 0 1 0 247655740 2091552768 8378 33554432000 4194304 5849940 140722186502672 140722186501544 5307315 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 510633 8378 677 405 0 507577 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2042532 KiB
Current children cumulated memory: 33512 KiB
[startup+1.50028 s]
/proc/loadavg: 2.12 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23726156/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2042532 memory=33512 CPUtime=1.49 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 6949 0 0 0 149 0 0 0 20 0 1 0 247655740 2091552768 8378 33554432000 4194304 5849940 140722186502672 140722186500216 4204904 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 510633 8378 677 405 0 507577 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2042532 KiB
Current children cumulated memory: 33512 KiB
[startup+3.10936 s]
/proc/loadavg: 2.11 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23729764/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2038436 memory=29536 CPUtime=3.1 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 9422 0 0 0 309 1 0 0 20 0 1 0 247655740 2087358464 7384 33554432000 4194304 5849940 140722186502672 140722186501672 5307507 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 509609 7384 678 405 0 506553 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038436 KiB
Current children cumulated memory: 29536 KiB
[startup+6.30028 s]
/proc/loadavg: 2.11 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23722600/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2040148 memory=31268 CPUtime=6.29 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 12391 0 0 0 627 2 0 0 20 0 1 0 247655740 2089111552 7817 33554432000 4194304 5849940 140722186502672 140722186501832 140299482128263 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 510037 7817 693 405 0 506981 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040148 KiB
Current children cumulated memory: 31268 KiB
[startup+12.7003 s]
/proc/loadavg: 2.10 2.13 2.09 3/187 16882
/proc/meminfo: memFree=23717512/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2040144 memory=31260 CPUtime=12.69 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 17850 0 0 0 1265 4 0 0 20 0 1 0 247655740 2089107456 7815 33554432000 4194304 5849940 140722186502672 140722186501160 5307734 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 510036 7815 693 405 0 506980 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2040144 KiB
Current children cumulated memory: 31260 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.10 2.08 3/187 16882
/proc/meminfo: memFree=23708888/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2046256 memory=36260 CPUtime=25.48 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 21426 0 0 0 2536 12 0 0 20 0 1 0 247655740 2095366144 9065 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 511564 9065 693 405 0 508508 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2046256 KiB
Current children cumulated memory: 36260 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.10 2.08 3/187 16882
/proc/meminfo: memFree=23684560/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2055832 memory=46904 CPUtime=51.1 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 27381 0 0 0 5076 34 0 0 20 0 1 0 247655740 2105171968 11726 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 513958 11726 693 405 0 510902 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2055832 KiB
Current children cumulated memory: 46904 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/187 16883
/proc/meminfo: memFree=23677384/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2077884 memory=69200 CPUtime=102.29 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 46726 0 0 0 10151 78 0 0 20 0 1 0 247655740 2127753216 17300 33554432000 4194304 5849940 140722186502672 140722186501672 5312800 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 519471 17300 693 405 0 516415 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2077884 KiB
Current children cumulated memory: 69200 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 16884
/proc/meminfo: memFree=23701380/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2092616 memory=83932 CPUtime=162.29 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 68083 0 0 0 16098 131 0 0 20 0 1 0 247655740 2142838784 20983 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 523154 20983 693 405 0 520098 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2092616 KiB
Current children cumulated memory: 83932 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 16885
/proc/meminfo: memFree=23636464/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2116644 memory=107604 CPUtime=222.3 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 85276 0 0 0 22050 180 0 0 20 0 1 0 247655740 2167443456 26901 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 529161 26901 693 405 0 526105 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2116644 KiB
Current children cumulated memory: 107604 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 16886
/proc/meminfo: memFree=23615168/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2143152 memory=134268 CPUtime=282.29 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 91928 0 0 0 28003 226 0 0 20 0 1 0 247655740 2194587648 33567 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 535788 33567 693 405 0 532732 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2143152 KiB
Current children cumulated memory: 134268 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 16887
/proc/meminfo: memFree=23576928/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2155988 memory=147004 CPUtime=342.29 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 117900 0 0 0 33953 276 0 0 20 0 1 0 247655740 2207731712 36751 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 538997 36751 693 405 0 535941 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2155988 KiB
Current children cumulated memory: 147004 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 16888
/proc/meminfo: memFree=23697880/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2063496 memory=54432 CPUtime=402.3 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 128396 0 0 0 39905 325 0 0 20 0 1 0 247655740 2113019904 13608 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 515874 13608 693 405 0 512818 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2063496 KiB
Current children cumulated memory: 54432 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 16889
/proc/meminfo: memFree=23606908/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2105848 memory=96888 CPUtime=462.29 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 138402 0 0 0 45856 373 0 0 20 0 1 0 247655740 2156388352 24222 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 526462 24222 693 405 0 523406 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2105848 KiB
Current children cumulated memory: 96888 KiB
################
# More data... #
################
/proc/16881/statm: 710146 208719 693 405 0 707090 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2840584 KiB
Current children cumulated memory: 834876 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16960
/proc/meminfo: memFree=22724868/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2775048 memory=769340 CPUtime=1782.3 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 620240 0 0 0 177129 1101 0 0 20 0 1 0 247655740 2841649152 192335 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 693762 192335 693 405 0 690706 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 2775048 KiB
Current children cumulated memory: 769340 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16961
/proc/meminfo: memFree=22626940/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2840584 memory=834876 CPUtime=1842.31 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 697999 0 0 0 183110 1121 0 0 20 0 1 0 247655740 2908758016 208719 33554432000 4194304 5849940 140722186502672 140722186501672 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 710146 208719 693 405 0 707090 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2840584 KiB
Current children cumulated memory: 834876 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16962
/proc/meminfo: memFree=22626816/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2840584 memory=834876 CPUtime=1902.31 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 749003 0 0 0 189093 1138 0 0 20 0 1 0 247655740 2908758016 208719 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 710146 208719 693 405 0 707090 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2840584 KiB
Current children cumulated memory: 834876 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16963
/proc/meminfo: memFree=23144948/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2385936 memory=380228 CPUtime=1962.31 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 837647 0 0 0 195061 1170 0 0 20 0 1 0 247655740 2443198464 95057 33554432000 4194304 5849940 140722186502672 140722186501672 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 596484 95057 693 405 0 593428 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2385936 KiB
Current children cumulated memory: 380228 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16964
/proc/meminfo: memFree=23040040/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2458504 memory=452792 CPUtime=2022.32 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 898749 0 0 0 201038 1194 0 0 20 0 1 0 247655740 2517508096 113198 33554432000 4194304 5849940 140722186502672 140722186501672 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 614626 113198 693 405 0 611570 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2458504 KiB
Current children cumulated memory: 452792 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16965
/proc/meminfo: memFree=22913316/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2584832 memory=579088 CPUtime=2082.32 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 928857 0 0 0 207014 1218 0 0 20 0 1 0 247655740 2646867968 144772 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 646208 144772 693 405 0 643152 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2584832 KiB
Current children cumulated memory: 579088 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16966
/proc/meminfo: memFree=22721272/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2676248 memory=670536 CPUtime=2142.32 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 966424 0 0 0 212997 1235 0 0 20 0 1 0 247655740 2740477952 167634 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 669062 167634 693 405 0 666006 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2676248 KiB
Current children cumulated memory: 670536 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16967
/proc/meminfo: memFree=22573988/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2813324 memory=807612 CPUtime=2202.32 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 1040405 0 0 0 218976 1256 0 0 20 0 1 0 247655740 2880843776 201903 33554432000 4194304 5849940 140722186502672 140722186501544 5312850 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 703331 201903 693 405 0 700275 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2813324 KiB
Current children cumulated memory: 807612 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16968
/proc/meminfo: memFree=22404596/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=2981964 memory=976256 CPUtime=2262.32 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 1057176 0 0 0 224957 1275 0 0 20 0 1 0 247655740 3053531136 244064 33554432000 4194304 5849940 140722186502672 140722186501544 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 745491 244064 693 405 0 742435 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2981964 KiB
Current children cumulated memory: 976256 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16976
/proc/meminfo: memFree=22264456/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=3046708 memory=1041000 CPUtime=2322.32 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 1145729 0 0 0 230933 1299 0 0 20 0 1 0 247655740 3119828992 260250 33554432000 4194304 5849940 140722186502672 140722186501832 5313035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 761677 260250 693 405 0 758621 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 3046708 KiB
Current children cumulated memory: 1041000 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17038
/proc/meminfo: memFree=22786372/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=3046708 memory=1041000 CPUtime=2382.32 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 1245378 0 0 0 236916 1316 0 0 20 0 1 0 247655740 3119828992 260250 33554432000 4194304 5849940 140722186502672 140722186501672 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 761677 260250 693 405 0 758621 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 3046708 KiB
Current children cumulated memory: 1041000 KiB
[startup+2442.3 s]
/proc/loadavg: 2.59 2.14 2.09 3/187 17039
/proc/meminfo: memFree=22774084/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=3046708 memory=1041000 CPUtime=2442.33 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 1320778 0 0 0 242901 1332 0 0 20 0 1 0 247655740 3119828992 260250 33554432000 4194304 5849940 140722186502672 140722186501672 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 761677 260250 693 405 0 758621 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 3046708 KiB
Current children cumulated memory: 1041000 KiB
[startup+2502.3 s]
/proc/loadavg: 2.57 2.26 2.13 3/187 17040
/proc/meminfo: memFree=22764716/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=3046708 memory=1041000 CPUtime=2502.33 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 1391599 0 0 0 248886 1347 0 0 20 0 1 0 247655740 3119828992 260250 33554432000 4194304 5849940 140722186502672 140722186501672 140299482128263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 761677 260250 693 405 0 758621 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 3046708 KiB
Current children cumulated memory: 1041000 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.48 2.26 2.14 3/187 17040
/proc/meminfo: memFree=22763400/32770624 swapFree=67108368/67108860
[pid=16881] ppid=16878 vsize=3046708 memory=1041000 CPUtime=2520.03 cores=1,3,5,7
/proc/16881/stat : 16881 (xcsp_picat) R 16878 16881 15953 0 -1 4202496 1421402 0 0 0 250647 1356 0 0 20 0 1 0 247655740 3119828992 260250 33554432000 4194304 5849940 140722186502672 140722186501672 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42065920 140722186511542 140722186511620 140722186511620 140722186514378 0
/proc/16881/statm: 761677 260250 693 405 0 758621 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 3046708 KiB
Current children cumulated memory: 1041000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 16881 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.48 s, system=13.5953 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.04
CPU time (s): 2520.07
CPU user time (s): 2506.48
CPU system time (s): 13.5953
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3199028
Max. memory (cumulated for all children) (KiB): 1193448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.48
system time used= 13.5953
maximum resident set size= 1193448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1421402
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= 36
involuntary context switches= 1342
# summary of solver processes directly reported to runsolver:
# pid: 16881
# total CPU time (s): 2520.07
# total CPU user time (s): 2506.48
# total CPU system time (s): 13.5953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.179 second user time and 17.9297 second system time
The end