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 (8841 MiB free)
memory of node 1: 16384 MiB (11268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295973-1532594255/watcher-4295973-1532594255 -o /tmp/evaluation-result-4295973-1532594255/solver-4295973-1532594255 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580 xcsp_picat HOME/instance-4295973-1532594255.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=3981, runsolver pid=3978
[startup+0.10012 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 3982
/proc/meminfo: memFree=20570852/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=111688 memory=25140 CPUtime=0.1 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 1374 0 0 0 10 0 0 0 20 0 1 0 76988677 114368512 6285 33554432000 4194304 5849740 140736275740448 140736275740448 4850488 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 27922 6285 601 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 25140 KiB
[startup+0.209998 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 3982
/proc/meminfo: memFree=20550808/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=130228 memory=43712 CPUtime=0.21 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 2095 0 0 0 21 0 0 0 20 0 1 0 76988677 133353472 10928 33554432000 4194304 5849740 140736275740448 140736275740448 4454714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 32557 10928 647 405 0 29501 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 130228 KiB
Current children cumulated memory: 43712 KiB
[startup+0.30969 s]*
/proc/loadavg: 2.00 2.01 2.05 4/191 3982
/proc/meminfo: memFree=20550872/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=133208 memory=48664 CPUtime=0.3 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 3192 0 0 0 30 0 0 0 20 0 1 0 76988677 136404992 12166 33554432000 4194304 5849740 140736275740448 140736275740448 5251112 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 33302 12166 647 405 0 30246 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133208 KiB
Current children cumulated memory: 48664 KiB
[startup+0.700262 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3982
/proc/meminfo: memFree=20543736/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=133452 memory=51180 CPUtime=0.69 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 3319 0 0 0 67 2 0 0 20 0 1 0 76988677 136654848 12795 33554432000 4194304 5849740 140736275740448 140736275740448 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 33363 12795 708 405 0 30307 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133452 KiB
Current children cumulated memory: 51180 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3982
/proc/meminfo: memFree=20542620/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=140624 memory=58496 CPUtime=1.49 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 4601 0 0 0 144 5 0 0 20 0 1 0 76988677 143998976 14624 33554432000 4194304 5849740 140736275740448 140736275739544 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 35156 14624 710 405 0 32100 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 140624 KiB
Current children cumulated memory: 58496 KiB
[startup+3.10949 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3982
/proc/meminfo: memFree=20528292/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=148820 memory=66800 CPUtime=3.1 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 6087 0 0 0 299 11 0 0 20 0 1 0 76988677 152391680 16700 33554432000 4194304 5849740 140736275740448 140736275739544 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 37205 16700 710 405 0 34149 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 148820 KiB
Current children cumulated memory: 66800 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3982
/proc/meminfo: memFree=20516008/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=161108 memory=79088 CPUtime=6.29 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 7915 0 0 0 607 22 0 0 20 0 1 0 76988677 164974592 19772 33554432000 4194304 5849740 140736275740448 140736275739688 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 40277 19772 710 405 0 37221 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 161108 KiB
Current children cumulated memory: 79088 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3982
/proc/meminfo: memFree=20491436/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=218452 memory=136432 CPUtime=12.69 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 10874 0 0 0 1224 45 0 0 20 0 1 0 76988677 223694848 34108 33554432000 4194304 5849740 140736275740448 140736275739688 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 54613 34108 710 405 0 51557 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 218452 KiB
Current children cumulated memory: 136432 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3982
/proc/meminfo: memFree=20357144/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=319120 memory=237212 CPUtime=25.49 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 41847 0 0 0 2480 69 0 0 20 0 1 0 76988677 326778880 59303 33554432000 4194304 5849740 140736275740448 140736275738936 5319714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 79780 59303 738 405 0 76724 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 319120 KiB
Current children cumulated memory: 237212 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3982
/proc/meminfo: memFree=20372424/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=303220 memory=221336 CPUtime=51.1 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 74010 0 0 0 5036 74 0 0 20 0 1 0 76988677 310497280 55334 33554432000 4194304 5849740 140736275740448 140736275739448 5355826 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 75805 55334 744 405 0 72749 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 303220 KiB
Current children cumulated memory: 221336 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3983
/proc/meminfo: memFree=20308104/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=369092 memory=287144 CPUtime=102.29 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 103330 0 0 0 10080 149 0 0 20 0 1 0 76988677 377950208 71786 33554432000 4194304 5849740 140736275740448 140736275738856 5319714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 92273 71786 753 405 0 89217 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 369092 KiB
Current children cumulated memory: 287144 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 3991
/proc/meminfo: memFree=20263644/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=315552 memory=233536 CPUtime=162.29 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 141916 0 0 0 16056 173 0 0 20 0 1 0 76988677 323125248 58384 33554432000 4194304 5849740 140736275740448 140736275738936 4234713 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 78888 58384 753 405 0 75832 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 315552 KiB
Current children cumulated memory: 233536 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 3993
/proc/meminfo: memFree=20314512/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=267600 memory=182948 CPUtime=222.27 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 148799 0 0 0 22028 199 0 0 20 0 1 0 76988677 274022400 45737 33554432000 4194304 5849740 140736275740448 140736275739448 5394641 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 66900 45737 753 405 0 63844 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 267600 KiB
Current children cumulated memory: 182948 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 3994
/proc/meminfo: memFree=20136024/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=332816 memory=258972 CPUtime=282.27 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 154516 0 0 0 27998 229 0 0 20 0 1 0 76988677 340803584 64743 33554432000 4194304 5849740 140736275740448 140736275739448 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 83204 64743 753 405 0 80148 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 332816 KiB
Current children cumulated memory: 258972 KiB
[startup+342.3 s]
/proc/loadavg: 2.16 2.06 2.06 3/191 3995
/proc/meminfo: memFree=20209576/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=336960 memory=255884 CPUtime=342.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 159462 0 0 0 33966 260 0 0 20 0 1 0 76988677 345047040 63971 33554432000 4194304 5849740 140736275740448 140736275739448 140088032102304 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 84240 63971 753 405 0 81184 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 336960 KiB
Current children cumulated memory: 255884 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 3996
/proc/meminfo: memFree=20130308/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=347972 memory=272156 CPUtime=402.27 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 166875 0 0 0 39934 293 0 0 20 0 1 0 76988677 356323328 68039 33554432000 4194304 5849740 140736275740448 140736275739448 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 86993 68039 753 405 0 83937 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 347972 KiB
Current children cumulated memory: 272156 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 3997
/proc/meminfo: memFree=20131824/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=347820 memory=272004 CPUtime=462.27 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 171712 0 0 0 45907 320 0 0 20 0 1 0 76988677 356167680 68001 33554432000 4194304 5849740 140736275740448 140736275739448 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 86955 68001 753 405 0 83899 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 347820 KiB
Current children cumulated memory: 272004 KiB
################
# More data... #
################
/proc/3981/statm: 96997 78570 753 405 0 93941 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 387988 KiB
Current children cumulated memory: 314280 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4121
/proc/meminfo: memFree=18442780/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=387988 memory=314280 CPUtime=1782.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 255137 0 0 0 177223 1003 0 0 20 0 1 0 76988677 397299712 78570 33554432000 4194304 5849740 140736275740448 140736275739608 5353696 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 96997 78570 753 405 0 93941 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 387988 KiB
Current children cumulated memory: 314280 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4122
/proc/meminfo: memFree=18443116/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=387768 memory=314060 CPUtime=1842.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 260574 0 0 0 183197 1029 0 0 20 0 1 0 76988677 397074432 78515 33554432000 4194304 5849740 140736275740448 140736275739448 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 96942 78515 753 405 0 93886 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 387768 KiB
Current children cumulated memory: 314060 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4123
/proc/meminfo: memFree=18491136/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=339888 memory=266180 CPUtime=1902.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 266174 0 0 0 189163 1063 0 0 20 0 1 0 76988677 348045312 66545 33554432000 4194304 5849740 140736275740448 140736275739448 5312598 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 84972 66545 753 405 0 81916 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 339888 KiB
Current children cumulated memory: 266180 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4131
/proc/meminfo: memFree=18458628/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=372392 memory=298740 CPUtime=1962.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 273874 0 0 0 195127 1099 0 0 20 0 1 0 76988677 381329408 74685 33554432000 4194304 5849740 140736275740448 140736275739608 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 93098 74685 753 405 0 90042 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 372392 KiB
Current children cumulated memory: 298740 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4132
/proc/meminfo: memFree=18458788/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=372280 memory=298700 CPUtime=2022.25 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 275530 0 0 0 201100 1125 0 0 20 0 1 0 76988677 381214720 74675 33554432000 4194304 5849740 140736275740448 140736275739608 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 93070 74675 753 405 0 90014 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 372280 KiB
Current children cumulated memory: 298700 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4133
/proc/meminfo: memFree=19319920/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=379164 memory=305456 CPUtime=2082.25 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 280982 0 0 0 207068 1157 0 0 20 0 1 0 76988677 388263936 76364 33554432000 4194304 5849740 140736275740448 140736275739448 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 94791 76364 753 405 0 91735 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 379164 KiB
Current children cumulated memory: 305456 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4134
/proc/meminfo: memFree=18795476/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=379164 memory=305340 CPUtime=2142.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 285465 0 0 0 213038 1188 0 0 20 0 1 0 76988677 388263936 76335 33554432000 4194304 5849740 140736275740448 140736275739448 5438221 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 94791 76335 753 405 0 91735 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 379164 KiB
Current children cumulated memory: 305340 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4135
/proc/meminfo: memFree=19022924/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=336348 memory=262640 CPUtime=2202.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 292144 0 0 0 219002 1224 0 0 20 0 1 0 76988677 344420352 65660 33554432000 4194304 5849740 140736275740448 140736275739448 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 84087 65660 753 405 0 81031 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 336348 KiB
Current children cumulated memory: 262640 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4137
/proc/meminfo: memFree=19296412/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=401884 memory=328176 CPUtime=2262.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 295012 0 0 0 224971 1255 0 0 20 0 1 0 76988677 411529216 82044 33554432000 4194304 5849740 140736275740448 140736275739608 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 100471 82044 753 405 0 97415 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 401884 KiB
Current children cumulated memory: 328176 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4138
/proc/meminfo: memFree=18431108/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=401884 memory=328176 CPUtime=2322.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 297863 0 0 0 230938 1288 0 0 20 0 1 0 76988677 411529216 82044 33554432000 4194304 5849740 140736275740448 140736275739448 5437629 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 100471 82044 753 405 0 97415 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 401884 KiB
Current children cumulated memory: 328176 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4139
/proc/meminfo: memFree=18916896/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=401688 memory=327980 CPUtime=2382.25 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 301689 0 0 0 236915 1310 0 0 20 0 1 0 76988677 411328512 81995 33554432000 4194304 5849740 140736275740448 140736275739448 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 100422 81995 753 405 0 97366 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 401688 KiB
Current children cumulated memory: 327980 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4140
/proc/meminfo: memFree=19249220/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=401688 memory=327980 CPUtime=2442.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 303155 0 0 0 242886 1340 0 0 20 0 1 0 76988677 411328512 81995 33554432000 4194304 5849740 140736275740448 140736275739448 5438221 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 100422 81995 753 405 0 97366 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 401688 KiB
Current children cumulated memory: 327980 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4141
/proc/meminfo: memFree=19312664/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=336152 memory=262444 CPUtime=2502.26 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 304870 0 0 0 248853 1373 0 0 20 0 1 0 76988677 344219648 65611 33554432000 4194304 5849740 140736275740448 140736275739448 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 84038 65611 753 405 0 80982 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 262444 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 4141
/proc/meminfo: memFree=19312668/32770624 swapFree=67108860/67108860
[pid=3981] ppid=3978 vsize=336152 memory=262444 CPUtime=2519.97 cores=1,3,5,7
/proc/3981/stat : 3981 (xcsp_picat) R 3978 3981 32730 0 -1 4202496 306023 0 0 0 250613 1384 0 0 20 0 1 0 76988677 344219648 65611 33554432000 4194304 5849740 140736275740448 140736275739320 140088032513927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37863424 140736275743926 140736275744004 140736275744004 140736275746762 0
/proc/3981/statm: 84038 65611 753 405 0 80982 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 336152 KiB
Current children cumulated memory: 262444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 3981 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.14 s, system=13.846 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.98
CPU user time (s): 2506.14
CPU system time (s): 13.846
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 581672
Max. memory (cumulated for all children) (KiB): 507964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.14
system time used= 13.846
maximum resident set size= 507964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306023
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= 39
involuntary context switches= 841
# summary of solver processes directly reported to runsolver:
# pid: 3981
# total CPU time (s): 2519.98
# total CPU user time (s): 2506.14
# total CPU system time (s): 13.846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4214 second user time and 18.7189 second system time
The end