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-3490602-1307769143/watcher-3490602-1307769143 -o /tmp/evaluation-result-3490602-1307769143/solver-3490602-1307769143 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490602-1307769143.opb --verbosity=0 --format=opb --randomseed=1355258723
running on 4 cores: 0,2,4,6
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.93 1.98 1.99 2/177 19720
/proc/meminfo: memFree=30866148/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=7444 CPUtime=0 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 376 0 0 0 0 0 0 0 25 0 1 0 888512278 7622656 329 33554432000 4194304 6720400 140736323639232 18446744073709551615 5256528 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 1861 330 231 617 0 1235 0
[startup+0.0835399 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 19720
/proc/meminfo: memFree=30866148/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=9252 CPUtime=0.08 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 970 0 0 0 8 0 0 0 25 0 1 0 888512278 9474048 919 33554432000 4194304 6720400 140736323639232 18446744073709551615 4610467 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 2313 919 264 617 0 1687 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9252
[startup+0.100535 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 19720
/proc/meminfo: memFree=30866148/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=9252 CPUtime=0.09 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 1040 0 0 0 9 0 0 0 25 0 1 0 888512278 9474048 988 33554432000 4194304 6720400 140736323639232 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 2313 988 264 617 0 1687 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9252
[startup+0.300508 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 19720
/proc/meminfo: memFree=30866148/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=9360 CPUtime=0.29 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 1855 0 0 0 29 0 0 0 25 0 1 0 888512278 9584640 1800 33554432000 4194304 6720400 140736323639232 18446744073709551615 4611482 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 2340 1800 264 617 0 1714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9360
[startup+0.700433 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 19720
/proc/meminfo: memFree=30866148/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=16596 CPUtime=0.69 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 3400 0 0 0 69 0 0 0 25 0 1 0 888512278 16994304 3339 33554432000 4194304 6720400 140736323639232 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 4149 3340 264 617 0 3523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16596
[startup+1.50028 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 19721
/proc/meminfo: memFree=30859220/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=9756 CPUtime=1.49 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 7799 0 0 0 149 0 0 0 25 0 1 0 888512278 9990144 1788 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 2439 1788 265 617 0 1813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9756
[startup+3.10099 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 19721
/proc/meminfo: memFree=30848800/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=25644 CPUtime=3.09 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 11702 0 0 0 308 1 0 0 25 0 1 0 888512278 26259456 5674 33554432000 4194304 6720400 140736323639232 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 6411 5674 265 617 0 5785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25644
[startup+6.30042 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 19721
/proc/meminfo: memFree=30823468/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=74964 CPUtime=6.29 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 30859 0 0 0 626 3 0 0 25 0 1 0 888512278 76763136 14388 33554432000 4194304 6720400 140736323639232 18446744073709551615 4812104 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 18741 14388 265 617 0 18115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74964
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 19721
/proc/meminfo: memFree=30829588/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=68236 CPUtime=12.69 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 63247 0 0 0 1261 8 0 0 25 0 1 0 888512278 69873664 15015 33554432000 4194304 6720400 140736323639232 18446744073709551615 4805670 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 17059 15015 265 617 0 16433 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68236
[startup+25.5009 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 19722
/proc/meminfo: memFree=30810720/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=68236 CPUtime=25.49 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 122922 0 0 0 2534 15 0 0 25 0 1 0 888512278 69873664 15302 33554432000 4194304 6720400 140736323639232 18446744073709551615 4805794 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 17059 15302 265 617 0 16433 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68236
[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 19722
/proc/meminfo: memFree=30788980/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=118024 CPUtime=51.09 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 247988 0 0 0 5074 35 0 0 25 0 1 0 888512278 120856576 22198 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 29506 22198 265 617 0 28880 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118024
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 19724
/proc/meminfo: memFree=30751724/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=148616 CPUtime=102.3 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 503942 0 0 0 10154 76 0 0 25 0 1 0 888512278 152182784 29148 33554432000 4194304 6720400 140736323639232 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 37154 29148 265 617 0 36528 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 148616
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19725
/proc/meminfo: memFree=30785308/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=117796 CPUtime=162.3 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 787786 0 0 0 16101 129 0 0 25 0 1 0 888512278 120623104 23627 33554432000 4194304 6720400 140736323639232 18446744073709551615 4434050 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 29449 23627 265 617 0 28823 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 117796
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19727
/proc/meminfo: memFree=30779044/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=117796 CPUtime=222.3 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 1089895 0 0 0 22053 177 0 0 25 0 1 0 888512278 120623104 22882 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 29449 22882 265 617 0 28823 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 117796
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19729
/proc/meminfo: memFree=30759048/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=148616 CPUtime=282.29 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 1376683 0 0 0 28006 223 0 0 25 0 1 0 888512278 152182784 30473 33554432000 4194304 6720400 140736323639232 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 37154 30473 265 617 0 36528 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 148616
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19730
/proc/meminfo: memFree=30717184/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=157884 CPUtime=342.3 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 1670965 0 0 0 33954 276 0 0 25 0 1 0 888512278 161673216 38725 33554432000 4194304 6720400 140736323639232 18446744073709551615 5734185 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 39471 38726 265 617 0 38845 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 157884
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19772
/proc/meminfo: memFree=30752948/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=188232 CPUtime=402.3 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 1945006 0 0 0 39911 319 0 0 25 0 1 0 888512278 192749568 35328 33554432000 4194304 6720400 140736323639232 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 47058 35328 265 617 0 46432 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 188232
[startup+462.301 s]
/proc/loadavg: 2.07 2.01 2.00 3/178 19773
/proc/meminfo: memFree=30713184/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=188232 CPUtime=462.31 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 2234834 0 0 0 45867 364 0 0 25 0 1 0 888512278 192749568 37531 33554432000 4194304 6720400 140736323639232 18446744073709551615 4815483 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 47058 37531 265 617 0 46432 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 188232
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19775
/proc/meminfo: memFree=30641104/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=108092 CPUtime=522.31 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 2525856 0 0 0 51820 411 0 0 25 0 1 0 888512278 110686208 21919 33554432000 4194304 6720400 140736323639232 18446744073709551615 4616654 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 27023 21919 265 617 0 26397 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 108092
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19777
/proc/meminfo: memFree=30720404/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=157412 CPUtime=582.31 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 2813154 0 0 0 57774 457 0 0 25 0 1 0 888512278 161189888 31100 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 39353 31100 265 617 0 38727 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 157412
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19783
/proc/meminfo: memFree=30702004/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=172876 CPUtime=822.31 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 3894727 0 0 0 81603 628 0 0 25 0 1 0 888512278 177025024 39191 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 43219 39191 265 617 0 42593 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 172876
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19785
/proc/meminfo: memFree=30574496/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=123556 CPUtime=882.31 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 4163966 0 0 0 87559 672 0 0 25 0 1 0 888512278 126521344 30445 33554432000 4194304 6720400 140736323639232 18446744073709551615 4433888 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 30889 30445 265 617 0 30263 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 123556
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19786
/proc/meminfo: memFree=30666204/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=203696 CPUtime=942.31 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 4427677 0 0 0 93518 713 0 0 25 0 1 0 888512278 208584704 42814 33554432000 4194304 6720400 140736323639232 18446744073709551615 4813153 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 50924 42814 265 617 0 50298 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 203696
[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19788
/proc/meminfo: memFree=30600684/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=253784 CPUtime=1002.32 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 4693938 0 0 0 99476 756 0 0 25 0 1 0 888512278 259874816 56313 33554432000 4194304 6720400 140736323639232 18446744073709551615 5732739 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 63446 56313 265 617 0 62820 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 253784
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19789
/proc/meminfo: memFree=30597800/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=253784 CPUtime=1062.32 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 4990362 0 0 0 105430 802 0 0 25 0 1 0 888512278 259874816 59826 33554432000 4194304 6720400 140736323639232 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 63446 59826 265 617 0 62820 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 253784
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19791
/proc/meminfo: memFree=30584364/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=253784 CPUtime=1122.33 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 5290355 0 0 0 111386 847 0 0 25 0 1 0 888512278 259874816 60901 33554432000 4194304 6720400 140736323639232 18446744073709551615 4715089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 63446 60901 265 617 0 62820 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 253784
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19793
/proc/meminfo: memFree=30616188/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=123556 CPUtime=1182.33 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 5576224 0 0 0 117345 888 0 0 25 0 1 0 888512278 126521344 30445 33554432000 4194304 6720400 140736323639232 18446744073709551615 4819054 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 30889 30445 265 617 0 30263 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 123556
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19794
/proc/meminfo: memFree=30638460/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=203696 CPUtime=1242.33 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 5882706 0 0 0 123300 933 0 0 25 0 1 0 888512278 208584704 47834 33554432000 4194304 6720400 140736323639232 18446744073709551615 4812160 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 50924 47834 265 617 0 50298 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 203696
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19796
/proc/meminfo: memFree=30666560/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=172876 CPUtime=1302.33 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 6190570 0 0 0 129251 982 0 0 25 0 1 0 888512278 177025024 38452 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 43219 38452 265 617 0 42593 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 172876
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19797
/proc/meminfo: memFree=30611820/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=203696 CPUtime=1362.33 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 6480186 0 0 0 135204 1029 0 0 25 0 1 0 888512278 208584704 45282 33554432000 4194304 6720400 140736323639232 18446744073709551615 4803388 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 50924 45282 265 617 0 50298 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 203696
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19799
/proc/meminfo: memFree=30583624/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=253784 CPUtime=1422.34 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 6774241 0 0 0 141157 1077 0 0 25 0 1 0 888512278 259874816 51487 33554432000 4194304 6720400 140736323639232 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 63446 51487 265 617 0 62820 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 253784
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19801
/proc/meminfo: memFree=30567212/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=253784 CPUtime=1482.33 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 7064544 0 0 0 147111 1122 0 0 25 0 1 0 888512278 259874816 58210 33554432000 4194304 6720400 140736323639232 18446744073709551615 4820147 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 63446 58211 265 617 0 62820 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 253784
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 19802
/proc/meminfo: memFree=30566528/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=203696 CPUtime=1542.34 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 7353366 0 0 0 153070 1164 0 0 25 0 1 0 888512278 208584704 47244 33554432000 4194304 6720400 140736323639232 18446744073709551615 5715344 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 50924 47244 265 617 0 50298 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 203696
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19804
/proc/meminfo: memFree=30634308/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=172876 CPUtime=1602.34 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 7619950 0 0 0 159025 1209 0 0 25 0 1 0 888512278 177025024 41101 33554432000 4194304 6720400 140736323639232 18446744073709551615 4816974 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 43219 41101 265 617 0 42593 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 172876
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19805
/proc/meminfo: memFree=30665120/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=123556 CPUtime=1662.35 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 7900087 0 0 0 164981 1254 0 0 25 0 1 0 888512278 126521344 30446 33554432000 4194304 6720400 140736323639232 18446744073709551615 4583104 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 30889 30446 265 617 0 30263 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 123556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19807
/proc/meminfo: memFree=30544908/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=335172 CPUtime=1722.34 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 8186861 0 0 0 170934 1300 0 0 25 0 1 0 888512278 343216128 64359 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 83793 64359 265 617 0 83167 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 335172
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19809
/proc/meminfo: memFree=30564684/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=222564 CPUtime=1782.34 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 8460925 0 0 0 176890 1344 0 0 25 0 1 0 888512278 227905536 46254 33554432000 4194304 6720400 140736323639232 18446744073709551615 4812001 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 55641 46255 265 617 0 55015 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 222564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19809
/proc/meminfo: memFree=30610804/32951124 swapFree=67051744/67111528
[pid=19720] ppid=19718 vsize=222564 CPUtime=1800.04 cores=0,2,4,6
/proc/19720/stat : 19720 (minisatid) R 19718 19720 18867 0 -1 4202496 8547456 0 0 0 178646 1358 0 0 25 0 1 0 888512278 227905536 44173 33554432000 4194304 6720400 140736323639232 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/19720/statm: 55641 44173 265 617 0 55015 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 222564
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.47
CPU system time (s): 13.5989
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 354040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.47
system time used= 13.5989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8547462
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= 5
involuntary context switches= 20910
runsolver used 2.66859 second user time and 5.52416 second system time
The end