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 (10902 MiB free)
memory of node 1: 16384 MiB (6716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303367-1534028586/watcher-4303367-1534028586 -o /tmp/evaluation-result-4303367-1534028586/solver-4303367-1534028586 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534026063-30658 --watchdog 2580 xcsp_picat HOME/instance-4303367-1534028586.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=30988, runsolver pid=30985
[startup+0.100783 s]*
/proc/loadavg: 1.94 2.02 1.98 3/192 30989
/proc/meminfo: memFree=17983064/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2033560 memory=36932 CPUtime=0.1 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1729 0 0 0 10 0 0 0 20 0 1 0 220421842 2082365440 9233 33554432000 4194304 5849708 140728111123200 140728111122568 4484341 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 508390 9233 624 405 0 505335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 36932 KiB
[startup+0.209863 s]*
/proc/loadavg: 1.94 2.02 1.98 3/192 30989
/proc/meminfo: memFree=17853204/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2033560 memory=59708 CPUtime=0.2 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1803 0 0 0 20 0 0 0 20 0 1 0 220421842 2082365440 14927 33554432000 4194304 5849708 140728111123200 140728111122568 4828921 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 508390 14927 635 405 0 505335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 59708 KiB
[startup+0.309805 s]*
/proc/loadavg: 1.94 2.02 1.98 3/192 30989
/proc/meminfo: memFree=17844704/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2036036 memory=68772 CPUtime=0.31 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 2563 0 0 0 30 1 0 0 20 0 1 0 220421842 2084900864 17193 33554432000 4194304 5849708 140728111123200 140728111122376 140440419712903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 509009 17193 713 405 0 505954 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036036 KiB
Current children cumulated memory: 68772 KiB
[startup+0.700336 s]
/proc/loadavg: 1.94 2.02 1.98 3/192 30989
/proc/meminfo: memFree=17809588/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2101960 memory=136488 CPUtime=0.68 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 5759 0 0 0 66 2 0 0 20 0 1 0 220421842 2152407040 34122 33554432000 4194304 5849708 140728111123200 140728111122376 5378768 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 525490 34122 713 405 0 522435 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2101960 KiB
Current children cumulated memory: 136488 KiB
[startup+1.50033 s]
/proc/loadavg: 1.94 2.02 1.98 3/192 30989
/proc/meminfo: memFree=17711040/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2299080 memory=333672 CPUtime=1.49 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 7005 0 0 0 143 6 0 0 20 0 1 0 220421842 2354257920 83418 33554432000 4194304 5849708 140728111123200 140728111122376 5378939 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 574770 83418 713 405 0 571715 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2299080 KiB
Current children cumulated memory: 333672 KiB
[startup+3.10985 s]
/proc/loadavg: 1.95 2.02 1.98 3/192 30989
/proc/meminfo: memFree=17302696/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2311516 memory=346340 CPUtime=3.1 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 34728 0 0 0 303 7 0 0 20 0 1 0 220421842 2366992384 86585 33554432000 4194304 5849708 140728111123200 140728111122296 5365374 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 577879 86585 723 405 0 574824 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2311516 KiB
Current children cumulated memory: 346340 KiB
[startup+6.30031 s]
/proc/loadavg: 1.95 2.02 1.98 3/192 30989
/proc/meminfo: memFree=16763568/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2314920 memory=349664 CPUtime=6.29 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 40575 0 0 0 621 8 0 0 20 0 1 0 220421842 2370478080 87416 33554432000 4194304 5849708 140728111123200 140728111121448 5375314 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 578730 87416 735 405 0 575675 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2314920 KiB
Current children cumulated memory: 349664 KiB
[startup+12.7002 s]
/proc/loadavg: 1.87 2.00 1.98 3/192 30989
/proc/meminfo: memFree=16695880/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2352548 memory=380632 CPUtime=12.68 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 85816 0 0 0 1254 14 0 0 20 0 1 0 220421842 2409009152 95158 33554432000 4194304 5849708 140728111123200 140728111121464 4211646 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 588137 95158 742 405 0 585082 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2352548 KiB
Current children cumulated memory: 380632 KiB
[startup+25.5003 s]
/proc/loadavg: 1.90 2.00 1.98 3/192 30989
/proc/meminfo: memFree=16695480/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2352528 memory=380700 CPUtime=25.48 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 126746 0 0 0 2532 16 0 0 20 0 1 0 220421842 2408988672 95175 33554432000 4194304 5849708 140728111123200 140728111121688 5311433 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 588132 95175 745 405 0 585077 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2352528 KiB
Current children cumulated memory: 380700 KiB
[startup+51.1097 s]
/proc/loadavg: 1.93 2.00 1.98 3/192 30989
/proc/meminfo: memFree=16661600/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2352524 memory=382756 CPUtime=51.09 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 170724 0 0 0 5083 26 0 0 20 0 1 0 220421842 2408984576 95689 33554432000 4194304 5849708 140728111123200 140728111122200 140440419712903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 588131 95689 748 405 0 585076 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2352524 KiB
Current children cumulated memory: 382756 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.00 1.98 3/192 30990
/proc/meminfo: memFree=16698196/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2340780 memory=375580 CPUtime=102.29 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 253259 0 0 0 10186 43 0 0 20 0 1 0 220421842 2396958720 93895 33554432000 4194304 5849708 140728111123200 140728111122200 5339726 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 585195 93895 748 405 0 582140 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2340780 KiB
Current children cumulated memory: 375580 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/192 30991
/proc/meminfo: memFree=16695064/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2344344 memory=379144 CPUtime=162.28 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 292541 0 0 0 16165 63 0 0 20 0 1 0 220421842 2400608256 94786 33554432000 4194304 5849708 140728111123200 140728111122072 5437645 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 586086 94786 748 405 0 583031 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2344344 KiB
Current children cumulated memory: 379144 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/190 30992
/proc/meminfo: memFree=16693928/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2344284 memory=379084 CPUtime=222.28 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 335003 0 0 0 22145 83 0 0 20 0 1 0 220421842 2400546816 94771 33554432000 4194304 5849708 140728111123200 140728111122200 5322787 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 586071 94771 748 405 0 583016 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2344284 KiB
Current children cumulated memory: 379084 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/190 30993
/proc/meminfo: memFree=16682892/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2356556 memory=391356 CPUtime=282.29 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 375468 0 0 0 28129 100 0 0 20 0 1 0 220421842 2413113344 97839 33554432000 4194304 5849708 140728111123200 140728111122200 140440419712903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 589139 97839 748 405 0 586084 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2356556 KiB
Current children cumulated memory: 391356 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/191 30995
/proc/meminfo: memFree=16678720/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2359264 memory=394064 CPUtime=342.28 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 417430 0 0 0 34112 116 0 0 20 0 1 0 220421842 2415886336 98516 33554432000 4194304 5849708 140728111123200 140728111122200 5437824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 589816 98516 748 405 0 586761 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2359264 KiB
Current children cumulated memory: 394064 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/191 30996
/proc/meminfo: memFree=16676580/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2359264 memory=394064 CPUtime=402.28 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 460061 0 0 0 40094 134 0 0 20 0 1 0 220421842 2415886336 98516 33554432000 4194304 5849708 140728111123200 140728111122360 5437632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 589816 98516 748 405 0 586761 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2359264 KiB
Current children cumulated memory: 394064 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/192 31005
/proc/meminfo: memFree=16681692/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2353220 memory=388020 CPUtime=462.28 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 494221 0 0 0 46077 151 0 0 20 0 1 0 220421842 2409697280 97005 33554432000 4194304 5849708 140728111123200 140728111122200 5437841 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 588305 97005 748 405 0 585250 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2353220 KiB
Current children cumulated memory: 388020 KiB
################
# More data... #
################
/proc/30988/statm: 598086 106795 748 405 0 595031 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2392344 KiB
Current children cumulated memory: 427180 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31049
/proc/meminfo: memFree=16615332/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392344 memory=427180 CPUtime=1782.26 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1274734 0 0 0 177640 586 0 0 20 0 1 0 220421842 2449760256 106795 33554432000 4194304 5849708 140728111123200 140728111122200 5335588 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598086 106795 748 405 0 595031 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2392344 KiB
Current children cumulated memory: 427180 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31050
/proc/meminfo: memFree=16615184/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392344 memory=427180 CPUtime=1842.26 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1311247 0 0 0 183623 603 0 0 20 0 1 0 220421842 2449760256 106795 33554432000 4194304 5849708 140728111123200 140728111121848 5416553 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598086 106795 748 405 0 595031 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 2392344 KiB
Current children cumulated memory: 427180 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31051
/proc/meminfo: memFree=16614992/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392528 memory=427364 CPUtime=1902.26 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1315185 0 0 0 189607 619 0 0 20 0 1 0 220421842 2449948672 106841 33554432000 4194304 5849708 140728111123200 140728111122200 5307664 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598132 106841 748 405 0 595077 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2392528 KiB
Current children cumulated memory: 427364 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31053
/proc/meminfo: memFree=16624236/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392284 memory=427120 CPUtime=1962.26 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1358539 0 0 0 195588 638 0 0 20 0 1 0 220421842 2449698816 106780 33554432000 4194304 5849708 140728111123200 140728111122200 5437824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598071 106780 748 405 0 595016 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2392284 KiB
Current children cumulated memory: 427120 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31054
/proc/meminfo: memFree=16603836/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392284 memory=427120 CPUtime=2022.25 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1392356 0 0 0 201570 655 0 0 20 0 1 0 220421842 2449698816 106780 33554432000 4194304 5849708 140728111123200 140728111122200 5437732 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598071 106780 748 405 0 595016 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 2392284 KiB
Current children cumulated memory: 427120 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31055
/proc/meminfo: memFree=16604092/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392284 memory=427120 CPUtime=2082.25 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1396118 0 0 0 207555 670 0 0 20 0 1 0 220421842 2449698816 106780 33554432000 4194304 5849708 140728111123200 140728111122200 5437592 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598071 106780 748 405 0 595016 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2392284 KiB
Current children cumulated memory: 427120 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31056
/proc/meminfo: memFree=16604568/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392284 memory=427120 CPUtime=2142.23 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1412528 0 0 0 213539 684 0 0 20 0 1 0 220421842 2449698816 106780 33554432000 4194304 5849708 140728111123200 140728111122072 5437580 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598071 106780 748 405 0 595016 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2392284 KiB
Current children cumulated memory: 427120 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31057
/proc/meminfo: memFree=16586448/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392284 memory=427120 CPUtime=2202.23 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1415325 0 0 0 219521 702 0 0 20 0 1 0 220421842 2449698816 106780 33554432000 4194304 5849708 140728111123200 140728111122200 140440419712903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598071 106780 748 405 0 595016 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2392284 KiB
Current children cumulated memory: 427120 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31066
/proc/meminfo: memFree=16580784/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2392180 memory=432336 CPUtime=2262.23 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1416105 0 0 0 225506 717 0 0 20 0 1 0 220421842 2449592320 108084 33554432000 4194304 5849708 140728111123200 140728111122200 5437592 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598045 108084 748 405 0 594990 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2392180 KiB
Current children cumulated memory: 432336 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31067
/proc/meminfo: memFree=16510128/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2395276 memory=435396 CPUtime=2322.23 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1417075 0 0 0 231491 732 0 0 20 0 1 0 220421842 2452762624 108849 33554432000 4194304 5849708 140728111123200 140728111122200 5312667 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 598819 108849 748 405 0 595764 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2395276 KiB
Current children cumulated memory: 435396 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31068
/proc/meminfo: memFree=16571736/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2403372 memory=443492 CPUtime=2382.22 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1419158 0 0 0 237472 750 0 0 20 0 1 0 220421842 2461052928 110873 33554432000 4194304 5849708 140728111123200 140728111122200 5437855 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 600843 110873 748 405 0 597788 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2403372 KiB
Current children cumulated memory: 443492 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/192 31070
/proc/meminfo: memFree=16570008/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2403236 memory=443356 CPUtime=2442.22 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1421976 0 0 0 243452 770 0 0 20 0 1 0 220421842 2460913664 110839 33554432000 4194304 5849708 140728111123200 140728111122072 5416947 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 600809 110839 748 405 0 597754 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 2403236 KiB
Current children cumulated memory: 443356 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/192 31071
/proc/meminfo: memFree=16570116/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2403236 memory=443356 CPUtime=2502.22 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1423047 0 0 0 249431 791 0 0 20 0 1 0 220421842 2460913664 110839 33554432000 4194304 5849708 140728111123200 140728111122200 140440419712903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 600809 110839 748 405 0 597754 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 2403236 KiB
Current children cumulated memory: 443356 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.92 2.00 2.02 3/191 31132
/proc/meminfo: memFree=17904276/32770624 swapFree=67108688/67108860
[pid=30988] ppid=30985 vsize=2403388 memory=443508 CPUtime=2519.93 cores=0,2,4,6
/proc/30988/stat : 30988 (xcsp_picat) R 30985 30988 30627 0 -1 4202496 1423326 0 0 0 251198 795 0 0 20 0 1 0 220421842 2461069312 110877 33554432000 4194304 5849708 140728111123200 140728111122200 140440419712903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17973248 140728111129782 140728111129860 140728111129860 140728111132618 0
/proc/30988/statm: 600847 110877 748 405 0 597792 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2403388 KiB
Current children cumulated memory: 443508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30988 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.98 s, system=7.95987 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.01
CPU time (s): 2519.94
CPU user time (s): 2511.98
CPU system time (s): 7.95987
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 2552420
Max. memory (cumulated for all children) (KiB): 513772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.98
system time used= 7.95987
maximum resident set size= 513772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1423327
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= 38
involuntary context switches= 819
# summary of solver processes directly reported to runsolver:
# pid: 30988
# total CPU time (s): 2519.94
# total CPU user time (s): 2511.98
# total CPU system time (s): 7.95987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.93679 second user time and 18.524 second system time
The end