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 (13353 MiB free)
memory of node 1: 16384 MiB (11619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407700-1569512104/watcher-4407700-1569512104 -o /var/tmp/evaluation-result-4407700-1569512104/solver-4407700-1569512104 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569509600-6249 --watchdog 2560 xcsp_picat HOME/instance-4407700-1569512104.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
Current StackSize limit: 8192 KiB
solver pid=6778, runsolver pid=6775
[startup+0.100201 s]*
/proc/loadavg: 2.19 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25559428/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2036640 memory=17580 CPUtime=0.1 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 1505 0 0 0 10 0 0 0 20 0 1 0 527125171 2085519360 4395 33554432000 4194304 5870510 140732944076496 140732944073640 5478360 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 509160 4395 962 410 0 504633 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036640 KiB
Current children cumulated memory: 17580 KiB
[startup+0.209675 s]*
/proc/loadavg: 2.19 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25559156/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2036640 memory=17580 CPUtime=0.21 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 1507 0 0 0 21 0 0 0 20 0 1 0 527125171 2085519360 4395 33554432000 4194304 5870510 140732944076496 140732944073640 5562064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 509160 4395 962 410 0 504633 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036640 KiB
Current children cumulated memory: 17580 KiB
[startup+0.308912 s]*
/proc/loadavg: 2.19 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25558784/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2032936 memory=18040 CPUtime=0.31 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 1683 0 0 0 31 0 0 0 20 0 1 0 527125171 2081726464 4510 33554432000 4194304 5870510 140732944076496 140732944073640 140512853584869 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 508234 4510 987 410 0 503707 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2032936 KiB
Current children cumulated memory: 18040 KiB
[startup+0.70035 s]
/proc/loadavg: 2.19 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25558164/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2035128 memory=20080 CPUtime=0.69 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 2216 0 0 0 69 0 0 0 20 0 1 0 527125171 2083971072 5020 33554432000 4194304 5870510 140732944076496 140732944074920 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 508782 5020 989 410 0 504255 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035128 KiB
Current children cumulated memory: 20080 KiB
[startup+1.50035 s]
/proc/loadavg: 2.19 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25556220/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2042508 memory=24776 CPUtime=1.49 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 3363 0 0 0 149 0 0 0 20 0 1 0 527125171 2091528192 6194 33554432000 4194304 5870510 140732944076496 140732944074936 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 510627 6194 993 410 0 506100 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2042508 KiB
Current children cumulated memory: 24776 KiB
[startup+3.1095 s]
/proc/loadavg: 2.17 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25547588/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2046904 memory=31512 CPUtime=3.1 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 6749 0 0 0 309 1 0 0 20 0 1 0 527125171 2096029696 7878 33554432000 4194304 5870510 140732944076496 140732944074936 5282295 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 511726 7878 993 410 0 507199 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2046904 KiB
Current children cumulated memory: 31512 KiB
[startup+6.3004 s]
/proc/loadavg: 2.17 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25530848/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2048228 memory=33552 CPUtime=6.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 10803 0 0 0 628 1 0 0 20 0 1 0 527125171 2097385472 8388 33554432000 4194304 5870510 140732944076496 140732944075672 5283067 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 512057 8388 993 410 0 507530 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2048228 KiB
Current children cumulated memory: 33552 KiB
[startup+12.7003 s]
/proc/loadavg: 2.16 2.09 1.91 3/200 6779
/proc/meminfo: memFree=25513324/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2052648 memory=37972 CPUtime=12.69 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 14120 0 0 0 1268 1 0 0 20 0 1 0 527125171 2101911552 9493 33554432000 4194304 5870510 140732944076496 140732944075064 5272880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 513162 9493 993 410 0 508635 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2052648 KiB
Current children cumulated memory: 37972 KiB
[startup+25.5004 s]
/proc/loadavg: 2.12 2.09 1.92 3/200 6779
/proc/meminfo: memFree=25524468/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2048092 memory=32012 CPUtime=25.49 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 19389 0 0 0 2547 2 0 0 20 0 1 0 527125171 2097246208 8003 33554432000 4194304 5870510 140732944076496 140732944074936 140512859264036 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 512023 8003 993 410 0 507496 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2048092 KiB
Current children cumulated memory: 32012 KiB
[startup+51.1095 s]
/proc/loadavg: 2.08 2.08 1.92 3/199 6781
/proc/meminfo: memFree=25502088/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2063032 memory=43272 CPUtime=51.1 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 25067 0 0 0 5107 3 0 0 20 0 1 0 527125171 2112544768 10818 33554432000 4194304 5870510 140732944076496 140732944075064 5294795 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 515758 10818 1000 410 0 511231 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2063032 KiB
Current children cumulated memory: 43272 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.07 1.92 3/199 6785
/proc/meminfo: memFree=25497088/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2051920 memory=37024 CPUtime=102.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 32676 0 0 0 10224 5 0 0 20 0 1 0 527125171 2101166080 9256 33554432000 4194304 5870510 140732944076496 140732944075064 5272443 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 512980 9256 1000 410 0 508453 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2051920 KiB
Current children cumulated memory: 37024 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.06 1.93 3/199 6789
/proc/meminfo: memFree=25477392/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2071600 memory=56624 CPUtime=162.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 38891 0 0 0 16223 6 0 0 20 0 1 0 527125171 2121318400 14156 33554432000 4194304 5870510 140732944076496 140732944075064 5272544 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 517900 14156 1000 410 0 513373 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2071600 KiB
Current children cumulated memory: 56624 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 1.94 3/200 6795
/proc/meminfo: memFree=25440936/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073580 memory=55888 CPUtime=222.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 42708 0 0 0 22221 8 0 0 20 0 1 0 527125171 2123345920 13972 33554432000 4194304 5870510 140732944076496 140732944074936 5272920 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518395 13972 1000 410 0 513868 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2073580 KiB
Current children cumulated memory: 55888 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 1.94 3/199 6799
/proc/meminfo: memFree=25443224/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2069416 memory=53712 CPUtime=282.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 49602 0 0 0 28220 9 0 0 20 0 1 0 527125171 2119081984 13428 33554432000 4194304 5870510 140732944076496 140732944074936 5283067 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 517354 13428 1000 410 0 512827 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2069416 KiB
Current children cumulated memory: 53712 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.05 1.95 3/200 6811
/proc/meminfo: memFree=25451144/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2054732 memory=39884 CPUtime=342.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 51304 0 0 0 34219 10 0 0 20 0 1 0 527125171 2104045568 9971 33554432000 4194304 5870510 140732944076496 140732944075672 5282548 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 513683 9971 1000 410 0 509156 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2054732 KiB
Current children cumulated memory: 39884 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 1.95 3/201 6817
/proc/meminfo: memFree=25431532/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2079864 memory=60020 CPUtime=402.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 56417 0 0 0 40218 11 0 0 20 0 1 0 527125171 2129780736 15005 33554432000 4194304 5870510 140732944076496 140732944074936 5272476 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 519966 15005 1000 410 0 515439 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2079864 KiB
Current children cumulated memory: 60020 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/200 6821
/proc/meminfo: memFree=25434308/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2075632 memory=57988 CPUtime=462.3 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 59614 0 0 0 46217 13 0 0 20 0 1 0 527125171 2125447168 14497 33554432000 4194304 5870510 140732944076496 140732944074936 5283135 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518908 14497 1000 410 0 514381 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2075632 KiB
Current children cumulated memory: 57988 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/200 6825
/proc/meminfo: memFree=25442484/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2064668 memory=49944 CPUtime=522.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 65396 0 0 0 52216 13 0 0 20 0 1 0 527125171 2114220032 12486 33554432000 4194304 5870510 140732944076496 140732944075064 5272658 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 516167 12486 1000 410 0 511640 0
Current children cumulated CPU time: 522.29 s
Current children cumulated vsize: 2064668 KiB
Current children cumulated memory: 49944 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/201 6831
/proc/meminfo: memFree=25452024/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2055076 memory=40444 CPUtime=582.29 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 68375 0 0 0 58214 15 0 0 20 0 1 0 527125171 2104397824 10111 33554432000 4194304 5870510 140732944076496 140732944075064 5283048 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 513769 10111 1000 410 0 509242 0
Current children cumulated CPU time: 582.29 s
Current children cumulated vsize: 2055076 KiB
Current children cumulated memory: 40444 KiB
[startup+635.741 s]
# the end of solver process 6778 was just reported to runsolver
# cumulated CPU time of all completed processes: user=635.583 s, system=0.163001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6831
/proc/meminfo: memFree=25450552/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2057244 memory=41484 CPUtime=588.79 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 71192 0 0 0 58864 15 0 0 20 0 1 0 527125171 2106617856 10371 33554432000 4194304 5870510 140732944076496 140732944075064 5272544 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 514311 10371 1000 410 0 509784 0
Current children cumulated CPU time: 588.79 s
Current children cumulated vsize: 2057244 KiB
Current children cumulated memory: 41484 KiB
[startup+614.4 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6833
/proc/meminfo: memFree=25438288/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2069064 memory=54412 CPUtime=614.4 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 72474 0 0 0 61424 16 0 0 20 0 1 0 527125171 2118721536 13603 33554432000 4194304 5870510 140732944076496 140732944075064 5282767 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 517266 13603 1000 410 0 512739 0
Current children cumulated CPU time: 614.4 s
Current children cumulated vsize: 2069064 KiB
Current children cumulated memory: 54412 KiB
[startup+627.2 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6835
/proc/meminfo: memFree=25433480/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073732 memory=58800 CPUtime=627.2 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 73153 0 0 0 62704 16 0 0 20 0 1 0 527125171 2123501568 14700 33554432000 4194304 5870510 140732944076496 140732944074936 5274723 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518433 14700 1000 410 0 513906 0
Current children cumulated CPU time: 627.2 s
Current children cumulated vsize: 2073732 KiB
Current children cumulated memory: 58800 KiB
[startup+630.4 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6835
/proc/meminfo: memFree=25433624/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073732 memory=59048 CPUtime=630.4 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 73196 0 0 0 63024 16 0 0 20 0 1 0 527125171 2123501568 14762 33554432000 4194304 5870510 140732944076496 140732944074936 5289471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518433 14762 1000 410 0 513906 0
Current children cumulated CPU time: 630.4 s
Current children cumulated vsize: 2073732 KiB
Current children cumulated memory: 59048 KiB
[startup+633.6 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6835
/proc/meminfo: memFree=25433608/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073732 memory=59048 CPUtime=633.6 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 73196 0 0 0 63344 16 0 0 20 0 1 0 527125171 2123501568 14762 33554432000 4194304 5870510 140732944076496 140732944074936 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518433 14762 1000 410 0 513906 0
Current children cumulated CPU time: 633.6 s
Current children cumulated vsize: 2073732 KiB
Current children cumulated memory: 59048 KiB
[startup+634.4 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6835
/proc/meminfo: memFree=25433608/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073732 memory=59048 CPUtime=634.4 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 73196 0 0 0 63424 16 0 0 20 0 1 0 527125171 2123501568 14762 33554432000 4194304 5870510 140732944076496 140732944074936 5272987 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518433 14762 1000 410 0 513906 0
Current children cumulated CPU time: 634.4 s
Current children cumulated vsize: 2073732 KiB
Current children cumulated memory: 59048 KiB
[startup+635.2 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6835
/proc/meminfo: memFree=25433608/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073732 memory=59048 CPUtime=635.2 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 73196 0 0 0 63504 16 0 0 20 0 1 0 527125171 2123501568 14762 33554432000 4194304 5870510 140732944076496 140732944074936 5289471 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518433 14762 1000 410 0 513906 0
Current children cumulated CPU time: 635.2 s
Current children cumulated vsize: 2073732 KiB
Current children cumulated memory: 59048 KiB
[startup+635.6 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6835
/proc/meminfo: memFree=25433608/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073732 memory=59048 CPUtime=635.6 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 73196 0 0 0 63544 16 0 0 20 0 1 0 527125171 2123501568 14762 33554432000 4194304 5870510 140732944076496 140732944074936 5282621 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518433 14762 1000 410 0 513906 0
Current children cumulated CPU time: 635.6 s
Current children cumulated vsize: 2073732 KiB
Current children cumulated memory: 59048 KiB
[startup+635.7 s]
/proc/loadavg: 2.00 2.02 1.95 3/200 6835
/proc/meminfo: memFree=25433608/32770624 swapFree=66954172/67108860
[pid=6778] ppid=6775 vsize=2073732 memory=59048 CPUtime=635.7 cores=0,2,4,6
/proc/6778/stat : 6778 (xcsp_picat) R 6775 6778 6218 0 -1 4202496 73196 0 0 0 63554 16 0 0 20 0 1 0 527125171 2123501568 14762 33554432000 4194304 5870510 140732944076496 140732944074936 5288740 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 35385344 140732944081927 140732944082009 140732944082009 140732944084934 0
/proc/6778/statm: 518433 14762 1000 410 0 513906 0
Current children cumulated CPU time: 635.7 s
Current children cumulated vsize: 2073732 KiB
Current children cumulated memory: 59048 KiB
Child status: 0
Real time (s): 635.741
CPU time (s): 635.746
CPU user time (s): 635.583
CPU system time (s): 0.163001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2079864
Max. memory (cumulated for all children) (KiB): 61388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 635.583
system time used= 0.163001
maximum resident set size= 61388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73242
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= 4
involuntary context switches= 435
# summary of solver processes directly reported to runsolver:
# pid: 6778
# total CPU time (s): 635.746
# total CPU user time (s): 635.583
# total CPU system time (s): 0.163001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23982 second user time and 4.61896 second system time
The end