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 (13864 MiB free)
memory of node 1: 16384 MiB (9432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309431-1534295759/watcher-4309431-1534295759 -o /tmp/evaluation-result-4309431-1534295759/solver-4309431-1534295759 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534293186-11148 --watchdog 2580 xcsp_picat HOME/instance-4309431-1534295759.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=11597, runsolver pid=11594
[startup+0.100322 s]*
/proc/loadavg: 2.00 2.02 1.98 3/193 11598
/proc/meminfo: memFree=23833140/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2025744 memory=24344 CPUtime=0.1 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 1147 0 0 0 10 0 0 0 20 0 1 0 247139068 2074361856 6086 33554432000 4194304 5849940 140724262225728 140724262225032 140027455540224 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 506436 6086 591 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24344 KiB
[startup+0.209966 s]*
/proc/loadavg: 2.00 2.02 1.98 3/193 11598
/proc/meminfo: memFree=23822668/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2025744 memory=36860 CPUtime=0.21 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 1213 0 0 0 21 0 0 0 20 0 1 0 247139068 2074361856 9215 33554432000 4194304 5849940 140724262225728 140724262225032 4484359 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 506436 9215 619 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 36860 KiB
[startup+0.309991 s]*
/proc/loadavg: 2.00 2.02 1.98 3/193 11598
/proc/meminfo: memFree=23805788/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2026444 memory=52392 CPUtime=0.31 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 1557 0 0 0 31 0 0 0 20 0 1 0 247139068 2075078656 13098 33554432000 4194304 5849940 140724262225728 140724262225032 4454714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 506611 13098 656 405 0 503555 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026444 KiB
Current children cumulated memory: 52392 KiB
[startup+0.7004 s]
/proc/loadavg: 2.00 2.02 1.98 3/193 11598
/proc/meminfo: memFree=23789852/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2041724 memory=67644 CPUtime=0.69 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 6236 0 0 0 68 1 0 0 20 0 1 0 247139068 2090725376 16911 33554432000 4194304 5849940 140724262225728 140724262224664 5408988 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 510431 16911 666 405 0 507375 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041724 KiB
Current children cumulated memory: 67644 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.02 1.98 3/193 11598
/proc/meminfo: memFree=23789108/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2052960 memory=79008 CPUtime=1.49 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 8289 0 0 0 147 2 0 0 20 0 1 0 247139068 2102231040 19752 33554432000 4194304 5849940 140724262225728 140724262224680 5336912 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 513240 19752 681 405 0 510184 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2052960 KiB
Current children cumulated memory: 79008 KiB
[startup+3.10974 s]
/proc/loadavg: 2.00 2.02 1.98 3/193 11598
/proc/meminfo: memFree=23776640/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2054780 memory=80976 CPUtime=3.1 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 11904 0 0 0 308 2 0 0 20 0 1 0 247139068 2104094720 20244 33554432000 4194304 5849940 140724262225728 140724262223272 5308861 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 513695 20244 685 405 0 510639 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2054780 KiB
Current children cumulated memory: 80976 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.02 1.98 3/193 11598
/proc/meminfo: memFree=23776264/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2054760 memory=80972 CPUtime=6.29 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 15129 0 0 0 626 3 0 0 20 0 1 0 247139068 2104074240 20243 33554432000 4194304 5849940 140724262225728 140724262224728 5437837 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 513690 20243 689 405 0 510634 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2054760 KiB
Current children cumulated memory: 80972 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 1.99 3/193 11659
/proc/meminfo: memFree=23952704/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2054760 memory=80972 CPUtime=12.69 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 18386 0 0 0 1265 4 0 0 20 0 1 0 247139068 2104074240 20243 33554432000 4194304 5849940 140724262225728 140724262224728 5437897 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 513690 20243 689 405 0 510634 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2054760 KiB
Current children cumulated memory: 80972 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 1.98 3/194 11660
/proc/meminfo: memFree=23940208/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2056016 memory=84172 CPUtime=25.48 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 21101 0 0 0 2543 5 0 0 20 0 1 0 247139068 2105360384 21043 33554432000 4194304 5849940 140724262225728 140724262224728 5307465 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 514004 21043 689 405 0 510948 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2056016 KiB
Current children cumulated memory: 84172 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.02 1.98 3/194 11660
/proc/meminfo: memFree=23937792/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2056392 memory=84476 CPUtime=51.1 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 22829 0 0 0 5101 9 0 0 20 0 1 0 247139068 2105745408 21119 33554432000 4194304 5849940 140724262225728 140724262224888 5307755 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 514098 21119 690 405 0 511042 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2056392 KiB
Current children cumulated memory: 84476 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/193 11661
/proc/meminfo: memFree=23915680/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2059916 memory=91296 CPUtime=102.29 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 26694 0 0 0 10207 22 0 0 20 0 1 0 247139068 2109353984 22824 33554432000 4194304 5849940 140724262225728 140724262224728 5307672 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 514979 22824 690 405 0 511923 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2059916 KiB
Current children cumulated memory: 91296 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/193 11662
/proc/meminfo: memFree=23915096/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2063216 memory=86972 CPUtime=162.29 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 31432 0 0 0 16190 39 0 0 20 0 1 0 247139068 2112733184 21743 33554432000 4194304 5849940 140724262225728 140724262224216 4204921 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 515804 21743 701 405 0 512748 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2063216 KiB
Current children cumulated memory: 86972 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/193 11663
/proc/meminfo: memFree=23912104/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2063216 memory=93776 CPUtime=222.3 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 34179 0 0 0 22165 65 0 0 20 0 1 0 247139068 2112733184 23444 33554432000 4194304 5849940 140724262225728 140724262224888 5307427 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 515804 23444 701 405 0 512748 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2063216 KiB
Current children cumulated memory: 93776 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/193 11669
/proc/meminfo: memFree=23881848/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2073016 memory=104152 CPUtime=282.31 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 36810 0 0 0 28127 104 0 0 20 0 1 0 247139068 2122768384 26038 33554432000 4194304 5849940 140724262225728 140724262224216 5307920 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 518254 26038 701 405 0 515198 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2073016 KiB
Current children cumulated memory: 104152 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 11670
/proc/meminfo: memFree=23801268/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2089404 memory=120744 CPUtime=342.31 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 37870 0 0 0 34083 148 0 0 20 0 1 0 247139068 2139549696 30186 33554432000 4194304 5849940 140724262225728 140724262224888 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 522351 30186 701 405 0 519295 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2089404 KiB
Current children cumulated memory: 120744 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 11671
/proc/meminfo: memFree=23815652/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2089404 memory=120744 CPUtime=402.31 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 38908 0 0 0 40039 192 0 0 20 0 1 0 247139068 2139549696 30186 33554432000 4194304 5849940 140724262225728 140724262224888 5307716 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 522351 30186 701 405 0 519295 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2089404 KiB
Current children cumulated memory: 120744 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 11672
/proc/meminfo: memFree=23801084/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2105788 memory=137128 CPUtime=462.32 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 45508 0 0 0 45996 236 0 0 20 0 1 0 247139068 2156326912 34282 33554432000 4194304 5849940 140724262225728 140724262224600 5303165 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 526447 34282 701 405 0 523391 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2105788 KiB
Current children cumulated memory: 137128 KiB
################
# More data... #
################
/proc/11597/statm: 569841 77653 701 405 0 566785 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 2279364 KiB
Current children cumulated memory: 310612 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11758
/proc/meminfo: memFree=23276052/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2413176 memory=444644 CPUtime=1842.42 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 467041 0 0 0 183075 1167 0 0 20 0 1 0 247139068 2471092224 111161 33554432000 4194304 5849940 140724262225728 140724262224600 5313090 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 603294 111161 701 405 0 600238 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 2413176 KiB
Current children cumulated memory: 444644 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11760
/proc/meminfo: memFree=23165896/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2523616 memory=555084 CPUtime=1902.42 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 493460 0 0 0 189047 1195 0 0 20 0 1 0 247139068 2584182784 138771 33554432000 4194304 5849940 140724262225728 140724262224600 5313013 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 630904 138771 701 405 0 627848 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 2523616 KiB
Current children cumulated memory: 555084 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/196 11782
/proc/meminfo: memFree=23069564/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2573920 memory=605388 CPUtime=1962.42 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 516696 0 0 0 195022 1220 0 0 20 0 1 0 247139068 2635694080 151347 33554432000 4194304 5849940 140724262225728 140724262224728 140027455561607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 643480 151347 701 405 0 640424 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 2573920 KiB
Current children cumulated memory: 605388 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 11784
/proc/meminfo: memFree=23273536/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2352448 memory=383916 CPUtime=2022.43 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 591768 0 0 0 200996 1247 0 0 20 0 1 0 247139068 2408906752 95979 33554432000 4194304 5849940 140724262225728 140724262224728 140027455561607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 588112 95979 701 405 0 585056 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 2352448 KiB
Current children cumulated memory: 383916 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 11792
/proc/meminfo: memFree=23203300/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2370528 memory=401996 CPUtime=2082.43 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 637563 0 0 0 206964 1279 0 0 20 0 1 0 247139068 2427420672 100499 33554432000 4194304 5849940 140724262225728 140724262224728 140027455561607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 592632 100499 701 405 0 589576 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 2370528 KiB
Current children cumulated memory: 401996 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11793
/proc/meminfo: memFree=23101512/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2430888 memory=462356 CPUtime=2142.43 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 654252 0 0 0 212941 1302 0 0 20 0 1 0 247139068 2489229312 115589 33554432000 4194304 5849940 140724262225728 140724262224728 140027455561607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 607722 115589 701 405 0 604666 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 2430888 KiB
Current children cumulated memory: 462356 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11795
/proc/meminfo: memFree=22974488/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2525240 memory=556708 CPUtime=2202.44 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 687698 0 0 0 218917 1327 0 0 20 0 1 0 247139068 2585845760 139177 33554432000 4194304 5849940 140724262225728 140724262224728 5438459 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 631310 139177 701 405 0 628254 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 2525240 KiB
Current children cumulated memory: 556708 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11796
/proc/meminfo: memFree=22901176/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2569092 memory=600560 CPUtime=2262.44 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 713982 0 0 0 224897 1347 0 0 20 0 1 0 247139068 2630750208 150140 33554432000 4194304 5849940 140724262225728 140724262224600 5437928 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 642273 150140 701 405 0 639217 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 2569092 KiB
Current children cumulated memory: 600560 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11798
/proc/meminfo: memFree=22868976/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2569092 memory=600560 CPUtime=2322.45 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 773921 0 0 0 230871 1374 0 0 20 0 1 0 247139068 2630750208 150140 33554432000 4194304 5849940 140724262225728 140724262224728 5313085 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 642273 150140 701 405 0 639217 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 2569092 KiB
Current children cumulated memory: 600560 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11801
/proc/meminfo: memFree=22768332/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2603812 memory=635280 CPUtime=2382.46 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 838277 0 0 0 236842 1404 0 0 20 0 1 0 247139068 2666303488 158820 33554432000 4194304 5849940 140724262225728 140724262224728 5312969 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 650953 158820 701 405 0 647897 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 2603812 KiB
Current children cumulated memory: 635280 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 11802
/proc/meminfo: memFree=22622808/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2748632 memory=780100 CPUtime=2442.45 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 919455 0 0 0 242816 1429 0 0 20 0 1 0 247139068 2814599168 195025 33554432000 4194304 5849940 140724262225728 140724262224728 5438474 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 687158 195025 701 405 0 684102 0
Current children cumulated CPU time: 2442.45 s
Current children cumulated vsize: 2748632 KiB
Current children cumulated memory: 780100 KiB
[startup+2502.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/192 11803
/proc/meminfo: memFree=22491284/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2879704 memory=911172 CPUtime=2502.46 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 967556 0 0 0 248797 1449 0 0 20 0 1 0 247139068 2948816896 227793 33554432000 4194304 5849940 140724262225728 140724262224728 140027455561607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 719926 227793 701 405 0 716870 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 2879704 KiB
Current children cumulated memory: 911172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.14 2.07 2.06 3/192 11803
/proc/meminfo: memFree=22491408/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2879704 memory=911172 CPUtime=2520.07 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 991717 0 0 0 250549 1458 0 0 20 0 1 0 247139068 2948816896 227793 33554432000 4194304 5849940 140724262225728 140724262224728 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 719926 227793 701 405 0 716870 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 2879704 KiB
Current children cumulated memory: 911172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.92 s]
# the end of solver process 11597 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.49 s, system=14.604 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.14 2.07 2.06 3/192 11803
/proc/meminfo: memFree=22491408/32770624 swapFree=67108852/67108860
[pid=11597] ppid=11594 vsize=2879704 memory=911172 CPUtime=2520.07 cores=1,3,5,7
/proc/11597/stat : 11597 (xcsp_picat) R 11594 11597 11116 0 -1 4202496 991717 0 0 0 250549 1458 0 0 20 0 1 0 247139068 2948816896 227793 33554432000 4194304 5849940 140724262225728 140724262224728 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 44687360 140724262233270 140724262233348 140724262233348 140724262236106 0
/proc/11597/statm: 719926 227793 701 405 0 716870 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 2879704 KiB
Current children cumulated memory: 911172 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.92
CPU time (s): 2520.1
CPU user time (s): 2505.49
CPU system time (s): 14.604
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 2879704
Max. memory (cumulated for all children) (KiB): 911172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.49
system time used= 14.604
maximum resident set size= 911172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 991717
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= 9
involuntary context switches= 733
# summary of solver processes directly reported to runsolver:
# pid: 11597
# total CPU time (s): 2520.1
# total CPU user time (s): 2505.49
# total CPU system time (s): 14.604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1031 second user time and 17.6934 second system time
The end