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 (14572 MiB free)
memory of node 1: 16384 MiB (13284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309786-1534321315/watcher-4309786-1534321315 -o /tmp/evaluation-result-4309786-1534321315/solver-4309786-1534321315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534292900-22506 --watchdog 2580 xcsp_picat HOME/instance-4309786-1534321315.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=25855, runsolver pid=25852
[startup+0.100314 s]*
/proc/loadavg: 2.04 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28510804/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2026556 memory=17408 CPUtime=0.09 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 1498 0 0 0 9 0 0 0 20 0 1 0 249694656 2075193344 4352 33554432000 4194304 5849940 140729558822448 140729558821096 5392214 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 506639 4352 735 405 0 503583 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2026556 KiB
Current children cumulated memory: 17408 KiB
[startup+0.209528 s]*
/proc/loadavg: 2.04 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28510432/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2026556 memory=17676 CPUtime=0.2 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 1514 0 0 0 20 0 0 0 20 0 1 0 249694656 2075193344 4419 33554432000 4194304 5849940 140729558822448 140729558821320 5359803 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 506639 4419 738 405 0 503583 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026556 KiB
Current children cumulated memory: 17676 KiB
[startup+0.308707 s]*
/proc/loadavg: 2.04 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28510432/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2026716 memory=17676 CPUtime=0.3 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 1529 0 0 0 30 0 0 0 20 0 1 0 249694656 2075357184 4419 33554432000 4194304 5849940 140729558822448 140729558821320 5308060 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 506679 4419 738 405 0 503623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026716 KiB
Current children cumulated memory: 17676 KiB
[startup+0.700228 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28510184/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2027148 memory=18200 CPUtime=0.68 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 1656 0 0 0 67 1 0 0 20 0 1 0 249694656 2075799552 4550 33554432000 4194304 5849940 140729558822448 140729558821320 5437824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 506787 4550 751 405 0 503731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 18200 KiB
[startup+1.50023 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28509068/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2028564 memory=19656 CPUtime=1.48 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 2552 0 0 0 146 2 0 0 20 0 1 0 249694656 2077249536 4914 33554432000 4194304 5849940 140729558822448 140729558820936 5438453 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 507141 4914 751 405 0 504085 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2028564 KiB
Current children cumulated memory: 19656 KiB
[startup+3.10928 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28539988/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2029400 memory=20460 CPUtime=3.09 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 4134 0 0 0 304 5 0 0 20 0 1 0 249694656 2078105600 5115 33554432000 4194304 5849940 140729558822448 140729558821608 140588328320903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 507350 5115 751 405 0 504294 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2029400 KiB
Current children cumulated memory: 20460 KiB
[startup+6.30033 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28506120/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2032044 memory=23140 CPUtime=6.29 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 6805 0 0 0 619 10 0 0 20 0 1 0 249694656 2080813056 5785 33554432000 4194304 5849940 140729558822448 140729558821320 5309850 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 508011 5785 760 405 0 504955 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2032044 KiB
Current children cumulated memory: 23140 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 25856
/proc/meminfo: memFree=28530088/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2039612 memory=30580 CPUtime=12.69 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 10473 0 0 0 1252 17 0 0 20 0 1 0 249694656 2088562688 7645 33554432000 4194304 5849940 140729558822448 140729558821448 140588328320903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 509903 7645 760 405 0 506847 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2039612 KiB
Current children cumulated memory: 30580 KiB
[startup+25.5004 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 25856
/proc/meminfo: memFree=28493216/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2045600 memory=36088 CPUtime=25.49 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 20962 0 0 0 2523 26 0 0 20 0 1 0 249694656 2094694400 9022 33554432000 4194304 5849940 140729558822448 140729558821176 140588328320903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 511400 9022 761 405 0 508344 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2045600 KiB
Current children cumulated memory: 36088 KiB
[startup+51.1094 s]
/proc/loadavg: 2.02 2.07 2.07 3/187 25856
/proc/meminfo: memFree=28492796/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2044976 memory=35984 CPUtime=51.09 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 28815 0 0 0 5060 49 0 0 20 0 1 0 249694656 2094055424 8996 33554432000 4194304 5849940 140729558822448 140729558821448 140588328320903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 511244 8996 761 405 0 508188 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2044976 KiB
Current children cumulated memory: 35984 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 25857
/proc/meminfo: memFree=28463776/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2074900 memory=65520 CPUtime=102.28 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 43243 0 0 0 10151 77 0 0 20 0 1 0 249694656 2124697600 16380 33554432000 4194304 5849940 140729558822448 140729558821320 5394720 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 518725 16380 761 405 0 515669 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2074900 KiB
Current children cumulated memory: 65520 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 25858
/proc/meminfo: memFree=28350748/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2107960 memory=98980 CPUtime=162.28 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 58499 0 0 0 16128 100 0 0 20 0 1 0 249694656 2158551040 24745 33554432000 4194304 5849940 140729558822448 140729558821320 5392187 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 526990 24745 761 405 0 523934 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2107960 KiB
Current children cumulated memory: 98980 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 25860
/proc/meminfo: memFree=28509024/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2112548 memory=103416 CPUtime=222.29 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 75495 0 0 0 22107 122 0 0 20 0 1 0 249694656 2163249152 25854 33554432000 4194304 5849940 140729558822448 140729558821448 5437819 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 528137 25854 761 405 0 525081 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2112548 KiB
Current children cumulated memory: 103416 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 25861
/proc/meminfo: memFree=28467904/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2130888 memory=121988 CPUtime=282.28 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 87389 0 0 0 28091 137 0 0 20 0 1 0 249694656 2182029312 30497 33554432000 4194304 5849940 140729558822448 140729558821448 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 532722 30497 761 405 0 529666 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2130888 KiB
Current children cumulated memory: 121988 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25862
/proc/meminfo: memFree=28490168/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2105756 memory=96724 CPUtime=342.28 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 91921 0 0 0 34077 151 0 0 20 0 1 0 249694656 2156294144 24181 33554432000 4194304 5849940 140729558822448 140729558821448 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 526439 24181 761 405 0 523383 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2105756 KiB
Current children cumulated memory: 96724 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25864
/proc/meminfo: memFree=28432536/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2114152 memory=105252 CPUtime=402.28 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 101497 0 0 0 40060 168 0 0 20 0 1 0 249694656 2164891648 26313 33554432000 4194304 5849940 140729558822448 140729558821448 140588328320903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 528538 26313 761 405 0 525482 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2114152 KiB
Current children cumulated memory: 105252 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25865
/proc/meminfo: memFree=28295596/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2141144 memory=132244 CPUtime=462.28 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 120853 0 0 0 46045 183 0 0 20 0 1 0 249694656 2192531456 33061 33554432000 4194304 5849940 140729558822448 140729558821448 5437817 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 535286 33061 761 405 0 532230 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2141144 KiB
Current children cumulated memory: 132244 KiB
################
# More data... #
################
Current children cumulated memory: 181240 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25879
/proc/meminfo: memFree=28215756/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2169068 memory=160168 CPUtime=882.27 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 182828 0 0 0 87955 272 0 0 20 0 1 0 249694656 2221125632 40042 33554432000 4194304 5849940 140729558822448 140729558821448 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 542267 40042 761 405 0 539211 0
Current children cumulated CPU time: 882.27 s
Current children cumulated vsize: 2169068 KiB
Current children cumulated memory: 160168 KiB
[startup+942.3 s]
/proc/loadavg: 1.92 2.00 2.04 2/180 25926
/proc/meminfo: memFree=28614212/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2201836 memory=192936 CPUtime=942.27 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 199680 0 0 0 93944 283 0 0 20 0 1 0 249694656 2254680064 48234 33554432000 4194304 5849940 140729558822448 140729558821608 140588328320903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 550459 48234 761 405 0 547403 0
Current children cumulated CPU time: 942.27 s
Current children cumulated vsize: 2201836 KiB
Current children cumulated memory: 192936 KiB
[startup+1002.3 s]
/proc/loadavg: 1.34 1.82 1.98 2/180 25927
/proc/meminfo: memFree=28614788/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2201836 memory=192936 CPUtime=1002.25 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 200100 0 0 0 99935 290 0 0 20 0 1 0 249694656 2254680064 48234 33554432000 4194304 5849940 140729558822448 140729558821448 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 550459 48234 761 405 0 547403 0
Current children cumulated CPU time: 1002.25 s
Current children cumulated vsize: 2201836 KiB
Current children cumulated memory: 192936 KiB
[startup+1062.3 s]
/proc/loadavg: 1.12 1.67 1.91 2/180 25928
/proc/meminfo: memFree=28574800/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2238816 memory=233748 CPUtime=1062.24 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 207572 0 0 0 105924 300 0 0 20 0 1 0 249694656 2292547584 58437 33554432000 4194304 5849940 140729558822448 140729558821448 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 559704 58437 761 405 0 556648 0
Current children cumulated CPU time: 1062.24 s
Current children cumulated vsize: 2238816 KiB
Current children cumulated memory: 233748 KiB
[startup+1122.3 s]
/proc/loadavg: 1.05 1.55 1.86 2/180 25937
/proc/meminfo: memFree=28572928/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2238816 memory=235352 CPUtime=1122.25 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 207576 0 0 0 111918 307 0 0 20 0 1 0 249694656 2292547584 58838 33554432000 4194304 5849940 140729558822448 140729558821448 5437819 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 559704 58838 761 405 0 556648 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 2238816 KiB
Current children cumulated memory: 235352 KiB
[startup+1182.3 s]
/proc/loadavg: 1.02 1.45 1.80 2/181 25939
/proc/meminfo: memFree=28572412/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2238816 memory=235452 CPUtime=1182.24 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 223132 0 0 0 117910 314 0 0 20 0 1 0 249694656 2292547584 58863 33554432000 4194304 5849940 140729558822448 140729558821448 5437784 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 559704 58863 761 405 0 556648 0
Current children cumulated CPU time: 1182.24 s
Current children cumulated vsize: 2238816 KiB
Current children cumulated memory: 235452 KiB
[startup+1242.3 s]
/proc/loadavg: 1.01 1.37 1.75 2/181 25940
/proc/meminfo: memFree=28587892/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2222292 memory=218928 CPUtime=1242.24 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 224720 0 0 0 123903 321 0 0 20 0 1 0 249694656 2275627008 54732 33554432000 4194304 5849940 140729558822448 140729558821448 5437784 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 555573 54732 761 405 0 552517 0
Current children cumulated CPU time: 1242.24 s
Current children cumulated vsize: 2222292 KiB
Current children cumulated memory: 218928 KiB
[startup+1278.98 s]
# the end of solver process 25855 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1275.65 s, system=3.28394 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 1.00 1.35 1.74 2/181 25940
/proc/meminfo: memFree=28587892/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2222292 memory=218928 CPUtime=1254.34 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 224720 0 0 0 125111 323 0 0 20 0 1 0 249694656 2275627008 54732 33554432000 4194304 5849940 140729558822448 140729558821448 5438016 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 555573 54732 761 405 0 552517 0
Current children cumulated CPU time: 1254.34 s
Current children cumulated vsize: 2222292 KiB
Current children cumulated memory: 218928 KiB
[startup+1267.2 s]
/proc/loadavg: 1.00 1.34 1.73 2/181 25940
/proc/meminfo: memFree=28587892/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2222292 memory=218928 CPUtime=1267.14 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 224722 0 0 0 126389 325 0 0 20 0 1 0 249694656 2275627008 54732 33554432000 4194304 5849940 140729558822448 140729558821608 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 555573 54732 761 405 0 552517 0
Current children cumulated CPU time: 1267.14 s
Current children cumulated vsize: 2222292 KiB
Current children cumulated memory: 218928 KiB
[startup+1273.6 s]
/proc/loadavg: 1.00 1.33 1.73 2/181 25940
/proc/meminfo: memFree=28588020/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2222292 memory=218928 CPUtime=1273.54 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 224724 0 0 0 127028 326 0 0 20 0 1 0 249694656 2275627008 54732 33554432000 4194304 5849940 140729558822448 140729558821448 5438404 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 555573 54732 761 405 0 552517 0
Current children cumulated CPU time: 1273.54 s
Current children cumulated vsize: 2222292 KiB
Current children cumulated memory: 218928 KiB
[startup+1276.8 s]
/proc/loadavg: 1.00 1.33 1.73 2/181 25940
/proc/meminfo: memFree=28588020/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2222292 memory=218928 CPUtime=1276.74 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 224724 0 0 0 127347 327 0 0 20 0 1 0 249694656 2275627008 54732 33554432000 4194304 5849940 140729558822448 140729558821448 5335818 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 555573 54732 761 405 0 552517 0
Current children cumulated CPU time: 1276.74 s
Current children cumulated vsize: 2222292 KiB
Current children cumulated memory: 218928 KiB
[startup+1277.6 s]
/proc/loadavg: 1.00 1.33 1.73 2/181 25940
/proc/meminfo: memFree=28588020/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2222292 memory=218928 CPUtime=1277.54 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 224724 0 0 0 127427 327 0 0 20 0 1 0 249694656 2275627008 54732 33554432000 4194304 5849940 140729558822448 140729558821448 140588328320903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 555573 54732 761 405 0 552517 0
Current children cumulated CPU time: 1277.54 s
Current children cumulated vsize: 2222292 KiB
Current children cumulated memory: 218928 KiB
[startup+1278.4 s]
/proc/loadavg: 1.00 1.32 1.72 2/181 25940
/proc/meminfo: memFree=28588020/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2174092 memory=170512 CPUtime=1278.34 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 225570 0 0 0 127507 327 0 0 20 0 1 0 249694656 2226270208 42628 33554432000 4194304 5849940 140729558822448 140729558821448 5437828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 543523 42628 761 405 0 540467 0
Current children cumulated CPU time: 1278.34 s
Current children cumulated vsize: 2174092 KiB
Current children cumulated memory: 170512 KiB
[startup+1278.8 s]
/proc/loadavg: 1.00 1.32 1.72 2/181 25940
/proc/meminfo: memFree=28588020/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2174092 memory=170512 CPUtime=1278.74 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 225570 0 0 0 127547 327 0 0 20 0 1 0 249694656 2226270208 42628 33554432000 4194304 5849940 140729558822448 140729558821448 5437986 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 543523 42628 761 405 0 540467 0
Current children cumulated CPU time: 1278.74 s
Current children cumulated vsize: 2174092 KiB
Current children cumulated memory: 170512 KiB
[startup+1278.9 s]
/proc/loadavg: 1.00 1.32 1.72 2/181 25940
/proc/meminfo: memFree=28588020/32770624 swapFree=67108796/67108860
[pid=25855] ppid=25852 vsize=2174092 memory=170512 CPUtime=1278.84 cores=0,2,4,6
/proc/25855/stat : 25855 (xcsp_picat) R 25852 25855 22475 0 -1 4202496 225570 0 0 0 127556 328 0 0 20 0 1 0 249694656 2226270208 42628 33554432000 4194304 5849940 140729558822448 140729558821448 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38817792 140729558828214 140729558828292 140729558828292 140729558831050 0
/proc/25855/statm: 543523 42628 761 405 0 540467 0
Current children cumulated CPU time: 1278.84 s
Current children cumulated vsize: 2174092 KiB
Current children cumulated memory: 170512 KiB
Child status: 0
Real time (s): 1278.98
CPU time (s): 1278.93
CPU user time (s): 1275.65
CPU system time (s): 3.28394
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 2238816
Max. memory (cumulated for all children) (KiB): 235452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1275.65
system time used= 3.28394
maximum resident set size= 235452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225618
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= 36
involuntary context switches= 389
# summary of solver processes directly reported to runsolver:
# pid: 25855
# total CPU time (s): 1278.93
# total CPU user time (s): 1275.65
# total CPU system time (s): 3.28394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78803 second user time and 9.55998 second system time
The end