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 (11657 MiB free)
memory of node 1: 16384 MiB (14438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395659-1568333184/watcher-4395659-1568333184 -o /tmp/evaluation-result-4395659-1568333184/solver-4395659-1568333184 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22070 --watchdog 2560 xcsp_picat HOME/instance-4395659-1568333184.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=23396, runsolver pid=23393
[startup+0.100173 s]*
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26691552/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2031716 memory=36220 CPUtime=0.1 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 1591 0 0 0 10 0 0 0 20 0 1 0 409232248 2080477184 9055 33554432000 4194304 5870510 140733782939680 140733782936824 4638401 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 507929 9055 873 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36220 KiB
[startup+0.209905 s]*
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26679140/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2031716 memory=46460 CPUtime=0.2 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 1605 0 0 0 20 0 0 0 20 0 1 0 409232248 2080477184 11615 33554432000 4194304 5870510 140733782939680 140733782936824 4640066 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 507929 11615 873 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 46460 KiB
[startup+0.309732 s]*
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26661640/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2031716 memory=66184 CPUtime=0.31 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 1901 0 0 0 30 1 0 0 20 0 1 0 409232248 2080477184 16546 33554432000 4194304 5870510 140733782939680 140733782936824 4520559 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 507929 16546 888 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 66184 KiB
[startup+0.700283 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26595208/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2076932 memory=130780 CPUtime=0.69 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 11262 0 0 0 66 3 0 0 20 0 1 0 409232248 2126778368 32695 33554432000 4194304 5870510 140733782939680 140733782936824 140180333211527 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 519233 32695 953 410 0 514706 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2076932 KiB
Current children cumulated memory: 130780 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26595208/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2078076 memory=134276 CPUtime=1.49 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 11642 0 0 0 143 6 0 0 20 0 1 0 409232248 2127949824 33569 33554432000 4194304 5870510 140733782939680 140733782936824 140180333211527 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 519519 33569 972 410 0 514992 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2078076 KiB
Current children cumulated memory: 134276 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26550248/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2150816 memory=188544 CPUtime=3.1 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 28450 0 0 0 289 21 0 0 20 0 1 0 409232248 2202435584 47136 33554432000 4194304 5870510 140733782939680 140733782938856 140180332747582 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 537704 47136 972 410 0 533177 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2150816 KiB
Current children cumulated memory: 188544 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26502656/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2190160 memory=222780 CPUtime=6.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 37668 0 0 0 606 23 0 0 20 0 1 0 409232248 2242723840 55695 33554432000 4194304 5870510 140733782939680 140733782938776 5562032 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 547540 55695 972 410 0 543013 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2190160 KiB
Current children cumulated memory: 222780 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 23397
/proc/meminfo: memFree=26493572/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2195552 memory=231812 CPUtime=12.69 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 47720 0 0 0 1243 26 0 0 20 0 1 0 409232248 2248245248 57953 33554432000 4194304 5870510 140733782939680 140733782938776 140180333211527 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 548888 57953 972 410 0 544361 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2195552 KiB
Current children cumulated memory: 231812 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.04 3/199 23397
/proc/meminfo: memFree=26482724/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2197680 memory=236336 CPUtime=25.49 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 55791 0 0 0 2521 28 0 0 20 0 1 0 409232248 2250424320 59084 33554432000 4194304 5870510 140733782939680 140733782938792 5478371 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 549420 59084 972 410 0 544893 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2197680 KiB
Current children cumulated memory: 236336 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.03 2.04 3/199 23400
/proc/meminfo: memFree=26481472/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2198880 memory=237636 CPUtime=51.09 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 62738 0 0 0 5080 29 0 0 20 0 1 0 409232248 2251653120 59409 33554432000 4194304 5870510 140733782939680 140733782938024 5562052 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 549720 59409 972 410 0 545193 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2198880 KiB
Current children cumulated memory: 237636 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/199 23404
/proc/meminfo: memFree=26585324/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2089120 memory=145752 CPUtime=102.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 127450 0 0 0 10183 46 0 0 20 0 1 0 409232248 2139258880 36438 33554432000 4194304 5870510 140733782939680 140733782938936 5562072 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 522280 36438 993 410 0 517753 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2089120 KiB
Current children cumulated memory: 145752 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 23408
/proc/meminfo: memFree=26470980/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2199180 memory=243204 CPUtime=162.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 146563 0 0 0 16156 73 0 0 20 0 1 0 409232248 2251960320 60801 33554432000 4194304 5870510 140733782939680 140733782938936 5415097 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 549795 60801 993 410 0 545268 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2199180 KiB
Current children cumulated memory: 243204 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/200 23414
/proc/meminfo: memFree=26446608/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223764 memory=267404 CPUtime=222.28 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 196001 0 0 0 22122 106 0 0 20 0 1 0 409232248 2277134336 66851 33554432000 4194304 5870510 140733782939680 140733782938792 5562059 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555941 66851 1002 410 0 551414 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 267404 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 23426
/proc/meminfo: memFree=26443592/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223764 memory=269452 CPUtime=282.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 198353 0 0 0 28117 112 0 0 20 0 1 0 409232248 2277134336 67363 33554432000 4194304 5870510 140733782939680 140733782938792 5562064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555941 67363 1002 410 0 551414 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 269452 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/200 23430
/proc/meminfo: memFree=26445920/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223764 memory=267312 CPUtime=342.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 220369 0 0 0 34086 143 0 0 20 0 1 0 409232248 2277134336 66828 33554432000 4194304 5870510 140733782939680 140733782938792 5478363 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555941 66828 1002 410 0 551414 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 267312 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/201 23436
/proc/meminfo: memFree=26443660/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223764 memory=269456 CPUtime=402.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 227940 0 0 0 40080 149 0 0 20 0 1 0 409232248 2277134336 67364 33554432000 4194304 5870510 140733782939680 140733782938792 5307152 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555941 67364 1002 410 0 551414 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 269456 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 23440
/proc/meminfo: memFree=26443780/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223764 memory=269456 CPUtime=462.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 255340 0 0 0 46050 179 0 0 20 0 1 0 409232248 2277134336 67364 33554432000 4194304 5870510 140733782939680 140733782938792 5562066 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555941 67364 1003 410 0 551414 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2223764 KiB
Current children cumulated memory: 269456 KiB
################
# More data... #
################
Current children cumulated memory: 271516 KiB
[startup+1002.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/200 23490
/proc/meminfo: memFree=26368456/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2277068 memory=312364 CPUtime=1002.3 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 389603 0 0 0 99907 323 0 0 20 0 1 0 409232248 2331717632 78091 33554432000 4194304 5870510 140733782939680 140733782937864 5337395 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 569267 78091 1010 410 0 564740 0
Current children cumulated CPU time: 1002.3 s
Current children cumulated vsize: 2277068 KiB
Current children cumulated memory: 312364 KiB
[startup+1062.3 s]
/proc/loadavg: 2.17 2.12 2.08 3/200 23494
/proc/meminfo: memFree=26409108/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223880 memory=271492 CPUtime=1062.3 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 400284 0 0 0 105878 352 0 0 20 0 1 0 409232248 2277253120 67873 33554432000 4194304 5870510 140733782939680 140733782938792 5562064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555970 67873 1010 410 0 551443 0
Current children cumulated CPU time: 1062.3 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 271492 KiB
[startup+1122.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/201 23500
/proc/meminfo: memFree=26382284/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2248232 memory=297828 CPUtime=1122.3 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 418479 0 0 0 111867 363 0 0 20 0 1 0 409232248 2302189568 74457 33554432000 4194304 5870510 140733782939680 140733782938664 5258774 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 562058 74457 1010 410 0 557531 0
Current children cumulated CPU time: 1122.3 s
Current children cumulated vsize: 2248232 KiB
Current children cumulated memory: 297828 KiB
[startup+1182.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/199 23505
/proc/meminfo: memFree=26409304/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223880 memory=271580 CPUtime=1182.29 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 426317 0 0 0 117842 387 0 0 20 0 1 0 409232248 2277253120 67895 33554432000 4194304 5870510 140733782939680 140733782938872 5562056 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555970 67895 1010 410 0 551443 0
Current children cumulated CPU time: 1182.29 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 271580 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 23509
/proc/meminfo: memFree=26413588/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223880 memory=267340 CPUtime=1242.3 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 447300 0 0 0 123815 415 0 0 20 0 1 0 409232248 2277253120 66835 33554432000 4194304 5870510 140733782939680 140733782938856 5562059 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555970 66835 1010 410 0 551443 0
Current children cumulated CPU time: 1242.3 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 267340 KiB
[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/200 23515
/proc/meminfo: memFree=26408524/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223880 memory=271580 CPUtime=1302.3 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 454364 0 0 0 129808 422 0 0 20 0 1 0 409232248 2277253120 67895 33554432000 4194304 5870510 140733782939680 140733782938792 5478371 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555970 67895 1010 410 0 551443 0
Current children cumulated CPU time: 1302.3 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 271580 KiB
[startup+1341.92 s]
# the end of solver process 23396 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1337.63 s, system=4.28503 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.07 2.07 2.06 3/199 23515
/proc/meminfo: memFree=26408524/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223880 memory=271580 CPUtime=1305.6 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 454692 0 0 0 130138 422 0 0 20 0 1 0 409232248 2277253120 67895 33554432000 4194304 5870510 140733782939680 140733782938792 5476925 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555970 67895 1010 410 0 551443 0
Current children cumulated CPU time: 1305.6 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 271580 KiB
[startup+1318.4 s]
/proc/loadavg: 2.05 2.07 2.06 3/199 23515
/proc/meminfo: memFree=26408424/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2223880 memory=271580 CPUtime=1318.38 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 454976 0 0 0 131416 422 0 0 20 0 1 0 409232248 2277253120 67895 33554432000 4194304 5870510 140733782939680 140733782938872 5562048 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 555970 67895 1010 410 0 551443 0
Current children cumulated CPU time: 1318.38 s
Current children cumulated vsize: 2223880 KiB
Current children cumulated memory: 271580 KiB
[startup+1331.2 s]
/proc/loadavg: 2.05 2.07 2.06 3/199 23516
/proc/meminfo: memFree=26368160/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2275892 memory=312280 CPUtime=1331.18 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 458737 0 0 0 132694 424 0 0 20 0 1 0 409232248 2330513408 78070 33554432000 4194304 5870510 140733782939680 140733782937864 140180332756256 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 568973 78070 1010 410 0 564446 0
Current children cumulated CPU time: 1331.18 s
Current children cumulated vsize: 2275892 KiB
Current children cumulated memory: 312280 KiB
[startup+1337.6 s]
/proc/loadavg: 2.04 2.06 2.06 3/199 23516
/proc/meminfo: memFree=26367860/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2266820 memory=311816 CPUtime=1337.59 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 463245 0 0 0 133332 427 0 0 20 0 1 0 409232248 2321223680 77954 33554432000 4194304 5870510 140733782939680 140733782937832 5275312 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 566705 77954 1010 410 0 562178 0
Current children cumulated CPU time: 1337.59 s
Current children cumulated vsize: 2266820 KiB
Current children cumulated memory: 311816 KiB
[startup+1339.2 s]
/proc/loadavg: 2.04 2.06 2.06 3/199 23516
/proc/meminfo: memFree=26381340/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2247868 memory=298192 CPUtime=1339.18 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 466243 0 0 0 133491 427 0 0 20 0 1 0 409232248 2301816832 74548 33554432000 4194304 5870510 140733782939680 140733782938936 5282251 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 561967 74548 1010 410 0 557440 0
Current children cumulated CPU time: 1339.18 s
Current children cumulated vsize: 2247868 KiB
Current children cumulated memory: 298192 KiB
[startup+1340.8 s]
/proc/loadavg: 2.04 2.06 2.06 3/199 23516
/proc/meminfo: memFree=26381464/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2247868 memory=298192 CPUtime=1340.78 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 467702 0 0 0 133651 427 0 0 20 0 1 0 409232248 2301816832 74548 33554432000 4194304 5870510 140733782939680 140733782938664 5272516 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 561967 74548 1010 410 0 557440 0
Current children cumulated CPU time: 1340.78 s
Current children cumulated vsize: 2247868 KiB
Current children cumulated memory: 298192 KiB
[startup+1341.6 s]
/proc/loadavg: 2.04 2.06 2.06 3/199 23517
/proc/meminfo: memFree=26381200/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2266544 memory=314200 CPUtime=1341.59 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 468605 0 0 0 133731 428 0 0 20 0 1 0 409232248 2320941056 78550 33554432000 4194304 5870510 140733782939680 140733782938664 5283102 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 566636 78550 1010 410 0 562109 0
Current children cumulated CPU time: 1341.59 s
Current children cumulated vsize: 2266544 KiB
Current children cumulated memory: 314200 KiB
[startup+1341.8 s]
/proc/loadavg: 2.04 2.06 2.06 3/199 23517
/proc/meminfo: memFree=26381200/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2266544 memory=314200 CPUtime=1341.79 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 468632 0 0 0 133751 428 0 0 20 0 1 0 409232248 2320941056 78550 33554432000 4194304 5870510 140733782939680 140733782938216 5267727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 566636 78550 1010 410 0 562109 0
Current children cumulated CPU time: 1341.79 s
Current children cumulated vsize: 2266544 KiB
Current children cumulated memory: 314200 KiB
[startup+1341.9 s]
/proc/loadavg: 2.04 2.06 2.06 3/199 23517
/proc/meminfo: memFree=26381200/32770624 swapFree=66957008/67108860
[pid=23396] ppid=23393 vsize=2266544 memory=314200 CPUtime=1341.89 cores=1,3,5,7
/proc/23396/stat : 23396 (xcsp_picat) R 23393 23396 22038 0 -1 4202496 468639 0 0 0 133761 428 0 0 20 0 1 0 409232248 2320941056 78550 33554432000 4194304 5870510 140733782939680 140733782938216 5282738 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47263744 140733782942751 140733782942829 140733782942829 140733782945738 0
/proc/23396/statm: 566636 78550 1010 410 0 562109 0
Current children cumulated CPU time: 1341.89 s
Current children cumulated vsize: 2266544 KiB
Current children cumulated memory: 314200 KiB
Child status: 0
Real time (s): 1341.92
CPU time (s): 1341.92
CPU user time (s): 1337.63
CPU system time (s): 4.28503
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 2347636
Max. memory (cumulated for all children) (KiB): 379768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1337.63
system time used= 4.28503
maximum resident set size= 379768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468812
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= 16
involuntary context switches= 707
# summary of solver processes directly reported to runsolver:
# pid: 23396
# total CPU time (s): 1341.92
# total CPU user time (s): 1337.63
# total CPU system time (s): 4.28503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8674 second user time and 8.85124 second system time
The end