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 (12087 MiB free)
memory of node 1: 16384 MiB (13399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309364-1534313297/watcher-4309364-1534313297 -o /tmp/evaluation-result-4309364-1534313297/solver-4309364-1534313297 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23505 --watchdog 2580 xcsp_picat HOME/instance-4309364-1534313297.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=26395, runsolver pid=26392
[startup+0.100163 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26074704/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2033560 memory=31060 CPUtime=0.1 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 1832 0 0 0 10 0 0 0 20 0 1 0 248892893 2082365440 7765 33554432000 4194304 5849940 140724343921728 140724343921728 4593482 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 508390 7765 628 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 31060 KiB
[startup+0.2097 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26052052/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2033560 memory=49720 CPUtime=0.21 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 1846 0 0 0 20 1 0 0 20 0 1 0 248892893 2082365440 12430 33554432000 4194304 5849940 140724343921728 140724343921728 4465918 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 508390 12430 628 405 0 505334 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 49720 KiB
[startup+0.309552 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26039640/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2033560 memory=62008 CPUtime=0.31 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 1867 0 0 0 30 1 0 0 20 0 1 0 248892893 2082365440 15502 33554432000 4194304 5849940 140724343921728 140724343921728 4561392 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 508390 15502 628 405 0 505334 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 62008 KiB
[startup+0.70034 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26027388/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2038496 memory=77820 CPUtime=0.7 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 3337 0 0 0 62 8 0 0 20 0 1 0 248892893 2087419904 19455 33554432000 4194304 5849940 140724343921728 140724343920840 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 509624 19455 704 405 0 506568 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2038496 KiB
Current children cumulated memory: 77820 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26024040/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2039008 memory=78212 CPUtime=1.49 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 3483 0 0 0 138 11 0 0 20 0 1 0 248892893 2087944192 19553 33554432000 4194304 5849940 140724343921728 140724343920840 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 509752 19553 721 405 0 506696 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039008 KiB
Current children cumulated memory: 78212 KiB
[startup+3.10934 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26012196/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2050468 memory=89884 CPUtime=3.1 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 8708 0 0 0 299 11 0 0 20 0 1 0 248892893 2099679232 22471 33554432000 4194304 5849940 140724343921728 140724343920600 4211724 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 512617 22471 749 405 0 509561 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2050468 KiB
Current children cumulated memory: 89884 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26016956/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2055968 memory=92952 CPUtime=6.29 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 12345 0 0 0 607 22 0 0 20 0 1 0 248892893 2105311232 23238 33554432000 4194304 5849940 140724343921728 140724343920600 4205814 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 513992 23238 760 405 0 510936 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2055968 KiB
Current children cumulated memory: 92952 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=26008612/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2055968 memory=92960 CPUtime=12.7 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 14930 0 0 0 1245 25 0 0 20 0 1 0 248892893 2105311232 23240 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 513992 23240 762 405 0 510936 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 2055968 KiB
Current children cumulated memory: 92960 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=25985560/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2077244 memory=116740 CPUtime=25.49 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 24525 0 0 0 2516 33 0 0 20 0 1 0 248892893 2127097856 29185 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 519311 29185 762 405 0 516255 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2077244 KiB
Current children cumulated memory: 116740 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26396
/proc/meminfo: memFree=25972592/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2077244 memory=116740 CPUtime=51.1 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 30564 0 0 0 5064 46 0 0 20 0 1 0 248892893 2127097856 29185 33554432000 4194304 5849940 140724343921728 140724343920728 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 519311 29185 762 405 0 516255 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2077244 KiB
Current children cumulated memory: 116740 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26397
/proc/meminfo: memFree=25953452/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2091352 memory=130848 CPUtime=102.3 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 37758 0 0 0 10149 81 0 0 20 0 1 0 248892893 2141544448 32712 33554432000 4194304 5849940 140724343921728 140724343920600 5361923 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 522838 32712 762 405 0 519782 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2091352 KiB
Current children cumulated memory: 130848 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 26407
/proc/meminfo: memFree=25898016/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2109020 memory=148420 CPUtime=162.3 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 49184 0 0 0 16114 116 0 0 20 0 1 0 248892893 2159636480 37105 33554432000 4194304 5849940 140724343921728 140724343920728 5361556 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 527255 37105 762 405 0 524199 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2109020 KiB
Current children cumulated memory: 148420 KiB
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/189 26408
/proc/meminfo: memFree=25963580/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2081372 memory=117492 CPUtime=222.3 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 61712 0 0 0 22080 150 0 0 20 0 1 0 248892893 2131324928 29373 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 520343 29373 762 405 0 517287 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2081372 KiB
Current children cumulated memory: 117492 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/189 26409
/proc/meminfo: memFree=25950820/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2090832 memory=130116 CPUtime=282.31 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 66327 0 0 0 28055 176 0 0 20 0 1 0 248892893 2141011968 32529 33554432000 4194304 5849940 140724343921728 140724343920728 5310323 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 522708 32529 762 405 0 519652 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2090832 KiB
Current children cumulated memory: 130116 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/189 26410
/proc/meminfo: memFree=25918500/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2123600 memory=163060 CPUtime=342.31 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 70951 0 0 0 34034 197 0 0 20 0 1 0 248892893 2174566400 40765 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 530900 40765 762 405 0 527844 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2123600 KiB
Current children cumulated memory: 163060 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 26411
/proc/meminfo: memFree=25777836/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2141132 memory=180396 CPUtime=402.31 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 78110 0 0 0 40010 221 0 0 20 0 1 0 248892893 2192519168 45099 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 535283 45099 762 405 0 532227 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2141132 KiB
Current children cumulated memory: 180396 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26412
/proc/meminfo: memFree=25799836/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2123412 memory=162908 CPUtime=462.32 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 89912 0 0 0 45992 240 0 0 20 0 1 0 248892893 2174373888 40727 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 530853 40727 762 405 0 527797 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2123412 KiB
Current children cumulated memory: 162908 KiB
################
# More data... #
################
/proc/26395/statm: 546005 57103 762 405 0 542949 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 2184020 KiB
Current children cumulated memory: 228412 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 26451
/proc/meminfo: memFree=25509016/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2196968 memory=241392 CPUtime=1842.39 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 194753 0 0 0 183549 690 0 0 20 0 1 0 248892893 2249695232 60348 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 549242 60348 762 405 0 546186 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 2196968 KiB
Current children cumulated memory: 241392 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 26452
/proc/meminfo: memFree=25698608/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2213352 memory=257544 CPUtime=1902.39 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 196408 0 0 0 189530 709 0 0 20 0 1 0 248892893 2266472448 64386 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 553338 64386 762 405 0 550282 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 2213352 KiB
Current children cumulated memory: 257544 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 26460
/proc/meminfo: memFree=25668600/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2293744 memory=338152 CPUtime=1962.39 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 198132 0 0 0 195514 725 0 0 20 0 1 0 248892893 2348793856 84538 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 573436 84538 762 405 0 570380 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 2293744 KiB
Current children cumulated memory: 338152 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26461
/proc/meminfo: memFree=25643524/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2247612 memory=291936 CPUtime=2022.4 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 202636 0 0 0 201499 741 0 0 20 0 1 0 248892893 2301554688 72984 33554432000 4194304 5849940 140724343921728 140724343920728 5437815 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 561903 72984 762 405 0 558847 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 2247612 KiB
Current children cumulated memory: 291936 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26462
/proc/meminfo: memFree=25537376/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2295104 memory=339312 CPUtime=2082.4 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 209227 0 0 0 207480 760 0 0 20 0 1 0 248892893 2350186496 84828 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 573776 84828 762 405 0 570720 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 2295104 KiB
Current children cumulated memory: 339312 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 26463
/proc/meminfo: memFree=25555152/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2276948 memory=321144 CPUtime=2142.4 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 211981 0 0 0 213465 775 0 0 20 0 1 0 248892893 2331594752 80286 33554432000 4194304 5849940 140724343921728 140724343920728 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 569237 80286 762 405 0 566181 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 2276948 KiB
Current children cumulated memory: 321144 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 26464
/proc/meminfo: memFree=25651320/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2259436 memory=303564 CPUtime=2202.41 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 214296 0 0 0 219447 794 0 0 20 0 1 0 248892893 2313662464 75891 33554432000 4194304 5849940 140724343921728 140724343920728 5313473 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 564859 75891 762 405 0 561803 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 2259436 KiB
Current children cumulated memory: 303564 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26465
/proc/meminfo: memFree=25624808/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2268120 memory=312420 CPUtime=2262.41 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 222487 0 0 0 225428 813 0 0 20 0 1 0 248892893 2322554880 78105 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 567030 78105 762 405 0 563974 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 2268120 KiB
Current children cumulated memory: 312420 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26466
/proc/meminfo: memFree=25516536/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2342340 memory=386732 CPUtime=2322.42 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 228766 0 0 0 231414 828 0 0 20 0 1 0 248892893 2398556160 96683 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 585585 96683 762 405 0 582529 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 2342340 KiB
Current children cumulated memory: 386732 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26065992/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2271056 memory=315448 CPUtime=2382.42 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 234916 0 0 0 237395 847 0 0 20 0 1 0 248892893 2325561344 78862 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 567764 78862 762 405 0 564708 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 2271056 KiB
Current children cumulated memory: 315448 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26529
/proc/meminfo: memFree=25547444/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2284400 memory=328792 CPUtime=2442.43 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 244443 0 0 0 243379 864 0 0 20 0 1 0 248892893 2339225600 82198 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 571100 82198 762 405 0 568044 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 2284400 KiB
Current children cumulated memory: 328792 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26530
/proc/meminfo: memFree=25496756/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2314612 memory=358964 CPUtime=2502.43 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 253572 0 0 0 249365 878 0 0 20 0 1 0 248892893 2370162688 89741 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 578653 89741 762 405 0 575597 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 2314612 KiB
Current children cumulated memory: 358964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26537
/proc/meminfo: memFree=25469808/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2340404 memory=384796 CPUtime=2520.03 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 255459 0 0 0 251121 882 0 0 20 0 1 0 248892893 2396573696 96199 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 585101 96199 762 405 0 582045 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2340404 KiB
Current children cumulated memory: 384796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 26395 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.21 s, system=8.83154 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26537
/proc/meminfo: memFree=25469808/32770624 swapFree=67108804/67108860
[pid=26395] ppid=26392 vsize=2340404 memory=384796 CPUtime=2520.03 cores=1,3,5,7
/proc/26395/stat : 26395 (xcsp_picat) R 26392 26395 23473 0 -1 4202496 255459 0 0 0 251121 882 0 0 20 0 1 0 248892893 2396573696 96199 33554432000 4194304 5849940 140724343921728 140724343920728 140351890104199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 23322624 140724343923894 140724343923972 140724343923972 140724343926730 0
/proc/26395/statm: 585101 96199 762 405 0 582045 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2340404 KiB
Current children cumulated memory: 384796 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2511.21
CPU system time (s): 8.83154
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2430408
Max. memory (cumulated for all children) (KiB): 474564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.21
system time used= 8.83154
maximum resident set size= 474800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255459
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= 19
involuntary context switches= 1112
# summary of solver processes directly reported to runsolver:
# pid: 26395
# total CPU time (s): 2520.04
# total CPU user time (s): 2511.21
# total CPU system time (s): 8.83154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.38796 second user time and 18.3871 second system time
The end