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-3490737-1307771326/watcher-3490737-1307771326 -o /tmp/evaluation-result-3490737-1307771326/solver-3490737-1307771326 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490737-1307771326.opb --verbosity=0 --format=opb --randomseed=2013964413
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.92 1.98 1.99 3/177 19896
/proc/meminfo: memFree=30747872/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=7700 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 456 0 0 0 0 0 0 0 25 0 1 0 888730578 7884800 409 33554432000 4194304 6720400 140736026260592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 1925 410 231 617 0 1299 0
[startup+0.0785309 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19896
/proc/meminfo: memFree=30747872/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=14100 CPUtime=0.07 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 2038 0 0 0 7 0 0 0 25 0 1 0 888730578 14438400 1991 33554432000 4194304 6720400 140736026260592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 3525 1992 231 617 0 2899 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14100
[startup+0.100523 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19896
/proc/meminfo: memFree=30747872/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=16020 CPUtime=0.09 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 2512 0 0 0 9 0 0 0 25 0 1 0 888730578 16404480 2465 33554432000 4194304 6720400 140736026260592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 4005 2466 231 617 0 3379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16020
[startup+0.300492 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19896
/proc/meminfo: memFree=30747872/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=43700 CPUtime=0.29 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 9539 0 0 0 28 1 0 0 25 0 1 0 888730578 44748800 9265 33554432000 4194304 6720400 140736026260592 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 10925 9267 245 617 0 10299 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43700
[startup+0.700415 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19896
/proc/meminfo: memFree=30747872/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=63728 CPUtime=0.68 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 14508 0 0 0 67 1 0 0 25 0 1 0 888730578 65257472 14234 33554432000 4194304 6720400 140736026260592 18446744073709551615 4805623 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 15932 14234 257 617 0 15306 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 63728
[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 19897
/proc/meminfo: memFree=30692104/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=63728 CPUtime=1.49 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 15296 0 0 0 147 2 0 0 25 0 1 0 888730578 65257472 15022 33554432000 4194304 6720400 140736026260592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 15932 15022 265 617 0 15306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63728
[startup+3.10098 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 19897
/proc/meminfo: memFree=30677224/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=79784 CPUtime=3.09 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 25579 0 0 0 305 4 0 0 25 0 1 0 888730578 81698816 19293 33554432000 4194304 6720400 140736026260592 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 19946 19293 266 617 0 19320 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79784
[startup+6.3004 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 19897
/proc/meminfo: memFree=30637420/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=161840 CPUtime=6.29 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 57962 0 0 0 621 8 0 0 25 0 1 0 888730578 165724160 35255 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 40460 35255 266 617 0 39834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161840
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 19898
/proc/meminfo: memFree=30602052/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=112520 CPUtime=12.69 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 100483 0 0 0 1257 12 0 0 25 0 1 0 888730578 115220480 27600 33554432000 4194304 6720400 140736026260592 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 28130 27600 266 617 0 27504 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112520
[startup+25.5009 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 19898
/proc/meminfo: memFree=30635660/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=162480 CPUtime=25.49 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 191697 0 0 0 2526 23 0 0 25 0 1 0 888730578 166379520 36039 33554432000 4194304 6720400 140736026260592 18446744073709551615 4805968 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 40620 36039 266 617 0 39994 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 162480
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 19899
/proc/meminfo: memFree=30604496/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=192772 CPUtime=51.09 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 363742 0 0 0 5062 47 0 0 25 0 1 0 888730578 197398528 44118 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 48193 44118 266 617 0 47567 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 192772
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 19900
/proc/meminfo: memFree=30528680/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=232760 CPUtime=102.3 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 703418 0 0 0 10138 92 0 0 25 0 1 0 888730578 238346240 51702 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 58190 51702 266 617 0 57564 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 232760
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19902
/proc/meminfo: memFree=30474176/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=213632 CPUtime=162.29 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 1044073 0 0 0 16091 138 0 0 25 0 1 0 888730578 218759168 48883 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 53408 48883 266 617 0 52782 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 213632
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19903
/proc/meminfo: memFree=30466200/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=249828 CPUtime=222.3 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 1441071 0 0 0 22035 195 0 0 25 0 1 0 888730578 255823872 57879 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 62457 57879 266 617 0 61831 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 249828
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19905
/proc/meminfo: memFree=30462924/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=257792 CPUtime=282.3 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 1765997 0 0 0 27986 244 0 0 25 0 1 0 888730578 263979008 62401 33554432000 4194304 6720400 140736026260592 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 64448 62402 266 617 0 63822 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 257792
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19906
/proc/meminfo: memFree=30474656/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=238380 CPUtime=342.3 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 2078696 0 0 0 33939 291 0 0 25 0 1 0 888730578 244101120 58053 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 59595 58053 266 617 0 58969 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 238380
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19908
/proc/meminfo: memFree=30496928/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=277040 CPUtime=402.3 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 2427218 0 0 0 39892 338 0 0 25 0 1 0 888730578 283688960 64630 33554432000 4194304 6720400 140736026260592 18446744073709551615 4820727 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 69260 64630 266 617 0 68634 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 277040
[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19910
/proc/meminfo: memFree=30417996/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=199200 CPUtime=462.31 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 2851966 0 0 0 45831 400 0 0 25 0 1 0 888730578 203980800 49187 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 49800 49187 266 617 0 49174 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 199200
[startup+522.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 19911
/proc/meminfo: memFree=30476332/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=282656 CPUtime=522.31 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 3135363 0 0 0 51787 444 0 0 25 0 1 0 888730578 289439744 68240 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 70664 68240 266 617 0 70038 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 282656
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19913
/proc/meminfo: memFree=30442664/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=286924 CPUtime=582.31 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 3450094 0 0 0 57743 488 0 0 25 0 1 0 888730578 293810176 64482 33554432000 4194304 6720400 140736026260592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 71731 64482 266 617 0 71105 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 286924
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19928
/proc/meminfo: memFree=30438852/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=306076 CPUtime=822.31 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 4558414 0 0 0 81582 649 0 0 25 0 1 0 888730578 313421824 75357 33554432000 4194304 6720400 140736026260592 18446744073709551615 4805760 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 76519 75357 266 617 0 75893 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 306076
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19930
/proc/meminfo: memFree=30380644/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=328548 CPUtime=882.32 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 4869185 0 0 0 87537 695 0 0 25 0 1 0 888730578 336433152 75966 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 82137 75966 266 617 0 81511 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 328548
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19934
/proc/meminfo: memFree=30499128/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=297728 CPUtime=942.32 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 5348428 0 0 0 93466 766 0 0 25 0 1 0 888730578 304873472 68608 33554432000 4194304 6720400 140736026260592 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 74432 68608 266 617 0 73806 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 297728
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19936
/proc/meminfo: memFree=30399140/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=297728 CPUtime=1002.32 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 5609261 0 0 0 99428 804 0 0 25 0 1 0 888730578 304873472 69697 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 74432 69697 266 617 0 73806 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 297728
[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19938
/proc/meminfo: memFree=30380496/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=328548 CPUtime=1062.32 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 5889691 0 0 0 105385 847 0 0 25 0 1 0 888730578 336433152 75636 33554432000 4194304 6720400 140736026260592 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 82137 75636 266 617 0 81511 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 328548
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19939
/proc/meminfo: memFree=30362716/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=248408 CPUtime=1122.32 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 6119518 0 0 0 111354 878 0 0 25 0 1 0 888730578 254369792 58645 33554432000 4194304 6720400 140736026260592 18446744073709551615 4813772 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 62102 58645 266 617 0 61476 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 248408
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19941
/proc/meminfo: memFree=30397760/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=328548 CPUtime=1182.33 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 6418304 0 0 0 117312 921 0 0 25 0 1 0 888730578 336433152 76841 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 82137 76841 266 617 0 81511 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 328548
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19942
/proc/meminfo: memFree=30401056/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=328548 CPUtime=1242.33 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 6646577 0 0 0 123280 953 0 0 25 0 1 0 888730578 336433152 71678 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 82137 71678 266 617 0 81511 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 328548
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19944
/proc/meminfo: memFree=30436348/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=248408 CPUtime=1302.34 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 6880677 0 0 0 129245 989 0 0 25 0 1 0 888730578 254369792 59665 33554432000 4194304 6720400 140736026260592 18446744073709551615 4812705 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 62102 59665 266 617 0 61476 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 248408
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19946
/proc/meminfo: memFree=30400460/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=297728 CPUtime=1362.33 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 7155111 0 0 0 135208 1025 0 0 25 0 1 0 888730578 304873472 71672 33554432000 4194304 6720400 140736026260592 18446744073709551615 4610932 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 74432 71672 266 617 0 73806 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 297728
[startup+1422.31 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 19986
/proc/meminfo: memFree=30537600/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=328548 CPUtime=1422.34 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 7482857 0 0 0 141161 1073 0 0 25 0 1 0 888730578 336433152 78201 33554432000 4194304 6720400 140736026260592 18446744073709551615 4807453 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 82137 78201 266 617 0 81511 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 328548
[startup+1482.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 19988
/proc/meminfo: memFree=30476336/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=297728 CPUtime=1482.33 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 7683928 0 0 0 147128 1105 0 0 25 0 1 0 888730578 304873472 70509 33554432000 4194304 6720400 140736026260592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 74432 70509 266 617 0 73806 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 297728
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19989
/proc/meminfo: memFree=30383648/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=297728 CPUtime=1542.34 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 7911088 0 0 0 153093 1141 0 0 25 0 1 0 888730578 304873472 71434 33554432000 4194304 6720400 140736026260592 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 74432 71434 266 617 0 73806 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 297728
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19991
/proc/meminfo: memFree=30331528/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=248408 CPUtime=1602.33 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 8162173 0 0 0 159056 1177 0 0 25 0 1 0 888730578 254369792 61584 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 62102 61584 266 617 0 61476 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 248408
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19993
/proc/meminfo: memFree=30335208/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=347416 CPUtime=1662.34 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 8413723 0 0 0 165022 1212 0 0 25 0 1 0 888730578 355753984 76685 33554432000 4194304 6720400 140736026260592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 86854 76685 266 617 0 86228 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 347416
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19994
/proc/meminfo: memFree=30334772/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=347416 CPUtime=1722.34 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 8625342 0 0 0 170992 1242 0 0 25 0 1 0 888730578 355753984 77371 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 86854 77371 266 617 0 86228 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 347416
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19996
/proc/meminfo: memFree=30320960/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=347416 CPUtime=1782.34 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 8831630 0 0 0 176962 1272 0 0 25 0 1 0 888730578 355753984 76051 33554432000 4194304 6720400 140736026260592 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 86854 76051 266 617 0 86228 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 347416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 19996
/proc/meminfo: memFree=30313744/32951124 swapFree=67051744/67111528
[pid=19896] ppid=19894 vsize=316596 CPUtime=1800.05 cores=1,3,5,7
/proc/19896/stat : 19896 (minisatid) R 19894 19896 18867 0 -1 4202496 8900417 0 0 0 178720 1285 0 0 25 0 1 0 888730578 324194304 70505 33554432000 4194304 6720400 140736026260592 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/19896/statm: 79149 70505 266 617 0 78523 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 316596
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): 1787.21
CPU system time (s): 12.862
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 378636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.21
system time used= 12.862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8900423
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= 2849
runsolver used 2.38764 second user time and 5.82811 second system time
The end