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 (9146 MiB free)
memory of node 1: 16384 MiB (11235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295668-1532569999/watcher-4295668-1532569999 -o /tmp/evaluation-result-4295668-1532569999/solver-4295668-1532569999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32761 --watchdog 2580 xcsp_picat HOME/instance-4295668-1532569999.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=1234, runsolver pid=1231
[startup+0.100204 s]*
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20845660/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=111688 memory=30532 CPUtime=0.1 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 1707 0 0 0 10 0 0 0 20 0 1 0 74563122 114368512 7633 33554432000 4194304 5849740 140728201530768 140728201530768 4539734 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 27922 7633 615 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 30532 KiB
[startup+0.210327 s]*
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20830332/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=112096 memory=44280 CPUtime=0.21 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 2050 0 0 0 21 0 0 0 20 0 1 0 74563122 114786304 11070 33554432000 4194304 5849740 140728201530768 140728201530768 139758369664903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 28024 11070 678 405 0 24968 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112096 KiB
Current children cumulated memory: 44280 KiB
[startup+0.310078 s]*
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20829960/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=112500 memory=44556 CPUtime=0.31 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 2179 0 0 0 31 0 0 0 20 0 1 0 74563122 115200000 11139 33554432000 4194304 5849740 140728201530768 140728201530768 5481372 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 28125 11139 678 405 0 25069 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112500 KiB
Current children cumulated memory: 44556 KiB
[startup+0.700337 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20826640/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=113780 memory=45840 CPUtime=0.69 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 2499 0 0 0 68 1 0 0 20 0 1 0 74563122 116510720 11460 33554432000 4194304 5849740 140728201530768 140728201529272 139758369664903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 28445 11460 678 405 0 25389 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113780 KiB
Current children cumulated memory: 45840 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20825340/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=117300 memory=49544 CPUtime=1.49 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 3596 0 0 0 148 1 0 0 20 0 1 0 74563122 120115200 12386 33554432000 4194304 5849740 140728201530768 140728201529864 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 29325 12386 697 405 0 26269 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 117300 KiB
Current children cumulated memory: 49544 KiB
[startup+3.10951 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20822468/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=117300 memory=49624 CPUtime=3.1 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 4405 0 0 0 309 1 0 0 20 0 1 0 74563122 120115200 12406 33554432000 4194304 5849740 140728201530768 140728201528616 4211667 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 29325 12406 705 405 0 26269 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 117300 KiB
Current children cumulated memory: 49624 KiB
[startup+6.30021 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20822052/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=117460 memory=49816 CPUtime=6.28 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 5298 0 0 0 627 1 0 0 20 0 1 0 74563122 120279040 12454 33554432000 4194304 5849740 140728201530768 140728201528616 4212046 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 29365 12454 705 405 0 26309 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 49816 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 1235
/proc/meminfo: memFree=20817276/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=117460 memory=49816 CPUtime=12.68 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 6142 0 0 0 1267 1 0 0 20 0 1 0 74563122 120279040 12454 33554432000 4194304 5849740 140728201530768 140728201528616 4207882 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 29365 12454 705 405 0 26309 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 117460 KiB
Current children cumulated memory: 49816 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 1235
/proc/meminfo: memFree=20816636/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=118792 memory=51148 CPUtime=25.49 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 8159 0 0 0 2547 2 0 0 20 0 1 0 74563122 121643008 12787 33554432000 4194304 5849740 140728201530768 140728201529176 4212544 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 29698 12787 705 405 0 26642 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 118792 KiB
Current children cumulated memory: 51148 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 1235
/proc/meminfo: memFree=20813696/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=118332 memory=50620 CPUtime=51.1 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 13419 0 0 0 5103 7 0 0 20 0 1 0 74563122 121171968 12655 33554432000 4194304 5849740 140728201530768 140728201529176 5335514 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 29583 12655 712 405 0 26527 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 118332 KiB
Current children cumulated memory: 50620 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 1236
/proc/meminfo: memFree=20791564/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=130212 memory=65988 CPUtime=102.29 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 55546 0 0 0 10154 75 0 0 20 0 1 0 74563122 133337088 16497 33554432000 4194304 5849740 140728201530768 140728201529768 139758369664903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 32553 16497 712 405 0 29497 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 130212 KiB
Current children cumulated memory: 65988 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 1239
/proc/meminfo: memFree=20779352/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=135092 memory=70864 CPUtime=162.29 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 99771 0 0 0 16066 163 0 0 20 0 1 0 74563122 138334208 17716 33554432000 4194304 5849740 140728201530768 140728201529768 5338834 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 33773 17716 712 405 0 30717 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 135092 KiB
Current children cumulated memory: 70864 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1240
/proc/meminfo: memFree=20774916/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=138952 memory=74716 CPUtime=222.28 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 133278 0 0 0 22000 228 0 0 20 0 1 0 74563122 142286848 18679 33554432000 4194304 5849740 140728201530768 140728201529768 5438221 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 34738 18679 712 405 0 31682 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 138952 KiB
Current children cumulated memory: 74716 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1241
/proc/meminfo: memFree=20764816/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=141384 memory=77268 CPUtime=282.28 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 164288 0 0 0 27938 290 0 0 20 0 1 0 74563122 144777216 19317 33554432000 4194304 5849740 140728201530768 140728201529768 5437808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 35346 19317 712 405 0 32290 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 141384 KiB
Current children cumulated memory: 77268 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1248
/proc/meminfo: memFree=20751296/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=155536 memory=91216 CPUtime=342.28 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 183891 0 0 0 33890 338 0 0 20 0 1 0 74563122 159268864 22804 33554432000 4194304 5849740 140728201530768 140728201529768 5437576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 38884 22804 712 405 0 35828 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 155536 KiB
Current children cumulated memory: 91216 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1249
/proc/meminfo: memFree=20687148/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=217644 memory=153308 CPUtime=402.28 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 194744 0 0 0 39862 366 0 0 20 0 1 0 74563122 222867456 38327 33554432000 4194304 5849740 140728201530768 140728201529768 5437808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 54411 38327 712 405 0 51355 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 153308 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1258
/proc/meminfo: memFree=20696216/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=196992 memory=132764 CPUtime=462.27 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 204751 0 0 0 45837 390 0 0 20 0 1 0 74563122 201719808 33191 33554432000 4194304 5849740 140728201530768 140728201529768 5437744 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 49248 33191 712 405 0 46192 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 196992 KiB
Current children cumulated memory: 132764 KiB
################
# More data... #
################
/proc/1234/statm: 91075 75018 712 405 0 88019 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 364300 KiB
Current children cumulated memory: 300072 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1322
/proc/meminfo: memFree=20356908/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=364300 memory=300072 CPUtime=1782.19 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 369404 0 0 0 177496 723 0 0 20 0 1 0 74563122 373043200 75018 33554432000 4194304 5849740 140728201530768 140728201529768 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 91075 75018 712 405 0 88019 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 364300 KiB
Current children cumulated memory: 300072 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1323
/proc/meminfo: memFree=20284904/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=364300 memory=300072 CPUtime=1842.19 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 376556 0 0 0 183486 733 0 0 20 0 1 0 74563122 373043200 75018 33554432000 4194304 5849740 140728201530768 140728201529768 5437611 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 91075 75018 712 405 0 88019 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 364300 KiB
Current children cumulated memory: 300072 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1324
/proc/meminfo: memFree=20381528/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=364300 memory=300072 CPUtime=1902.19 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 381723 0 0 0 189476 743 0 0 20 0 1 0 74563122 373043200 75018 33554432000 4194304 5849740 140728201530768 140728201529768 5437576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 91075 75018 712 405 0 88019 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 364300 KiB
Current children cumulated memory: 300072 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/191 1326
/proc/meminfo: memFree=20380720/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=364300 memory=300072 CPUtime=1962.18 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 386427 0 0 0 195465 753 0 0 20 0 1 0 74563122 373043200 75018 33554432000 4194304 5849740 140728201530768 140728201529768 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 91075 75018 712 405 0 88019 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 364300 KiB
Current children cumulated memory: 300072 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 1327
/proc/meminfo: memFree=20374892/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=364300 memory=300072 CPUtime=2022.18 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 389889 0 0 0 201456 762 0 0 20 0 1 0 74563122 373043200 75018 33554432000 4194304 5849740 140728201530768 140728201529768 139758369664903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 91075 75018 712 405 0 88019 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 364300 KiB
Current children cumulated memory: 300072 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 1329
/proc/meminfo: memFree=20374760/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=364300 memory=300072 CPUtime=2082.18 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 393441 0 0 0 207447 771 0 0 20 0 1 0 74563122 373043200 75018 33554432000 4194304 5849740 140728201530768 140728201529768 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 91075 75018 712 405 0 88019 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 364300 KiB
Current children cumulated memory: 300072 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1331
/proc/meminfo: memFree=20308952/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=429772 memory=365544 CPUtime=2142.19 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 413248 0 0 0 213437 782 0 0 20 0 1 0 74563122 440086528 91386 33554432000 4194304 5849740 140728201530768 140728201529768 5437609 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 107443 91386 712 405 0 104387 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 429772 KiB
Current children cumulated memory: 365544 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1333
/proc/meminfo: memFree=20308496/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=429772 memory=365544 CPUtime=2202.19 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 431726 0 0 0 219430 789 0 0 20 0 1 0 74563122 440086528 91386 33554432000 4194304 5849740 140728201530768 140728201529768 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 107443 91386 712 405 0 104387 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 429772 KiB
Current children cumulated memory: 365544 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1341
/proc/meminfo: memFree=20094684/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=573016 memory=508788 CPUtime=2262.17 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 470672 0 0 0 225418 799 0 0 20 0 1 0 74563122 586768384 127197 33554432000 4194304 5849740 140728201530768 140728201529768 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 143254 127197 712 405 0 140198 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 573016 KiB
Current children cumulated memory: 508788 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1342
/proc/meminfo: memFree=20095256/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=573016 memory=508788 CPUtime=2322.16 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 492837 0 0 0 231408 808 0 0 20 0 1 0 74563122 586768384 127197 33554432000 4194304 5849740 140728201530768 140728201529768 5437591 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 143254 127197 712 405 0 140198 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 573016 KiB
Current children cumulated memory: 508788 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 1343
/proc/meminfo: memFree=20073888/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=594364 memory=530136 CPUtime=2382.14 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 511197 0 0 0 237397 817 0 0 20 0 1 0 74563122 608628736 132534 33554432000 4194304 5849740 140728201530768 140728201529768 139758369664903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 148591 132534 712 405 0 145535 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 594364 KiB
Current children cumulated memory: 530136 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/191 1344
/proc/meminfo: memFree=20074136/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=594364 memory=530136 CPUtime=2442.13 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 525699 0 0 0 243389 824 0 0 20 0 1 0 74563122 608628736 132534 33554432000 4194304 5849740 140728201530768 140728201529768 5437808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 148591 132534 712 405 0 145535 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 594364 KiB
Current children cumulated memory: 530136 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 1407
/proc/meminfo: memFree=20352636/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=594364 memory=530136 CPUtime=2502.14 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 533661 0 0 0 249382 832 0 0 20 0 1 0 74563122 608628736 132534 33554432000 4194304 5849740 140728201530768 140728201529768 5335552 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 148591 132534 712 405 0 145535 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 594364 KiB
Current children cumulated memory: 530136 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/190 1407
/proc/meminfo: memFree=20348432/32770624 swapFree=67108860/67108860
[pid=1234] ppid=1231 vsize=594364 memory=530136 CPUtime=2519.84 cores=0,2,4,6
/proc/1234/stat : 1234 (xcsp_picat) R 1231 1234 32730 0 -1 4202496 540308 0 0 0 251150 834 0 0 20 0 1 0 74563122 608628736 132534 33554432000 4194304 5849740 140728201530768 140728201529768 5437588 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 45096960 140728201536694 140728201536772 140728201536772 140728201539530 0
/proc/1234/statm: 148591 132534 712 405 0 145535 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 594364 KiB
Current children cumulated memory: 530136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 1234 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.5 s, system=8.35182 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.85
CPU user time (s): 2511.5
CPU system time (s): 8.35182
CPU usage (%): 99.9937
Max. virtual memory (cumulated for all children) (KiB): 594364
Max. memory (cumulated for all children) (KiB): 530136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.5
system time used= 8.35182
maximum resident set size= 530136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540309
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= 179
involuntary context switches= 934
# summary of solver processes directly reported to runsolver:
# pid: 1234
# total CPU time (s): 2519.85
# total CPU user time (s): 2511.5
# total CPU system time (s): 8.35182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2315 second user time and 18.6132 second system time
The end