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 (6220 MiB free)
memory of node 1: 16384 MiB (8998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309862-1534296650/watcher-4309862-1534296650 -o /tmp/evaluation-result-4309862-1534296650/solver-4309862-1534296650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5447 --watchdog 2580 xcsp_picat HOME/instance-4309862-1534296650.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=5785, runsolver pid=5782
[startup+0.100862 s]*
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15554120/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2029652 memory=34032 CPUtime=0.1 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 2593 0 0 0 10 0 0 0 20 0 1 0 247228132 2078363648 8508 33554432000 4194304 5849940 140728519218960 140728519218168 5335363 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 507413 8508 664 405 0 504357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2029652 KiB
Current children cumulated memory: 34032 KiB
[startup+0.209604 s]*
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15539568/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2042920 memory=47348 CPUtime=0.2 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 4902 0 0 0 20 0 0 0 20 0 1 0 247228132 2091950080 11837 33554432000 4194304 5849940 140728519218960 140728519218168 4553012 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 510730 11837 665 405 0 507674 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2042920 KiB
Current children cumulated memory: 47348 KiB
[startup+0.309467 s]*
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15529364/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2052156 memory=56920 CPUtime=0.3 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 5964 0 0 0 30 0 0 0 20 0 1 0 247228132 2101407744 14230 33554432000 4194304 5849940 140728519218960 140728519218168 5335712 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 513039 14230 697 405 0 509983 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2052156 KiB
Current children cumulated memory: 56920 KiB
[startup+0.700329 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15529376/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2055716 memory=60348 CPUtime=0.69 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 9372 0 0 0 68 1 0 0 20 0 1 0 247228132 2105053184 15087 33554432000 4194304 5849940 140728519218960 140728519217208 5310919 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 513929 15087 712 405 0 510873 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2055716 KiB
Current children cumulated memory: 60348 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15527160/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2055708 memory=60404 CPUtime=1.49 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 9379 0 0 0 148 1 0 0 20 0 1 0 247228132 2105044992 15101 33554432000 4194304 5849940 140728519218960 140728519217208 5359028 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 513927 15101 712 405 0 510871 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2055708 KiB
Current children cumulated memory: 60404 KiB
[startup+3.10937 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15526284/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2057396 memory=62124 CPUtime=3.09 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 14995 0 0 0 308 1 0 0 20 0 1 0 247228132 2106773504 15531 33554432000 4194304 5849940 140728519218960 140728519217448 5326481 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 514349 15531 720 405 0 511293 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2057396 KiB
Current children cumulated memory: 62124 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15522688/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2061128 memory=65872 CPUtime=6.29 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 18952 0 0 0 627 2 0 0 20 0 1 0 247228132 2110595072 16468 33554432000 4194304 5849940 140728519218960 140728519216504 5310270 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 515282 16468 724 405 0 512226 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2061128 KiB
Current children cumulated memory: 65872 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15522368/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2061100 memory=65860 CPUtime=12.69 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 24019 0 0 0 1265 4 0 0 20 0 1 0 247228132 2110566400 16465 33554432000 4194304 5849940 140728519218960 140728519218120 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 515275 16465 728 405 0 512219 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2061100 KiB
Current children cumulated memory: 65860 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15526612/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2056992 memory=60804 CPUtime=25.49 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 32766 0 0 0 2542 7 0 0 20 0 1 0 247228132 2106359808 15201 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 514248 15201 728 405 0 511192 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2056992 KiB
Current children cumulated memory: 60804 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 5786
/proc/meminfo: memFree=15521092/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2057736 memory=62496 CPUtime=51.1 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 38511 0 0 0 5097 13 0 0 20 0 1 0 247228132 2107121664 15624 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 514434 15624 728 405 0 511378 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2057736 KiB
Current children cumulated memory: 62496 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/188 5787
/proc/meminfo: memFree=15484656/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2062460 memory=67220 CPUtime=102.29 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 48948 0 0 0 10200 29 0 0 20 0 1 0 247228132 2111959040 16805 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 515615 16805 728 405 0 512559 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2062460 KiB
Current children cumulated memory: 67220 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/188 5788
/proc/meminfo: memFree=15504196/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2074864 memory=79740 CPUtime=162.3 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 58440 0 0 0 16186 44 0 0 20 0 1 0 247228132 2124660736 19935 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 518716 19935 728 405 0 515660 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2074864 KiB
Current children cumulated memory: 79740 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 5789
/proc/meminfo: memFree=15465944/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2081624 memory=86360 CPUtime=222.32 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 63500 0 0 0 22170 62 0 0 20 0 1 0 247228132 2131582976 21590 33554432000 4194304 5849940 140728519218960 140728519217960 5395877 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 520406 21590 728 405 0 517350 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2081624 KiB
Current children cumulated memory: 86360 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 5790
/proc/meminfo: memFree=15399236/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2079404 memory=84164 CPUtime=282.32 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 69431 0 0 0 28155 77 0 0 20 0 1 0 247228132 2129309696 21041 33554432000 4194304 5849940 140728519218960 140728519217832 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 519851 21041 728 405 0 516795 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2079404 KiB
Current children cumulated memory: 84164 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 5791
/proc/meminfo: memFree=15397972/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2079340 memory=84100 CPUtime=342.33 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 74102 0 0 0 34139 94 0 0 20 0 1 0 247228132 2129244160 21025 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 519835 21025 728 405 0 516779 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2079340 KiB
Current children cumulated memory: 84100 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 5792
/proc/meminfo: memFree=15392212/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2082584 memory=87344 CPUtime=402.33 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 79245 0 0 0 40121 112 0 0 20 0 1 0 247228132 2132566016 21836 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 520646 21836 728 405 0 517590 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2082584 KiB
Current children cumulated memory: 87344 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 5793
/proc/meminfo: memFree=15484588/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2104032 memory=108792 CPUtime=462.35 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 86074 0 0 0 46107 128 0 0 20 0 1 0 247228132 2154528768 27198 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 526008 27198 728 405 0 522952 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 2104032 KiB
Current children cumulated memory: 108792 KiB
################
# More data... #
################
/proc/5785/statm: 552203 54404 728 405 0 549147 0
Current children cumulated CPU time: 1722.49 s
Current children cumulated vsize: 2208812 KiB
Current children cumulated memory: 217616 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5886
/proc/meminfo: memFree=15387612/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2147724 memory=156348 CPUtime=1782.49 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 208868 0 0 0 177784 465 0 0 20 0 1 0 247228132 2199269376 39087 33554432000 4194304 5849940 140728519218960 140728519217832 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 536931 39087 728 405 0 533875 0
Current children cumulated CPU time: 1782.49 s
Current children cumulated vsize: 2147724 KiB
Current children cumulated memory: 156348 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 5910
/proc/meminfo: memFree=15294656/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2167724 memory=176300 CPUtime=1842.5 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 211435 0 0 0 183772 478 0 0 20 0 1 0 247228132 2219749376 44075 33554432000 4194304 5849940 140728519218960 140728519217960 5339655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 541931 44075 728 405 0 538875 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 2167724 KiB
Current children cumulated memory: 176300 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 5911
/proc/meminfo: memFree=15284940/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2177684 memory=186488 CPUtime=1902.51 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 228144 0 0 0 189762 489 0 0 20 0 1 0 247228132 2229948416 46622 33554432000 4194304 5849940 140728519218960 140728519217960 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 544421 46622 728 405 0 541365 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 2177684 KiB
Current children cumulated memory: 186488 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 5912
/proc/meminfo: memFree=15276784/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2185972 memory=194776 CPUtime=1962.51 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 234926 0 0 0 195747 504 0 0 20 0 1 0 247228132 2238435328 48694 33554432000 4194304 5849940 140728519218960 140728519217960 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 546493 48694 728 405 0 543437 0
Current children cumulated CPU time: 1962.51 s
Current children cumulated vsize: 2185972 KiB
Current children cumulated memory: 194776 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 5913
/proc/meminfo: memFree=15238992/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2199008 memory=207716 CPUtime=2022.53 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 236768 0 0 0 201735 518 0 0 20 0 1 0 247228132 2251784192 51929 33554432000 4194304 5849940 140728519218960 140728519217960 5335774 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 549752 51929 728 405 0 546696 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 2199008 KiB
Current children cumulated memory: 207716 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5914
/proc/meminfo: memFree=15236084/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2200936 memory=209740 CPUtime=2082.53 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 240015 0 0 0 207726 527 0 0 20 0 1 0 247228132 2253758464 52435 33554432000 4194304 5849940 140728519218960 140728519217960 5438039 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 550234 52435 728 405 0 547178 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 2200936 KiB
Current children cumulated memory: 209740 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5915
/proc/meminfo: memFree=15235144/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2198768 memory=207572 CPUtime=2142.54 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 261288 0 0 0 213713 541 0 0 20 0 1 0 247228132 2251538432 51893 33554432000 4194304 5849940 140728519218960 140728519217832 5335810 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 549692 51893 728 405 0 546636 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 2198768 KiB
Current children cumulated memory: 207572 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5916
/proc/meminfo: memFree=15259472/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2165988 memory=174792 CPUtime=2202.54 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 264368 0 0 0 219704 550 0 0 20 0 1 0 247228132 2217971712 43698 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 541497 43698 728 405 0 538441 0
Current children cumulated CPU time: 2202.54 s
Current children cumulated vsize: 2165988 KiB
Current children cumulated memory: 174792 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5917
/proc/meminfo: memFree=15192264/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2233440 memory=242072 CPUtime=2262.55 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 267871 0 0 0 225694 561 0 0 20 0 1 0 247228132 2287042560 60518 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 558360 60518 728 405 0 555304 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 2233440 KiB
Current children cumulated memory: 242072 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5918
/proc/meminfo: memFree=15176796/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2233528 memory=242244 CPUtime=2322.56 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 267901 0 0 0 231683 573 0 0 20 0 1 0 247228132 2287132672 60561 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 558382 60561 728 405 0 555326 0
Current children cumulated CPU time: 2322.56 s
Current children cumulated vsize: 2233528 KiB
Current children cumulated memory: 242244 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5927
/proc/meminfo: memFree=15007924/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2344748 memory=353552 CPUtime=2382.57 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 297823 0 0 0 237670 587 0 0 20 0 1 0 247228132 2401021952 88388 33554432000 4194304 5849940 140728519218960 140728519217960 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 586187 88388 728 405 0 583131 0
Current children cumulated CPU time: 2382.57 s
Current children cumulated vsize: 2344748 KiB
Current children cumulated memory: 353552 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5928
/proc/meminfo: memFree=15031960/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2344748 memory=353552 CPUtime=2442.58 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 300081 0 0 0 243661 597 0 0 20 0 1 0 247228132 2401021952 88388 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 586187 88388 728 405 0 583131 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 2344748 KiB
Current children cumulated memory: 353552 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15395696/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2213380 memory=222184 CPUtime=2502.58 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 305872 0 0 0 249650 608 0 0 20 0 1 0 247228132 2266501120 55546 33554432000 4194304 5849940 140728519218960 140728519217960 139649192529799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 553345 55546 728 405 0 550289 0
Current children cumulated CPU time: 2502.58 s
Current children cumulated vsize: 2213380 KiB
Current children cumulated memory: 222184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15388336/32770624 swapFree=67108504/67108860
[pid=5785] ppid=5782 vsize=2220244 memory=229048 CPUtime=2520.09 cores=0,2,4,6
/proc/5785/stat : 5785 (xcsp_picat) R 5782 5785 5416 0 -1 4202496 306686 0 0 0 251398 611 0 0 20 0 1 0 247228132 2273529856 57262 33554432000 4194304 5849940 140728519218960 140728519218120 5438438 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 42725376 140728519226550 140728519226628 140728519226628 140728519229386 0
/proc/5785/statm: 555061 57262 728 405 0 552005 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2220244 KiB
Current children cumulated memory: 229048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 5785 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.99 s, system=6.11675 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): 2519.81
CPU time (s): 2520.1
CPU user time (s): 2513.99
CPU system time (s): 6.11675
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2344748
Max. memory (cumulated for all children) (KiB): 353552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.99
system time used= 6.11675
maximum resident set size= 353552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306687
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= 20
involuntary context switches= 900
# summary of solver processes directly reported to runsolver:
# pid: 5785
# total CPU time (s): 2520.1
# total CPU user time (s): 2513.99
# total CPU system time (s): 6.11675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70577 second user time and 18.455 second system time
The end