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 (2871 MiB free)
memory of node 1: 16384 MiB (2478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303254-1533990060/watcher-4303254-1533990060 -o /tmp/evaluation-result-4303254-1533990060/solver-4303254-1533990060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10871 --watchdog 2580 xcsp_picat HOME/instance-4303254-1533990060.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
solver pid=10899, runsolver pid=10893
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.00 1.04 1.35 4/188 10901
/proc/meminfo: memFree=5454060/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2026936 memory=13668 CPUtime=0.1 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 1618 0 0 0 10 0 0 0 20 0 1 0 216569217 2075582464 3417 33554432000 4194304 5849708 140722618264048 140722618264048 5416633 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 506734 3417 649 405 0 503679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026936 KiB
Current children cumulated memory: 13668 KiB
[startup+0.209953 s]*
/proc/loadavg: 1.00 1.04 1.35 4/188 10901
/proc/meminfo: memFree=5453688/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2027448 memory=14204 CPUtime=0.21 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 1781 0 0 0 21 0 0 0 20 0 1 0 216569217 2076106752 3551 33554432000 4194304 5849708 140722618264048 140722618264048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 506862 3551 661 405 0 503807 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027448 KiB
Current children cumulated memory: 14204 KiB
[startup+0.309111 s]*
/proc/loadavg: 1.00 1.04 1.35 4/188 10901
/proc/meminfo: memFree=5451036/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2028036 memory=14996 CPUtime=0.31 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 1936 0 0 0 31 0 0 0 20 0 1 0 216569217 2076708864 3749 33554432000 4194304 5849708 140722618264048 140722618264048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 507009 3749 661 405 0 503954 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028036 KiB
Current children cumulated memory: 14996 KiB
[startup+0.700277 s]
/proc/loadavg: 1.00 1.04 1.35 3/188 10901
/proc/meminfo: memFree=5450292/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2028756 memory=15744 CPUtime=0.69 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 2417 0 0 0 68 1 0 0 20 0 1 0 216569217 2077446144 3936 33554432000 4194304 5849708 140722618264048 140722618263208 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 507189 3936 661 405 0 504134 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028756 KiB
Current children cumulated memory: 15744 KiB
[startup+1.50029 s]
/proc/loadavg: 0.92 1.02 1.34 4/188 10901
/proc/meminfo: memFree=5449544/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2028992 memory=15900 CPUtime=1.49 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 5001 0 0 0 147 2 0 0 20 0 1 0 216569217 2077687808 3975 33554432000 4194304 5849708 140722618264048 140722618263208 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 507248 3975 661 405 0 504193 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028992 KiB
Current children cumulated memory: 15900 KiB
[startup+3.10957 s]
/proc/loadavg: 0.92 1.02 1.34 4/188 10901
/proc/meminfo: memFree=5437504/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2029748 memory=16652 CPUtime=3.1 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 11402 0 0 0 305 5 0 0 20 0 1 0 216569217 2078461952 4163 33554432000 4194304 5849708 140722618264048 140722618263208 5340587 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 507437 4163 661 405 0 504382 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2029748 KiB
Current children cumulated memory: 16652 KiB
[startup+6.30029 s]
/proc/loadavg: 1.01 1.04 1.34 4/188 10901
/proc/meminfo: memFree=5434444/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2031188 memory=18248 CPUtime=6.29 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 18981 0 0 0 619 10 0 0 20 0 1 0 216569217 2079936512 4562 33554432000 4194304 5849708 140722618264048 140722618263048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 507797 4562 661 405 0 504742 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031188 KiB
Current children cumulated memory: 18248 KiB
[startup+12.7003 s]
/proc/loadavg: 1.09 1.06 1.35 4/188 10901
/proc/meminfo: memFree=5429196/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2033732 memory=20900 CPUtime=12.69 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 41746 0 0 0 1250 19 0 0 20 0 1 0 216569217 2082541568 5225 33554432000 4194304 5849708 140722618264048 140722618263048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 508433 5225 661 405 0 505378 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2033732 KiB
Current children cumulated memory: 20900 KiB
[startup+25.5004 s]
/proc/loadavg: 1.23 1.09 1.35 4/188 10901
/proc/meminfo: memFree=5408868/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2041440 memory=28280 CPUtime=25.49 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 80491 0 0 0 2516 33 0 0 20 0 1 0 216569217 2090434560 7070 33554432000 4194304 5849708 140722618264048 140722618263048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 510360 7070 661 405 0 507305 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2041440 KiB
Current children cumulated memory: 28280 KiB
[startup+51.1096 s]
/proc/loadavg: 1.53 1.18 1.37 4/188 10901
/proc/meminfo: memFree=5370468/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2056092 memory=43036 CPUtime=51.1 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 128784 0 0 0 5056 54 0 0 20 0 1 0 216569217 2105438208 10759 33554432000 4194304 5849708 140722618264048 140722618263208 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 514023 10759 661 405 0 510968 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2056092 KiB
Current children cumulated memory: 43036 KiB
[startup+102.3 s]
/proc/loadavg: 1.80 1.30 1.41 4/188 10902
/proc/meminfo: memFree=5363056/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2076144 memory=63084 CPUtime=102.29 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 180074 0 0 0 10147 82 0 0 20 0 1 0 216569217 2125971456 15771 33554432000 4194304 5849708 140722618264048 140722618263048 5335588 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 519036 15771 661 405 0 515981 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2076144 KiB
Current children cumulated memory: 63084 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.43 1.44 4/188 10903
/proc/meminfo: memFree=5308628/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2101940 memory=88860 CPUtime=162.3 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 249881 0 0 0 16112 118 0 0 20 0 1 0 216569217 2152386560 22215 33554432000 4194304 5849708 140722618264048 140722618263048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 525485 22215 661 405 0 522430 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2101940 KiB
Current children cumulated memory: 88860 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.53 1.48 4/188 10904
/proc/meminfo: memFree=5278012/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2109284 memory=96440 CPUtime=222.3 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 278422 0 0 0 22096 134 0 0 20 0 1 0 216569217 2159906816 24110 33554432000 4194304 5849708 140722618264048 140722618263048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 527321 24110 661 405 0 524266 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2109284 KiB
Current children cumulated memory: 96440 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.51 4/188 10906
/proc/meminfo: memFree=5236044/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2143004 memory=130160 CPUtime=282.3 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 301663 0 0 0 28075 155 0 0 20 0 1 0 216569217 2194436096 32540 33554432000 4194304 5849708 140722618264048 140722618262920 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 535751 32540 661 405 0 532696 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2143004 KiB
Current children cumulated memory: 130160 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.54 3/187 10907
/proc/meminfo: memFree=5202496/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2096080 memory=83032 CPUtime=342.3 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 337702 0 0 0 34049 181 0 0 20 0 1 0 216569217 2146385920 20758 33554432000 4194304 5849708 140722618264048 140722618262920 5371821 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 524020 20758 661 405 0 520965 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2096080 KiB
Current children cumulated memory: 83032 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.57 4/187 10908
/proc/meminfo: memFree=5202676/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2112444 memory=99484 CPUtime=402.31 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 359089 0 0 0 40035 196 0 0 20 0 1 0 216569217 2163142656 24871 33554432000 4194304 5849708 140722618264048 140722618263048 5438278 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 528111 24871 661 405 0 525056 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2112444 KiB
Current children cumulated memory: 99484 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.60 4/187 10910
/proc/meminfo: memFree=5178540/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2168352 memory=155392 CPUtime=462.31 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 398236 0 0 0 46004 227 0 0 20 0 1 0 216569217 2220392448 38848 33554432000 4194304 5849708 140722618264048 140722618263048 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 542088 38848 661 405 0 539033 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2168352 KiB
Current children cumulated memory: 155392 KiB
################
# More data... #
################
/proc/10899/statm: 550355 48382 661 405 0 547300 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2201420 KiB
Current children cumulated memory: 193528 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/188 10956
/proc/meminfo: memFree=4332652/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2201420 memory=193528 CPUtime=1782.32 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 765550 0 0 0 177693 539 0 0 20 0 1 0 216569217 2254254080 48382 33554432000 4194304 5849708 140722618264048 140722618263208 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 550355 48382 661 405 0 547300 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 2201420 KiB
Current children cumulated memory: 193528 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/188 10957
/proc/meminfo: memFree=4984552/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2201420 memory=193528 CPUtime=1842.32 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 767216 0 0 0 183686 546 0 0 20 0 1 0 216569217 2254254080 48382 33554432000 4194304 5849708 140722618264048 140722618263048 5437844 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 550355 48382 661 405 0 547300 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2201420 KiB
Current children cumulated memory: 193528 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/188 10958
/proc/meminfo: memFree=4886200/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2240724 memory=232744 CPUtime=1902.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 778247 0 0 0 189677 556 0 0 20 0 1 0 216569217 2294501376 58186 33554432000 4194304 5849708 140722618264048 140722618263048 5437625 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 560181 58186 661 405 0 557126 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 2240724 KiB
Current children cumulated memory: 232744 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 10959
/proc/meminfo: memFree=4849672/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2254184 memory=246292 CPUtime=1962.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 779637 0 0 0 195670 563 0 0 20 0 1 0 216569217 2308284416 61573 33554432000 4194304 5849708 140722618264048 140722618263048 5437725 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 563546 61573 661 405 0 560491 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 2254184 KiB
Current children cumulated memory: 246292 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10960
/proc/meminfo: memFree=4762264/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2326608 memory=318716 CPUtime=2022.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 806148 0 0 0 201648 585 0 0 20 0 1 0 216569217 2382446592 79679 33554432000 4194304 5849708 140722618264048 140722618263048 5438237 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 581652 79679 661 405 0 578597 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2326608 KiB
Current children cumulated memory: 318716 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10963
/proc/meminfo: memFree=4687260/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2326608 memory=318716 CPUtime=2082.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 827759 0 0 0 207621 612 0 0 20 0 1 0 216569217 2382446592 79679 33554432000 4194304 5849708 140722618264048 140722618263048 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 581652 79679 661 405 0 578597 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 2326608 KiB
Current children cumulated memory: 318716 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10964
/proc/meminfo: memFree=4687524/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2359376 memory=351464 CPUtime=2142.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 873725 0 0 0 213589 644 0 0 20 0 1 0 216569217 2416001024 87866 33554432000 4194304 5849708 140722618264048 140722618263048 5438246 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 589844 87866 661 405 0 586789 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2359376 KiB
Current children cumulated memory: 351464 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10965
/proc/meminfo: memFree=4656796/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2326608 memory=318716 CPUtime=2202.32 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 929565 0 0 0 219546 686 0 0 20 0 1 0 216569217 2382446592 79679 33554432000 4194304 5849708 140722618264048 140722618263048 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 581652 79679 661 405 0 578597 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2326608 KiB
Current children cumulated memory: 318716 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10967
/proc/meminfo: memFree=4454360/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2359376 memory=351484 CPUtime=2262.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 961306 0 0 0 225531 702 0 0 20 0 1 0 216569217 2416001024 87871 33554432000 4194304 5849708 140722618264048 140722618263048 5437725 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 589844 87871 661 405 0 586789 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2359376 KiB
Current children cumulated memory: 351484 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10968
/proc/meminfo: memFree=4427880/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2399476 memory=391584 CPUtime=2322.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 991141 0 0 0 231520 713 0 0 20 0 1 0 216569217 2457063424 97896 33554432000 4194304 5849708 140722618264048 140722618263048 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 599869 97896 661 405 0 596814 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2399476 KiB
Current children cumulated memory: 391584 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10976
/proc/meminfo: memFree=4174160/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2399476 memory=391584 CPUtime=2382.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 1008779 0 0 0 237514 719 0 0 20 0 1 0 216569217 2457063424 97896 33554432000 4194304 5849708 140722618264048 140722618263048 5438180 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 599869 97896 661 405 0 596814 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 2399476 KiB
Current children cumulated memory: 391584 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10999
/proc/meminfo: memFree=3967144/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2399476 memory=391584 CPUtime=2442.33 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 1017957 0 0 0 243509 724 0 0 20 0 1 0 216569217 2457063424 97896 33554432000 4194304 5849708 140722618264048 140722618263048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 599869 97896 661 405 0 596814 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2399476 KiB
Current children cumulated memory: 391584 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 11000
/proc/meminfo: memFree=3967584/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2399476 memory=391584 CPUtime=2502.34 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 1044453 0 0 0 249504 730 0 0 20 0 1 0 216569217 2457063424 97896 33554432000 4194304 5849708 140722618264048 140722618263048 139845118357383 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 599869 97896 661 405 0 596814 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2399476 KiB
Current children cumulated memory: 391584 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 4/187 11000
/proc/meminfo: memFree=3953872/32770624 swapFree=67030624/67108860
[pid=10899] ppid=10893 vsize=2399476 memory=391584 CPUtime=2520.05 cores=1,3,5,7
/proc/10899/stat : 10899 (xcsp_picat) R 10893 10899 10838 0 -1 4202496 1044491 0 0 0 251274 731 0 0 20 0 1 0 216569217 2457063424 97896 33554432000 4194304 5849708 140722618264048 140722618263048 5438208 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 28868608 140722618266806 140722618266884 140722618266884 140722618269642 0
/proc/10899/statm: 599869 97896 661 405 0 596814 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2399476 KiB
Current children cumulated memory: 391584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 10899 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.74 s, system=7.32119 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): 2520.06
CPU user time (s): 2512.74
CPU system time (s): 7.32119
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2399476
Max. memory (cumulated for all children) (KiB): 391584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.74
system time used= 7.32119
maximum resident set size= 391584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1044492
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= 41
involuntary context switches= 1103
# summary of solver processes directly reported to runsolver:
# pid: 10899
# total CPU time (s): 2520.06
# total CPU user time (s): 2512.74
# total CPU system time (s): 7.32119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.73164 second user time and 18.7212 second system time
The end