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 (10853 MiB free)
memory of node 1: 16384 MiB (13110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309644-1534319983/watcher-4309644-1534319983 -o /tmp/evaluation-result-4309644-1534319983/solver-4309644-1534319983 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534293327-697 --watchdog 2580 xcsp_picat HOME/instance-4309644-1534319983.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
solver pid=4427, runsolver pid=4424
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24525232/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2025744 memory=18468 CPUtime=0.1 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 1243 0 0 0 10 0 0 0 20 0 1 0 249561439 2074361856 4617 33554432000 4194304 5849940 140722796370896 140722796370200 4677673 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 506436 4617 597 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 18468 KiB
[startup+0.209908 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24503956/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2038760 memory=37964 CPUtime=0.2 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 4105 0 0 0 20 0 0 0 20 0 1 0 249561439 2087690240 9491 33554432000 4194304 5849940 140722796370896 140722796370200 5432174 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 509690 9491 636 405 0 506634 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2038760 KiB
Current children cumulated memory: 37964 KiB
[startup+0.309635 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24490740/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2052748 memory=51968 CPUtime=0.31 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 5049 0 0 0 30 1 0 0 20 0 1 0 249561439 2102013952 12992 33554432000 4194304 5849940 140722796370896 140722796370200 4540751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 513187 12992 638 405 0 510131 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2052748 KiB
Current children cumulated memory: 51968 KiB
[startup+0.700422 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24497628/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2045520 memory=44708 CPUtime=0.69 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 6268 0 0 0 68 1 0 0 20 0 1 0 249561439 2094612480 11177 33554432000 4194304 5849940 140722796370896 140722796370200 5398480 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 511380 11177 654 405 0 508324 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2045520 KiB
Current children cumulated memory: 44708 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24497256/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2053960 memory=53132 CPUtime=1.49 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 7593 0 0 0 148 1 0 0 20 0 1 0 249561439 2103255040 13283 33554432000 4194304 5849940 140722796370896 140722796369144 5360645 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 513490 13283 656 405 0 510434 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2053960 KiB
Current children cumulated memory: 53132 KiB
[startup+3.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24478396/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2065680 memory=63876 CPUtime=3.1 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 14508 0 0 0 308 2 0 0 20 0 1 0 249561439 2115256320 15969 33554432000 4194304 5849940 140722796370896 140722796369544 5319935 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 516420 15969 666 405 0 513364 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2065680 KiB
Current children cumulated memory: 63876 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24477012/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2065868 memory=65220 CPUtime=6.29 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 21344 0 0 0 624 5 0 0 20 0 1 0 249561439 2115448832 16305 33554432000 4194304 5849940 140722796370896 140722796369544 5335774 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 516467 16305 670 405 0 513411 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2065868 KiB
Current children cumulated memory: 65220 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4428
/proc/meminfo: memFree=24483992/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2074004 memory=73272 CPUtime=12.69 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 32614 0 0 0 1257 12 0 0 20 0 1 0 249561439 2123780096 18318 33554432000 4194304 5849940 140722796370896 140722796369896 4234745 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 518501 18318 670 405 0 515445 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2074004 KiB
Current children cumulated memory: 73272 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4436
/proc/meminfo: memFree=24547144/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2058836 memory=57168 CPUtime=25.49 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 49620 0 0 0 2527 22 0 0 20 0 1 0 249561439 2108248064 14292 33554432000 4194304 5849940 140722796370896 140722796369544 5359364 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 514709 14292 670 405 0 511653 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2058836 KiB
Current children cumulated memory: 57168 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4436
/proc/meminfo: memFree=24530100/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2076052 memory=75404 CPUtime=51.1 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 59744 0 0 0 5066 44 0 0 20 0 1 0 249561439 2125877248 18851 33554432000 4194304 5849940 140722796370896 140722796369768 5359006 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 519013 18851 670 405 0 515957 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2076052 KiB
Current children cumulated memory: 75404 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4459
/proc/meminfo: memFree=24527656/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2078020 memory=77372 CPUtime=102.29 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 89216 0 0 0 10143 86 0 0 20 0 1 0 249561439 2127892480 19343 33554432000 4194304 5849940 140722796370896 140722796369896 5335793 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 519505 19343 670 405 0 516449 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2078020 KiB
Current children cumulated memory: 77372 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 4461
/proc/meminfo: memFree=24532216/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2073364 memory=70880 CPUtime=162.28 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 104323 0 0 0 16105 123 0 0 20 0 1 0 249561439 2123124736 17720 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 518341 17720 670 405 0 515285 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2073364 KiB
Current children cumulated memory: 70880 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 4462
/proc/meminfo: memFree=24493600/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2110564 memory=109916 CPUtime=222.28 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 122032 0 0 0 22061 167 0 0 20 0 1 0 249561439 2161217536 27479 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 527641 27479 670 405 0 524585 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2110564 KiB
Current children cumulated memory: 109916 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 4463
/proc/meminfo: memFree=24494080/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2110052 memory=109404 CPUtime=282.28 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 131603 0 0 0 28018 210 0 0 20 0 1 0 249561439 2160693248 27351 33554432000 4194304 5849940 140722796370896 140722796370056 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 527513 27351 670 405 0 524457 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2110052 KiB
Current children cumulated memory: 109404 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4464
/proc/meminfo: memFree=24464460/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2093320 memory=92672 CPUtime=342.28 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 145222 0 0 0 33977 251 0 0 20 0 1 0 249561439 2143559680 23168 33554432000 4194304 5849940 140722796370896 140722796370056 5336648 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 523330 23168 670 405 0 520274 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2093320 KiB
Current children cumulated memory: 92672 KiB
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/191 4465
/proc/meminfo: memFree=24468160/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2151996 memory=151348 CPUtime=402.28 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 163059 0 0 0 39940 288 0 0 20 0 1 0 249561439 2203643904 37837 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 537999 37837 670 405 0 534943 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2151996 KiB
Current children cumulated memory: 151348 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/190 4466
/proc/meminfo: memFree=24441364/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2113692 memory=113044 CPUtime=462.27 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 180346 0 0 0 45903 324 0 0 20 0 1 0 249561439 2164420608 28261 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 528423 28261 670 405 0 525367 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2113692 KiB
Current children cumulated memory: 113044 KiB
################
# More data... #
################
/proc/4427/statm: 541822 42952 670 405 0 538766 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2167288 KiB
Current children cumulated memory: 171808 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 4508
/proc/meminfo: memFree=24357476/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2117828 memory=122312 CPUtime=1782.23 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 563705 0 0 0 177172 1051 0 0 20 0 1 0 249561439 2168655872 30578 33554432000 4194304 5849940 140722796370896 140722796370056 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 529457 30578 670 405 0 526401 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2117828 KiB
Current children cumulated memory: 122312 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 4517
/proc/meminfo: memFree=24363496/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2149308 memory=153828 CPUtime=1842.24 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 579778 0 0 0 183138 1086 0 0 20 0 1 0 249561439 2200891392 38457 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 537327 38457 670 405 0 534271 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 2149308 KiB
Current children cumulated memory: 153828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.68 2.19 2.10 3/191 4518
/proc/meminfo: memFree=24373756/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2141404 memory=145704 CPUtime=1902.23 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 594372 0 0 0 189104 1119 0 0 20 0 1 0 249561439 2192797696 36426 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 535351 36426 670 405 0 532295 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2141404 KiB
Current children cumulated memory: 145704 KiB
[startup+1962.3 s]
/proc/loadavg: 2.25 2.15 2.09 3/191 4519
/proc/meminfo: memFree=24364208/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2149220 memory=153740 CPUtime=1962.23 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 610012 0 0 0 195075 1148 0 0 20 0 1 0 249561439 2200801280 38435 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 537305 38435 670 405 0 534249 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2149220 KiB
Current children cumulated memory: 153740 KiB
[startup+2022.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/191 4520
/proc/meminfo: memFree=24436096/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2141736 memory=146256 CPUtime=2022.23 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 624941 0 0 0 201038 1185 0 0 20 0 1 0 249561439 2193137664 36564 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 535434 36564 670 405 0 532378 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2141736 KiB
Current children cumulated memory: 146256 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/191 4521
/proc/meminfo: memFree=24283772/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2149496 memory=154016 CPUtime=2082.23 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 642957 0 0 0 207009 1214 0 0 20 0 1 0 249561439 2201083904 38504 33554432000 4194304 5849940 140722796370896 140722796370056 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 537374 38504 670 405 0 534318 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2149496 KiB
Current children cumulated memory: 154016 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/190 4522
/proc/meminfo: memFree=24439808/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2123472 memory=127992 CPUtime=2142.22 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 654909 0 0 0 212978 1244 0 0 20 0 1 0 249561439 2174435328 31998 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 530868 31998 670 405 0 527812 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2123472 KiB
Current children cumulated memory: 127992 KiB
[startup+2202.3 s]
/proc/loadavg: 1.37 1.89 2.01 2/184 4569
/proc/meminfo: memFree=24651412/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2170768 memory=175288 CPUtime=2202.22 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 676377 0 0 0 218946 1276 0 0 20 0 1 0 249561439 2222866432 43822 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 542692 43822 670 405 0 539636 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2170768 KiB
Current children cumulated memory: 175288 KiB
[startup+2262.3 s]
/proc/loadavg: 1.18 1.74 1.95 2/184 4570
/proc/meminfo: memFree=24659456/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2162404 memory=166908 CPUtime=2262.22 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 685342 0 0 0 224917 1305 0 0 20 0 1 0 249561439 2214301696 41727 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 540601 41727 670 405 0 537545 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2162404 KiB
Current children cumulated memory: 166908 KiB
[startup+2322.3 s]
/proc/loadavg: 1.06 1.60 1.89 2/184 4571
/proc/meminfo: memFree=24682232/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2140264 memory=144784 CPUtime=2322.22 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 701488 0 0 0 230886 1336 0 0 20 0 1 0 249561439 2191630336 36196 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 535066 36196 670 405 0 532010 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2140264 KiB
Current children cumulated memory: 144784 KiB
[startup+2382.3 s]
/proc/loadavg: 1.02 1.49 1.84 2/183 4572
/proc/meminfo: memFree=24638712/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2185200 memory=189596 CPUtime=2382.22 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 713259 0 0 0 236857 1365 0 0 20 0 1 0 249561439 2237644800 47399 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 546300 47399 670 405 0 543244 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2185200 KiB
Current children cumulated memory: 189596 KiB
[startup+2442.3 s]
/proc/loadavg: 1.01 1.40 1.78 2/185 4582
/proc/meminfo: memFree=24649368/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2173576 memory=178096 CPUtime=2442.22 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 727738 0 0 0 242830 1392 0 0 20 0 1 0 249561439 2225741824 44524 33554432000 4194304 5849940 140722796370896 140722796369896 5335793 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 543394 44524 670 405 0 540338 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 2173576 KiB
Current children cumulated memory: 178096 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.33 1.74 2/184 4583
/proc/meminfo: memFree=24623432/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2200016 memory=204492 CPUtime=2502.22 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 742154 0 0 0 248804 1418 0 0 20 0 1 0 249561439 2252816384 51123 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 550004 51123 670 405 0 546948 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 2200016 KiB
Current children cumulated memory: 204492 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.31 1.72 2/184 4584
/proc/meminfo: memFree=24572152/32770624 swapFree=67108856/67108860
[pid=4427] ppid=4424 vsize=2251924 memory=256344 CPUtime=2519.93 cores=1,3,5,7
/proc/4427/stat : 4427 (xcsp_picat) R 4424 4427 665 0 -1 4202496 743390 0 0 0 250569 1424 0 0 20 0 1 0 249561439 2305970176 64086 33554432000 4194304 5849940 140722796370896 140722796369896 140130616311687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 38735872 140722796377270 140722796377348 140722796377348 140722796380106 0
/proc/4427/statm: 562981 64086 670 405 0 559925 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2251924 KiB
Current children cumulated memory: 256344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 4427 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.69 s, system=14.2507 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.02
CPU time (s): 2519.95
CPU user time (s): 2505.69
CPU system time (s): 14.2507
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 2251924
Max. memory (cumulated for all children) (KiB): 256344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.69
system time used= 14.2507
maximum resident set size= 256444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 743390
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= 21
involuntary context switches= 1459
# summary of solver processes directly reported to runsolver:
# pid: 4427
# total CPU time (s): 2519.95
# total CPU user time (s): 2505.69
# total CPU system time (s): 14.2507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.92634 second user time and 18.8818 second system time
The end