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 (13757 MiB free)
memory of node 1: 16384 MiB (960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407859-1569513958/watcher-4407859-1569513958 -o /tmp/evaluation-result-4407859-1569513958/solver-4407859-1569513958 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569505417-1357 --watchdog 2560 xcsp_picat HOME/instance-4407859-1569513958.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2412, runsolver pid=2408
Current StackSize limit: 8192 KiB
[startup+0.100204 s]*
/proc/loadavg: 2.13 2.04 1.98 3/198 2413
/proc/meminfo: memFree=15053480/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2031716 memory=21196 CPUtime=0.1 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 1903 0 0 0 10 0 0 0 20 0 1 0 527652327 2080477184 5299 33554432000 4194304 5870510 140732083435584 140732083432728 4459699 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 507929 5299 839 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 21196 KiB
[startup+0.209844 s]*
/proc/loadavg: 2.13 2.04 1.98 3/198 2413
/proc/meminfo: memFree=15045288/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2031716 memory=29388 CPUtime=0.2 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 1907 0 0 0 20 0 0 0 20 0 1 0 527652327 2080477184 7347 33554432000 4194304 5870510 140732083435584 140732083432728 140553610722304 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 507929 7347 839 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 29388 KiB
[startup+0.309721 s]*
/proc/loadavg: 2.13 2.04 1.98 3/198 2413
/proc/meminfo: memFree=15039144/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2031716 memory=39628 CPUtime=0.31 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 1935 0 0 0 30 1 0 0 20 0 1 0 527652327 2080477184 9907 33554432000 4194304 5870510 140732083435584 140732083432728 4479220 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 507929 9907 839 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 39628 KiB
[startup+0.700435 s]
/proc/loadavg: 2.13 2.04 1.98 3/198 2413
/proc/meminfo: memFree=14989896/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2031716 memory=134040 CPUtime=0.69 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 1982 0 0 0 67 2 0 0 20 0 1 0 527652327 2080477184 33510 33554432000 4194304 5870510 140732083435584 140732083434952 4506770 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 507929 33510 862 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 134040 KiB
[startup+1.50042 s]
/proc/loadavg: 2.13 2.04 1.98 3/198 2413
/proc/meminfo: memFree=14868768/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2047760 memory=263260 CPUtime=1.49 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 5584 0 0 0 145 4 0 0 20 0 1 0 527652327 2096906240 65815 33554432000 4194304 5870510 140732083435584 140732083434312 140553610290072 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 511940 65815 873 410 0 507413 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2047760 KiB
Current children cumulated memory: 263260 KiB
[startup+3.10967 s]
/proc/loadavg: 2.12 2.04 1.98 3/198 2413
/proc/meminfo: memFree=14766312/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2094336 memory=301996 CPUtime=3.1 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 20462 0 0 0 304 6 0 0 20 0 1 0 527652327 2144600064 75499 33554432000 4194304 5870510 140732083435584 140732083434312 5337297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 523584 75499 879 410 0 519057 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2094336 KiB
Current children cumulated memory: 301996 KiB
[startup+6.3004 s]
/proc/loadavg: 2.12 2.04 1.98 3/198 2413
/proc/meminfo: memFree=14753288/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2096520 memory=304144 CPUtime=6.29 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 26468 0 0 0 623 6 0 0 20 0 1 0 527652327 2146836480 76036 33554432000 4194304 5870510 140732083435584 140732083433912 5337393 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 524130 76036 879 410 0 519603 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2096520 KiB
Current children cumulated memory: 304144 KiB
[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 1.98 3/198 2413
/proc/meminfo: memFree=14713508/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2122844 memory=334324 CPUtime=12.69 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 40313 0 0 0 1260 9 0 0 20 0 1 0 527652327 2173792256 83581 33554432000 4194304 5870510 140732083435584 140732083434152 5272987 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 530711 83581 906 410 0 526184 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2122844 KiB
Current children cumulated memory: 334324 KiB
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 1.98 3/198 2416
/proc/meminfo: memFree=14665892/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2153192 memory=364768 CPUtime=25.48 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 46346 0 0 0 2538 10 0 0 20 0 1 0 527652327 2204868608 91192 33554432000 4194304 5870510 140732083435584 140732083434152 5283119 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 538298 91192 906 410 0 533771 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2153192 KiB
Current children cumulated memory: 364768 KiB
[startup+51.1099 s]
/proc/loadavg: 2.05 2.04 1.98 3/198 2416
/proc/meminfo: memFree=14748260/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2164400 memory=381268 CPUtime=51.08 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 50795 0 0 0 5097 11 0 0 20 0 1 0 527652327 2216345600 95317 33554432000 4194304 5870510 140732083435584 140732083434696 5272665 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 541100 95317 906 410 0 536573 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2164400 KiB
Current children cumulated memory: 381268 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/198 2420
/proc/meminfo: memFree=14798328/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2137120 memory=355780 CPUtime=102.26 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 58320 0 0 0 10211 15 0 0 20 0 1 0 527652327 2188410880 88945 33554432000 4194304 5870510 140732083435584 140732083434600 5272369 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 534280 88945 906 410 0 529753 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2137120 KiB
Current children cumulated memory: 355780 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/198 2427
/proc/meminfo: memFree=14564096/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2191644 memory=398184 CPUtime=162.26 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 66620 0 0 0 16203 23 0 0 20 0 1 0 527652327 2244243456 99546 33554432000 4194304 5870510 140732083435584 140732083434024 5262735 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 547911 99546 906 410 0 543384 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2191644 KiB
Current children cumulated memory: 398184 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/198 2431
/proc/meminfo: memFree=14616468/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2216272 memory=421032 CPUtime=222.24 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 76510 0 0 0 22194 30 0 0 20 0 1 0 527652327 2269462528 105258 33554432000 4194304 5870510 140732083435584 140732083434600 5272427 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 554068 105258 906 410 0 549541 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2216272 KiB
Current children cumulated memory: 421032 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/198 2442
/proc/meminfo: memFree=14421552/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2216272 memory=421036 CPUtime=282.23 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 83584 0 0 0 28185 38 0 0 20 0 1 0 527652327 2269462528 105259 33554432000 4194304 5870510 140732083435584 140732083434600 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 554068 105259 906 410 0 549541 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2216272 KiB
Current children cumulated memory: 421036 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 2471
/proc/meminfo: memFree=14505536/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2216272 memory=431276 CPUtime=342.23 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 90552 0 0 0 34178 45 0 0 20 0 1 0 527652327 2269462528 107819 33554432000 4194304 5870510 140732083435584 140732083434600 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 554068 107819 906 410 0 549541 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2216272 KiB
Current children cumulated memory: 431276 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/199 2475
/proc/meminfo: memFree=14479980/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2216272 memory=424964 CPUtime=402.22 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 96898 0 0 0 40170 52 0 0 20 0 1 0 527652327 2269462528 106241 33554432000 4194304 5870510 140732083435584 140732083434600 5274721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 554068 106241 906 410 0 549541 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2216272 KiB
Current children cumulated memory: 424964 KiB
[startup+462.3 s]
/proc/loadavg: 1.93 2.00 1.98 3/199 2479
/proc/meminfo: memFree=14424672/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2216272 memory=429060 CPUtime=462.2 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 105197 0 0 0 46162 58 0 0 20 0 1 0 527652327 2269462528 107265 33554432000 4194304 5870510 140732083435584 140732083434600 5283135 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 554068 107265 906 410 0 549541 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2216272 KiB
Current children cumulated memory: 429060 KiB
[startup+522.3 s]
/proc/loadavg: 1.49 1.87 1.93 2/192 2531
/proc/meminfo: memFree=26255644/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2216272 memory=431108 CPUtime=522.2 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 111307 0 0 0 52156 64 0 0 20 0 1 0 527652327 2269462528 107777 33554432000 4194304 5870510 140732083435584 140732083434600 5282586 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 554068 107777 906 410 0 549541 0
Current children cumulated CPU time: 522.2 s
Current children cumulated vsize: 2216272 KiB
Current children cumulated memory: 431108 KiB
[startup+582.3 s]
/proc/loadavg: 1.12 1.70 1.87 2/192 2535
/proc/meminfo: memFree=26250228/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2247092 memory=439320 CPUtime=582.19 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 121899 0 0 0 58146 73 0 0 20 0 1 0 527652327 2301022208 109830 33554432000 4194304 5870510 140732083435584 140732083434536 5308368 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 561773 109830 906 410 0 557246 0
Current children cumulated CPU time: 582.19 s
Current children cumulated vsize: 2247092 KiB
Current children cumulated memory: 439320 KiB
[startup+642.3 s]
/proc/loadavg: 1.04 1.57 1.82 2/191 2539
/proc/meminfo: memFree=26257920/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2216272 memory=429060 CPUtime=642.19 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 132652 0 0 0 64134 85 0 0 20 0 1 0 527652327 2269462528 107265 33554432000 4194304 5870510 140732083435584 140732083434536 5282515 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 554068 107265 906 410 0 549541 0
Current children cumulated CPU time: 642.19 s
Current children cumulated vsize: 2216272 KiB
Current children cumulated memory: 429060 KiB
[startup+702.3 s]
/proc/loadavg: 1.02 1.47 1.76 2/191 2545
/proc/meminfo: memFree=26246616/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2303724 memory=456392 CPUtime=702.18 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 157526 0 0 0 70122 96 0 0 20 0 1 0 527652327 2359013376 114098 33554432000 4194304 5870510 140732083435584 140732083434536 5305252 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 575931 114098 906 410 0 571404 0
Current children cumulated CPU time: 702.18 s
Current children cumulated vsize: 2303724 KiB
Current children cumulated memory: 456392 KiB
[startup+762.3 s]
/proc/loadavg: 1.01 1.38 1.72 2/191 2549
/proc/meminfo: memFree=26247400/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2254404 memory=440856 CPUtime=762.17 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 167662 0 0 0 76111 106 0 0 20 0 1 0 527652327 2308509696 110214 33554432000 4194304 5870510 140732083435584 140732083434536 5272928 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 563601 110214 906 410 0 559074 0
Current children cumulated CPU time: 762.17 s
Current children cumulated vsize: 2254404 KiB
Current children cumulated memory: 440856 KiB
[startup+822.3 s]
/proc/loadavg: 1.00 1.31 1.67 2/191 2553
/proc/meminfo: memFree=26250980/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2223584 memory=436748 CPUtime=822.16 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 179185 0 0 0 82100 116 0 0 20 0 1 0 527652327 2276950016 109187 33554432000 4194304 5870510 140732083435584 140732083434600 5272880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 555896 109187 906 410 0 551369 0
Current children cumulated CPU time: 822.16 s
Current children cumulated vsize: 2223584 KiB
Current children cumulated memory: 436748 KiB
[startup+882.304 s]
/proc/loadavg: 1.00 1.26 1.63 2/191 2566
/proc/meminfo: memFree=26234820/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=453516 CPUtime=882.16 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 201423 0 0 0 88092 124 0 0 20 0 1 0 527652327 2318176256 113379 33554432000 4194304 5870510 140732083435584 140732083434536 5282617 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 113379 906 410 0 561434 0
Current children cumulated CPU time: 882.16 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 453516 KiB
[startup+942.3 s]
/proc/loadavg: 1.34 1.29 1.62 2/191 2570
/proc/meminfo: memFree=26230252/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=457572 CPUtime=942.15 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 221331 0 0 0 94083 132 0 0 20 0 1 0 527652327 2318176256 114393 33554432000 4194304 5870510 140732083435584 140732083434536 5282555 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 114393 906 410 0 561434 0
Current children cumulated CPU time: 942.15 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 457572 KiB
[startup+1002.3 s]
/proc/loadavg: 1.32 1.31 1.61 2/191 2574
/proc/meminfo: memFree=26230736/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=457612 CPUtime=1002.14 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 242791 0 0 0 100074 140 0 0 20 0 1 0 527652327 2318176256 114403 33554432000 4194304 5870510 140732083435584 140732083434536 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 114403 906 410 0 561434 0
Current children cumulated CPU time: 1002.14 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 457612 KiB
[startup+1022.46 s]
# the end of solver process 2412 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1020.86 s, system=1.4468 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1011.2 s]
/proc/loadavg: 1.27 1.30 1.60 2/192 2576
/proc/meminfo: memFree=26234700/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=453516 CPUtime=1011.03 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 243979 0 0 0 100962 141 0 0 20 0 1 0 527652327 2318176256 113379 33554432000 4194304 5870510 140732083435584 140732083434536 5282236 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 113379 906 410 0 561434 0
Current children cumulated CPU time: 1011.03 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 453516 KiB
[startup+1017.6 s]
/proc/loadavg: 1.25 1.30 1.60 2/191 2576
/proc/meminfo: memFree=26228572/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2233024 memory=447104 CPUtime=1017.43 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 244472 0 0 0 101600 143 0 0 20 0 1 0 527652327 2286616576 111776 33554432000 4194304 5870510 140732083435584 140732083434600 5282621 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 558256 111776 906 410 0 553729 0
Current children cumulated CPU time: 1017.43 s
Current children cumulated vsize: 2233024 KiB
Current children cumulated memory: 447104 KiB
[startup+1020.8 s]
/proc/loadavg: 1.23 1.29 1.59 2/191 2576
/proc/meminfo: memFree=26239820/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=448876 CPUtime=1020.63 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 244955 0 0 0 101920 143 0 0 20 0 1 0 527652327 2318176256 112219 33554432000 4194304 5870510 140732083435584 140732083434536 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 112219 906 410 0 561434 0
Current children cumulated CPU time: 1020.63 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 448876 KiB
[startup+1021.6 s]
/proc/loadavg: 1.23 1.29 1.59 2/191 2576
/proc/meminfo: memFree=26239200/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=451440 CPUtime=1021.44 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 245100 0 0 0 102000 144 0 0 20 0 1 0 527652327 2318176256 112860 33554432000 4194304 5870510 140732083435584 140732083434536 5283126 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 112860 906 410 0 561434 0
Current children cumulated CPU time: 1021.44 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 451440 KiB
[startup+1022 s]*
/proc/loadavg: 1.23 1.29 1.59 2/191 2576
/proc/meminfo: memFree=26236904/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=451440 CPUtime=1021.85 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 245116 0 0 0 102041 144 0 0 20 0 1 0 527652327 2318176256 112860 33554432000 4194304 5870510 140732083435584 140732083434536 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 112860 906 410 0 561434 0
Current children cumulated CPU time: 1021.85 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 451440 KiB
[startup+1022.4 s]
/proc/loadavg: 1.23 1.29 1.59 2/191 2576
/proc/meminfo: memFree=26236904/32770624 swapFree=66986436/67108860
[pid=2412] ppid=2408 vsize=2263844 memory=451440 CPUtime=1022.24 cores=0,2,4,6
/proc/2412/stat : 2412 (xcsp_picat) R 2408 2412 1326 0 -1 4202496 245118 0 0 0 102080 144 0 0 20 0 1 0 527652327 2318176256 112860 33554432000 4194304 5870510 140732083435584 140732083434536 5294972 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 21475328 140732083438623 140732083438701 140732083438701 140732083441610 0
/proc/2412/statm: 565961 112860 906 410 0 561434 0
Current children cumulated CPU time: 1022.24 s
Current children cumulated vsize: 2263844 KiB
Current children cumulated memory: 451440 KiB
Child status: 0
Real time (s): 1022.46
CPU time (s): 1022.31
CPU user time (s): 1020.86
CPU system time (s): 1.4468
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 2313164
Max. memory (cumulated for all children) (KiB): 504056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1020.86
system time used= 1.4468
maximum resident set size= 508124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245250
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= 15
involuntary context switches= 1831
# summary of solver processes directly reported to runsolver:
# pid: 2412
# total CPU time (s): 1022.31
# total CPU user time (s): 1020.86
# total CPU system time (s): 1.4468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.60476 second user time and 8.07008 second system time
The end