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 (15031 MiB free)
memory of node 1: 16384 MiB (11736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293607-1532321937/watcher-4293607-1532321937 -o /tmp/evaluation-result-4293607-1532321937/solver-4293607-1532321937 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293607-1532321937.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=10951, runsolver pid=10948
[startup+0.100127 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27384928/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=127528 memory=28304 CPUtime=0.1 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 2141 0 0 0 10 0 0 0 20 0 1 0 49756868 130588672 7076 33554432000 4194304 5849740 140727617028592 140727617027896 4486388 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 31882 7076 598 405 0 28826 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 127528 KiB
Current children cumulated memory: 28304 KiB
[startup+0.209579 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27370300/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=127528 memory=45436 CPUtime=0.21 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 2336 0 0 0 21 0 0 0 20 0 1 0 49756868 130588672 11359 33554432000 4194304 5849740 140727617028592 140727617027896 4504238 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 31882 11359 646 405 0 28826 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 127528 KiB
Current children cumulated memory: 45436 KiB
[startup+0.309598 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27351436/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=145120 memory=66200 CPUtime=0.31 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 4347 0 0 0 30 1 0 0 20 0 1 0 49756868 148602880 16550 33554432000 4194304 5849740 140727617028592 140727617027896 5251137 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 36280 16550 659 405 0 33224 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 145120 KiB
Current children cumulated memory: 66200 KiB
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27337100/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=145120 memory=76896 CPUtime=0.69 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 4425 0 0 0 68 1 0 0 20 0 1 0 49756868 148602880 19224 33554432000 4194304 5849740 140727617028592 140727617027896 5471830 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 36280 19224 710 405 0 33224 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 145120 KiB
Current children cumulated memory: 76896 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27337100/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=145120 memory=76896 CPUtime=1.49 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 4442 0 0 0 148 1 0 0 20 0 1 0 49756868 148602880 19224 33554432000 4194304 5849740 140727617028592 140727617027832 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 36280 19224 710 405 0 33224 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 145120 KiB
Current children cumulated memory: 76896 KiB
[startup+3.10895 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27337352/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=145304 memory=77108 CPUtime=3.1 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 4552 0 0 0 309 1 0 0 20 0 1 0 49756868 148791296 19277 33554432000 4194304 5849740 140727617028592 140727617027688 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 36326 19277 720 405 0 33270 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 145304 KiB
Current children cumulated memory: 77108 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27336796/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=145560 memory=77364 CPUtime=6.28 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 4740 0 0 0 627 1 0 0 20 0 1 0 49756868 149053440 19341 33554432000 4194304 5849740 140727617028592 140727617027704 5606219 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 36390 19341 720 405 0 33334 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 145560 KiB
Current children cumulated memory: 77364 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27326628/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=146328 memory=88224 CPUtime=12.68 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 5240 0 0 0 1267 1 0 0 20 0 1 0 49756868 149839872 22056 33554432000 4194304 5849740 140727617028592 140727617027768 4550730 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 36582 22056 720 405 0 33526 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 146328 KiB
Current children cumulated memory: 88224 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27325884/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=147096 memory=89140 CPUtime=25.49 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 5948 0 0 0 2547 2 0 0 20 0 1 0 49756868 150626304 22285 33554432000 4194304 5849740 140727617028592 140727617027160 5473838 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 36774 22285 720 405 0 33718 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 147096 KiB
Current children cumulated memory: 89140 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10952
/proc/meminfo: memFree=27244376/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=232448 memory=170440 CPUtime=51.1 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 17249 0 0 0 5097 13 0 0 20 0 1 0 49756868 238026752 42610 33554432000 4194304 5849740 140727617028592 140727617026136 5308864 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 58112 42610 752 405 0 55056 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 232448 KiB
Current children cumulated memory: 170440 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10960
/proc/meminfo: memFree=27255764/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=219956 memory=158208 CPUtime=102.28 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 26131 0 0 0 10209 19 0 0 20 0 1 0 49756868 225234944 39552 33554432000 4194304 5849740 140727617028592 140727617027240 5312827 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 54989 39552 756 405 0 51933 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 219956 KiB
Current children cumulated memory: 158208 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10984
/proc/meminfo: memFree=27255736/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=219664 memory=157916 CPUtime=162.28 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 35845 0 0 0 16184 44 0 0 20 0 1 0 49756868 224935936 39479 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 54916 39479 756 405 0 51860 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 219664 KiB
Current children cumulated memory: 157916 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10985
/proc/meminfo: memFree=27255636/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=219424 memory=157676 CPUtime=222.27 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 41621 0 0 0 22156 71 0 0 20 0 1 0 49756868 224690176 39419 33554432000 4194304 5849740 140727617028592 140727617027320 5303802 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 54856 39419 756 405 0 51800 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 219424 KiB
Current children cumulated memory: 157676 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10986
/proc/meminfo: memFree=27251884/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=219300 memory=162064 CPUtime=282.26 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 43200 0 0 0 28126 100 0 0 20 0 1 0 49756868 224563200 40516 33554432000 4194304 5849740 140727617028592 140727617027752 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 54825 40516 756 405 0 51769 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 219300 KiB
Current children cumulated memory: 162064 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10987
/proc/meminfo: memFree=27250416/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=219212 memory=164024 CPUtime=342.26 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 44747 0 0 0 34091 135 0 0 20 0 1 0 49756868 224473088 41006 33554432000 4194304 5849740 140727617028592 140727617027592 5437705 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 54803 41006 756 405 0 51747 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 219212 KiB
Current children cumulated memory: 164024 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10988
/proc/meminfo: memFree=27242288/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=228192 memory=172940 CPUtime=402.26 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 46964 0 0 0 40061 165 0 0 20 0 1 0 49756868 233668608 43235 33554432000 4194304 5849740 140727617028592 140727617026136 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 57048 43235 756 405 0 53992 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 228192 KiB
Current children cumulated memory: 172940 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10989
/proc/meminfo: memFree=27239936/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=230600 memory=175080 CPUtime=462.25 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 49524 0 0 0 46022 203 0 0 20 0 1 0 49756868 236134400 43770 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 57650 43770 756 405 0 54594 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 230600 KiB
Current children cumulated memory: 175080 KiB
################
# More data... #
################
/proc/10951/statm: 68822 55439 756 405 0 65766 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 275288 KiB
Current children cumulated memory: 221756 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 11028
/proc/meminfo: memFree=27183844/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=284104 memory=230700 CPUtime=1782.17 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 160916 0 0 0 177356 861 0 0 20 0 1 0 49756868 290922496 57675 33554432000 4194304 5849740 140727617028592 140727617027592 5359102 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 71026 57675 756 405 0 67970 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 284104 KiB
Current children cumulated memory: 230700 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/187 11029
/proc/meminfo: memFree=27191448/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=277224 memory=223732 CPUtime=1842.16 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 164397 0 0 0 183328 888 0 0 20 0 1 0 49756868 283877376 55933 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 69306 55933 756 405 0 66250 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 277224 KiB
Current children cumulated memory: 223732 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/188 11098
/proc/meminfo: memFree=27343292/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=273748 memory=220320 CPUtime=1902.16 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 167485 0 0 0 189305 911 0 0 20 0 1 0 49756868 280317952 55080 33554432000 4194304 5849740 140727617028592 140727617027752 139741866030912 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 68437 55080 756 405 0 65381 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 273748 KiB
Current children cumulated memory: 220320 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11099
/proc/meminfo: memFree=27333892/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=283308 memory=229904 CPUtime=1962.16 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 171585 0 0 0 195279 937 0 0 20 0 1 0 49756868 290107392 57476 33554432000 4194304 5849740 140727617028592 140727617027592 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 70827 57476 756 405 0 67771 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 283308 KiB
Current children cumulated memory: 229904 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11100
/proc/meminfo: memFree=27342620/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=274548 memory=221104 CPUtime=2022.16 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 174892 0 0 0 201251 965 0 0 20 0 1 0 49756868 281137152 55276 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 68637 55276 756 405 0 65581 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 274548 KiB
Current children cumulated memory: 221104 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11101
/proc/meminfo: memFree=27335500/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=275708 memory=222408 CPUtime=2082.16 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 177295 0 0 0 207222 994 0 0 20 0 1 0 49756868 282324992 55602 33554432000 4194304 5849740 140727617028592 140727617027592 5437686 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 68927 55602 756 405 0 65871 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 275708 KiB
Current children cumulated memory: 222408 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11102
/proc/meminfo: memFree=27326664/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=284568 memory=231228 CPUtime=2142.16 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 180806 0 0 0 213196 1020 0 0 20 0 1 0 49756868 291397632 57807 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 71142 57807 756 405 0 68086 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 284568 KiB
Current children cumulated memory: 231228 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11103
/proc/meminfo: memFree=27326132/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=285252 memory=231340 CPUtime=2202.15 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 183798 0 0 0 219172 1043 0 0 20 0 1 0 49756868 292098048 57835 33554432000 4194304 5849740 140727617028592 140727617027464 5362013 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 71313 57835 756 405 0 68257 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 285252 KiB
Current children cumulated memory: 231340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11104
/proc/meminfo: memFree=27336720/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=274728 memory=220728 CPUtime=2262.15 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 185823 0 0 0 225146 1069 0 0 20 0 1 0 49756868 281321472 55182 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 68682 55182 756 405 0 65626 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 274728 KiB
Current children cumulated memory: 220728 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11105
/proc/meminfo: memFree=27322948/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=288624 memory=235244 CPUtime=2322.15 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 190163 0 0 0 231117 1098 0 0 20 0 1 0 49756868 295550976 58811 33554432000 4194304 5849740 140727617028592 140727617027592 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 72156 58811 756 405 0 69100 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 288624 KiB
Current children cumulated memory: 235244 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11106
/proc/meminfo: memFree=27306568/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=295132 memory=241680 CPUtime=2382.14 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 195066 0 0 0 237084 1130 0 0 20 0 1 0 49756868 302215168 60420 33554432000 4194304 5849740 140727617028592 140727617027592 5312598 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 73783 60420 756 405 0 70727 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 295132 KiB
Current children cumulated memory: 241680 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11107
/proc/meminfo: memFree=27309608/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=298112 memory=239496 CPUtime=2442.14 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 201610 0 0 0 243042 1172 0 0 20 0 1 0 49756868 305266688 59874 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 74528 59874 756 405 0 71472 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 298112 KiB
Current children cumulated memory: 239496 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11115
/proc/meminfo: memFree=27261008/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=310044 memory=252420 CPUtime=2502.14 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 209621 0 0 0 249012 1202 0 0 20 0 1 0 49756868 317485056 63105 33554432000 4194304 5849740 140727617028592 140727617027592 139741866442631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 77511 63105 756 405 0 74455 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 310044 KiB
Current children cumulated memory: 252420 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11115
/proc/meminfo: memFree=27254988/32770624 swapFree=67108860/67108860
[pid=10951] ppid=10948 vsize=316544 memory=259104 CPUtime=2519.84 cores=0,2,4,6
/proc/10951/stat : 10951 (xcsp_picat) R 10948 10951 7287 0 -1 4202496 214236 0 0 0 250774 1210 0 0 20 0 1 0 49756868 324141056 64776 33554432000 4194304 5849740 140727617028592 140727617027464 5394792 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 35880960 140727617037494 140727617037572 140727617037572 140727617040330 0
/proc/10951/statm: 79136 64776 756 405 0 76080 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 316544 KiB
Current children cumulated memory: 259104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 10951 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.75 s, system=12.1104 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.86
CPU user time (s): 2507.75
CPU system time (s): 12.1104
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 327696
Max. memory (cumulated for all children) (KiB): 269108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.75
system time used= 12.1104
maximum resident set size= 269108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214236
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= 46
involuntary context switches= 1065
# summary of solver processes directly reported to runsolver:
# pid: 10951
# total CPU time (s): 2519.86
# total CPU user time (s): 2507.75
# total CPU system time (s): 12.1104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.54816 second user time and 18.4389 second system time
The end