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 (1397 MiB free)
memory of node 1: 16384 MiB (2633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303533-1534010950/watcher-4303533-1534010950 -o /tmp/evaluation-result-4303533-1534010950/solver-4303533-1534010950 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1533990783-10865 --watchdog 2580 xcsp_picat HOME/instance-4303533-1534010950.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=12816, runsolver pid=12813
[startup+0.100171 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12817
/proc/meminfo: memFree=4108392/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=21108 CPUtime=0.1 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 1895 0 0 0 10 0 0 0 20 0 1 0 218658173 2074361856 5277 33554432000 4194304 5849708 140736878192464 140736878192464 4548541 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 5277 612 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 21108 KiB
[startup+0.209684 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12817
/proc/meminfo: memFree=4102248/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=29300 CPUtime=0.21 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 1899 0 0 0 21 0 0 0 20 0 1 0 218658173 2074361856 7325 33554432000 4194304 5849708 140736878192464 140736878192464 140239710895104 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 7325 612 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 29300 KiB
[startup+0.309527 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12817
/proc/meminfo: memFree=4096104/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=35444 CPUtime=0.31 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 1902 0 0 0 31 0 0 0 20 0 1 0 218658173 2074361856 8861 33554432000 4194304 5849708 140736878192464 140736878192464 4507478 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 8861 612 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35444 KiB
[startup+0.700329 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 12817
/proc/meminfo: memFree=4083816/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=58168 CPUtime=0.69 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 1913 0 0 0 69 0 0 0 20 0 1 0 218658173 2074361856 14542 33554432000 4194304 5849708 140736878192464 140736878192464 4567184 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 14542 626 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 58168 KiB
[startup+1.50035 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 12817
/proc/meminfo: memFree=4053204/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=107320 CPUtime=1.49 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 1937 0 0 0 148 1 0 0 20 0 1 0 218658173 2074361856 26830 33554432000 4194304 5849708 140736878192464 140736878191768 4786154 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 26830 626 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 107320 KiB
[startup+3.10952 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 12817
/proc/meminfo: memFree=3932076/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=203576 CPUtime=3.09 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 2090 0 0 0 307 2 0 0 20 0 1 0 218658173 2074361856 50894 33554432000 4194304 5849708 140736878192464 140736878191768 4524797 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 50894 626 405 0 503381 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 203576 KiB
[startup+6.3003 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 12817
/proc/meminfo: memFree=3748872/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=398136 CPUtime=6.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 2299 0 0 0 624 5 0 0 20 0 1 0 218658173 2074361856 99534 33554432000 4194304 5849708 140736878192464 140736878191768 140239710895104 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 99534 626 405 0 503381 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 398136 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 12817
/proc/meminfo: memFree=3381848/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2025744 memory=789304 CPUtime=12.69 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 2733 0 0 0 1256 13 0 0 20 0 1 0 218658173 2074361856 197326 33554432000 4194304 5849708 140736878192464 140736878191768 4476741 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 506436 197326 626 405 0 503381 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 789304 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 12817
/proc/meminfo: memFree=2404708/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2057268 memory=1721884 CPUtime=25.49 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 5495 0 0 0 2522 27 0 0 20 0 1 0 218658173 2106642432 430471 33554432000 4194304 5849708 140736878192464 140736878191576 5472783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 514317 430471 712 405 0 511262 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2057268 KiB
Current children cumulated memory: 1721884 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12817
/proc/meminfo: memFree=2334164/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2127340 memory=1792184 CPUtime=51.09 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 13326 0 0 0 5073 36 0 0 20 0 1 0 218658173 2178396160 448046 33554432000 4194304 5849708 140736878192464 140736878190952 5319728 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 531835 448046 745 405 0 528780 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2127340 KiB
Current children cumulated memory: 1792184 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12886
/proc/meminfo: memFree=1269844/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2141056 memory=1805912 CPUtime=102.27 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 29246 0 0 0 10182 45 0 0 20 0 1 0 218658173 2192441344 451478 33554432000 4194304 5849708 140736878192464 140736878190952 5307610 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 535264 451478 759 405 0 532209 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2141056 KiB
Current children cumulated memory: 1805912 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12887
/proc/meminfo: memFree=1238528/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1780244 CPUtime=162.27 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 31657 0 0 0 16171 56 0 0 20 0 1 0 218658173 2166079488 445061 33554432000 4194304 5849708 140736878192464 140736878191560 5472239 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445061 767 405 0 525773 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1780244 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12888
/proc/meminfo: memFree=1236412/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=222.27 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 35332 0 0 0 22157 70 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878190952 5618658 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12889
/proc/meminfo: memFree=1144016/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=282.27 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 38513 0 0 0 28146 81 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191704 5472654 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12890
/proc/meminfo: memFree=1236380/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=342.28 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 43891 0 0 0 34133 95 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191704 5606235 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12891
/proc/meminfo: memFree=1236312/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=402.28 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 46997 0 0 0 40121 107 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191704 5472612 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12892
/proc/meminfo: memFree=1210624/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2141804 memory=1808280 CPUtime=462.27 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 51820 0 0 0 46107 120 0 0 20 0 1 0 218658173 2193207296 452070 33554432000 4194304 5849708 140736878192464 140736878190872 5437847 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 535451 452070 767 405 0 532396 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2141804 KiB
Current children cumulated memory: 1808280 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12893
/proc/meminfo: memFree=1236104/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=522.28 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 54360 0 0 0 52097 131 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191576 5534886 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12894
/proc/meminfo: memFree=1039540/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2128828 memory=1795428 CPUtime=582.28 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 58967 0 0 0 58082 146 0 0 20 0 1 0 218658173 2179919872 448857 33554432000 4194304 5849708 140736878192464 140736878190952 4207882 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 532207 448857 767 405 0 529152 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 2128828 KiB
Current children cumulated memory: 1795428 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12895
/proc/meminfo: memFree=1053628/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=642.28 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 61271 0 0 0 64071 157 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191576 5479395 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 642.28 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12903
/proc/meminfo: memFree=1040080/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2128708 memory=1795308 CPUtime=702.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 65690 0 0 0 70054 175 0 0 20 0 1 0 218658173 2179796992 448827 33554432000 4194304 5849708 140736878192464 140736878191336 5319753 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 532177 448827 767 405 0 529122 0
Current children cumulated CPU time: 702.29 s
Current children cumulated vsize: 2128708 KiB
Current children cumulated memory: 1795308 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12904
/proc/meminfo: memFree=1053264/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=762.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 69792 0 0 0 76043 186 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191560 5499392 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 762.29 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12905
/proc/meminfo: memFree=1053000/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=822.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 72747 0 0 0 82033 196 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191704 4202176 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 822.29 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12906
/proc/meminfo: memFree=1027332/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2141944 memory=1808348 CPUtime=882.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 78350 0 0 0 88016 213 0 0 20 0 1 0 218658173 2193350656 452087 33554432000 4194304 5849708 140736878192464 140736878190952 4229738 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 535486 452087 767 405 0 532431 0
Current children cumulated CPU time: 882.29 s
Current children cumulated vsize: 2141944 KiB
Current children cumulated memory: 1808348 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12907
/proc/meminfo: memFree=1053308/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=942.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 81499 0 0 0 94005 224 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191560 5521468 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 942.29 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12909
/proc/meminfo: memFree=1039452/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2128668 memory=1795268 CPUtime=1002.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 85815 0 0 0 99988 241 0 0 20 0 1 0 218658173 2179756032 448817 33554432000 4194304 5849708 140736878192464 140736878191112 5319753 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 532167 448817 767 405 0 529112 0
Current children cumulated CPU time: 1002.29 s
Current children cumulated vsize: 2128668 KiB
Current children cumulated memory: 1795268 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12910
/proc/meminfo: memFree=1052464/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=1062.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 88291 0 0 0 105977 252 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191560 5606207 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 1062.29 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12911
/proc/meminfo: memFree=1052704/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2115312 memory=1781912 CPUtime=1122.29 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 91994 0 0 0 111964 265 0 0 20 0 1 0 218658173 2166079488 445478 33554432000 4194304 5849708 140736878192464 140736878191496 5605072 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 528828 445478 767 405 0 525773 0
Current children cumulated CPU time: 1122.29 s
Current children cumulated vsize: 2115312 KiB
Current children cumulated memory: 1781912 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12913
/proc/meminfo: memFree=1026984/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2142036 memory=1808636 CPUtime=1182.3 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 96485 0 0 0 117949 281 0 0 20 0 1 0 218658173 2193444864 452159 33554432000 4194304 5849708 140736878192464 140736878190872 5307491 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 535509 452159 767 405 0 532454 0
Current children cumulated CPU time: 1182.3 s
Current children cumulated vsize: 2142036 KiB
Current children cumulated memory: 1808636 KiB
[startup+1183.43 s]
# the end of solver process 12816 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1180.61 s, system=2.82402 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1182.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12913
/proc/meminfo: memFree=1026984/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2142036 memory=1808636 CPUtime=1182.4 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 96485 0 0 0 117959 281 0 0 20 0 1 0 218658173 2193444864 452159 33554432000 4194304 5849708 140736878192464 140736878191464 140239710916487 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 535509 452159 767 405 0 532454 0
Current children cumulated CPU time: 1182.4 s
Current children cumulated vsize: 2142036 KiB
Current children cumulated memory: 1808636 KiB
[startup+1183.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12913
/proc/meminfo: memFree=1026984/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2142036 memory=1808636 CPUtime=1183.19 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 96504 0 0 0 118038 281 0 0 20 0 1 0 218658173 2193444864 452159 33554432000 4194304 5849708 140736878192464 140736878191464 5307251 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 535509 452159 767 405 0 532454 0
Current children cumulated CPU time: 1183.19 s
Current children cumulated vsize: 2142036 KiB
Current children cumulated memory: 1808636 KiB
[startup+1183.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12913
/proc/meminfo: memFree=1026984/32770624 swapFree=67108404/67108860
[pid=12816] ppid=12813 vsize=2142036 memory=1808640 CPUtime=1183.39 cores=1,3,5,7
/proc/12816/stat : 12816 (xcsp_picat) R 12813 12816 10833 0 -1 4202496 96815 0 0 0 118058 281 0 0 20 0 1 0 218658173 2193444864 452160 33554432000 4194304 5849708 140736878192464 140736878191464 4539901 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37892096 140736878199990 140736878200068 140736878200068 140736878202826 0
/proc/12816/statm: 535509 452160 768 405 0 532454 0
Current children cumulated CPU time: 1183.39 s
Current children cumulated vsize: 2142036 KiB
Current children cumulated memory: 1808640 KiB
Child status: 0
Real time (s): 1183.43
CPU time (s): 1183.43
CPU user time (s): 1180.61
CPU system time (s): 2.82402
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2148084
Max. memory (cumulated for all children) (KiB): 1814668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1180.61
system time used= 2.82402
maximum resident set size= 1814668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97308
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= 6
involuntary context switches= 457
# summary of solver processes directly reported to runsolver:
# pid: 12816
# total CPU time (s): 1183.43
# total CPU user time (s): 1180.61
# total CPU system time (s): 2.82402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33014 second user time and 7.82783 second system time
The end