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 (9133 MiB free)
memory of node 1: 16384 MiB (11128 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296013-1532598934/watcher-4296013-1532598934 -o /tmp/evaluation-result-4296013-1532598934/solver-4296013-1532598934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532598933-5171 --watchdog 2580 xcsp_picat HOME/instance-4296013-1532598934.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
solver pid=5265, runsolver pid=5262
Current StackSize limit: 8192 KiB
[startup+0.100212 s]*
/proc/loadavg: 1.00 1.36 1.59 3/192 5266
/proc/meminfo: memFree=20687844/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=128512 memory=27848 CPUtime=0.1 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 2243 0 0 0 10 0 0 0 20 0 1 0 77456646 131596288 6962 33554432000 4194304 5849740 140727830324704 140727830324704 4486576 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 32128 6962 597 405 0 29072 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 27848 KiB
[startup+0.210086 s]*
/proc/loadavg: 1.00 1.36 1.59 3/192 5266
/proc/meminfo: memFree=20666004/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=128512 memory=40136 CPUtime=0.2 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 2249 0 0 0 20 0 0 0 20 0 1 0 77456646 131596288 10034 33554432000 4194304 5849740 140727830324704 140727830324704 4488932 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 32128 10034 597 405 0 29072 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 40136 KiB
[startup+0.309914 s]*
/proc/loadavg: 1.00 1.36 1.59 3/192 5266
/proc/meminfo: memFree=20651752/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=128512 memory=54668 CPUtime=0.31 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 2344 0 0 0 30 1 0 0 20 0 1 0 77456646 131596288 13667 33554432000 4194304 5849740 140727830324704 140727830324008 4454259 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 32128 13667 627 405 0 29072 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 54668 KiB
[startup+0.700438 s]
/proc/loadavg: 1.00 1.36 1.59 3/192 5266
/proc/meminfo: memFree=20572132/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=146312 memory=91000 CPUtime=0.7 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 6448 0 0 0 67 3 0 0 20 0 1 0 77456646 149823488 22750 33554432000 4194304 5849740 140727830324704 140727830324008 5251230 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 36578 22750 662 405 0 33522 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 146312 KiB
Current children cumulated memory: 91000 KiB
[startup+1.50044 s]
/proc/loadavg: 1.00 1.36 1.59 3/192 5266
/proc/meminfo: memFree=20543652/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=201460 memory=146164 CPUtime=1.49 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 11085 0 0 0 143 6 0 0 20 0 1 0 77456646 206295040 36541 33554432000 4194304 5849740 140727830324704 140727830323288 4475526 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 50365 36541 710 405 0 47309 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 201460 KiB
Current children cumulated memory: 146164 KiB
[startup+3.1098 s]
/proc/loadavg: 1.00 1.36 1.59 3/192 5266
/proc/meminfo: memFree=20387688/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=305908 memory=250912 CPUtime=3.1 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 13113 0 0 0 302 8 0 0 20 0 1 0 77456646 313249792 62728 33554432000 4194304 5849740 140727830324704 140727830323944 5606222 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 76477 62728 727 405 0 73421 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 305908 KiB
Current children cumulated memory: 250912 KiB
[startup+6.30042 s]
/proc/loadavg: 1.08 1.37 1.60 3/192 5266
/proc/meminfo: memFree=20374556/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=305908 memory=250932 CPUtime=6.29 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 31562 0 0 0 620 9 0 0 20 0 1 0 77456646 313249792 62733 33554432000 4194304 5849740 140727830324704 140727830323640 5375536 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 76477 62733 732 405 0 73421 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 305908 KiB
Current children cumulated memory: 250932 KiB
[startup+12.7003 s]
/proc/loadavg: 1.16 1.38 1.60 3/192 5266
/proc/meminfo: memFree=20357624/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=321104 memory=266284 CPUtime=12.69 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 61501 0 0 0 1256 13 0 0 20 0 1 0 77456646 328810496 66571 33554432000 4194304 5849740 140727830324704 140727830323192 5309634 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 80276 66571 752 405 0 77220 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 321104 KiB
Current children cumulated memory: 266284 KiB
[startup+25.5004 s]
/proc/loadavg: 1.34 1.41 1.60 3/192 5266
/proc/meminfo: memFree=20357976/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=321104 memory=266300 CPUtime=25.49 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 87681 0 0 0 2534 15 0 0 20 0 1 0 77456646 328810496 66575 33554432000 4194304 5849740 140727830324704 140727830323192 5302780 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 80276 66575 756 405 0 77220 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 321104 KiB
Current children cumulated memory: 266300 KiB
[startup+51.1098 s]
/proc/loadavg: 1.57 1.45 1.61 3/191 5266
/proc/meminfo: memFree=20353216/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=323180 memory=268316 CPUtime=51.09 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 134307 0 0 0 5079 30 0 0 20 0 1 0 77456646 330936320 67079 33554432000 4194304 5849740 140727830324704 140727830322952 4213451 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 80795 67079 760 405 0 77739 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 323180 KiB
Current children cumulated memory: 268316 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.54 1.63 3/192 5268
/proc/meminfo: memFree=20339656/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=326904 memory=272040 CPUtime=102.29 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 190336 0 0 0 10178 51 0 0 20 0 1 0 77456646 334749696 68010 33554432000 4194304 5849740 140727830324704 140727830323864 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 81726 68010 760 405 0 78670 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 326904 KiB
Current children cumulated memory: 272040 KiB
[startup+162.3 s]
/proc/loadavg: 2.52 1.78 1.71 3/192 5270
/proc/meminfo: memFree=20319828/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=346332 memory=291468 CPUtime=162.28 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 243523 0 0 0 16148 80 0 0 20 0 1 0 77456646 354643968 72867 33554432000 4194304 5849740 140727830324704 140727830323864 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 86583 72867 760 405 0 83527 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 346332 KiB
Current children cumulated memory: 291468 KiB
[startup+222.3 s]
/proc/loadavg: 2.19 1.82 1.73 3/191 5271
/proc/meminfo: memFree=20304540/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=346956 memory=292092 CPUtime=222.28 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 298293 0 0 0 22121 107 0 0 20 0 1 0 77456646 355282944 73023 33554432000 4194304 5849740 140727830324704 140727830323352 5398304 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 86739 73023 760 405 0 83683 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 346956 KiB
Current children cumulated memory: 292092 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 1.85 1.74 3/192 5280
/proc/meminfo: memFree=20310068/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=346332 memory=291468 CPUtime=282.26 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 323966 0 0 0 28093 133 0 0 20 0 1 0 77456646 354643968 72867 33554432000 4194304 5849740 140727830324704 140727830323192 4212046 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 86583 72867 760 405 0 83527 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 346332 KiB
Current children cumulated memory: 291468 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 1.88 1.76 3/191 5303
/proc/meminfo: memFree=20275736/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=373256 memory=318328 CPUtime=342.26 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 331607 0 0 0 34063 163 0 0 20 0 1 0 77456646 382214144 79582 33554432000 4194304 5849740 140727830324704 140727830323192 4213666 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 93314 79582 760 405 0 90258 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 373256 KiB
Current children cumulated memory: 318328 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 1.90 1.78 3/192 5305
/proc/meminfo: memFree=20230988/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=392400 memory=342544 CPUtime=402.26 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 344408 0 0 0 40031 195 0 0 20 0 1 0 77456646 401817600 85636 33554432000 4194304 5849740 140727830324704 140727830323704 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 98100 85636 760 405 0 95044 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 392400 KiB
Current children cumulated memory: 342544 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 1.93 1.79 3/192 5306
/proc/meminfo: memFree=20231648/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=392400 memory=342544 CPUtime=462.25 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 347965 0 0 0 46007 218 0 0 20 0 1 0 77456646 401817600 85636 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 98100 85636 760 405 0 95044 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 392400 KiB
Current children cumulated memory: 342544 KiB
################
# More data... #
################
/proc/5265/statm: 152223 139759 760 405 0 149167 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 608892 KiB
Current children cumulated memory: 559036 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5346
/proc/meminfo: memFree=19852356/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=623564 memory=573644 CPUtime=1782.15 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 542289 0 0 0 177373 842 0 0 20 0 1 0 77456646 638529536 143411 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 155891 143411 760 405 0 152835 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 623564 KiB
Current children cumulated memory: 573644 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5347
/proc/meminfo: memFree=19812440/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=623564 memory=573708 CPUtime=1842.14 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 543875 0 0 0 183341 873 0 0 20 0 1 0 77456646 638529536 143427 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 155891 143427 760 405 0 152835 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 623564 KiB
Current children cumulated memory: 573708 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5348
/proc/meminfo: memFree=19802000/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=623564 memory=573708 CPUtime=1902.13 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 545676 0 0 0 189315 898 0 0 20 0 1 0 77456646 638529536 143427 33554432000 4194304 5849740 140727830324704 140727830323576 5311297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 155891 143427 760 405 0 152835 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 623564 KiB
Current children cumulated memory: 573708 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 5351
/proc/meminfo: memFree=19750660/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=685484 memory=635392 CPUtime=1962.13 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 552905 0 0 0 195287 926 0 0 20 0 1 0 77456646 701935616 158848 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 171371 158848 760 405 0 168315 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 685484 KiB
Current children cumulated memory: 635392 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 5352
/proc/meminfo: memFree=19795736/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=599472 memory=549744 CPUtime=2022.14 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 560434 0 0 0 201265 949 0 0 20 0 1 0 77456646 613859328 137436 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 149868 137436 760 405 0 146812 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 599472 KiB
Current children cumulated memory: 549744 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 5361
/proc/meminfo: memFree=19736680/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=630744 memory=580836 CPUtime=2082.13 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 566863 0 0 0 207245 968 0 0 20 0 1 0 77456646 645881856 145209 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 157686 145209 760 405 0 154630 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 630744 KiB
Current children cumulated memory: 580836 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 5362
/proc/meminfo: memFree=19827424/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=627172 memory=577132 CPUtime=2142.12 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 578371 0 0 0 213220 992 0 0 20 0 1 0 77456646 642224128 144283 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 156793 144283 760 405 0 153737 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 627172 KiB
Current children cumulated memory: 577132 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 5363
/proc/meminfo: memFree=19768036/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=633912 memory=583928 CPUtime=2202.12 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 582132 0 0 0 219190 1022 0 0 20 0 1 0 77456646 649125888 145982 33554432000 4194304 5849740 140727830324704 140727830323864 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 158478 145982 760 405 0 155422 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 633912 KiB
Current children cumulated memory: 583928 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 5364
/proc/meminfo: memFree=19839668/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=564032 memory=514132 CPUtime=2262.12 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 587026 0 0 0 225163 1049 0 0 20 0 1 0 77456646 577568768 128533 33554432000 4194304 5849740 140727830324704 140727830323576 5312778 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 141008 128533 760 405 0 137952 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 564032 KiB
Current children cumulated memory: 514132 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 5365
/proc/meminfo: memFree=19820536/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=566104 memory=516236 CPUtime=2322.12 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 591697 0 0 0 231141 1071 0 0 20 0 1 0 77456646 579690496 129059 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 141526 129059 760 405 0 138470 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 566104 KiB
Current children cumulated memory: 516236 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5366
/proc/meminfo: memFree=19758128/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=747796 memory=697820 CPUtime=2382.11 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 605372 0 0 0 237109 1102 0 0 20 0 1 0 77456646 765743104 174455 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 186949 174455 760 405 0 183893 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 747796 KiB
Current children cumulated memory: 697820 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/190 5389
/proc/meminfo: memFree=19679532/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=712336 memory=662452 CPUtime=2442.11 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 617014 0 0 0 243080 1131 0 0 20 0 1 0 77456646 729432064 165613 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 178084 165613 760 405 0 175028 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 712336 KiB
Current children cumulated memory: 662452 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/191 5391
/proc/meminfo: memFree=19549420/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=616892 memory=567036 CPUtime=2502.11 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 631586 0 0 0 249057 1154 0 0 20 0 1 0 77456646 631697408 141759 33554432000 4194304 5849740 140727830324704 140727830323192 5309584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 154223 141759 760 405 0 151167 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 616892 KiB
Current children cumulated memory: 567036 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.93 2.00 1.95 3/191 5452
/proc/meminfo: memFree=20262096/32770624 swapFree=67108860/67108860
[pid=5265] ppid=5262 vsize=594168 memory=544224 CPUtime=2519.81 cores=0,2,4,6
/proc/5265/stat : 5265 (xcsp_picat) R 5262 5265 4275 0 -1 4202496 641926 0 0 0 250819 1162 0 0 20 0 1 0 77456646 608428032 136056 33554432000 4194304 5849740 140727830324704 140727830323704 139882538942343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 15163392 140727830328502 140727830328580 140727830328580 140727830331338 0
/proc/5265/statm: 148542 136056 760 405 0 145486 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 594168 KiB
Current children cumulated memory: 544224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5265 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.2 s, system=11.6284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.83
CPU user time (s): 2508.2
CPU system time (s): 11.6284
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 1039256
Max. memory (cumulated for all children) (KiB): 989400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.2
system time used= 11.6284
maximum resident set size= 989400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 641926
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= 100
involuntary context switches= 3156
# summary of solver processes directly reported to runsolver:
# pid: 5265
# total CPU time (s): 2519.83
# total CPU user time (s): 2508.2
# total CPU system time (s): 11.6284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.725 second user time and 18.1383 second system time
The end