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-3491548-1307790603/watcher-3491548-1307790603 -o /tmp/evaluation-result-3491548-1307790603/solver-3491548-1307790603 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491548-1307790603.opb --verbosity=0 --format=opb --randomseed=1227717900
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.97 1.99 1.95 2/177 23467
/proc/meminfo: memFree=31744032/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=7440 CPUtime=0 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 380 0 0 0 0 0 0 0 25 0 1 0 890660740 7618560 333 33554432000 4194304 6720400 140736133489024 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 1860 333 230 617 0 1234 0
[startup+0.0605849 s]
/proc/loadavg: 1.97 1.99 1.95 2/177 23467
/proc/meminfo: memFree=31744032/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=10768 CPUtime=0.05 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 1211 0 0 0 5 0 0 0 25 0 1 0 890660740 11026432 1164 33554432000 4194304 6720400 140736133489024 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 2692 1165 230 617 0 2066 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10768
[startup+0.100582 s]
/proc/loadavg: 1.97 1.99 1.95 2/177 23467
/proc/meminfo: memFree=31744032/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=13204 CPUtime=0.09 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 1811 0 0 0 9 0 0 0 25 0 1 0 890660740 13520896 1764 33554432000 4194304 6720400 140736133489024 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 3301 1764 230 617 0 2675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13204
[startup+0.300536 s]
/proc/loadavg: 1.97 1.99 1.95 2/177 23467
/proc/meminfo: memFree=31744032/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=25008 CPUtime=0.29 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 4756 0 0 0 29 0 0 0 25 0 1 0 890660740 25608192 4709 33554432000 4194304 6720400 140736133489024 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 6252 4709 230 617 0 5626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25008
[startup+0.700491 s]
/proc/loadavg: 1.97 1.99 1.95 2/177 23467
/proc/meminfo: memFree=31744032/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=48152 CPUtime=0.69 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 10545 0 0 0 68 1 0 0 25 0 1 0 890660740 49307648 10498 33554432000 4194304 6720400 140736133489024 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 12038 10498 230 617 0 11412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48152
[startup+1.50035 s]
/proc/loadavg: 1.97 1.99 1.95 3/178 23468
/proc/meminfo: memFree=31685396/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=104464 CPUtime=1.49 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 24988 0 0 0 146 3 0 0 25 0 1 0 890660740 106971136 24457 33554432000 4194304 6720400 140736133489024 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 26116 24459 245 617 0 25490 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104464
[startup+3.10105 s]
/proc/loadavg: 2.06 2.00 1.96 3/178 23468
/proc/meminfo: memFree=31544412/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=349656 CPUtime=3.1 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 86356 0 0 0 299 11 0 0 25 0 1 0 890660740 358047744 85312 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87414 85312 262 617 0 86788 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 349656
[startup+6.30044 s]
/proc/loadavg: 2.06 2.00 1.96 3/178 23468
/proc/meminfo: memFree=31401960/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=349656 CPUtime=6.3 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 86362 0 0 0 619 11 0 0 25 0 1 0 890660740 358047744 85318 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87414 85318 263 617 0 86788 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 349656
[startup+12.7003 s]
/proc/loadavg: 2.05 2.00 1.96 3/178 23468
/proc/meminfo: memFree=31400716/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=345300 CPUtime=12.7 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 86527 0 0 0 1259 11 0 0 25 0 1 0 890660740 353587200 85414 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 86325 85414 264 617 0 85699 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 345300
[startup+25.501 s]
/proc/loadavg: 2.04 2.00 1.96 3/178 23468
/proc/meminfo: memFree=31400688/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=345300 CPUtime=25.5 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 86531 0 0 0 2539 11 0 0 25 0 1 0 890660740 353587200 85418 33554432000 4194304 6720400 140736133489024 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 86325 85418 264 617 0 85699 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 345300
[startup+51.1003 s]
/proc/loadavg: 2.03 2.00 1.96 3/178 23469
/proc/meminfo: memFree=31399892/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=345300 CPUtime=51.09 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 86652 0 0 0 5098 11 0 0 25 0 1 0 890660740 353587200 85539 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 86325 85539 264 617 0 85699 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 345300
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 23470
/proc/meminfo: memFree=31399212/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=345300 CPUtime=102.3 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 86653 0 0 0 10219 11 0 0 25 0 1 0 890660740 353587200 85540 33554432000 4194304 6720400 140736133489024 18446744073709551615 4803423 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 86325 85540 264 617 0 85699 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 345300
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23472
/proc/meminfo: memFree=31396428/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=347420 CPUtime=162.3 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87090 0 0 0 16219 11 0 0 25 0 1 0 890660740 355758080 85960 33554432000 4194304 6720400 140736133489024 18446744073709551615 4592868 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 86855 85960 264 617 0 86229 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 347420
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23474
/proc/meminfo: memFree=31395632/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=347420 CPUtime=222.3 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87090 0 0 0 22219 11 0 0 25 0 1 0 890660740 355758080 85960 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 86855 85960 264 617 0 86229 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 347420
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23475
/proc/meminfo: memFree=31393836/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=347420 CPUtime=282.3 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87133 0 0 0 28219 11 0 0 25 0 1 0 890660740 355758080 86002 33554432000 4194304 6720400 140736133489024 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 86855 86002 264 617 0 86229 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 347420
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23477
/proc/meminfo: memFree=31392160/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=349208 CPUtime=342.3 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87552 0 0 0 34219 11 0 0 25 0 1 0 890660740 357588992 86407 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820110 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87302 86407 264 617 0 86676 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 349208
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23478
/proc/meminfo: memFree=31388636/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=351504 CPUtime=402.3 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87645 0 0 0 40219 11 0 0 25 0 1 0 890660740 359940096 86500 33554432000 4194304 6720400 140736133489024 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87876 86500 264 617 0 87250 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 351504
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23480
/proc/meminfo: memFree=31388344/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=351504 CPUtime=462.31 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87645 0 0 0 46220 11 0 0 25 0 1 0 890660740 359940096 86500 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87876 86500 264 617 0 87250 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 351504
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23482
/proc/meminfo: memFree=31387920/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=351504 CPUtime=522.31 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87646 0 0 0 52220 11 0 0 25 0 1 0 890660740 359940096 86501 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87876 86501 264 617 0 87250 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 351504
[startup+582.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 23483
/proc/meminfo: memFree=31387508/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=351504 CPUtime=582.31 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 87732 0 0 0 58220 11 0 0 25 0 1 0 890660740 359940096 86585 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87876 86585 264 617 0 87250 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 351504
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 23490
/proc/meminfo: memFree=31383192/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=351504 CPUtime=822.32 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88280 0 0 0 82221 11 0 0 25 0 1 0 890660740 359940096 87118 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87876 87118 264 617 0 87250 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 351504
[startup+882.301 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 23491
/proc/meminfo: memFree=31383136/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=351504 CPUtime=882.32 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88280 0 0 0 88221 11 0 0 25 0 1 0 890660740 359940096 87118 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 87876 87118 264 617 0 87250 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 351504
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 23493
/proc/meminfo: memFree=31382460/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=352692 CPUtime=942.32 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88483 0 0 0 94221 11 0 0 25 0 1 0 890660740 361156608 87310 33554432000 4194304 6720400 140736133489024 18446744073709551615 5722259 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 88173 87310 264 617 0 87547 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 352692
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 23494
/proc/meminfo: memFree=31382284/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=352692 CPUtime=1002.32 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88502 0 0 0 100221 11 0 0 25 0 1 0 890660740 361156608 87329 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 88173 87329 264 617 0 87547 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 352692
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 23496
/proc/meminfo: memFree=31380116/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=352692 CPUtime=1062.32 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88502 0 0 0 106221 11 0 0 25 0 1 0 890660740 361156608 87329 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 88173 87329 264 617 0 87547 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 352692
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 23498
/proc/meminfo: memFree=31379084/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=352692 CPUtime=1122.32 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88502 0 0 0 112221 11 0 0 25 0 1 0 890660740 361156608 87329 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 88173 87329 264 617 0 87547 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 352692
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 23499
/proc/meminfo: memFree=31378672/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=352692 CPUtime=1182.33 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88502 0 0 0 118222 11 0 0 25 0 1 0 890660740 361156608 87329 33554432000 4194304 6720400 140736133489024 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 88173 87329 264 617 0 87547 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 352692
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 23501
/proc/meminfo: memFree=31378240/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=352692 CPUtime=1242.33 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88554 0 0 0 124222 11 0 0 25 0 1 0 890660740 361156608 87380 33554432000 4194304 6720400 140736133489024 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 88173 87380 264 617 0 87547 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 352692
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 23502
/proc/meminfo: memFree=31377944/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=357044 CPUtime=1302.34 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88602 0 0 0 130223 11 0 0 25 0 1 0 890660740 365613056 87426 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 89261 87426 264 617 0 88635 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 357044
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 23504
/proc/meminfo: memFree=31378024/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=357044 CPUtime=1362.33 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 88602 0 0 0 136222 11 0 0 25 0 1 0 890660740 365613056 87426 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 89261 87426 264 617 0 88635 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 357044
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 23506
/proc/meminfo: memFree=31373892/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=357044 CPUtime=1422.34 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89346 0 0 0 142223 11 0 0 25 0 1 0 890660740 365613056 88143 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 89261 88143 264 617 0 88635 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 357044
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23507
/proc/meminfo: memFree=31373724/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=357044 CPUtime=1482.33 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89346 0 0 0 148222 11 0 0 25 0 1 0 890660740 365613056 88143 33554432000 4194304 6720400 140736133489024 18446744073709551615 4616507 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 89261 88143 264 617 0 88635 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 357044
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23509
/proc/meminfo: memFree=31373688/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=357044 CPUtime=1542.34 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89346 0 0 0 154223 11 0 0 25 0 1 0 890660740 365613056 88143 33554432000 4194304 6720400 140736133489024 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 89261 88143 264 617 0 88635 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 357044
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23510
/proc/meminfo: memFree=31373520/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=360004 CPUtime=1602.34 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89413 0 0 0 160223 11 0 0 25 0 1 0 890660740 368644096 88205 33554432000 4194304 6720400 140736133489024 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 90001 88205 264 617 0 89375 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 360004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23512
/proc/meminfo: memFree=31373600/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=360004 CPUtime=1662.34 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89417 0 0 0 166223 11 0 0 25 0 1 0 890660740 368644096 88208 33554432000 4194304 6720400 140736133489024 18446744073709551615 4803116 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 90001 88208 264 617 0 89375 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 360004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23514
/proc/meminfo: memFree=31372068/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=360004 CPUtime=1722.34 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89417 0 0 0 172223 11 0 0 25 0 1 0 890660740 368644096 88208 33554432000 4194304 6720400 140736133489024 18446744073709551615 4719039 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 90001 88208 264 617 0 89375 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 360004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23554
/proc/meminfo: memFree=31176024/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=360004 CPUtime=1782.34 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89560 0 0 0 178223 11 0 0 25 0 1 0 890660740 368644096 88341 33554432000 4194304 6720400 140736133489024 18446744073709551615 4595156 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 90001 88341 264 617 0 89375 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 360004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23555
/proc/meminfo: memFree=31175020/32951124 swapFree=67052968/67111528
[pid=23467] ppid=23465 vsize=360004 CPUtime=1800.06 cores=0,2,4,6
/proc/23467/stat : 23467 (minisatid) R 23465 23467 22776 0 -1 4202496 89745 0 0 0 179994 12 0 0 25 0 1 0 890660740 368644096 88520 33554432000 4194304 6720400 140736133489024 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23467/statm: 90001 88520 264 617 0 89375 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 360004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1799.94
CPU system time (s): 0.132979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 360004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89752
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= 3028
runsolver used 2.6336 second user time and 5.56515 second system time
The end