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 (14800 MiB free)
memory of node 1: 16384 MiB (15144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395219-1568325599/watcher-4395219-1568325599 -o /tmp/evaluation-result-4395219-1568325599/solver-4395219-1568325599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25671 --watchdog 2580 xcsp_picat HOME/instance-4395219-1568325599.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
Current StackSize limit: 8192 KiB
solver pid=27076, runsolver pid=27073
[startup+0.100108 s]*
/proc/loadavg: 2.01 2.08 2.22 3/199 27077
/proc/meminfo: memFree=30648056/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2036916 memory=20140 CPUtime=0.1 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 2154 0 0 0 10 0 0 0 20 0 1 0 408814637 2085801984 5035 33554432000 4194304 5870510 140736368600320 140736368597464 140312256077703 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 509229 5035 936 410 0 504702 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036916 KiB
Current children cumulated memory: 20140 KiB
[startup+0.209659 s]*
/proc/loadavg: 2.01 2.08 2.22 3/199 27077
/proc/meminfo: memFree=30647776/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2036916 memory=20140 CPUtime=0.21 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 2168 0 0 0 21 0 0 0 20 0 1 0 408814637 2085801984 5035 33554432000 4194304 5870510 140736368600320 140736368599416 5562072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 509229 5035 936 410 0 504702 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036916 KiB
Current children cumulated memory: 20140 KiB
[startup+0.308963 s]*
/proc/loadavg: 2.01 2.08 2.22 3/199 27077
/proc/meminfo: memFree=30646660/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2037628 memory=21376 CPUtime=0.31 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 2486 0 0 0 31 0 0 0 20 0 1 0 408814637 2086531072 5344 33554432000 4194304 5870510 140736368600320 140736368599416 5496104 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 509407 5344 953 410 0 504880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2037628 KiB
Current children cumulated memory: 21376 KiB
[startup+0.700257 s]
/proc/loadavg: 2.01 2.08 2.22 3/199 27077
/proc/meminfo: memFree=30646804/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2037804 memory=21540 CPUtime=0.69 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 2501 0 0 0 69 0 0 0 20 0 1 0 408814637 2086711296 5385 33554432000 4194304 5870510 140736368600320 140736368599432 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 509451 5385 953 410 0 504924 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037804 KiB
Current children cumulated memory: 21540 KiB
[startup+1.50028 s]
/proc/loadavg: 2.01 2.08 2.22 3/199 27077
/proc/meminfo: memFree=30646804/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2036052 memory=23440 CPUtime=1.49 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 3195 0 0 0 149 0 0 0 20 0 1 0 408814637 2084917248 5860 33554432000 4194304 5870510 140736368600320 140736368599432 5282515 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 509013 5860 983 410 0 504486 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036052 KiB
Current children cumulated memory: 23440 KiB
[startup+3.10964 s]
/proc/loadavg: 2.01 2.08 2.22 3/199 27077
/proc/meminfo: memFree=30632120/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2049052 memory=35440 CPUtime=3.1 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 6754 0 0 0 309 1 0 0 20 0 1 0 408814637 2098229248 8860 33554432000 4194304 5870510 140736368600320 140736368598680 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 512263 8860 984 410 0 507736 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2049052 KiB
Current children cumulated memory: 35440 KiB
[startup+6.30027 s]
/proc/loadavg: 2.01 2.08 2.22 3/199 27078
/proc/meminfo: memFree=30633508/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2056192 memory=34808 CPUtime=6.29 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 9281 0 0 0 628 1 0 0 20 0 1 0 408814637 2105540608 8702 33554432000 4194304 5870510 140736368600320 140736368599432 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 514048 8702 991 410 0 509521 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056192 KiB
Current children cumulated memory: 34808 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.08 2.22 3/199 27078
/proc/meminfo: memFree=30621492/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2059200 memory=46840 CPUtime=12.68 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 13050 0 0 0 1267 1 0 0 20 0 1 0 408814637 2108620800 11710 33554432000 4194304 5870510 140736368600320 140736368598888 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 514800 11710 991 410 0 510273 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2059200 KiB
Current children cumulated memory: 46840 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.07 2.22 3/199 27078
/proc/meminfo: memFree=30621108/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2066808 memory=47504 CPUtime=25.49 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 19269 0 0 0 2546 3 0 0 20 0 1 0 408814637 2116411392 11876 33554432000 4194304 5870510 140736368600320 140736368599432 5305164 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 516702 11876 991 410 0 512175 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2066808 KiB
Current children cumulated memory: 47504 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.07 2.21 3/199 27080
/proc/meminfo: memFree=30613628/32770624 swapFree=66996376/67108860
[pid=27076] ppid=27073 vsize=2066808 memory=54080 CPUtime=51.09 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 22749 0 0 0 5106 3 0 0 20 0 1 0 408814637 2116411392 13520 33554432000 4194304 5870510 140736368600320 140736368599432 5282609 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 516702 13520 991 410 0 512175 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2066808 KiB
Current children cumulated memory: 54080 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.21 3/199 27092
/proc/meminfo: memFree=30633812/32770624 swapFree=66996384/67108860
[pid=27076] ppid=27073 vsize=2075536 memory=62928 CPUtime=102.28 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 31674 0 0 0 10224 4 0 0 20 0 1 0 408814637 2125348864 15732 33554432000 4194304 5870510 140736368600320 140736368598888 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 518884 15732 991 410 0 514357 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2075536 KiB
Current children cumulated memory: 62928 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.20 3/200 27119
/proc/meminfo: memFree=30618420/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2071408 memory=58320 CPUtime=162.28 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 38489 0 0 0 16223 5 0 0 20 0 1 0 408814637 2121121792 14580 33554432000 4194304 5870510 140736368600320 140736368598888 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 517852 14580 991 410 0 513325 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2071408 KiB
Current children cumulated memory: 58320 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.18 3/200 27125
/proc/meminfo: memFree=30625676/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2066340 memory=53276 CPUtime=222.29 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 42094 0 0 0 22222 7 0 0 20 0 1 0 408814637 2115932160 13319 33554432000 4194304 5870510 140736368600320 140736368598760 5282736 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 516585 13319 991 410 0 512058 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2066340 KiB
Current children cumulated memory: 53276 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.17 3/200 27129
/proc/meminfo: memFree=30662008/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2062172 memory=49664 CPUtime=282.28 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 50419 0 0 0 28220 8 0 0 20 0 1 0 408814637 2111664128 12416 33554432000 4194304 5870510 140736368600320 140736368598888 5272962 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 515543 12416 991 410 0 511016 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2062172 KiB
Current children cumulated memory: 49664 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/200 27133
/proc/meminfo: memFree=30640064/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2043312 memory=30884 CPUtime=342.28 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 53301 0 0 0 34219 9 0 0 20 0 1 0 408814637 2092351488 7721 33554432000 4194304 5870510 140736368600320 140736368599496 5288874 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 510828 7721 991 410 0 506301 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2043312 KiB
Current children cumulated memory: 30884 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.15 3/199 27139
/proc/meminfo: memFree=30604368/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2086772 memory=70420 CPUtime=402.28 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 57884 0 0 0 40218 10 0 0 20 0 1 0 408814637 2136854528 17605 33554432000 4194304 5870510 140736368600320 140736368598760 5274721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 521693 17605 991 410 0 517166 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2086772 KiB
Current children cumulated memory: 70420 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/198 27143
/proc/meminfo: memFree=30614988/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2072868 memory=60188 CPUtime=462.28 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 61806 0 0 0 46216 12 0 0 20 0 1 0 408814637 2122616832 15047 33554432000 4194304 5870510 140736368600320 140736368598888 5282621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 518217 15047 991 410 0 513690 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2072868 KiB
Current children cumulated memory: 60188 KiB
################
# More data... #
################
Current children cumulated memory: 66468 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/198 27188
/proc/meminfo: memFree=30619944/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2067208 memory=54344 CPUtime=942.27 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 104517 0 0 0 94207 20 0 0 20 0 1 0 408814637 2116820992 13586 33554432000 4194304 5870510 140736368600320 140736368598760 5298780 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 516802 13586 991 410 0 512275 0
Current children cumulated CPU time: 942.27 s
Current children cumulated vsize: 2067208 KiB
Current children cumulated memory: 54344 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/198 27192
/proc/meminfo: memFree=30649164/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2040636 memory=24528 CPUtime=1002.26 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 111068 0 0 0 100206 20 0 0 20 0 1 0 408814637 2089611264 6132 33554432000 4194304 5870510 140736368600320 140736368599432 5478580 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 510159 6132 991 410 0 505632 0
Current children cumulated CPU time: 1002.26 s
Current children cumulated vsize: 2040636 KiB
Current children cumulated memory: 24528 KiB
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.08 3/198 27256
/proc/meminfo: memFree=28398200/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2083124 memory=72312 CPUtime=1062.26 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 114355 0 0 0 106205 21 0 0 20 0 1 0 408814637 2133118976 18078 33554432000 4194304 5870510 140736368600320 140736368598888 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 520781 18078 991 410 0 516254 0
Current children cumulated CPU time: 1062.26 s
Current children cumulated vsize: 2083124 KiB
Current children cumulated memory: 72312 KiB
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.08 3/197 27262
/proc/meminfo: memFree=28412124/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2070080 memory=60280 CPUtime=1122.26 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 119838 0 0 0 112204 22 0 0 20 0 1 0 408814637 2119761920 15070 33554432000 4194304 5870510 140736368600320 140736368598888 5298780 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 517520 15070 991 410 0 512993 0
Current children cumulated CPU time: 1122.26 s
Current children cumulated vsize: 2070080 KiB
Current children cumulated memory: 60280 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.07 3/198 27267
/proc/meminfo: memFree=28418208/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2062200 memory=53184 CPUtime=1182.25 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 123166 0 0 0 118202 23 0 0 20 0 1 0 408814637 2111692800 13296 33554432000 4194304 5870510 140736368600320 140736368598888 140312261317522 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 515550 13296 991 410 0 511023 0
Current children cumulated CPU time: 1182.25 s
Current children cumulated vsize: 2062200 KiB
Current children cumulated memory: 53184 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/198 27271
/proc/meminfo: memFree=28398648/32770624 swapFree=66996408/67108860
[pid=27076] ppid=27073 vsize=2082088 memory=72748 CPUtime=1242.26 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 129123 0 0 0 124202 24 0 0 20 0 1 0 408814637 2132058112 18187 33554432000 4194304 5870510 140736368600320 140736368598856 5274721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 520522 18187 991 410 0 515995 0
Current children cumulated CPU time: 1242.26 s
Current children cumulated vsize: 2082088 KiB
Current children cumulated memory: 72748 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/199 27285
/proc/meminfo: memFree=28404392/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2075848 memory=66584 CPUtime=1302.26 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 131581 0 0 0 130201 25 0 0 20 0 1 0 408814637 2125668352 16646 33554432000 4194304 5870510 140736368600320 140736368598888 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 518962 16646 991 410 0 514435 0
Current children cumulated CPU time: 1302.26 s
Current children cumulated vsize: 2075848 KiB
Current children cumulated memory: 66584 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27289
/proc/meminfo: memFree=28418112/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2062360 memory=53612 CPUtime=1362.26 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 137893 0 0 0 136199 27 0 0 20 0 1 0 408814637 2111856640 13403 33554432000 4194304 5870510 140736368600320 140736368598888 5272512 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 515590 13403 991 410 0 511063 0
Current children cumulated CPU time: 1362.26 s
Current children cumulated vsize: 2062360 KiB
Current children cumulated memory: 53612 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27293
/proc/meminfo: memFree=28390672/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2092460 memory=80100 CPUtime=1422.25 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 140571 0 0 0 142198 27 0 0 20 0 1 0 408814637 2142679040 20025 33554432000 4194304 5870510 140736368600320 140736368598760 5272505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 523115 20025 991 410 0 518588 0
Current children cumulated CPU time: 1422.25 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80100 KiB
[startup+1438.43 s]
# the end of solver process 27076 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1438.12 s, system=0.279993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1427.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27293
/proc/meminfo: memFree=28391136/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2092460 memory=80100 CPUtime=1427.15 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 140571 0 0 0 142688 27 0 0 20 0 1 0 408814637 2142679040 20025 33554432000 4194304 5870510 140736368600320 140736368598760 140312261315166 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 523115 20025 991 410 0 518588 0
Current children cumulated CPU time: 1427.15 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80100 KiB
[startup+1433.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27293
/proc/meminfo: memFree=28391148/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2092460 memory=80100 CPUtime=1433.55 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 140571 0 0 0 143328 27 0 0 20 0 1 0 408814637 2142679040 20025 33554432000 4194304 5870510 140736368600320 140736368598760 5282568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 523115 20025 991 410 0 518588 0
Current children cumulated CPU time: 1433.55 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80100 KiB
[startup+1436.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27294
/proc/meminfo: memFree=28391124/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2092460 memory=80100 CPUtime=1436.75 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 140571 0 0 0 143648 27 0 0 20 0 1 0 408814637 2142679040 20025 33554432000 4194304 5870510 140736368600320 140736368598760 5282467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 523115 20025 991 410 0 518588 0
Current children cumulated CPU time: 1436.75 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80100 KiB
[startup+1437.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27296
/proc/meminfo: memFree=28390932/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2092460 memory=80100 CPUtime=1437.55 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 140571 0 0 0 143728 27 0 0 20 0 1 0 408814637 2142679040 20025 33554432000 4194304 5870510 140736368600320 140736368598760 5308398 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 523115 20025 991 410 0 518588 0
Current children cumulated CPU time: 1437.55 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80100 KiB
[startup+1438 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27296
/proc/meminfo: memFree=28390932/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2092460 memory=80100 CPUtime=1437.96 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 140571 0 0 0 143769 27 0 0 20 0 1 0 408814637 2142679040 20025 33554432000 4194304 5870510 140736368600320 140736368598760 5283072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 523115 20025 991 410 0 518588 0
Current children cumulated CPU time: 1437.96 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80100 KiB
[startup+1438.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27296
/proc/meminfo: memFree=28390932/32770624 swapFree=66996424/67108860
[pid=27076] ppid=27073 vsize=2092460 memory=80100 CPUtime=1438.35 cores=0,2,4,6
/proc/27076/stat : 27076 (xcsp_picat) R 27073 27076 25640 0 -1 4202496 140571 0 0 0 143808 27 0 0 20 0 1 0 408814637 2142679040 20025 33554432000 4194304 5870510 140736368600320 140736368598760 5305072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31186944 140736368604191 140736368604269 140736368604269 140736368607178 0
/proc/27076/statm: 523115 20025 991 410 0 518588 0
Current children cumulated CPU time: 1438.35 s
Current children cumulated vsize: 2092460 KiB
Current children cumulated memory: 80100 KiB
Child status: 0
Real time (s): 1438.43
CPU time (s): 1438.4
CPU user time (s): 1438.12
CPU system time (s): 0.279993
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 2093580
Max. memory (cumulated for all children) (KiB): 80100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1438.12
system time used= 0.279993
maximum resident set size= 80288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140596
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= 9
involuntary context switches= 594
# summary of solver processes directly reported to runsolver:
# pid: 27076
# total CPU time (s): 1438.4
# total CPU user time (s): 1438.12
# total CPU system time (s): 0.279993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01961 second user time and 9.72468 second system time
The end