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 (10690 MiB free)
memory of node 1: 16384 MiB (12844 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309396-1534307079/watcher-4309396-1534307079 -o /tmp/evaluation-result-4309396-1534307079/solver-4309396-1534307079 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13750 --watchdog 2580 xcsp_picat HOME/instance-4309396-1534307079.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=15245, runsolver pid=15242
[startup+0.100916 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24078472/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2028372 memory=24344 CPUtime=0.1 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 2206 0 0 0 10 0 0 0 20 0 1 0 248271126 2077052928 6086 33554432000 4194304 5849940 140733956915712 140733956914920 5354580 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 507093 6086 678 405 0 504037 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028372 KiB
Current children cumulated memory: 24344 KiB
[startup+0.209724 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24074100/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2033384 memory=29480 CPUtime=0.21 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 3489 0 0 0 21 0 0 0 20 0 1 0 248271126 2082185216 7370 33554432000 4194304 5849940 140733956915712 140733956914920 4491746 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 508346 7370 678 405 0 505290 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033384 KiB
Current children cumulated memory: 29480 KiB
[startup+0.309658 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24071588/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2033736 memory=31860 CPUtime=0.31 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 4237 0 0 0 31 0 0 0 20 0 1 0 248271126 2082545664 7965 33554432000 4194304 5849940 140733956915712 140733956914920 5392521 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 508434 7965 687 405 0 505378 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033736 KiB
Current children cumulated memory: 31860 KiB
[startup+0.700354 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24071528/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2033736 memory=31860 CPUtime=0.69 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 4237 0 0 0 69 0 0 0 20 0 1 0 248271126 2082545664 7965 33554432000 4194304 5849940 140733956915712 140733956913960 5369375 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 508434 7965 687 405 0 505378 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033736 KiB
Current children cumulated memory: 31860 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24067420/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2039768 memory=37400 CPUtime=1.48 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 5848 0 0 0 148 0 0 0 20 0 1 0 248271126 2088722432 9350 33554432000 4194304 5849940 140733956915712 140733956913976 4213236 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 509942 9350 705 405 0 506886 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2039768 KiB
Current children cumulated memory: 37400 KiB
[startup+3.10912 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24064176/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2037524 memory=35192 CPUtime=3.09 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 8227 0 0 0 309 0 0 0 20 0 1 0 248271126 2086424576 8798 33554432000 4194304 5849940 140733956915712 140733956913256 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 509381 8798 707 405 0 506325 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2037524 KiB
Current children cumulated memory: 35192 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24067432/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2037236 memory=35272 CPUtime=6.29 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 10573 0 0 0 624 5 0 0 20 0 1 0 248271126 2086129664 8818 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 509309 8818 710 405 0 506253 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037236 KiB
Current children cumulated memory: 35272 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15246
/proc/meminfo: memFree=24063132/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2041084 memory=39436 CPUtime=12.69 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 15689 0 0 0 1256 13 0 0 20 0 1 0 248271126 2090070016 9859 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 510271 9859 710 405 0 507215 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2041084 KiB
Current children cumulated memory: 39436 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15247
/proc/meminfo: memFree=24060880/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2047776 memory=45960 CPUtime=25.49 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 30069 0 0 0 2524 25 0 0 20 0 1 0 248271126 2096922624 11490 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 511944 11490 710 405 0 508888 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2047776 KiB
Current children cumulated memory: 45960 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15247
/proc/meminfo: memFree=24037088/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2045368 memory=43668 CPUtime=51.1 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 57370 0 0 0 5061 49 0 0 20 0 1 0 248271126 2094456832 10917 33554432000 4194304 5849940 140733956915712 140733956914120 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 511342 10917 710 405 0 508286 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2045368 KiB
Current children cumulated memory: 43668 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15248
/proc/meminfo: memFree=24005624/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2055888 memory=53484 CPUtime=102.29 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 98002 0 0 0 10142 87 0 0 20 0 1 0 248271126 2105229312 13371 33554432000 4194304 5849940 140733956915712 140733956914712 5350432 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 513972 13371 710 405 0 510916 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2055888 KiB
Current children cumulated memory: 53484 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15249
/proc/meminfo: memFree=23953744/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2069788 memory=67384 CPUtime=162.28 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 136000 0 0 0 16104 124 0 0 20 0 1 0 248271126 2119462912 16846 33554432000 4194304 5849940 140733956915712 140733956914712 5335774 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 517447 16846 710 405 0 514391 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2069788 KiB
Current children cumulated memory: 67384 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15251
/proc/meminfo: memFree=23943388/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2067544 memory=65716 CPUtime=222.28 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 178111 0 0 0 22068 160 0 0 20 0 1 0 248271126 2117165056 16429 33554432000 4194304 5849940 140733956915712 140733956914872 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 516886 16429 710 405 0 513830 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2067544 KiB
Current children cumulated memory: 65716 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15252
/proc/meminfo: memFree=23914892/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2083980 memory=82180 CPUtime=282.28 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 210550 0 0 0 28041 187 0 0 20 0 1 0 248271126 2133995520 20545 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 520995 20545 710 405 0 517939 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2083980 KiB
Current children cumulated memory: 82180 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15261
/proc/meminfo: memFree=23853588/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2093100 memory=91460 CPUtime=342.28 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 237995 0 0 0 34016 212 0 0 20 0 1 0 248271126 2143334400 22865 33554432000 4194304 5849940 140733956915712 140733956914872 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 523275 22865 710 405 0 520219 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2093100 KiB
Current children cumulated memory: 91460 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15262
/proc/meminfo: memFree=23870704/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2076728 memory=75088 CPUtime=402.28 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 265786 0 0 0 39991 237 0 0 20 0 1 0 248271126 2126569472 18772 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 519182 18772 710 405 0 516126 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2076728 KiB
Current children cumulated memory: 75088 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15263
/proc/meminfo: memFree=23845616/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2068872 memory=67252 CPUtime=462.28 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 288451 0 0 0 45968 260 0 0 20 0 1 0 248271126 2118524928 16813 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 517218 16813 710 405 0 514162 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2068872 KiB
Current children cumulated memory: 67252 KiB
################
# More data... #
################
/proc/15245/statm: 549960 50598 710 405 0 546904 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2199840 KiB
Current children cumulated memory: 202392 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 15481
/proc/meminfo: memFree=23974232/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2205276 memory=207828 CPUtime=1782.21 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 590603 0 0 0 177652 569 0 0 20 0 1 0 248271126 2258202624 51957 33554432000 4194304 5849940 140733956915712 140733956914872 5437940 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 551319 51957 710 405 0 548263 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2205276 KiB
Current children cumulated memory: 207828 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15483
/proc/meminfo: memFree=23967404/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2216112 memory=218664 CPUtime=1842.2 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 592427 0 0 0 183643 577 0 0 20 0 1 0 248271126 2269298688 54666 33554432000 4194304 5849940 140733956915712 140733956914712 5335752 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 554028 54666 710 405 0 550972 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2216112 KiB
Current children cumulated memory: 218664 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15484
/proc/meminfo: memFree=23911356/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2272768 memory=275288 CPUtime=1902.2 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 613652 0 0 0 189630 590 0 0 20 0 1 0 248271126 2327314432 68822 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 568192 68822 710 405 0 565136 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2272768 KiB
Current children cumulated memory: 275288 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15485
/proc/meminfo: memFree=23911116/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2272768 memory=275056 CPUtime=1962.21 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 615243 0 0 0 195624 597 0 0 20 0 1 0 248271126 2327314432 68764 33554432000 4194304 5849940 140733956915712 140733956914872 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 568192 68764 710 405 0 565136 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2272768 KiB
Current children cumulated memory: 275056 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15487
/proc/meminfo: memFree=23931788/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2243348 memory=245900 CPUtime=2022.21 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 627503 0 0 0 201615 606 0 0 20 0 1 0 248271126 2297188352 61475 33554432000 4194304 5849940 140733956915712 140733956914712 5437999 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 560837 61475 710 405 0 557781 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2243348 KiB
Current children cumulated memory: 245900 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15488
/proc/meminfo: memFree=23878588/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2289752 memory=292272 CPUtime=2082.2 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 629275 0 0 0 207604 616 0 0 20 0 1 0 248271126 2344706048 73068 33554432000 4194304 5849940 140733956915712 140733956914712 5437808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 572438 73068 710 405 0 569382 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2289752 KiB
Current children cumulated memory: 292272 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15497
/proc/meminfo: memFree=23885228/32770624 swapFree=67059124/67108860
[pid=15245] ppid=15242 vsize=2289752 memory=292304 CPUtime=2142.2 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 642192 0 0 0 213596 624 0 0 20 0 1 0 248271126 2344706048 73076 33554432000 4194304 5849940 140733956915712 140733956914712 5438453 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 572438 73076 710 405 0 569382 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2289752 KiB
Current children cumulated memory: 292304 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 15521
/proc/meminfo: memFree=23833016/32770624 swapFree=67059128/67108860
[pid=15245] ppid=15242 vsize=2355288 memory=357840 CPUtime=2202.2 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 650121 0 0 0 219587 633 0 0 20 0 1 0 248271126 2411814912 89460 33554432000 4194304 5849940 140733956915712 140733956914712 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 588822 89460 710 405 0 585766 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2355288 KiB
Current children cumulated memory: 357840 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 15522
/proc/meminfo: memFree=23786480/32770624 swapFree=67059128/67108860
[pid=15245] ppid=15242 vsize=2383344 memory=385896 CPUtime=2262.2 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 668731 0 0 0 225580 640 0 0 20 0 1 0 248271126 2440544256 96474 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 595836 96474 710 405 0 592780 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2383344 KiB
Current children cumulated memory: 385896 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 15523
/proc/meminfo: memFree=23791300/32770624 swapFree=67059128/67108860
[pid=15245] ppid=15242 vsize=2383344 memory=385896 CPUtime=2322.19 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 675900 0 0 0 231572 647 0 0 20 0 1 0 248271126 2440544256 96474 33554432000 4194304 5849940 140733956915712 140733956914712 140373459754887 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 595836 96474 710 405 0 592780 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 2383344 KiB
Current children cumulated memory: 385896 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 15524
/proc/meminfo: memFree=23798044/32770624 swapFree=67059128/67108860
[pid=15245] ppid=15242 vsize=2383344 memory=385896 CPUtime=2382.2 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 695939 0 0 0 237566 654 0 0 20 0 1 0 248271126 2440544256 96474 33554432000 4194304 5849940 140733956915712 140733956914712 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 595836 96474 710 405 0 592780 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2383344 KiB
Current children cumulated memory: 385896 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15525
/proc/meminfo: memFree=23769960/32770624 swapFree=67059128/67108860
[pid=15245] ppid=15242 vsize=2410620 memory=413172 CPUtime=2442.19 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 711919 0 0 0 243557 662 0 0 20 0 1 0 248271126 2468474880 103293 33554432000 4194304 5849940 140733956915712 140733956914872 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 602655 103293 710 405 0 599599 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 2410620 KiB
Current children cumulated memory: 413172 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15526
/proc/meminfo: memFree=23756432/32770624 swapFree=67059128/67108860
[pid=15245] ppid=15242 vsize=2424416 memory=426824 CPUtime=2502.19 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 725274 0 0 0 249548 671 0 0 20 0 1 0 248271126 2482601984 106706 33554432000 4194304 5849940 140733956915712 140733956914712 5438400 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 606104 106706 710 405 0 603048 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 2424416 KiB
Current children cumulated memory: 426824 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 15527
/proc/meminfo: memFree=23682256/32770624 swapFree=67059128/67108860
[pid=15245] ppid=15242 vsize=2489952 memory=492440 CPUtime=2519.89 cores=0,2,4,6
/proc/15245/stat : 15245 (xcsp_picat) R 15242 15245 13719 0 -1 4202496 725818 0 0 0 251317 672 0 0 20 0 1 0 248271126 2549710848 123110 33554432000 4194304 5849940 140733956915712 140733956914712 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23764992 140733956920502 140733956920580 140733956920580 140733956923338 0
/proc/15245/statm: 622488 123110 710 405 0 619432 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 2489952 KiB
Current children cumulated memory: 492440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 15245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.18 s, system=6.74482 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.92
CPU user time (s): 2513.18
CPU system time (s): 6.74482
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 2489952
Max. memory (cumulated for all children) (KiB): 492440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.18
system time used= 6.74482
maximum resident set size= 492504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725819
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= 43
involuntary context switches= 3176
# summary of solver processes directly reported to runsolver:
# pid: 15245
# total CPU time (s): 2519.92
# total CPU user time (s): 2513.18
# total CPU system time (s): 6.74482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3614 second user time and 18.0492 second system time
The end