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 (6146 MiB free)
memory of node 1: 16384 MiB (8252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303426-1534005737/watcher-4303426-1534005737 -o /tmp/evaluation-result-4303426-1534005737/solver-4303426-1534005737 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32497 --watchdog 2580 xcsp_picat HOME/instance-4303426-1534005737.xml
running on 4 cores: 0,2,4,6
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=2152, runsolver pid=2149
[startup+0.100125 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14728956/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2026560 memory=19392 CPUtime=0.1 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1424 0 0 0 10 0 0 0 20 0 1 0 218136913 2075197440 4848 33554432000 4194304 5849708 140724049369424 140724049369424 5359146 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 506640 4848 667 405 0 503585 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026560 KiB
Current children cumulated memory: 19392 KiB
[startup+0.209765 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14728584/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2027076 memory=19608 CPUtime=0.21 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1655 0 0 0 21 0 0 0 20 0 1 0 218136913 2075725824 4902 33554432000 4194304 5849708 140724049369424 140724049369424 4207983 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 506769 4902 677 405 0 503714 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027076 KiB
Current children cumulated memory: 19608 KiB
[startup+0.309031 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14727096/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2028636 memory=21284 CPUtime=0.3 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 2196 0 0 0 30 0 0 0 20 0 1 0 218136913 2077323264 5321 33554432000 4194304 5849708 140724049369424 140724049369424 5312893 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 507159 5321 681 405 0 504104 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2028636 KiB
Current children cumulated memory: 21284 KiB
[startup+0.700251 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14725360/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2031376 memory=24208 CPUtime=0.69 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 4490 0 0 0 68 1 0 0 20 0 1 0 218136913 2080129024 6052 33554432000 4194304 5849708 140724049369424 140724049368424 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 507844 6052 681 405 0 504789 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031376 KiB
Current children cumulated memory: 24208 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14722520/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2038312 memory=31020 CPUtime=1.49 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 9327 0 0 0 146 3 0 0 20 0 1 0 218136913 2087231488 7755 33554432000 4194304 5849708 140724049369424 140724049368424 5438244 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 509578 7755 681 405 0 506523 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2038312 KiB
Current children cumulated memory: 31020 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14710308/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2046032 memory=38628 CPUtime=3.09 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 18255 0 0 0 304 5 0 0 20 0 1 0 218136913 2095136768 9657 33554432000 4194304 5849708 140724049369424 140724049368424 140114793570183 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 511508 9657 681 405 0 508453 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2046032 KiB
Current children cumulated memory: 38628 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14711720/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2044732 memory=37624 CPUtime=6.29 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 33867 0 0 0 617 12 0 0 20 0 1 0 218136913 2093805568 9406 33554432000 4194304 5849708 140724049369424 140724049368424 5335535 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 511183 9406 681 405 0 508128 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2044732 KiB
Current children cumulated memory: 37624 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14664816/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2058552 memory=51316 CPUtime=12.69 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 58150 0 0 0 1247 22 0 0 20 0 1 0 218136913 2107957248 12829 33554432000 4194304 5849708 140724049369424 140724049368584 5335584 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 514638 12829 681 405 0 511583 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2058552 KiB
Current children cumulated memory: 51316 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14637976/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2060820 memory=53344 CPUtime=25.49 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 104124 0 0 0 2511 38 0 0 20 0 1 0 218136913 2110279680 13336 33554432000 4194304 5849708 140724049369424 140724049368296 140114793570183 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 515205 13336 681 405 0 512150 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060820 KiB
Current children cumulated memory: 53344 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2153
/proc/meminfo: memFree=14631592/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2124476 memory=117240 CPUtime=51.09 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 158010 0 0 0 5047 62 0 0 20 0 1 0 218136913 2175463424 29310 33554432000 4194304 5849708 140724049369424 140724049368296 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 531119 29310 681 405 0 528064 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2124476 KiB
Current children cumulated memory: 117240 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2154
/proc/meminfo: memFree=14606256/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2142292 memory=135056 CPUtime=102.27 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 232162 0 0 0 10128 99 0 0 20 0 1 0 218136913 2193707008 33764 33554432000 4194304 5849708 140724049369424 140724049368424 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 535573 33764 681 405 0 532518 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2142292 KiB
Current children cumulated memory: 135056 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2155
/proc/meminfo: memFree=14626268/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2110008 memory=102772 CPUtime=162.26 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 313093 0 0 0 16080 146 0 0 20 0 1 0 218136913 2160648192 25693 33554432000 4194304 5849708 140724049369424 140724049368296 140114793570183 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 527502 25693 681 405 0 524447 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2110008 KiB
Current children cumulated memory: 102772 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2156
/proc/meminfo: memFree=14596832/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2142228 memory=132596 CPUtime=222.25 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 351739 0 0 0 22036 189 0 0 20 0 1 0 218136913 2193641472 33149 33554432000 4194304 5849708 140724049369424 140724049368424 5437828 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 535557 33149 681 405 0 532502 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2142228 KiB
Current children cumulated memory: 132596 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 2340
/proc/meminfo: memFree=14682280/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2158244 memory=151008 CPUtime=282.23 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 414324 0 0 0 27998 225 0 0 20 0 1 0 218136913 2210041856 37752 33554432000 4194304 5849708 140724049369424 140724049368424 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 539561 37752 681 405 0 536506 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2158244 KiB
Current children cumulated memory: 151008 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 2341
/proc/meminfo: memFree=14519812/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2264740 memory=261508 CPUtime=342.23 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 435719 0 0 0 33975 248 0 0 20 0 1 0 218136913 2319093760 65377 33554432000 4194304 5849708 140724049369424 140724049368584 140114793570183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 566185 65377 681 405 0 563130 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2264740 KiB
Current children cumulated memory: 261508 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2342
/proc/meminfo: memFree=14258152/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2477588 memory=475936 CPUtime=402.24 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 485426 0 0 0 39944 280 0 0 20 0 1 0 218136913 2537050112 118984 33554432000 4194304 5849708 140724049369424 140724049368296 5437835 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 619397 118984 681 405 0 616342 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2477588 KiB
Current children cumulated memory: 475936 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2343
/proc/meminfo: memFree=14343876/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2314744 memory=313092 CPUtime=462.25 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 502606 0 0 0 45921 304 0 0 20 0 1 0 218136913 2370297856 78273 33554432000 4194304 5849708 140724049369424 140724049368424 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 578686 78273 681 405 0 575631 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2314744 KiB
Current children cumulated memory: 313092 KiB
################
# More data... #
################
/proc/2152/statm: 703047 202634 681 405 0 699992 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 2812188 KiB
Current children cumulated memory: 810536 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2415
/proc/meminfo: memFree=13545212/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2812188 memory=810536 CPUtime=1842.41 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1187903 0 0 0 183574 667 0 0 20 0 1 0 218136913 2879680512 202634 33554432000 4194304 5849708 140724049369424 140724049368584 5438273 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 703047 202634 681 405 0 699992 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 2812188 KiB
Current children cumulated memory: 810536 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2416
/proc/meminfo: memFree=13458748/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2897440 memory=895916 CPUtime=1902.42 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1253467 0 0 0 189560 682 0 0 20 0 1 0 218136913 2966978560 223979 33554432000 4194304 5849708 140724049369424 140724049368424 5438227 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 724360 223979 681 405 0 721305 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 2897440 KiB
Current children cumulated memory: 895916 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2417
/proc/meminfo: memFree=13458656/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2897440 memory=895916 CPUtime=1962.42 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1322047 0 0 0 195552 690 0 0 20 0 1 0 218136913 2966978560 223979 33554432000 4194304 5849708 140724049369424 140724049368584 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 724360 223979 681 405 0 721305 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 2897440 KiB
Current children cumulated memory: 895916 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2418
/proc/meminfo: memFree=13458364/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2897440 memory=895916 CPUtime=2022.43 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1386811 0 0 0 201544 699 0 0 20 0 1 0 218136913 2966978560 223979 33554432000 4194304 5849708 140724049369424 140724049368584 5437855 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 724360 223979 681 405 0 721305 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 2897440 KiB
Current children cumulated memory: 895916 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 2419
/proc/meminfo: memFree=13458424/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2897440 memory=895916 CPUtime=2082.44 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1464760 0 0 0 207534 710 0 0 20 0 1 0 218136913 2966978560 223979 33554432000 4194304 5849708 140724049369424 140724049368424 5312576 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 724360 223979 681 405 0 721305 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 2897440 KiB
Current children cumulated memory: 895916 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 2420
/proc/meminfo: memFree=13431468/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2897440 memory=895916 CPUtime=2142.44 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1545545 0 0 0 213525 719 0 0 20 0 1 0 218136913 2966978560 223979 33554432000 4194304 5849708 140724049369424 140724049368424 5438264 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 724360 223979 681 405 0 721305 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 2897440 KiB
Current children cumulated memory: 895916 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2421
/proc/meminfo: memFree=13431196/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2897440 memory=895916 CPUtime=2202.46 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1626348 0 0 0 219518 728 0 0 20 0 1 0 218136913 2966978560 223979 33554432000 4194304 5849708 140724049369424 140724049368584 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 724360 223979 681 405 0 721305 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 2897440 KiB
Current children cumulated memory: 895916 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2422
/proc/meminfo: memFree=13367380/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2961696 memory=960172 CPUtime=2262.46 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1704274 0 0 0 225505 741 0 0 20 0 1 0 218136913 3032776704 240043 33554432000 4194304 5849708 140724049369424 140724049368584 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 740424 240043 681 405 0 737369 0
Current children cumulated CPU time: 2262.46 s
Current children cumulated vsize: 2961696 KiB
Current children cumulated memory: 960172 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2431
/proc/meminfo: memFree=13366400/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2961696 memory=960172 CPUtime=2322.47 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1799407 0 0 0 231491 756 0 0 20 0 1 0 218136913 3032776704 240043 33554432000 4194304 5849708 140724049369424 140724049368424 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 740424 240043 681 405 0 737369 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 2961696 KiB
Current children cumulated memory: 960172 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2432
/proc/meminfo: memFree=13196796/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=3131832 memory=1130308 CPUtime=2382.47 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1880682 0 0 0 237481 766 0 0 20 0 1 0 218136913 3206995968 282577 33554432000 4194304 5849708 140724049369424 140724049368424 5438261 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 782958 282577 681 405 0 779903 0
Current children cumulated CPU time: 2382.47 s
Current children cumulated vsize: 3131832 KiB
Current children cumulated memory: 1130308 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2433
/proc/meminfo: memFree=13195984/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=3131832 memory=1130308 CPUtime=2442.49 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 1980318 0 0 0 243472 777 0 0 20 0 1 0 218136913 3206995968 282577 33554432000 4194304 5849708 140724049369424 140724049368584 5438237 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 782958 282577 681 405 0 779903 0
Current children cumulated CPU time: 2442.49 s
Current children cumulated vsize: 3131832 KiB
Current children cumulated memory: 1130308 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2434
/proc/meminfo: memFree=13130264/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=3197368 memory=1195844 CPUtime=2502.49 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 2124194 0 0 0 249457 792 0 0 20 0 1 0 218136913 3274104832 298961 33554432000 4194304 5849708 140724049369424 140724049368584 5437782 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 799342 298961 681 405 0 796287 0
Current children cumulated CPU time: 2502.49 s
Current children cumulated vsize: 3197368 KiB
Current children cumulated memory: 1195844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2434
/proc/meminfo: memFree=13805860/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2524360 memory=522600 CPUtime=2520.09 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 2144068 0 0 0 251203 806 0 0 20 0 1 0 218136913 2584944640 130650 33554432000 4194304 5849708 140724049369424 140724049368424 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 631090 130650 681 405 0 628035 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2524360 KiB
Current children cumulated memory: 522600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.92 s]
# the end of solver process 2152 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.03 s, system=8.08474 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 2434
/proc/meminfo: memFree=13805860/32770624 swapFree=67108504/67108860
[pid=2152] ppid=2149 vsize=2524360 memory=522600 CPUtime=2520.09 cores=0,2,4,6
/proc/2152/stat : 2152 (xcsp_picat) R 2149 2152 32466 0 -1 4202496 2144068 0 0 0 251203 806 0 0 20 0 1 0 218136913 2584944640 130650 33554432000 4194304 5849708 140724049369424 140724049368424 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 35209216 140724049376438 140724049376516 140724049376516 140724049379274 0
/proc/2152/statm: 631090 130650 681 405 0 628035 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2524360 KiB
Current children cumulated memory: 522600 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.92
CPU time (s): 2520.12
CPU user time (s): 2512.03
CPU system time (s): 8.08474
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 3262904
Max. memory (cumulated for all children) (KiB): 1261380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.04
system time used= 8.08474
maximum resident set size= 1261380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2144068
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= 43
involuntary context switches= 1215
# summary of solver processes directly reported to runsolver:
# pid: 2152
# total CPU time (s): 2520.12
# total CPU user time (s): 2512.03
# total CPU system time (s): 8.08474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.19347 second user time and 19.3192 second system time
The end