runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3490632-1307760513/watcher-3490632-1307760513 -o /tmp/evaluation-result-3490632-1307760513/solver-3490632-1307760513 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490632-1307760513.opb --verbosity=0 --format=opb --randomseed=1977837021
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 3.24 3.64 2/177 18913
/proc/meminfo: memFree=30915748/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=7444 CPUtime=0 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 372 0 0 0 0 0 0 0 23 0 1 0 887649266 7622656 325 33554432000 4194304 6720400 140736764241568 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 1861 325 232 617 0 1235 0
[startup+0.059427 s]
/proc/loadavg: 1.96 3.24 3.64 2/177 18913
/proc/meminfo: memFree=30915748/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=8636 CPUtime=0.05 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 951 0 0 0 5 0 0 0 23 0 1 0 887649266 8843264 902 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 2159 902 265 617 0 1533 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8636
[startup+0.100412 s]
/proc/loadavg: 1.96 3.24 3.64 2/177 18913
/proc/meminfo: memFree=30915748/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=8636 CPUtime=0.09 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 1163 0 0 0 9 0 0 0 23 0 1 0 887649266 8843264 1113 33554432000 4194304 6720400 140736764241568 18446744073709551615 4431744 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 2159 1113 265 617 0 1533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8636
[startup+0.300377 s]
/proc/loadavg: 1.96 3.24 3.64 2/177 18913
/proc/meminfo: memFree=30915748/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=11356 CPUtime=0.29 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 2260 0 0 0 29 0 0 0 25 0 1 0 887649266 11628544 2204 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 2839 2204 265 617 0 2213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11356
[startup+0.700307 s]
/proc/loadavg: 1.96 3.24 3.64 2/177 18913
/proc/meminfo: memFree=30915748/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=23216 CPUtime=0.69 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 4431 0 0 0 69 0 0 0 25 0 1 0 887649266 23773184 4361 33554432000 4194304 6720400 140736764241568 18446744073709551615 5734210 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 5804 4361 265 617 0 5178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23216
[startup+1.50016 s]
/proc/loadavg: 1.96 3.24 3.64 3/178 18914
/proc/meminfo: memFree=30871496/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=54144 CPUtime=1.49 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 8797 0 0 0 148 1 0 0 25 0 1 0 887649266 55443456 8713 33554432000 4194304 6720400 140736764241568 18446744073709551615 4812160 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 13536 8714 265 617 0 12910 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54144
[startup+3.10088 s]
/proc/loadavg: 1.96 3.24 3.64 3/178 18914
/proc/meminfo: memFree=30886624/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=23772 CPUtime=3.09 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 19501 0 0 0 306 3 0 0 25 0 1 0 887649266 24342528 4634 33554432000 4194304 6720400 140736764241568 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 5943 4634 265 617 0 5317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23772
[startup+6.30029 s]
/proc/loadavg: 1.97 3.22 3.63 3/178 18914
/proc/meminfo: memFree=30821788/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=61484 CPUtime=6.29 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 36184 0 0 0 624 5 0 0 25 0 1 0 887649266 62959616 14394 33554432000 4194304 6720400 140736764241568 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 15371 14394 265 617 0 14745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61484
[startup+12.7001 s]
/proc/loadavg: 1.97 3.19 3.62 3/178 18914
/proc/meminfo: memFree=30798536/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=61484 CPUtime=12.69 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 53542 0 0 0 1262 7 0 0 25 0 1 0 887649266 62959616 14943 33554432000 4194304 6720400 140736764241568 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 15371 14943 265 617 0 14745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61484
[startup+25.5008 s]
/proc/loadavg: 1.97 3.14 3.59 3/178 18915
/proc/meminfo: memFree=30767952/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=61484 CPUtime=25.49 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 137770 0 0 0 2533 16 0 0 25 0 1 0 887649266 62959616 14943 33554432000 4194304 6720400 140736764241568 18446744073709551615 5718276 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 15371 14943 265 617 0 14745 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61484
[startup+51.1002 s]
/proc/loadavg: 1.98 3.04 3.55 3/178 18915
/proc/meminfo: memFree=30799136/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=110936 CPUtime=51.09 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 301980 0 0 0 5071 38 0 0 25 0 1 0 887649266 113598464 25396 33554432000 4194304 6720400 140736764241568 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 27734 25396 265 617 0 27108 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110936
[startup+102.306 s]
/proc/loadavg: 1.99 2.88 3.47 4/178 18917
/proc/meminfo: memFree=30718260/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=110936 CPUtime=102.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 606529 0 0 0 10150 80 0 0 25 0 1 0 887649266 113598464 24688 33554432000 4194304 6720400 140736764241568 18446744073709551615 5732701 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 27734 24689 265 617 0 27108 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 110936
[startup+162.301 s]
/proc/loadavg: 1.99 2.72 3.37 3/178 18918
/proc/meminfo: memFree=30707528/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=61616 CPUtime=162.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 950093 0 0 0 16097 133 0 0 25 0 1 0 887649266 63094784 14976 33554432000 4194304 6720400 140736764241568 18446744073709551615 4819904 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 15404 14976 265 617 0 14778 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 61616
[startup+222.3 s]
/proc/loadavg: 1.99 2.58 3.28 3/178 18920
/proc/meminfo: memFree=30687996/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=110936 CPUtime=222.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 1273267 0 0 0 22049 181 0 0 25 0 1 0 887649266 113598464 25461 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 27734 25461 265 617 0 27108 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 110936
[startup+282.3 s]
/proc/loadavg: 1.99 2.48 3.20 3/178 18921
/proc/meminfo: memFree=30723892/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=61616 CPUtime=282.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 1593074 0 0 0 27996 234 0 0 25 0 1 0 887649266 63094784 14977 33554432000 4194304 6720400 140736764241568 18446744073709551615 4813194 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 15404 14977 265 617 0 14778 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 61616
[startup+342.3 s]
/proc/loadavg: 1.99 2.39 3.12 3/178 18923
/proc/meminfo: memFree=30648424/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=141360 CPUtime=342.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 1941469 0 0 0 33945 285 0 0 25 0 1 0 887649266 144752640 33398 33554432000 4194304 6720400 140736764241568 18446744073709551615 4804174 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 35340 33399 265 617 0 34714 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 141360
[startup+402.301 s]
/proc/loadavg: 2.03 2.33 3.06 3/178 18925
/proc/meminfo: memFree=30624556/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=222268 CPUtime=402.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 2223670 0 0 0 39905 325 0 0 25 0 1 0 887649266 227602432 42823 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 55567 42823 265 617 0 54941 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 222268
[startup+462.301 s]
/proc/loadavg: 2.04 2.28 2.99 3/178 18926
/proc/meminfo: memFree=30737708/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=92040 CPUtime=462.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 2540642 0 0 0 45858 372 0 0 25 0 1 0 887649266 94248960 22582 33554432000 4194304 6720400 140736764241568 18446744073709551615 4820140 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 23010 22582 265 617 0 22384 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 92040
[startup+522.301 s]
/proc/loadavg: 2.01 2.23 2.93 4/178 18928
/proc/meminfo: memFree=30630380/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=92040 CPUtime=522.3 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 2872186 0 0 0 51812 418 0 0 25 0 1 0 887649266 94248960 22582 33554432000 4194304 6720400 140736764241568 18446744073709551615 4812163 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 23010 22582 265 617 0 22384 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 92040
[startup+582.301 s]
/proc/loadavg: 2.00 2.18 2.87 3/178 18929
/proc/meminfo: memFree=30653012/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=172180 CPUtime=582.31 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 3201972 0 0 0 57767 464 0 0 25 0 1 0 887649266 176312320 38418 33554432000 4194304 6720400 140736764241568 18446744073709551615 4816980 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 43045 38419 265 617 0 42419 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 172180
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.07 2.66 3/178 18945
/proc/meminfo: memFree=30582176/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=92040 CPUtime=822.32 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 4412133 0 0 0 81586 646 0 0 25 0 1 0 887649266 94248960 22584 33554432000 4194304 6720400 140736764241568 18446744073709551615 4610467 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 23010 22584 265 617 0 22384 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 92040
[startup+882.301 s]
/proc/loadavg: 2.00 2.06 2.61 3/178 18946
/proc/meminfo: memFree=30582604/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=92040 CPUtime=882.32 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 4669621 0 0 0 87544 688 0 0 25 0 1 0 887649266 94248960 22584 33554432000 4194304 6720400 140736764241568 18446744073709551615 4816956 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 23010 22584 265 617 0 22384 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 92040
[startup+942.301 s]
/proc/loadavg: 2.05 2.06 2.58 3/178 18950
/proc/meminfo: memFree=30610688/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=222268 CPUtime=942.31 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 4983934 0 0 0 93497 734 0 0 25 0 1 0 887649266 227602432 45044 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 55567 45044 265 617 0 54941 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 222268
[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.54 3/178 18953
/proc/meminfo: memFree=30516596/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=92040 CPUtime=1002.32 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 5295768 0 0 0 99448 784 0 0 25 0 1 0 887649266 94248960 22592 33554432000 4194304 6720400 140736764241568 18446744073709551615 5729151 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 23010 22592 265 617 0 22384 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 92040
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.50 3/178 18954
/proc/meminfo: memFree=30620728/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=172180 CPUtime=1062.32 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 5609006 0 0 0 105402 830 0 0 25 0 1 0 887649266 176312320 35020 33554432000 4194304 6720400 140736764241568 18446744073709551615 4815788 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 43045 35020 265 617 0 42419 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 172180
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.47 3/178 18956
/proc/meminfo: memFree=30602316/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=191168 CPUtime=1122.32 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 5903395 0 0 0 111356 876 0 0 25 0 1 0 887649266 195756032 38602 33554432000 4194304 6720400 140736764241568 18446744073709551615 5732728 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 47792 38602 265 617 0 47166 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 191168
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.44 3/178 18957
/proc/meminfo: memFree=30529852/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=111028 CPUtime=1182.33 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 6212447 0 0 0 117308 925 0 0 25 0 1 0 887649266 113692672 22856 33554432000 4194304 6720400 140736764241568 18446744073709551615 4616645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 27757 22856 265 617 0 27131 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 111028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.41 4/178 18959
/proc/meminfo: memFree=30643004/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=241256 CPUtime=1242.33 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 6529939 0 0 0 123260 973 0 0 25 0 1 0 887649266 247046144 48515 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 60314 48515 265 617 0 59688 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 241256
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.38 3/178 18961
/proc/meminfo: memFree=30515856/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=241256 CPUtime=1302.33 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 6827707 0 0 0 129212 1021 0 0 25 0 1 0 887649266 247046144 48976 33554432000 4194304 6720400 140736764241568 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 60314 48976 265 617 0 59688 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 241256
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.35 3/178 18962
/proc/meminfo: memFree=30608284/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=241256 CPUtime=1362.33 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 7130527 0 0 0 135163 1070 0 0 25 0 1 0 887649266 247046144 44667 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 60314 44667 265 617 0 59688 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 241256
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.33 3/178 18964
/proc/meminfo: memFree=30446524/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=241256 CPUtime=1422.34 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 7446287 0 0 0 141115 1119 0 0 25 0 1 0 887649266 247046144 57027 33554432000 4194304 6720400 140736764241568 18446744073709551615 4617388 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 60314 57027 265 617 0 59688 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 241256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/178 18965
/proc/meminfo: memFree=30502256/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=261624 CPUtime=1482.33 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 7758769 0 0 0 147066 1167 0 0 25 0 1 0 887649266 267902976 63328 33554432000 4194304 6720400 140736764241568 18446744073709551615 5722267 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 65406 63328 265 617 0 64780 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 261624
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.28 3/178 18967
/proc/meminfo: memFree=30455084/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=261624 CPUtime=1542.33 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 8059324 0 0 0 153021 1212 0 0 25 0 1 0 887649266 267902976 62434 33554432000 4194304 6720400 140736764241568 18446744073709551615 4714339 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 65406 62434 265 617 0 64780 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 261624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/178 18969
/proc/meminfo: memFree=30491136/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=261624 CPUtime=1602.34 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 8368808 0 0 0 158973 1261 0 0 25 0 1 0 887649266 267902976 63869 33554432000 4194304 6720400 140736764241568 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 65406 63870 265 617 0 64780 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 261624
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/178 18970
/proc/meminfo: memFree=30500128/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=211536 CPUtime=1662.34 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 8680706 0 0 0 164921 1313 0 0 25 0 1 0 887649266 216612864 52388 33554432000 4194304 6720400 140736764241568 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 52884 52388 265 617 0 52258 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 211536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.23 3/178 18972
/proc/meminfo: memFree=30456420/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=261624 CPUtime=1722.35 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 8982202 0 0 0 170877 1358 0 0 25 0 1 0 887649266 267902976 55161 33554432000 4194304 6720400 140736764241568 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 65406 55161 265 617 0 64780 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 261624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/178 18973
/proc/meminfo: memFree=30512788/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=261624 CPUtime=1782.34 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 9208497 0 0 0 176841 1393 0 0 25 0 1 0 887649266 267902976 60851 33554432000 4194304 6720400 140736764241568 18446744073709551615 4804275 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 65406 60851 265 617 0 64780 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 261624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.20 3/179 18975
/proc/meminfo: memFree=30588404/32951124 swapFree=67051744/67111528
[pid=18913] ppid=18911 vsize=211536 CPUtime=1800.04 cores=1,3,5,7
/proc/18913/stat : 18913 (minisatid) R 18911 18913 18867 0 -1 4202496 9258418 0 0 0 178604 1400 0 0 25 0 1 0 887649266 216612864 51256 33554432000 4194304 6720400 140736764241568 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/18913/statm: 52884 51256 265 617 0 52258 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 211536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1786.05
CPU system time (s): 14.0169
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 343012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.05
system time used= 14.0169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9258424
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= 3
involuntary context switches= 1033
runsolver used 2.41063 second user time and 5.78012 second system time
The end