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 (234 MiB free)
memory of node 1: 16384 MiB (2012 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303258-1533990783/watcher-4303258-1533990783 -o /tmp/evaluation-result-4303258-1533990783/solver-4303258-1533990783 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1533990783-10865 --watchdog 2580 xcsp_picat HOME/instance-4303258-1533990783.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=10893, runsolver pid=10888
[startup+0.100111 s]*
/proc/loadavg: 1.01 1.42 1.73 4/189 10896
/proc/meminfo: memFree=2274256/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2028304 memory=17016 CPUtime=0.1 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 2384 0 0 0 10 0 0 0 20 0 1 0 216641462 2076983296 4254 33554432000 4194304 5849708 140735090254544 140735090253336 5359118 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 507076 4254 639 405 0 504021 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028304 KiB
Current children cumulated memory: 17016 KiB
[startup+0.210057 s]*
/proc/loadavg: 1.01 1.42 1.73 4/189 10896
/proc/meminfo: memFree=2273048/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2029840 memory=17752 CPUtime=0.21 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 2902 0 0 0 21 0 0 0 20 0 1 0 216641462 2078556160 4438 33554432000 4194304 5849708 140735090254544 140735090253336 5416468 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 507460 4438 650 405 0 504405 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2029840 KiB
Current children cumulated memory: 17752 KiB
[startup+0.309213 s]*
/proc/loadavg: 1.01 1.42 1.73 4/189 10896
/proc/meminfo: memFree=2273048/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2029840 memory=17752 CPUtime=0.31 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 2905 0 0 0 31 0 0 0 20 0 1 0 216641462 2078556160 4438 33554432000 4194304 5849708 140735090254544 140735090253336 4222456 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 507460 4438 650 405 0 504405 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029840 KiB
Current children cumulated memory: 17752 KiB
[startup+0.700242 s]
/proc/loadavg: 1.01 1.42 1.73 4/189 10896
/proc/meminfo: memFree=2270924/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2030464 memory=19072 CPUtime=0.69 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 3196 0 0 0 67 2 0 0 20 0 1 0 216641462 2079195136 4768 33554432000 4194304 5849708 140735090254544 140735090253336 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 507616 4768 661 405 0 504561 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030464 KiB
Current children cumulated memory: 19072 KiB
[startup+1.50025 s]
/proc/loadavg: 1.01 1.42 1.73 4/189 10896
/proc/meminfo: memFree=2267948/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2033728 memory=22244 CPUtime=1.49 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 4216 0 0 0 146 3 0 0 20 0 1 0 216641462 2082537472 5561 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 508432 5561 661 405 0 505377 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033728 KiB
Current children cumulated memory: 22244 KiB
[startup+3.10946 s]
/proc/loadavg: 1.01 1.42 1.73 4/189 10896
/proc/meminfo: memFree=2261780/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2036256 memory=24888 CPUtime=3.1 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 8833 0 0 0 304 6 0 0 20 0 1 0 216641462 2085126144 6222 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 509064 6222 661 405 0 506009 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2036256 KiB
Current children cumulated memory: 24888 KiB
[startup+6.30026 s]
/proc/loadavg: 0.93 1.40 1.72 4/189 10896
/proc/meminfo: memFree=2257708/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2037508 memory=26156 CPUtime=6.29 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 17439 0 0 0 618 11 0 0 20 0 1 0 216641462 2086408192 6539 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 509377 6539 661 405 0 506322 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037508 KiB
Current children cumulated memory: 26156 KiB
[startup+12.7003 s]
/proc/loadavg: 1.02 1.41 1.72 4/189 10896
/proc/meminfo: memFree=2245956/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2038924 memory=27696 CPUtime=12.69 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 31411 0 0 0 1248 21 0 0 20 0 1 0 216641462 2087858176 6924 33554432000 4194304 5849708 140735090254544 140735090253544 5312851 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 509731 6924 661 405 0 506676 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038924 KiB
Current children cumulated memory: 27696 KiB
[startup+25.5004 s]
/proc/loadavg: 1.24 1.44 1.72 4/189 10896
/proc/meminfo: memFree=2238184/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2046916 memory=35608 CPUtime=25.49 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 57489 0 0 0 2511 38 0 0 20 0 1 0 216641462 2096041984 8902 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 511729 8902 661 405 0 508674 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2046916 KiB
Current children cumulated memory: 35608 KiB
[startup+51.1098 s]
/proc/loadavg: 1.50 1.48 1.73 4/189 10896
/proc/meminfo: memFree=2219068/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2049268 memory=37700 CPUtime=51.1 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 114779 0 0 0 5041 69 0 0 20 0 1 0 216641462 2098450432 9425 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 512317 9425 661 405 0 509262 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2049268 KiB
Current children cumulated memory: 37700 KiB
[startup+102.3 s]
/proc/loadavg: 1.78 1.56 1.74 4/189 10897
/proc/meminfo: memFree=2200076/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2061188 memory=49876 CPUtime=102.29 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 198724 0 0 0 10110 119 0 0 20 0 1 0 216641462 2110656512 12469 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 515297 12469 661 405 0 512242 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2061188 KiB
Current children cumulated memory: 49876 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 1.64 1.76 4/188 10898
/proc/meminfo: memFree=2122604/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2120364 memory=109052 CPUtime=162.3 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 272530 0 0 0 16064 166 0 0 20 0 1 0 216641462 2171252736 27263 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 530091 27263 661 405 0 527036 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2120364 KiB
Current children cumulated memory: 109052 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 1.73 1.79 4/188 10899
/proc/meminfo: memFree=2043340/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2134872 memory=123560 CPUtime=222.3 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 307478 0 0 0 22035 195 0 0 20 0 1 0 216641462 2186108928 30890 33554432000 4194304 5849708 140735090254544 140735090253544 5312900 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 533718 30890 661 405 0 530663 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2134872 KiB
Current children cumulated memory: 123560 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.78 1.80 4/188 10900
/proc/meminfo: memFree=2097004/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2100116 memory=87908 CPUtime=282.3 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 355554 0 0 0 28004 226 0 0 20 0 1 0 216641462 2150518784 21977 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 525029 21977 661 405 0 521974 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2100116 KiB
Current children cumulated memory: 87908 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.82 1.81 4/187 10901
/proc/meminfo: memFree=2027628/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2112120 memory=99900 CPUtime=342.31 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 392732 0 0 0 33978 253 0 0 20 0 1 0 216641462 2162810880 24975 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 528030 24975 661 405 0 524975 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2112120 KiB
Current children cumulated memory: 99900 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.82 5/187 10902
/proc/meminfo: memFree=2072640/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2132440 memory=120172 CPUtime=402.3 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 417243 0 0 0 39948 282 0 0 20 0 1 0 216641462 2183618560 30043 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 533110 30043 661 405 0 530055 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2132440 KiB
Current children cumulated memory: 120172 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.83 4/188 10911
/proc/meminfo: memFree=1918972/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2213264 memory=201396 CPUtime=462.31 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 474393 0 0 0 45918 313 0 0 20 0 1 0 216641462 2266382336 50349 33554432000 4194304 5849708 140735090254544 140735090253608 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 553316 50349 661 405 0 550261 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2213264 KiB
Current children cumulated memory: 201396 KiB
################
# More data... #
################
/proc/10893/statm: 606978 105005 661 405 0 603923 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2427912 KiB
Current children cumulated memory: 420020 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 10974
/proc/meminfo: memFree=1396780/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2427912 memory=420020 CPUtime=1782.31 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1073632 0 0 0 177557 674 0 0 20 0 1 0 216641462 2486181888 105005 33554432000 4194304 5849708 140735090254544 140735090253544 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 606978 105005 661 405 0 603923 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2427912 KiB
Current children cumulated memory: 420020 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 10975
/proc/meminfo: memFree=1354340/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2470168 memory=462216 CPUtime=1842.31 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1077597 0 0 0 183547 684 0 0 20 0 1 0 216641462 2529452032 115554 33554432000 4194304 5849708 140735090254544 140735090253544 5437592 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 617542 115554 661 405 0 614487 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2470168 KiB
Current children cumulated memory: 462216 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 10976
/proc/meminfo: memFree=1214972/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2609348 memory=601456 CPUtime=1902.32 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1125602 0 0 0 189535 697 0 0 20 0 1 0 216641462 2671972352 150364 33554432000 4194304 5849708 140735090254544 140735090253704 5437736 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 652337 150364 661 405 0 649282 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2609348 KiB
Current children cumulated memory: 601456 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10977
/proc/meminfo: memFree=1214484/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2609348 memory=601456 CPUtime=1962.32 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1170086 0 0 0 195524 708 0 0 20 0 1 0 216641462 2671972352 150364 33554432000 4194304 5849708 140735090254544 140735090253544 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 652337 150364 661 405 0 649282 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2609348 KiB
Current children cumulated memory: 601456 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10978
/proc/meminfo: memFree=1214608/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2609348 memory=601456 CPUtime=2022.32 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1215152 0 0 0 201516 716 0 0 20 0 1 0 216641462 2671972352 150364 33554432000 4194304 5849708 140735090254544 140735090253544 5413392 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 652337 150364 661 405 0 649282 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2609348 KiB
Current children cumulated memory: 601456 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10979
/proc/meminfo: memFree=1143656/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2680640 memory=672748 CPUtime=2082.32 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1265318 0 0 0 207503 729 0 0 20 0 1 0 216641462 2744975360 168187 33554432000 4194304 5849708 140735090254544 140735090253544 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 670160 168187 661 405 0 667105 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2680640 KiB
Current children cumulated memory: 672748 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 10980
/proc/meminfo: memFree=1143144/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2680640 memory=672748 CPUtime=2142.32 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1282918 0 0 0 213492 740 0 0 20 0 1 0 216641462 2744975360 168187 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 670160 168187 661 405 0 667105 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2680640 KiB
Current children cumulated memory: 672748 KiB
[startup+2202.3 s]
/proc/loadavg: 2.98 2.26 2.04 4/187 10981
/proc/meminfo: memFree=1142604/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2680640 memory=672748 CPUtime=2202.33 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1340270 0 0 0 219478 755 0 0 20 0 1 0 216641462 2744975360 168187 33554432000 4194304 5849708 140735090254544 140735090253704 5438212 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 670160 168187 661 405 0 667105 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 2680640 KiB
Current children cumulated memory: 672748 KiB
[startup+2262.3 s]
/proc/loadavg: 2.49 2.27 2.06 4/187 10989
/proc/meminfo: memFree=1142324/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2680640 memory=672748 CPUtime=2262.33 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1399715 0 0 0 225452 781 0 0 20 0 1 0 216641462 2744975360 168187 33554432000 4194304 5849708 140735090254544 140735090253544 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 670160 168187 661 405 0 667105 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2680640 KiB
Current children cumulated memory: 672748 KiB
[startup+2322.3 s]
/proc/loadavg: 2.18 2.22 2.05 4/187 10990
/proc/meminfo: memFree=867588/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2746176 memory=738284 CPUtime=2322.33 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1453116 0 0 0 231426 807 0 0 20 0 1 0 216641462 2812084224 184571 33554432000 4194304 5849708 140735090254544 140735090253544 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 686544 184571 661 405 0 683489 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2746176 KiB
Current children cumulated memory: 738284 KiB
[startup+2382.3 s]
/proc/loadavg: 2.07 2.18 2.05 4/187 10991
/proc/meminfo: memFree=811728/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2746176 memory=738284 CPUtime=2382.33 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1469900 0 0 0 237416 817 0 0 20 0 1 0 216641462 2812084224 184571 33554432000 4194304 5849708 140735090254544 140735090253544 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 686544 184571 661 405 0 683489 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 2746176 KiB
Current children cumulated memory: 738284 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.15 2.05 4/187 10992
/proc/meminfo: memFree=930876/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2691980 memory=675432 CPUtime=2442.33 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1526846 0 0 0 243407 826 0 0 20 0 1 0 216641462 2756587520 168858 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 672995 168858 661 405 0 669940 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2691980 KiB
Current children cumulated memory: 675432 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.12 2.05 4/187 10993
/proc/meminfo: memFree=852488/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2757516 memory=740968 CPUtime=2502.34 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1558193 0 0 0 249396 838 0 0 20 0 1 0 216641462 2823696384 185242 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 689379 185242 661 405 0 686324 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2757516 KiB
Current children cumulated memory: 740968 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.11 2.05 4/187 10993
/proc/meminfo: memFree=1159320/32770624 swapFree=67108404/67108860
[pid=10893] ppid=10888 vsize=2442692 memory=434820 CPUtime=2520.04 cores=1,3,5,7
/proc/10893/stat : 10893 (xcsp_picat) R 10888 10893 10833 0 -1 4202496 1584598 0 0 0 251158 846 0 0 20 0 1 0 216641462 2501316608 108705 33554432000 4194304 5849708 140735090254544 140735090253544 140671915495303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 43966464 140735090259126 140735090259204 140735090259204 140735090261962 0
/proc/10893/statm: 610673 108705 661 405 0 607618 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2442692 KiB
Current children cumulated memory: 434820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 10893 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.59 s, system=8.47524 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): 2511.59
CPU system time (s): 8.47524
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2757516
Max. memory (cumulated for all children) (KiB): 740968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.59
system time used= 8.47524
maximum resident set size= 740968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1584598
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= 883
# summary of solver processes directly reported to runsolver:
# pid: 10893
# total CPU time (s): 2520.06
# total CPU user time (s): 2511.59
# total CPU system time (s): 8.47524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3075 second user time and 18.1367 second system time
The end