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 (1351 MiB free)
memory of node 1: 16384 MiB (2751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303465-1534035198/watcher-4303465-1534035198 -o /tmp/evaluation-result-4303465-1534035198/solver-4303465-1534035198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534027537-30489 --watchdog 2580 xcsp_picat HOME/instance-4303465-1534035198.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=31287, runsolver pid=31284
[startup+0.100154 s]*
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4187612/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2026820 memory=16744 CPUtime=0.1 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1801 0 0 0 10 0 0 0 20 0 1 0 221082999 2075463680 4186 33554432000 4194304 5849708 140734565123632 140734565123632 140675262715808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 506705 4186 722 405 0 503650 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026820 KiB
Current children cumulated memory: 16744 KiB
[startup+0.209659 s]*
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4193020/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2026692 memory=17008 CPUtime=0.21 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1910 0 0 0 21 0 0 0 20 0 1 0 221082999 2075332608 4252 33554432000 4194304 5849708 140734565123632 140734565123632 5303787 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 506673 4252 740 405 0 503618 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026692 KiB
Current children cumulated memory: 17008 KiB
[startup+0.30892 s]*
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4187924/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2027152 memory=17480 CPUtime=0.3 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 2057 0 0 0 30 0 0 0 20 0 1 0 221082999 2075803648 4370 33554432000 4194304 5849708 140734565123632 140734565123632 5359328 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 506788 4370 743 405 0 503733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027152 KiB
Current children cumulated memory: 17480 KiB
[startup+0.70028 s]
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4187552/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2027128 memory=17344 CPUtime=0.69 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 2483 0 0 0 68 1 0 0 20 0 1 0 221082999 2075779072 4336 33554432000 4194304 5849708 140734565123632 140734565123632 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 506782 4336 763 405 0 503727 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027128 KiB
Current children cumulated memory: 17344 KiB
[startup+1.50028 s]
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4188048/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2028676 memory=18928 CPUtime=1.49 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 2872 0 0 0 147 2 0 0 20 0 1 0 221082999 2077364224 4732 33554432000 4194304 5849708 140734565123632 140734565123632 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 507169 4732 765 405 0 504114 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028676 KiB
Current children cumulated memory: 18928 KiB
[startup+3.10935 s]
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4182840/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2032768 memory=23012 CPUtime=3.1 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 5139 0 0 0 306 4 0 0 20 0 1 0 221082999 2081554432 5753 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 508192 5753 765 405 0 505137 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2032768 KiB
Current children cumulated memory: 23012 KiB
[startup+6.30027 s]
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4190400/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2034236 memory=24572 CPUtime=6.29 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 8240 0 0 0 621 8 0 0 20 0 1 0 221082999 2083057664 6143 33554432000 4194304 5849708 140734565123632 140734565122792 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 508559 6143 765 405 0 505504 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2034236 KiB
Current children cumulated memory: 24572 KiB
[startup+12.7003 s]
/proc/loadavg: 1.98 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4186524/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2042064 memory=32492 CPUtime=12.69 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 18372 0 0 0 1254 15 0 0 20 0 1 0 221082999 2091073536 8123 33554432000 4194304 5849708 140734565123632 140734565122632 5437828 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 510516 8123 765 405 0 507461 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2042064 KiB
Current children cumulated memory: 32492 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4173388/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2044356 memory=34768 CPUtime=25.49 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 34740 0 0 0 2519 30 0 0 20 0 1 0 221082999 2093420544 8692 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 511089 8692 765 405 0 508034 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2044356 KiB
Current children cumulated memory: 34768 KiB
[startup+51.1097 s]
/proc/loadavg: 1.99 1.99 1.95 3/188 31288
/proc/meminfo: memFree=4154220/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2056888 memory=47092 CPUtime=51.1 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 60265 0 0 0 5057 53 0 0 20 0 1 0 221082999 2106253312 11773 33554432000 4194304 5849708 140734565123632 140734565122536 5385093 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 514222 11773 765 405 0 511167 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2056888 KiB
Current children cumulated memory: 47092 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31289
/proc/meminfo: memFree=4131668/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2077012 memory=67268 CPUtime=102.29 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 103823 0 0 0 10136 93 0 0 20 0 1 0 221082999 2126860288 16817 33554432000 4194304 5849708 140734565123632 140734565122792 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 519253 16817 765 405 0 516198 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2077012 KiB
Current children cumulated memory: 67268 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 2.02 1.97 3/188 31291
/proc/meminfo: memFree=4108784/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2100884 memory=91312 CPUtime=162.28 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 130611 0 0 0 16109 119 0 0 20 0 1 0 221082999 2151305216 22828 33554432000 4194304 5849708 140734565123632 140734565122632 5312803 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 525221 22828 765 405 0 522166 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2100884 KiB
Current children cumulated memory: 91312 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/188 31292
/proc/meminfo: memFree=4104468/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2099756 memory=90056 CPUtime=222.28 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 151502 0 0 0 22089 139 0 0 20 0 1 0 221082999 2150150144 22514 33554432000 4194304 5849708 140734565123632 140734565122792 5437592 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 524939 22514 765 405 0 521884 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2099756 KiB
Current children cumulated memory: 90056 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/188 31293
/proc/meminfo: memFree=4040720/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2165252 memory=155552 CPUtime=282.27 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 173597 0 0 0 28069 158 0 0 20 0 1 0 221082999 2217218048 38888 33554432000 4194304 5849708 140734565123632 140734565122632 5311424 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 541313 38888 765 405 0 538258 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2165252 KiB
Current children cumulated memory: 155552 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/188 31295
/proc/meminfo: memFree=4044060/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2141752 memory=131972 CPUtime=342.27 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 188927 0 0 0 34049 178 0 0 20 0 1 0 221082999 2193154048 32993 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 535438 32993 765 405 0 532383 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2141752 KiB
Current children cumulated memory: 131972 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 31296
/proc/meminfo: memFree=3997660/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2171064 memory=161364 CPUtime=402.27 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 213742 0 0 0 40035 192 0 0 20 0 1 0 221082999 2223169536 40341 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 542766 40341 765 405 0 539711 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2171064 KiB
Current children cumulated memory: 161364 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 31302
/proc/meminfo: memFree=3968144/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2171064 memory=161364 CPUtime=462.27 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 215934 0 0 0 46021 206 0 0 20 0 1 0 221082999 2223169536 40341 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 542766 40341 765 405 0 539711 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2171064 KiB
Current children cumulated memory: 161364 KiB
################
# More data... #
################
/proc/31287/statm: 598234 96998 765 405 0 595179 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2392936 KiB
Current children cumulated memory: 387992 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/189 31356
/proc/meminfo: memFree=3206832/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2587456 memory=582512 CPUtime=1782.18 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 727947 0 0 0 177750 468 0 0 20 0 1 0 221082999 2649554944 145628 33554432000 4194304 5849708 140734565123632 140734565122632 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 646864 145628 765 405 0 643809 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2587456 KiB
Current children cumulated memory: 582512 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/189 31357
/proc/meminfo: memFree=3206460/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2587456 memory=582512 CPUtime=1842.17 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 770223 0 0 0 183740 477 0 0 20 0 1 0 221082999 2649554944 145628 33554432000 4194304 5849708 140734565123632 140734565122632 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 646864 145628 765 405 0 643809 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 2587456 KiB
Current children cumulated memory: 582512 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/189 31358
/proc/meminfo: memFree=3206708/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2587456 memory=582512 CPUtime=1902.17 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 796711 0 0 0 189733 484 0 0 20 0 1 0 221082999 2649554944 145628 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 646864 145628 765 405 0 643809 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 2587456 KiB
Current children cumulated memory: 582512 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/189 31360
/proc/meminfo: memFree=3207088/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2587456 memory=582512 CPUtime=1962.17 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 841023 0 0 0 195724 493 0 0 20 0 1 0 221082999 2649554944 145628 33554432000 4194304 5849708 140734565123632 140734565122792 5335588 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 646864 145628 765 405 0 643809 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2587456 KiB
Current children cumulated memory: 582512 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 31364
/proc/meminfo: memFree=3205580/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2588936 memory=583992 CPUtime=2022.17 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 901548 0 0 0 201711 506 0 0 20 0 1 0 221082999 2651070464 145998 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 647234 145998 765 405 0 644179 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2588936 KiB
Current children cumulated memory: 583992 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 31365
/proc/meminfo: memFree=3309980/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2082.17 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 950865 0 0 0 207700 517 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 31367
/proc/meminfo: memFree=3309856/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2142.17 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 976994 0 0 0 213692 525 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122792 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 31368
/proc/meminfo: memFree=3244976/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2202.17 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1026685 0 0 0 219681 536 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 140675263127431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 31374
/proc/meminfo: memFree=3290788/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2262.16 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1074172 0 0 0 225670 546 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 31375
/proc/meminfo: memFree=3235928/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2322.16 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1108672 0 0 0 231663 553 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 5335584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 31376
/proc/meminfo: memFree=3236176/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2382.15 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1134580 0 0 0 237655 560 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 5437824 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
[startup+2442.3 s]
/proc/loadavg: 1.71 1.93 1.94 2/181 31423
/proc/meminfo: memFree=3609176/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2442.15 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1185110 0 0 0 243645 570 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 5437736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
[startup+2502.3 s]
/proc/loadavg: 1.32 1.78 1.89 2/181 31424
/proc/meminfo: memFree=3609788/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2502.15 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1225982 0 0 0 249638 577 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 5438278 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.23 1.73 1.87 2/181 31424
/proc/meminfo: memFree=3609796/32770624 swapFree=67108860/67108860
[pid=31287] ppid=31284 vsize=2654472 memory=649528 CPUtime=2519.86 cores=1,3,5,7
/proc/31287/stat : 31287 (xcsp_picat) R 31284 31287 30457 0 -1 4202496 1235278 0 0 0 251405 581 0 0 20 0 1 0 221082999 2718179328 162382 33554432000 4194304 5849708 140734565123632 140734565122632 5312794 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 40984576 140734565131446 140734565131524 140734565131524 140734565134282 0
/proc/31287/statm: 663618 162382 765 405 0 660563 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 2654472 KiB
Current children cumulated memory: 649528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 31287 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.05 s, system=5.83075 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.02
CPU time (s): 2519.88
CPU user time (s): 2514.05
CPU system time (s): 5.83075
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 2654472
Max. memory (cumulated for all children) (KiB): 649528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.05
system time used= 5.83075
maximum resident set size= 649528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1235278
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= 63
involuntary context switches= 959
# summary of solver processes directly reported to runsolver:
# pid: 31287
# total CPU time (s): 2519.88
# total CPU user time (s): 2514.05
# total CPU system time (s): 5.83075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4965 second user time and 18.288 second system time
The end