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 (13155 MiB free)
memory of node 1: 16384 MiB (10530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309790-1534321304/watcher-4309790-1534321304 -o /tmp/evaluation-result-4309790-1534321304/solver-4309790-1534321304 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21937 --watchdog 2580 xcsp_picat HOME/instance-4309790-1534321304.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=25240, runsolver pid=25237
[startup+0.100159 s]*
/proc/loadavg: 2.02 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24239896/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2026844 memory=17524 CPUtime=0.1 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 1494 0 0 0 10 0 0 0 20 0 1 0 249693577 2075488256 4381 33554432000 4194304 5849940 140731017886544 140731017886544 5606419 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 506711 4381 720 405 0 503655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026844 KiB
Current children cumulated memory: 17524 KiB
[startup+0.209625 s]*
/proc/loadavg: 2.02 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24239588/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2026844 memory=17524 CPUtime=0.2 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 1494 0 0 0 20 0 0 0 20 0 1 0 249693577 2075488256 4381 33554432000 4194304 5849940 140731017886544 140731017886544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 506711 4381 720 405 0 503655 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026844 KiB
Current children cumulated memory: 17524 KiB
[startup+0.308779 s]*
/proc/loadavg: 2.02 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24239588/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2026844 memory=17524 CPUtime=0.3 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 1494 0 0 0 30 0 0 0 20 0 1 0 249693577 2075488256 4381 33554432000 4194304 5849940 140731017886544 140731017886544 5472677 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 506711 4381 720 405 0 503655 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026844 KiB
Current children cumulated memory: 17524 KiB
[startup+0.700277 s]
/proc/loadavg: 2.02 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24238844/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2027232 memory=18136 CPUtime=0.69 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 2069 0 0 0 69 0 0 0 20 0 1 0 249693577 2075885568 4534 33554432000 4194304 5849940 140731017886544 140731017885192 5329340 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 506808 4534 744 405 0 503752 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027232 KiB
Current children cumulated memory: 18136 KiB
[startup+1.50028 s]
/proc/loadavg: 2.02 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24239364/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2027992 memory=18660 CPUtime=1.49 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 2532 0 0 0 148 1 0 0 20 0 1 0 249693577 2076663808 4665 33554432000 4194304 5849940 140731017886544 140731017885192 4205692 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 506998 4665 761 405 0 503942 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2027992 KiB
Current children cumulated memory: 18660 KiB
[startup+3.10912 s]
/proc/loadavg: 2.02 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24236860/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2031924 memory=22288 CPUtime=3.1 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 3972 0 0 0 307 3 0 0 20 0 1 0 249693577 2080690176 5572 33554432000 4194304 5849940 140731017886544 140731017885192 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 507981 5572 761 405 0 504925 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031924 KiB
Current children cumulated memory: 22288 KiB
[startup+6.30027 s]
/proc/loadavg: 2.01 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24232460/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2033440 memory=23796 CPUtime=6.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 5755 0 0 0 621 8 0 0 20 0 1 0 249693577 2082242560 5949 33554432000 4194304 5849940 140731017886544 140731017885272 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 508360 5949 761 405 0 505304 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2033440 KiB
Current children cumulated memory: 23796 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.10 2.09 3/187 25241
/proc/meminfo: memFree=24228640/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2036156 memory=26796 CPUtime=12.69 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 11233 0 0 0 1253 16 0 0 20 0 1 0 249693577 2085023744 6699 33554432000 4194304 5849940 140731017886544 140731017885704 5350416 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 509039 6699 761 405 0 505983 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2036156 KiB
Current children cumulated memory: 26796 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.09 2.09 3/187 25241
/proc/meminfo: memFree=24225128/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2038416 memory=29412 CPUtime=25.49 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 20397 0 0 0 2521 28 0 0 20 0 1 0 249693577 2087337984 7353 33554432000 4194304 5849940 140731017886544 140731017885704 5310284 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 509604 7353 761 405 0 506548 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2038416 KiB
Current children cumulated memory: 29412 KiB
[startup+51.1094 s]
/proc/loadavg: 2.01 2.08 2.09 3/187 25241
/proc/meminfo: memFree=24223772/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2040916 memory=31860 CPUtime=51.1 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 35217 0 0 0 5062 48 0 0 20 0 1 0 249693577 2089897984 7965 33554432000 4194304 5849940 140731017886544 140731017885544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 510229 7965 761 405 0 507173 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2040916 KiB
Current children cumulated memory: 31860 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/187 25242
/proc/meminfo: memFree=24196532/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2068116 memory=58768 CPUtime=102.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 51093 0 0 0 10153 76 0 0 20 0 1 0 249693577 2117750784 14692 33554432000 4194304 5849940 140731017886544 140731017885704 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 517029 14692 761 405 0 513973 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2068116 KiB
Current children cumulated memory: 58768 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/187 25243
/proc/meminfo: memFree=24193984/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2069420 memory=60288 CPUtime=162.3 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 63517 0 0 0 16133 97 0 0 20 0 1 0 249693577 2119086080 15072 33554432000 4194304 5849940 140731017886544 140731017885544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 517355 15072 761 405 0 514299 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2069420 KiB
Current children cumulated memory: 60288 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/187 25245
/proc/meminfo: memFree=24157440/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2106536 memory=97404 CPUtime=222.3 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 74791 0 0 0 22116 114 0 0 20 0 1 0 249693577 2157092864 24351 33554432000 4194304 5849940 140731017886544 140731017885032 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 526634 24351 761 405 0 523578 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2106536 KiB
Current children cumulated memory: 97404 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 25246
/proc/meminfo: memFree=24312644/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2032656 memory=23372 CPUtime=282.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 89130 0 0 0 28093 136 0 0 20 0 1 0 249693577 2081439744 5843 33554432000 4194304 5849940 140731017886544 140731017885544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 508164 5843 761 405 0 505108 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2032656 KiB
Current children cumulated memory: 23372 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 25247
/proc/meminfo: memFree=24284912/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2060916 memory=51676 CPUtime=342.3 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 94537 0 0 0 34045 185 0 0 20 0 1 0 249693577 2110377984 12919 33554432000 4194304 5849940 140731017886544 140731017885544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 515229 12919 761 405 0 512173 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2060916 KiB
Current children cumulated memory: 51676 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25249
/proc/meminfo: memFree=24193176/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2114152 memory=104884 CPUtime=402.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 97955 0 0 0 40020 209 0 0 20 0 1 0 249693577 2164891648 26221 33554432000 4194304 5849940 140731017886544 140731017885416 5399737 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 528538 26221 761 405 0 525482 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2114152 KiB
Current children cumulated memory: 104884 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25250
/proc/meminfo: memFree=24179768/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2127388 memory=118200 CPUtime=462.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 107462 0 0 0 45999 230 0 0 20 0 1 0 249693577 2178445312 29550 33554432000 4194304 5849940 140731017886544 140731017885544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 531847 29550 761 405 0 528791 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2127388 KiB
Current children cumulated memory: 118200 KiB
################
# More data... #
################
/proc/25240/statm: 584594 83754 761 405 0 581538 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 2338376 KiB
Current children cumulated memory: 335016 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/181 25343
/proc/meminfo: memFree=24278384/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2403912 memory=400552 CPUtime=1782.27 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 389433 0 0 0 177720 507 0 0 20 0 1 0 249693577 2461605888 100138 33554432000 4194304 5849940 140731017886544 140731017885704 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 600978 100138 761 405 0 597922 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 2403912 KiB
Current children cumulated memory: 400552 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.19 1.61 2/181 25344
/proc/meminfo: memFree=24216448/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2466316 memory=462720 CPUtime=1842.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 394909 0 0 0 183708 520 0 0 20 0 1 0 249693577 2525507584 115680 33554432000 4194304 5849940 140731017886544 140731017885544 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 616579 115680 761 405 0 613523 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 2466316 KiB
Current children cumulated memory: 462720 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/181 25345
/proc/meminfo: memFree=24216596/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2466316 memory=462956 CPUtime=1902.27 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 401127 0 0 0 189699 528 0 0 20 0 1 0 249693577 2525507584 115739 33554432000 4194304 5849940 140731017886544 140731017885544 5438384 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 616579 115739 761 405 0 613523 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 2466316 KiB
Current children cumulated memory: 462956 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.13 1.54 2/181 25346
/proc/meminfo: memFree=24216512/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2466316 memory=462956 CPUtime=1962.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 403849 0 0 0 195692 536 0 0 20 0 1 0 249693577 2525507584 115739 33554432000 4194304 5849940 140731017886544 140731017885544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 616579 115739 761 405 0 613523 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 2466316 KiB
Current children cumulated memory: 462956 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.11 1.51 2/180 25348
/proc/meminfo: memFree=24186944/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2496340 memory=492980 CPUtime=2022.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 410536 0 0 0 201683 545 0 0 20 0 1 0 249693577 2556252160 123245 33554432000 4194304 5849940 140731017886544 140731017885704 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 624085 123245 761 405 0 621029 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 2496340 KiB
Current children cumulated memory: 492980 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.09 1.47 2/180 25349
/proc/meminfo: memFree=24187192/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2496340 memory=492980 CPUtime=2082.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 418256 0 0 0 207677 551 0 0 20 0 1 0 249693577 2556252160 123245 33554432000 4194304 5849940 140731017886544 140731017885704 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 624085 123245 761 405 0 621029 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 2496340 KiB
Current children cumulated memory: 492980 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.07 1.45 2/180 25350
/proc/meminfo: memFree=24187088/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2496340 memory=492980 CPUtime=2142.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 421539 0 0 0 213669 559 0 0 20 0 1 0 249693577 2556252160 123245 33554432000 4194304 5849940 140731017886544 140731017885544 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 624085 123245 761 405 0 621029 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 2496340 KiB
Current children cumulated memory: 492980 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.06 1.42 2/180 25352
/proc/meminfo: memFree=24187388/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2496340 memory=492980 CPUtime=2202.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 426116 0 0 0 219663 565 0 0 20 0 1 0 249693577 2556252160 123245 33554432000 4194304 5849940 140731017886544 140731017885704 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 624085 123245 761 405 0 621029 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 2496340 KiB
Current children cumulated memory: 492980 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/180 25353
/proc/meminfo: memFree=24187248/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2496340 memory=492980 CPUtime=2262.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 433896 0 0 0 225656 572 0 0 20 0 1 0 249693577 2556252160 123245 33554432000 4194304 5849940 140731017886544 140731017885544 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 624085 123245 761 405 0 621029 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 2496340 KiB
Current children cumulated memory: 492980 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/180 25361
/proc/meminfo: memFree=24324440/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2358868 memory=355344 CPUtime=2322.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 439508 0 0 0 231648 581 0 0 20 0 1 0 249693577 2415480832 88836 33554432000 4194304 5849940 140731017886544 140731017885544 5313013 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 589717 88836 761 405 0 586661 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 2358868 KiB
Current children cumulated memory: 355344 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/180 25384
/proc/meminfo: memFree=24323712/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2358868 memory=355508 CPUtime=2382.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 443259 0 0 0 237638 591 0 0 20 0 1 0 249693577 2415480832 88877 33554432000 4194304 5849940 140731017886544 140731017885544 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 589717 88877 761 405 0 586661 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 2358868 KiB
Current children cumulated memory: 355508 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.09 1.34 2/180 25385
/proc/meminfo: memFree=24323688/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2358868 memory=355508 CPUtime=2442.28 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 446886 0 0 0 243629 599 0 0 20 0 1 0 249693577 2415480832 88877 33554432000 4194304 5849940 140731017886544 140731017885544 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 589717 88877 761 405 0 586661 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 2358868 KiB
Current children cumulated memory: 355508 KiB
[startup+2502.3 s]
/proc/loadavg: 1.29 1.15 1.35 2/180 25386
/proc/meminfo: memFree=24351156/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2332108 memory=328748 CPUtime=2502.29 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 455234 0 0 0 249620 609 0 0 20 0 1 0 249693577 2388078592 82187 33554432000 4194304 5849940 140731017886544 140731017885704 140577993695111 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 583027 82187 761 405 0 579971 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 2332108 KiB
Current children cumulated memory: 328748 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.21 1.14 1.34 2/180 25386
/proc/meminfo: memFree=24351156/32770624 swapFree=67108172/67108860
[pid=25240] ppid=25237 vsize=2332108 memory=328748 CPUtime=2520 cores=1,3,5,7
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 21905 0 -1 4202496 456778 0 0 0 251388 612 0 0 20 0 1 0 249693577 2388078592 82187 33554432000 4194304 5849940 140731017886544 140731017885544 5438033 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 36020224 140731017888950 140731017889028 140731017889028 140731017891786 0
/proc/25240/statm: 583027 82187 761 405 0 579971 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2332108 KiB
Current children cumulated memory: 328748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 25240 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.88 s, system=6.12706 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): 2520.01
CPU user time (s): 2513.88
CPU system time (s): 6.12706
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 2496340
Max. memory (cumulated for all children) (KiB): 492980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.88
system time used= 6.12706
maximum resident set size= 492980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456779
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= 727
# summary of solver processes directly reported to runsolver:
# pid: 25240
# total CPU time (s): 2520.01
# total CPU user time (s): 2513.88
# total CPU system time (s): 6.12706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.06382 second user time and 19.2338 second system time
The end