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 (15295 MiB free)
memory of node 1: 16384 MiB (15372 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395286-1568334710/watcher-4395286-1568334710 -o /tmp/evaluation-result-4395286-1568334710/solver-4395286-1568334710 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27186 --watchdog 2580 xcsp_picat HOME/instance-4395286-1568334710.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=30078, runsolver pid=30075
[startup+0.100112 s]*
/proc/loadavg: 2.04 2.06 2.05 3/198 30079
/proc/meminfo: memFree=31388724/32770624 swapFree=66921092/67108860
[pid=30078] ppid=30075 vsize=2036572 memory=19752 CPUtime=0.1 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 2069 0 0 0 10 0 0 0 20 0 1 0 409727089 2085449728 4938 33554432000 4194304 5870510 140726379143008 140726379140152 140535489572743 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 509143 4938 954 410 0 504616 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036572 KiB
Current children cumulated memory: 19752 KiB
[startup+0.20967 s]*
/proc/loadavg: 2.04 2.06 2.05 3/198 30079
/proc/meminfo: memFree=31376632/32770624 swapFree=66921092/67108860
[pid=30078] ppid=30075 vsize=2048156 memory=34744 CPUtime=0.21 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 5219 0 0 0 20 1 0 0 20 0 1 0 409727089 2097311744 8686 33554432000 4194304 5870510 140726379143008 140726379140152 5307553 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 512039 8686 954 410 0 507512 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2048156 KiB
Current children cumulated memory: 34744 KiB
[startup+0.309516 s]*
/proc/loadavg: 2.04 2.06 2.05 3/198 30079
/proc/meminfo: memFree=31371236/32770624 swapFree=66921092/67108860
[pid=30078] ppid=30075 vsize=2050232 memory=36852 CPUtime=0.31 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 5697 0 0 0 30 1 0 0 20 0 1 0 409727089 2099437568 9213 33554432000 4194304 5870510 140726379143008 140726379140152 5261251 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 512558 9213 962 410 0 508031 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2050232 KiB
Current children cumulated memory: 36852 KiB
[startup+0.700306 s]
/proc/loadavg: 2.04 2.06 2.05 3/198 30079
/proc/meminfo: memFree=31370120/32770624 swapFree=66921092/67108860
[pid=30078] ppid=30075 vsize=2049772 memory=35268 CPUtime=0.69 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 6538 0 0 0 68 1 0 0 20 0 1 0 409727089 2098966528 8817 33554432000 4194304 5870510 140726379143008 140726379140152 5306638 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 512443 8817 965 410 0 507916 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2049772 KiB
Current children cumulated memory: 35268 KiB
[startup+1.50028 s]
/proc/loadavg: 2.04 2.06 2.05 3/198 30079
/proc/meminfo: memFree=31371580/32770624 swapFree=66921092/67108860
[pid=30078] ppid=30075 vsize=2049772 memory=35268 CPUtime=1.49 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 6540 0 0 0 148 1 0 0 20 0 1 0 409727089 2098966528 8817 33554432000 4194304 5870510 140726379143008 140726379142264 5281920 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 512443 8817 965 410 0 507916 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2049772 KiB
Current children cumulated memory: 35268 KiB
[startup+3.10932 s]
/proc/loadavg: 2.04 2.06 2.05 3/198 30079
/proc/meminfo: memFree=31370760/32770624 swapFree=66921092/67108860
[pid=30078] ppid=30075 vsize=2050176 memory=37028 CPUtime=3.1 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 10987 0 0 0 308 2 0 0 20 0 1 0 409727089 2099380224 9257 33554432000 4194304 5870510 140726379143008 140726379142264 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 512544 9257 987 410 0 508017 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2050176 KiB
Current children cumulated memory: 37028 KiB
[startup+6.3003 s]
/proc/loadavg: 2.04 2.06 2.05 3/198 30079
/proc/meminfo: memFree=31351160/32770624 swapFree=66921092/67108860
[pid=30078] ppid=30075 vsize=2073216 memory=58556 CPUtime=6.29 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 15104 0 0 0 626 3 0 0 20 0 1 0 409727089 2122973184 14639 33554432000 4194304 5870510 140726379143008 140726379141576 5283072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 518304 14639 987 410 0 513777 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2073216 KiB
Current children cumulated memory: 58556 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.06 2.05 3/199 30087
/proc/meminfo: memFree=31336168/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2084708 memory=70820 CPUtime=12.68 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 20724 0 0 0 1265 3 0 0 20 0 1 0 409727089 2134740992 17705 33554432000 4194304 5870510 140726379143008 140726379141576 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 521177 17705 987 410 0 516650 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2084708 KiB
Current children cumulated memory: 70820 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.05 2.05 3/199 30088
/proc/meminfo: memFree=31351372/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2093920 memory=78672 CPUtime=25.48 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 31731 0 0 0 2543 5 0 0 20 0 1 0 409727089 2144174080 19668 33554432000 4194304 5870510 140726379143008 140726379141576 5282464 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 523480 19668 987 410 0 518953 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2093920 KiB
Current children cumulated memory: 78672 KiB
[startup+51.1097 s]
/proc/loadavg: 2.07 2.07 2.05 3/199 30090
/proc/meminfo: memFree=31256532/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2131456 memory=115836 CPUtime=51.08 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 37981 0 0 0 5102 6 0 0 20 0 1 0 409727089 2182610944 28959 33554432000 4194304 5870510 140726379143008 140726379141448 140535494791886 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 532864 28959 987 410 0 528337 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2131456 KiB
Current children cumulated memory: 115836 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/199 30094
/proc/meminfo: memFree=31297632/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2130372 memory=117952 CPUtime=102.26 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 44875 0 0 0 10219 7 0 0 20 0 1 0 409727089 2181500928 29488 33554432000 4194304 5870510 140726379143008 140726379142184 5289556 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 532593 29488 994 410 0 528066 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2130372 KiB
Current children cumulated memory: 117952 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 30098
/proc/meminfo: memFree=31298424/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2130372 memory=117952 CPUtime=162.25 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 50570 0 0 0 16217 8 0 0 20 0 1 0 409727089 2181500928 29488 33554432000 4194304 5870510 140726379143008 140726379142120 5263101 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 532593 29488 994 410 0 528066 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2130372 KiB
Current children cumulated memory: 117952 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 30104
/proc/meminfo: memFree=31306516/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2134512 memory=121856 CPUtime=222.23 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 51466 0 0 0 22215 8 0 0 20 0 1 0 409727089 2185740288 30464 33554432000 4194304 5870510 140726379143008 140726379141576 140535494810206 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 533628 30464 994 410 0 529101 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2134512 KiB
Current children cumulated memory: 121856 KiB
[startup+282.3 s]
/proc/loadavg: 1.94 2.02 2.04 3/199 30169
/proc/meminfo: memFree=31303924/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2134512 memory=122092 CPUtime=282.21 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 56998 0 0 0 28213 8 0 0 20 0 1 0 409727089 2185740288 30523 33554432000 4194304 5870510 140726379143008 140726379141576 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 533628 30523 994 410 0 529101 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 2134512 KiB
Current children cumulated memory: 122092 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/198 30173
/proc/meminfo: memFree=31270376/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2146184 memory=136208 CPUtime=342.19 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 57492 0 0 0 34211 8 0 0 20 0 1 0 409727089 2197692416 34052 33554432000 4194304 5870510 140726379143008 140726379141576 5274516 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 536546 34052 994 410 0 532019 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 2146184 KiB
Current children cumulated memory: 136208 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/199 30180
/proc/meminfo: memFree=31260328/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2134512 memory=125544 CPUtime=402.18 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 59514 0 0 0 40208 10 0 0 20 0 1 0 409727089 2185740288 31386 33554432000 4194304 5870510 140726379143008 140726379141576 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 533628 31386 994 410 0 529101 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 2134512 KiB
Current children cumulated memory: 125544 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30184
/proc/meminfo: memFree=31229272/32770624 swapFree=66921104/67108860
[pid=30078] ppid=30075 vsize=2146344 memory=137512 CPUtime=462.17 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 62377 0 0 0 46203 14 0 0 20 0 1 0 409727089 2197856256 34378 33554432000 4194304 5870510 140726379143008 140726379142024 5274731 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 536586 34378 994 410 0 532059 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 2146344 KiB
Current children cumulated memory: 137512 KiB
################
# More data... #
################
Current children cumulated memory: 134528 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30220
/proc/meminfo: memFree=31213456/32770624 swapFree=66921108/67108860
[pid=30078] ppid=30075 vsize=2153360 memory=134528 CPUtime=822.1 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 73832 0 0 0 82189 21 0 0 20 0 1 0 409727089 2205040640 33632 33554432000 4194304 5870510 140726379143008 140726379141448 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 538340 33632 994 410 0 533813 0
Current children cumulated CPU time: 822.1 s
Current children cumulated vsize: 2153360 KiB
Current children cumulated memory: 134528 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30224
/proc/meminfo: memFree=31150156/32770624 swapFree=66921108/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164180 CPUtime=882.09 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 77932 0 0 0 88187 22 0 0 20 0 1 0 409727089 2225377280 41045 33554432000 4194304 5870510 140726379143008 140726379141576 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41045 994 410 0 538778 0
Current children cumulated CPU time: 882.09 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164180 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 30230
/proc/meminfo: memFree=31147556/32770624 swapFree=66921108/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164388 CPUtime=942.08 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 80488 0 0 0 94181 27 0 0 20 0 1 0 409727089 2225377280 41097 33554432000 4194304 5870510 140726379143008 140726379142024 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41097 994 410 0 538778 0
Current children cumulated CPU time: 942.08 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164388 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 30234
/proc/meminfo: memFree=31145228/32770624 swapFree=66921108/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164392 CPUtime=1002.07 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 85746 0 0 0 100176 31 0 0 20 0 1 0 409727089 2225377280 41098 33554432000 4194304 5870510 140726379143008 140726379142024 5282778 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41098 994 410 0 538778 0
Current children cumulated CPU time: 1002.07 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164392 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 30238
/proc/meminfo: memFree=31127320/32770624 swapFree=66921108/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1062.06 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 89034 0 0 0 106169 37 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379141448 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1062.06 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 30244
/proc/meminfo: memFree=31126908/32770624 swapFree=66921108/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1122.04 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 94129 0 0 0 112162 42 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379142024 5283138 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1122.04 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 30248
/proc/meminfo: memFree=31127460/32770624 swapFree=66921108/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1182.03 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 96975 0 0 0 118155 48 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379142024 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1182.03 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30260
/proc/meminfo: memFree=31126480/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1242.02 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 102195 0 0 0 124148 54 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379142024 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1242.02 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30266
/proc/meminfo: memFree=31126504/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1302.01 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 105274 0 0 0 130140 61 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379142024 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1302.01 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30270
/proc/meminfo: memFree=31124788/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1362 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 110280 0 0 0 136134 66 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379141448 5282441 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1362 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30274
/proc/meminfo: memFree=31124860/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1421.99 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 113938 0 0 0 142127 72 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379142024 5282736 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1421.99 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1424.89 s]
# the end of solver process 30078 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1423.85 s, system=0.728848 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1422.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30274
/proc/meminfo: memFree=31124860/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1422.09 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 113938 0 0 0 142137 72 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379142024 5282236 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1422.09 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1424 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 30274
/proc/meminfo: memFree=31093644/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2222540 memory=197992 CPUtime=1423.69 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 114191 0 0 0 142297 72 0 0 20 0 1 0 409727089 2275880960 49498 33554432000 4194304 5870510 140726379143008 140726379141448 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 555635 49498 994 410 0 551108 0
Current children cumulated CPU time: 1423.69 s
Current children cumulated vsize: 2222540 KiB
Current children cumulated memory: 197992 KiB
[startup+1424.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30274
/proc/meminfo: memFree=31093644/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1424.08 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 114191 0 0 0 142336 72 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379141448 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1424.08 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
[startup+1424.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30274
/proc/meminfo: memFree=31093644/32770624 swapFree=66921120/67108860
[pid=30078] ppid=30075 vsize=2173220 memory=164448 CPUtime=1424.48 cores=0,2,4,6
/proc/30078/stat : 30078 (xcsp_picat) R 30075 30078 27155 0 -1 4202496 114193 0 0 0 142376 72 0 0 20 0 1 0 409727089 2225377280 41112 33554432000 4194304 5870510 140726379143008 140726379141448 5282555 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 46940160 140726379148319 140726379148397 140726379148397 140726379151306 0
/proc/30078/statm: 543305 41112 994 410 0 538778 0
Current children cumulated CPU time: 1424.48 s
Current children cumulated vsize: 2173220 KiB
Current children cumulated memory: 164448 KiB
Child status: 0
Real time (s): 1424.89
CPU time (s): 1424.58
CPU user time (s): 1423.85
CPU system time (s): 0.728848
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 2222540
Max. memory (cumulated for all children) (KiB): 204292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.85
system time used= 0.728848
maximum resident set size= 204292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1695
# summary of solver processes directly reported to runsolver:
# pid: 30078
# total CPU time (s): 1424.58
# total CPU user time (s): 1423.85
# total CPU system time (s): 0.728848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12774 second user time and 11.0367 second system time
The end