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-3490685-1307766732/watcher-3490685-1307766732 -o /tmp/evaluation-result-3490685-1307766732/solver-3490685-1307766732 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490685-1307766732.opb --verbosity=0 --format=opb --randomseed=589834008
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 1.63 1.70 2/177 30224
/proc/meminfo: memFree=31548968/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=7700 CPUtime=0 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 430 0 0 0 0 0 0 0 25 0 1 0 888274144 7884800 382 33554432000 4194304 6720400 140735770944256 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 1925 383 231 617 0 1299 0
[startup+0.073504 s]
/proc/loadavg: 1.96 1.63 1.70 2/177 30224
/proc/meminfo: memFree=31548968/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=9916 CPUtime=0.07 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 1046 0 0 0 7 0 0 0 25 0 1 0 888274144 10153984 996 33554432000 4194304 6720400 140735770944256 18446744073709551615 4820039 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 2479 996 265 617 0 1853 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9916
[startup+0.100499 s]
/proc/loadavg: 1.96 1.63 1.70 2/177 30224
/proc/meminfo: memFree=31548968/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=9916 CPUtime=0.09 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 1165 0 0 0 9 0 0 0 25 0 1 0 888274144 10153984 1115 33554432000 4194304 6720400 140735770944256 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 2479 1115 265 617 0 1853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9916
[startup+0.300465 s]
/proc/loadavg: 1.96 1.63 1.70 2/177 30224
/proc/meminfo: memFree=31548968/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=10028 CPUtime=0.29 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 2087 0 0 0 29 0 0 0 25 0 1 0 888274144 10268672 2037 33554432000 4194304 6720400 140735770944256 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 2507 2037 265 617 0 1881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10028
[startup+0.700389 s]
/proc/loadavg: 1.96 1.63 1.70 2/177 30224
/proc/meminfo: memFree=31548968/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=17288 CPUtime=0.69 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 3790 0 0 0 69 0 0 0 25 0 1 0 888274144 17702912 3739 33554432000 4194304 6720400 140735770944256 18446744073709551615 4813206 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 4322 3739 265 617 0 3696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17288
[startup+1.50025 s]
/proc/loadavg: 1.97 1.63 1.70 3/178 30225
/proc/meminfo: memFree=31520340/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=17648 CPUtime=1.49 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 7661 0 0 0 148 1 0 0 25 0 1 0 888274144 18071552 2925 33554432000 4194304 6720400 140735770944256 18446744073709551615 4820027 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 4412 2925 265 617 0 3786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17648
[startup+3.10097 s]
/proc/loadavg: 1.97 1.63 1.70 3/178 30225
/proc/meminfo: memFree=31515256/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=58056 CPUtime=3.1 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 16167 0 0 0 308 2 0 0 25 0 1 0 888274144 59449344 7915 33554432000 4194304 6720400 140735770944256 18446744073709551615 4816956 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 14514 7915 266 617 0 13888 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 58056
[startup+6.3004 s]
/proc/loadavg: 1.97 1.64 1.70 3/178 30225
/proc/meminfo: memFree=31496764/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=58056 CPUtime=6.29 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 20154 0 0 0 627 2 0 0 25 0 1 0 888274144 59449344 11893 33554432000 4194304 6720400 140735770944256 18446744073709551615 4617319 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 14514 11893 266 617 0 13888 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58056
[startup+12.7003 s]
/proc/loadavg: 1.97 1.65 1.70 3/178 30225
/proc/meminfo: memFree=31507892/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=27836 CPUtime=12.69 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 35985 0 0 0 1264 5 0 0 25 0 1 0 888274144 28504064 3970 33554432000 4194304 6720400 140735770944256 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 6959 3971 266 617 0 6333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27836
[startup+25.501 s]
/proc/loadavg: 1.98 1.66 1.71 3/178 30225
/proc/meminfo: memFree=31447416/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=119148 CPUtime=25.49 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 80691 0 0 0 2539 10 0 0 25 0 1 0 888274144 122007552 21634 33554432000 4194304 6720400 140735770944256 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 29787 21634 266 617 0 29161 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119148
[startup+51.1005 s]
/proc/loadavg: 1.98 1.69 1.71 3/178 30226
/proc/meminfo: memFree=31508580/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=119148 CPUtime=51.09 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 207164 0 0 0 5081 28 0 0 25 0 1 0 888274144 122007552 20487 33554432000 4194304 6720400 140735770944256 18446744073709551615 4803270 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 29787 20487 266 617 0 29161 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 119148
[startup+102.306 s]
/proc/loadavg: 1.99 1.73 1.73 3/178 30227
/proc/meminfo: memFree=31461188/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=119316 CPUtime=102.3 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 445858 0 0 0 10169 61 0 0 25 0 1 0 888274144 122179584 25775 33554432000 4194304 6720400 140735770944256 18446744073709551615 4805996 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 29829 25776 266 617 0 29203 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 119316
[startup+162.301 s]
/proc/loadavg: 1.99 1.78 1.74 3/178 30229
/proc/meminfo: memFree=31422588/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=81488 CPUtime=162.29 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 710906 0 0 0 16128 101 0 0 25 0 1 0 888274144 83443712 19926 33554432000 4194304 6720400 140735770944256 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 20372 19926 266 617 0 19746 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 81488
[startup+222.3 s]
/proc/loadavg: 1.99 1.82 1.75 3/178 30230
/proc/meminfo: memFree=31459860/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=81488 CPUtime=222.3 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 1004818 0 0 0 22084 146 0 0 25 0 1 0 888274144 83443712 19928 33554432000 4194304 6720400 140735770944256 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 20372 19928 266 617 0 19746 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 81488
[startup+282.301 s]
/proc/loadavg: 1.99 1.85 1.76 3/178 30232
/proc/meminfo: memFree=31370416/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=180568 CPUtime=282.3 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 1298531 0 0 0 28041 189 0 0 25 0 1 0 888274144 184901632 39635 33554432000 4194304 6720400 140735770944256 18446744073709551615 5715344 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 45142 39635 266 617 0 44516 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 180568
[startup+342.301 s]
/proc/loadavg: 1.99 1.87 1.77 3/178 30234
/proc/meminfo: memFree=31318288/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=230656 CPUtime=342.3 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 1571446 0 0 0 33996 234 0 0 25 0 1 0 888274144 236191744 56447 33554432000 4194304 6720400 140735770944256 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 57664 56447 266 617 0 57038 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 230656
[startup+402.3 s]
/proc/loadavg: 2.03 1.91 1.79 3/178 30235
/proc/meminfo: memFree=31389540/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=180568 CPUtime=402.3 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 1816014 0 0 0 39960 270 0 0 25 0 1 0 888274144 184901632 38649 33554432000 4194304 6720400 140735770944256 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 45142 38649 266 617 0 44516 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 180568
[startup+462.301 s]
/proc/loadavg: 2.01 1.92 1.80 3/178 30237
/proc/meminfo: memFree=31398804/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=100428 CPUtime=462.3 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 2103032 0 0 0 45918 312 0 0 25 0 1 0 888274144 102838272 24664 33554432000 4194304 6720400 140735770944256 18446744073709551615 4803131 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 25107 24664 266 617 0 24481 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 100428
[startup+522.301 s]
/proc/loadavg: 2.00 1.93 1.81 3/178 30238
/proc/meminfo: memFree=31364040/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=100428 CPUtime=522.31 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 2411387 0 0 0 51872 359 0 0 25 0 1 0 888274144 102838272 24664 33554432000 4194304 6720400 140735770944256 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 25107 24664 266 617 0 24481 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 100428
[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.82 3/178 30240
/proc/meminfo: memFree=31371812/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=100428 CPUtime=582.31 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 2700407 0 0 0 57830 401 0 0 25 0 1 0 888274144 102838272 24664 33554432000 4194304 6720400 140735770944256 18446744073709551615 4610467 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 25107 24664 266 617 0 24481 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 100428
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.97 1.85 4/178 30246
/proc/meminfo: memFree=31334792/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=182624 CPUtime=822.31 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 3827710 0 0 0 81657 574 0 0 25 0 1 0 888274144 187006976 43648 33554432000 4194304 6720400 140735770944256 18446744073709551615 4803288 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 45656 43648 266 617 0 45030 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 182624
[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 30248
/proc/meminfo: memFree=31271004/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=263532 CPUtime=882.31 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 4111971 0 0 0 87613 618 0 0 25 0 1 0 888274144 269856768 63760 33554432000 4194304 6720400 140735770944256 18446744073709551615 4813203 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 65883 63760 266 617 0 65257 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 263532
[startup+942.301 s]
/proc/loadavg: 2.05 1.99 1.86 3/178 30250
/proc/meminfo: memFree=31323772/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=263532 CPUtime=942.31 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 4372368 0 0 0 93573 658 0 0 25 0 1 0 888274144 269856768 59162 33554432000 4194304 6720400 140735770944256 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 65883 59162 266 617 0 65257 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 263532
[startup+1002.3 s]
/proc/loadavg: 2.02 1.99 1.87 3/178 30251
/proc/meminfo: memFree=31356336/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=201492 CPUtime=1002.31 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 4631758 0 0 0 99537 694 0 0 25 0 1 0 888274144 206327808 40722 33554432000 4194304 6720400 140735770944256 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 50373 40722 266 617 0 49747 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 201492
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 30253
/proc/meminfo: memFree=31291448/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=152172 CPUtime=1062.32 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 4939161 0 0 0 105493 739 0 0 25 0 1 0 888274144 155824128 37634 33554432000 4194304 6720400 140735770944256 18446744073709551615 4812598 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 38043 37634 266 617 0 37417 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 152172
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 30254
/proc/meminfo: memFree=31361824/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=201492 CPUtime=1122.32 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 5243268 0 0 0 111453 779 0 0 25 0 1 0 888274144 206327808 48349 33554432000 4194304 6720400 140735770944256 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 50373 48349 266 617 0 49747 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 201492
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 30256
/proc/meminfo: memFree=31315404/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=152172 CPUtime=1182.32 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 5535661 0 0 0 117410 822 0 0 25 0 1 0 888274144 155824128 37634 33554432000 4194304 6720400 140735770944256 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 38043 37634 266 617 0 37417 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 152172
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 30258
/proc/meminfo: memFree=31311008/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=282400 CPUtime=1242.32 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 5797924 0 0 0 123371 861 0 0 25 0 1 0 888274144 289177600 58286 33554432000 4194304 6720400 140735770944256 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 70600 58286 266 617 0 69974 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 282400
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 30259
/proc/meminfo: memFree=31305380/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=201492 CPUtime=1302.32 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 6065836 0 0 0 129331 901 0 0 25 0 1 0 888274144 206327808 46056 33554432000 4194304 6720400 140735770944256 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 50373 46056 266 617 0 49747 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 201492
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 30261
/proc/meminfo: memFree=31358532/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=202756 CPUtime=1362.33 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 6335849 0 0 0 135292 941 0 0 25 0 1 0 888274144 207622144 49010 33554432000 4194304 6720400 140735770944256 18446744073709551615 4803344 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 50689 49010 266 617 0 50063 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 202756
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 30262
/proc/meminfo: memFree=31328972/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=184920 CPUtime=1422.34 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 6601049 0 0 0 141253 981 0 0 25 0 1 0 888274144 189358080 45778 33554432000 4194304 6720400 140735770944256 18446744073709551615 4819080 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 46230 45778 266 617 0 45604 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 184920
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 30264
/proc/meminfo: memFree=31251048/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=265060 CPUtime=1482.33 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 6891196 0 0 0 147208 1025 0 0 25 0 1 0 888274144 271421440 60917 33554432000 4194304 6720400 140735770944256 18446744073709551615 4820717 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 66265 60917 266 617 0 65639 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 265060
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 30266
/proc/meminfo: memFree=31312252/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=234240 CPUtime=1542.33 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 7167282 0 0 0 153167 1066 0 0 25 0 1 0 888274144 239861760 54948 33554432000 4194304 6720400 140735770944256 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 58560 54948 266 617 0 57934 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 234240
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 30267
/proc/meminfo: memFree=31253800/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=315148 CPUtime=1602.33 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 7419867 0 0 0 159126 1107 0 0 25 0 1 0 888274144 322711552 67324 33554432000 4194304 6720400 140735770944256 18446744073709551615 4432124 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 78787 67325 266 617 0 78161 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 315148
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 30308
/proc/meminfo: memFree=31368744/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=265060 CPUtime=1662.33 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 7681748 0 0 0 165084 1149 0 0 25 0 1 0 888274144 271421440 63130 33554432000 4194304 6720400 140735770944256 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 66265 63130 266 617 0 65639 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 265060
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 30309
/proc/meminfo: memFree=31402656/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=234240 CPUtime=1722.34 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 7897236 0 0 0 171052 1182 0 0 25 0 1 0 888274144 239861760 57414 33554432000 4194304 6720400 140735770944256 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 58560 57414 266 617 0 57934 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 234240
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 30320
/proc/meminfo: memFree=31399252/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=234240 CPUtime=1782.33 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 8158685 0 0 0 177015 1218 0 0 25 0 1 0 888274144 239861760 55803 33554432000 4194304 6720400 140735770944256 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 58560 55803 266 617 0 57934 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 234240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 30321
/proc/meminfo: memFree=31363532/32951124 swapFree=67052292/67111528
[pid=30224] ppid=30222 vsize=234240 CPUtime=1800.04 cores=1,3,5,7
/proc/30224/stat : 30224 (minisatid) R 30222 30224 26964 0 -1 4202496 8248718 0 0 0 178773 1231 0 0 25 0 1 0 888274144 239861760 55180 33554432000 4194304 6720400 140735770944256 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30224/statm: 58560 55181 266 617 0 57934 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 234240
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.06
CPU user time (s): 1787.74
CPU system time (s): 12.3231
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 396536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.74
system time used= 12.3231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8248724
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= 4
involuntary context switches= 1292
runsolver used 2.28865 second user time and 5.9371 second system time
The end