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 (11090 MiB free)
memory of node 1: 16384 MiB (12019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309524-1534301058/watcher-4309524-1534301058 -o /tmp/evaluation-result-4309524-1534301058/solver-4309524-1534301058 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-323 --watchdog 2580 xcsp_picat HOME/instance-4309524-1534301058.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=1368, runsolver pid=1365
[startup+0.10015 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23635144/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2037880 memory=30748 CPUtime=0.1 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 4816 0 0 0 9 1 0 0 20 0 1 0 247669007 2086789120 7687 33554432000 4194304 5849940 140725343594016 140725343594016 5375478 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 509470 7687 652 405 0 506414 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2037880 KiB
Current children cumulated memory: 30748 KiB
[startup+0.209844 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23635392/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2039892 memory=32632 CPUtime=0.21 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 6018 0 0 0 20 1 0 0 20 0 1 0 247669007 2088849408 8158 33554432000 4194304 5849940 140725343594016 140725343594016 5366701 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 509973 8158 667 405 0 506917 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039892 KiB
Current children cumulated memory: 32632 KiB
[startup+0.30975 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23632848/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2045704 memory=35208 CPUtime=0.31 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 6158 0 0 0 30 1 0 0 20 0 1 0 247669007 2094800896 8802 33554432000 4194304 5849940 140725343594016 140725343594016 5359342 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 511426 8802 669 405 0 508370 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2045704 KiB
Current children cumulated memory: 35208 KiB
[startup+0.700383 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23633036/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2042508 memory=35168 CPUtime=0.69 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 7281 0 0 0 68 1 0 0 20 0 1 0 247669007 2091528192 8792 33554432000 4194304 5849940 140725343594016 140725343594016 5309850 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 510627 8792 678 405 0 507571 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2042508 KiB
Current children cumulated memory: 35168 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23631020/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2043940 memory=36668 CPUtime=1.49 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 7639 0 0 0 148 1 0 0 20 0 1 0 247669007 2092994560 9167 33554432000 4194304 5849940 140725343594016 140725343594016 4212424 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 510985 9167 678 405 0 507929 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043940 KiB
Current children cumulated memory: 36668 KiB
[startup+3.1095 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23631020/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2043912 memory=36780 CPUtime=3.1 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 10396 0 0 0 308 2 0 0 20 0 1 0 247669007 2092965888 9195 33554432000 4194304 5849940 140725343594016 140725343591560 5307751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 510978 9195 679 405 0 507922 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2043912 KiB
Current children cumulated memory: 36780 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23627652/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2047096 memory=40064 CPUtime=6.29 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 14174 0 0 0 627 2 0 0 20 0 1 0 247669007 2096226304 10016 33554432000 4194304 5849940 140725343594016 140725343593176 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 511774 10016 694 405 0 508718 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2047096 KiB
Current children cumulated memory: 40064 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23627664/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2045808 memory=35172 CPUtime=12.68 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 17890 0 0 0 1264 4 0 0 20 0 1 0 247669007 2094907392 8793 33554432000 4194304 5849940 140725343594016 140725343593016 5359329 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 511452 8793 694 405 0 508396 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2045808 KiB
Current children cumulated memory: 35172 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 1369
/proc/meminfo: memFree=23625804/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2049136 memory=42112 CPUtime=25.49 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 20782 0 0 0 2538 11 0 0 20 0 1 0 247669007 2098315264 10528 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 512284 10528 694 405 0 509228 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2049136 KiB
Current children cumulated memory: 42112 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1369
/proc/meminfo: memFree=23620428/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2054484 memory=47428 CPUtime=51.1 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 29382 0 0 0 5080 30 0 0 20 0 1 0 247669007 2103791616 11857 33554432000 4194304 5849940 140725343594016 140725343592504 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 513621 11857 694 405 0 510565 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2054484 KiB
Current children cumulated memory: 47428 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1370
/proc/meminfo: memFree=23613832/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2061192 memory=54136 CPUtime=102.29 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 44730 0 0 0 10156 73 0 0 20 0 1 0 247669007 2110660608 13534 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 515298 13534 694 405 0 512242 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2061192 KiB
Current children cumulated memory: 54136 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1371
/proc/meminfo: memFree=23563824/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2106988 memory=99840 CPUtime=162.29 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 56315 0 0 0 16105 124 0 0 20 0 1 0 247669007 2157555712 24960 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 526747 24960 694 405 0 523691 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2106988 KiB
Current children cumulated memory: 99840 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1372
/proc/meminfo: memFree=23548396/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2116400 memory=109276 CPUtime=222.27 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 71856 0 0 0 22060 167 0 0 20 0 1 0 247669007 2167193600 27319 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 529100 27319 694 405 0 526044 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2116400 KiB
Current children cumulated memory: 109276 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1373
/proc/meminfo: memFree=23564136/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2099964 memory=92904 CPUtime=282.28 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 109220 0 0 0 28008 220 0 0 20 0 1 0 247669007 2150363136 23226 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 524991 23226 694 405 0 521935 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2099964 KiB
Current children cumulated memory: 92904 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 1374
/proc/meminfo: memFree=23589756/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2074316 memory=67184 CPUtime=342.27 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 123979 0 0 0 33961 266 0 0 20 0 1 0 247669007 2124099584 16796 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 518579 16796 694 405 0 515523 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2074316 KiB
Current children cumulated memory: 67184 KiB
[startup+402.3 s]
/proc/loadavg: 2.44 2.11 2.08 3/188 1383
/proc/meminfo: memFree=23555436/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2107968 memory=100916 CPUtime=402.27 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 127071 0 0 0 39910 317 0 0 20 0 1 0 247669007 2158559232 25229 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 526992 25229 694 405 0 523936 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2107968 KiB
Current children cumulated memory: 100916 KiB
[startup+462.3 s]
/proc/loadavg: 2.23 2.12 2.08 3/188 1384
/proc/meminfo: memFree=23495484/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2165576 memory=158340 CPUtime=462.26 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 142253 0 0 0 45859 367 0 0 20 0 1 0 247669007 2217549824 39585 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 541394 39585 694 405 0 538338 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2165576 KiB
Current children cumulated memory: 158340 KiB
################
# More data... #
################
/proc/1368/statm: 650075 149161 694 405 0 647019 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2600300 KiB
Current children cumulated memory: 596644 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1447
/proc/meminfo: memFree=23042508/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2600300 memory=596644 CPUtime=1782.22 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 435897 0 0 0 177027 1195 0 0 20 0 1 0 247669007 2662707200 149161 33554432000 4194304 5849940 140725343594016 140725343592888 5307779 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 650075 149161 694 405 0 647019 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2600300 KiB
Current children cumulated memory: 596644 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1448
/proc/meminfo: memFree=23042544/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2600300 memory=596644 CPUtime=1842.22 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 481915 0 0 0 183011 1211 0 0 20 0 1 0 247669007 2662707200 149161 33554432000 4194304 5849940 140725343594016 140725343593016 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 650075 149161 694 405 0 647019 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2600300 KiB
Current children cumulated memory: 596644 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1449
/proc/meminfo: memFree=23211712/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2431288 memory=427632 CPUtime=1902.22 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 517980 0 0 0 188992 1230 0 0 20 0 1 0 247669007 2489638912 106908 33554432000 4194304 5849940 140725343594016 140725343593016 5437768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 607822 106908 694 405 0 604766 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2431288 KiB
Current children cumulated memory: 427632 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1450
/proc/meminfo: memFree=23176292/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2467024 memory=463368 CPUtime=1962.21 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 556412 0 0 0 194968 1253 0 0 20 0 1 0 247669007 2526232576 115842 33554432000 4194304 5849940 140725343594016 140725343593016 5437811 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 616756 115842 694 405 0 613700 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2467024 KiB
Current children cumulated memory: 463368 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1451
/proc/meminfo: memFree=23143276/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2499792 memory=496136 CPUtime=2022.22 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 572204 0 0 0 200954 1268 0 0 20 0 1 0 247669007 2559787008 124034 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 624948 124034 694 405 0 621892 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2499792 KiB
Current children cumulated memory: 496136 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1513
/proc/meminfo: memFree=23525980/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2499792 memory=496136 CPUtime=2082.21 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 590477 0 0 0 206938 1283 0 0 20 0 1 0 247669007 2559787008 124034 33554432000 4194304 5849940 140725343594016 140725343593016 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 624948 124034 694 405 0 621892 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2499792 KiB
Current children cumulated memory: 496136 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1514
/proc/meminfo: memFree=23467980/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2525780 memory=522124 CPUtime=2142.21 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 623038 0 0 0 212923 1298 0 0 20 0 1 0 247669007 2586398720 130531 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 631445 130531 694 405 0 628389 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2525780 KiB
Current children cumulated memory: 522124 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1522
/proc/meminfo: memFree=23336580/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2653040 memory=649384 CPUtime=2202.21 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 630731 0 0 0 218907 1314 0 0 20 0 1 0 247669007 2716712960 162346 33554432000 4194304 5849940 140725343594016 140725343593016 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 663260 162346 694 405 0 660204 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2653040 KiB
Current children cumulated memory: 649384 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1523
/proc/meminfo: memFree=23344408/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2653040 memory=649384 CPUtime=2262.2 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 662419 0 0 0 224892 1328 0 0 20 0 1 0 247669007 2716712960 162346 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 663260 162346 694 405 0 660204 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2653040 KiB
Current children cumulated memory: 649384 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 1524
/proc/meminfo: memFree=23257460/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2718576 memory=714920 CPUtime=2322.2 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 690439 0 0 0 230878 1342 0 0 20 0 1 0 247669007 2783821824 178730 33554432000 4194304 5849940 140725343594016 140725343592888 5397406 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 679644 178730 694 405 0 676588 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2718576 KiB
Current children cumulated memory: 714920 KiB
[startup+2382.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 1525
/proc/meminfo: memFree=23170492/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2805776 memory=802120 CPUtime=2382.2 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 731230 0 0 0 236861 1359 0 0 20 0 1 0 247669007 2873114624 200530 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 701444 200530 694 405 0 698388 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2805776 KiB
Current children cumulated memory: 802120 KiB
[startup+2442.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/187 1526
/proc/meminfo: memFree=23309244/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=2663884 memory=660228 CPUtime=2442.2 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 777372 0 0 0 242836 1384 0 0 20 0 1 0 247669007 2727817216 165057 33554432000 4194304 5849940 140725343594016 140725343592664 5340968 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 665971 165057 694 405 0 662915 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2663884 KiB
Current children cumulated memory: 660228 KiB
[startup+2502.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/187 1528
/proc/meminfo: memFree=22957960/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=3000504 memory=996848 CPUtime=2502.2 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 851173 0 0 0 248816 1404 0 0 20 0 1 0 247669007 3072516096 249212 33554432000 4194304 5849940 140725343594016 140725343593016 140388697227143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 750126 249212 694 405 0 747070 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 3000504 KiB
Current children cumulated memory: 996848 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.05 2.05 3/187 1528
/proc/meminfo: memFree=22961320/32770624 swapFree=67108196/67108860
[pid=1368] ppid=1365 vsize=3000504 memory=996848 CPUtime=2519.9 cores=0,2,4,6
/proc/1368/stat : 1368 (xcsp_picat) R 1365 1368 32759 0 -1 4202496 855393 0 0 0 250583 1407 0 0 20 0 1 0 247669007 3072516096 249212 33554432000 4194304 5849940 140725343594016 140725343593016 5335806 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 26185728 140725343597750 140725343597828 140725343597828 140725343600586 0
/proc/1368/statm: 750126 249212 694 405 0 747070 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 3000504 KiB
Current children cumulated memory: 996848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 1368 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.84 s, system=14.0995 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.03
CPU time (s): 2519.94
CPU user time (s): 2505.84
CPU system time (s): 14.0995
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 3000504
Max. memory (cumulated for all children) (KiB): 996848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.84
system time used= 14.0995
maximum resident set size= 996848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 855393
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= 12
involuntary context switches= 909
# summary of solver processes directly reported to runsolver:
# pid: 1368
# total CPU time (s): 2519.94
# total CPU user time (s): 2505.84
# total CPU system time (s): 14.0995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4534 second user time and 17.7285 second system time
The end