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 (9783 MiB free)
memory of node 1: 16384 MiB (11527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395348-1568335786/watcher-4395348-1568335786 -o /tmp/evaluation-result-4395348-1568335786/solver-4395348-1568335786 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24210 --watchdog 2580 xcsp_picat HOME/instance-4395348-1568335786.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=28294, runsolver pid=28291
Current StackSize limit: 8192 KiB
[startup+0.100359 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 28295
/proc/meminfo: memFree=21811592/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2036624 memory=14656 CPUtime=0.1 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 1776 0 0 0 10 0 0 0 20 0 1 0 409517078 2085502976 3664 33554432000 4194304 5870510 140726751490128 140726751488888 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 509156 3664 963 410 0 504629 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 14656 KiB
[startup+0.209622 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 28295
/proc/meminfo: memFree=21811220/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2036560 memory=14660 CPUtime=0.21 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 1791 0 0 0 21 0 0 0 20 0 1 0 409517078 2085437440 3665 33554432000 4194304 5870510 140726751490128 140726751488888 5562059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 509140 3665 964 410 0 504613 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036560 KiB
Current children cumulated memory: 14660 KiB
[startup+0.308903 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 28295
/proc/meminfo: memFree=21811220/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2036560 memory=14660 CPUtime=0.31 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 1793 0 0 0 31 0 0 0 20 0 1 0 409517078 2085437440 3665 33554432000 4194304 5870510 140726751490128 140726751488888 140448688463751 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 509140 3665 964 410 0 504613 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036560 KiB
Current children cumulated memory: 14660 KiB
[startup+0.700227 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28295
/proc/meminfo: memFree=21810492/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2034420 memory=16564 CPUtime=0.69 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 2359 0 0 0 69 0 0 0 20 0 1 0 409517078 2083246080 4141 33554432000 4194304 5870510 140726751490128 140726751488888 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 508605 4141 995 410 0 504078 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2034420 KiB
Current children cumulated memory: 16564 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28295
/proc/meminfo: memFree=21808444/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2042596 memory=22788 CPUtime=1.48 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 3888 0 0 0 148 0 0 0 20 0 1 0 409517078 2091618304 5697 33554432000 4194304 5870510 140726751490128 140726751488568 5282467 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 510649 5697 996 410 0 506122 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2042596 KiB
Current children cumulated memory: 22788 KiB
[startup+3.10944 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28295
/proc/meminfo: memFree=21765072/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2045460 memory=27760 CPUtime=3.09 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 6781 0 0 0 309 0 0 0 20 0 1 0 409517078 2094551040 6940 33554432000 4194304 5870510 140726751490128 140726751488568 5283083 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 511365 6940 996 410 0 506838 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2045460 KiB
Current children cumulated memory: 27760 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28295
/proc/meminfo: memFree=21778100/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2048168 memory=26848 CPUtime=6.29 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 9905 0 0 0 627 2 0 0 20 0 1 0 409517078 2097324032 6712 33554432000 4194304 5870510 140726751490128 140726751489144 5298780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 512042 6712 996 410 0 507515 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2048168 KiB
Current children cumulated memory: 26848 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28295
/proc/meminfo: memFree=21791384/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2052588 memory=34960 CPUtime=12.68 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 13331 0 0 0 1266 2 0 0 20 0 1 0 409517078 2101850112 8740 33554432000 4194304 5870510 140726751490128 140726751488696 5272987 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 513147 8740 996 410 0 508620 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2052588 KiB
Current children cumulated memory: 34960 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28296
/proc/meminfo: memFree=21788532/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2060856 memory=41132 CPUtime=25.48 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 18804 0 0 0 2546 2 0 0 20 0 1 0 409517078 2110316544 10283 33554432000 4194304 5870510 140726751490128 140726751488568 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 515214 10283 996 410 0 510687 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2060856 KiB
Current children cumulated memory: 41132 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28298
/proc/meminfo: memFree=21775328/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2073320 memory=49884 CPUtime=51.09 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 23519 0 0 0 5106 3 0 0 20 0 1 0 409517078 2123079680 12471 33554432000 4194304 5870510 140726751490128 140726751488568 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 518330 12471 996 410 0 513803 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2073320 KiB
Current children cumulated memory: 49884 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28310
/proc/meminfo: memFree=21788752/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2053588 memory=35784 CPUtime=102.28 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 32556 0 0 0 10223 5 0 0 20 0 1 0 409517078 2102874112 8946 33554432000 4194304 5870510 140726751490128 140726751488696 5272646 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 513397 8946 1003 410 0 508870 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2053588 KiB
Current children cumulated memory: 35784 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28314
/proc/meminfo: memFree=21778752/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2073408 memory=55708 CPUtime=162.26 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 38258 0 0 0 16221 5 0 0 20 0 1 0 409517078 2123169792 13927 33554432000 4194304 5870510 140726751490128 140726751488568 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 518352 13927 1003 410 0 513825 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2073408 KiB
Current children cumulated memory: 55708 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 28321
/proc/meminfo: memFree=21764288/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2062536 memory=42464 CPUtime=222.26 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 45163 0 0 0 22218 8 0 0 20 0 1 0 409517078 2112036864 10616 33554432000 4194304 5870510 140726751490128 140726751489240 5272417 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 515634 10616 1003 410 0 511107 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2062536 KiB
Current children cumulated memory: 42464 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28325
/proc/meminfo: memFree=21749840/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2074696 memory=56972 CPUtime=282.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 46838 0 0 0 28216 8 0 0 20 0 1 0 409517078 2124488704 14243 33554432000 4194304 5870510 140726751490128 140726751488696 5272433 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 518674 14243 1003 410 0 514147 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2074696 KiB
Current children cumulated memory: 56972 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28329
/proc/meminfo: memFree=21762352/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2066032 memory=43780 CPUtime=342.25 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 52555 0 0 0 34215 10 0 0 20 0 1 0 409517078 2115616768 10945 33554432000 4194304 5870510 140726751490128 140726751488568 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 516508 10945 1003 410 0 511981 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2066032 KiB
Current children cumulated memory: 43780 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28336
/proc/meminfo: memFree=21767820/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2078240 memory=56668 CPUtime=402.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 53789 0 0 0 40214 10 0 0 20 0 1 0 409517078 2128117760 14167 33554432000 4194304 5870510 140726751490128 140726751488568 5283083 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519560 14167 1003 410 0 515033 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2078240 KiB
Current children cumulated memory: 56668 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28340
/proc/meminfo: memFree=21774968/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2066996 memory=47928 CPUtime=462.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 56910 0 0 0 46213 11 0 0 20 0 1 0 409517078 2116603904 11982 33554432000 4194304 5870510 140726751490128 140726751489240 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 516749 11982 1003 410 0 512222 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2066996 KiB
Current children cumulated memory: 47928 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28344
/proc/meminfo: memFree=21789900/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2054600 memory=36876 CPUtime=522.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 59258 0 0 0 52212 12 0 0 20 0 1 0 409517078 2103910400 9219 33554432000 4194304 5870510 140726751490128 140726751488696 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 513650 9219 1003 410 0 509123 0
Current children cumulated CPU time: 522.24 s
Current children cumulated vsize: 2054600 KiB
Current children cumulated memory: 36876 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28351
/proc/meminfo: memFree=21763432/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2076864 memory=60752 CPUtime=582.25 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 64434 0 0 0 58212 13 0 0 20 0 1 0 409517078 2126708736 15188 33554432000 4194304 5870510 140726751490128 140726751488568 5272461 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519216 15188 1003 410 0 514689 0
Current children cumulated CPU time: 582.25 s
Current children cumulated vsize: 2076864 KiB
Current children cumulated memory: 60752 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28355
/proc/meminfo: memFree=21742712/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2076864 memory=63964 CPUtime=642.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 64811 0 0 0 64211 13 0 0 20 0 1 0 409517078 2126708736 15991 33554432000 4194304 5870510 140726751490128 140726751488568 5272987 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519216 15991 1003 410 0 514689 0
Current children cumulated CPU time: 642.24 s
Current children cumulated vsize: 2076864 KiB
Current children cumulated memory: 63964 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28366
/proc/meminfo: memFree=21747572/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077576 memory=58516 CPUtime=702.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 70558 0 0 0 70210 14 0 0 20 0 1 0 409517078 2127437824 14629 33554432000 4194304 5870510 140726751490128 140726751488568 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519394 14629 1003 410 0 514867 0
Current children cumulated CPU time: 702.24 s
Current children cumulated vsize: 2077576 KiB
Current children cumulated memory: 58516 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 28394
/proc/meminfo: memFree=21761052/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2054628 memory=41676 CPUtime=762.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 71325 0 0 0 76210 14 0 0 20 0 1 0 409517078 2103939072 10419 33554432000 4194304 5870510 140726751490128 140726751488696 5283057 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 513657 10419 1003 410 0 509130 0
Current children cumulated CPU time: 762.24 s
Current children cumulated vsize: 2054628 KiB
Current children cumulated memory: 41676 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28398
/proc/meminfo: memFree=21741708/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62748 CPUtime=822.24 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76321 0 0 0 82209 15 0 0 20 0 1 0 409517078 2126901248 15687 33554432000 4194304 5870510 140726751490128 140726751488568 5283036 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15687 1003 410 0 514736 0
Current children cumulated CPU time: 822.24 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62748 KiB
[startup+845.804 s]
# the end of solver process 28294 was just reported to runsolver
# cumulated CPU time of all completed processes: user=845.601 s, system=0.158993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 28398
/proc/meminfo: memFree=21741956/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62748 CPUtime=831.95 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76335 0 0 0 83180 15 0 0 20 0 1 0 409517078 2126901248 15687 33554432000 4194304 5870510 140726751490128 140726751488568 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15687 1003 410 0 514736 0
Current children cumulated CPU time: 831.95 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62748 KiB
[startup+838.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28398
/proc/meminfo: memFree=21741956/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62804 CPUtime=838.34 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76338 0 0 0 83819 15 0 0 20 0 1 0 409517078 2126901248 15701 33554432000 4194304 5870510 140726751490128 140726751488568 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15701 1003 410 0 514736 0
Current children cumulated CPU time: 838.34 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62804 KiB
[startup+841.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28399
/proc/meminfo: memFree=21742076/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62804 CPUtime=841.54 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76340 0 0 0 84139 15 0 0 20 0 1 0 409517078 2126901248 15701 33554432000 4194304 5870510 140726751490128 140726751488568 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15701 1003 410 0 514736 0
Current children cumulated CPU time: 841.54 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62804 KiB
[startup+843.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28399
/proc/meminfo: memFree=21742048/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62804 CPUtime=843.14 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76340 0 0 0 84299 15 0 0 20 0 1 0 409517078 2126901248 15701 33554432000 4194304 5870510 140726751490128 140726751488568 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15701 1003 410 0 514736 0
Current children cumulated CPU time: 843.14 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62804 KiB
[startup+844.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28399
/proc/meminfo: memFree=21742048/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62804 CPUtime=844.74 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76341 0 0 0 84459 15 0 0 20 0 1 0 409517078 2126901248 15701 33554432000 4194304 5870510 140726751490128 140726751488568 5282588 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15701 1003 410 0 514736 0
Current children cumulated CPU time: 844.74 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62804 KiB
[startup+845.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28399
/proc/meminfo: memFree=21742048/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62804 CPUtime=845.54 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76342 0 0 0 84539 15 0 0 20 0 1 0 409517078 2126901248 15701 33554432000 4194304 5870510 140726751490128 140726751488568 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15701 1003 410 0 514736 0
Current children cumulated CPU time: 845.54 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62804 KiB
[startup+845.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28399
/proc/meminfo: memFree=21742048/32770624 swapFree=66999200/67108860
[pid=28294] ppid=28291 vsize=2077052 memory=62804 CPUtime=845.74 cores=0,2,4,6
/proc/28294/stat : 28294 (xcsp_picat) R 28291 28294 24179 0 -1 4202496 76342 0 0 0 84559 15 0 0 20 0 1 0 409517078 2126901248 15701 33554432000 4194304 5870510 140726751490128 140726751488568 5282770 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40722432 140726751491103 140726751491181 140726751491181 140726751494090 0
/proc/28294/statm: 519263 15701 1003 410 0 514736 0
Current children cumulated CPU time: 845.74 s
Current children cumulated vsize: 2077052 KiB
Current children cumulated memory: 62804 KiB
Child status: 0
Real time (s): 845.804
CPU time (s): 845.76
CPU user time (s): 845.601
CPU system time (s): 0.158993
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 2080552
Max. memory (cumulated for all children) (KiB): 64688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 845.601
system time used= 0.158993
maximum resident set size= 64852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76375
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= 8
involuntary context switches= 654
# summary of solver processes directly reported to runsolver:
# pid: 28294
# total CPU time (s): 845.76
# total CPU user time (s): 845.601
# total CPU system time (s): 0.158993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.29114 second user time and 5.8455 second system time
The end