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-3490543-1307762562/watcher-3490543-1307762562 -o /tmp/evaluation-result-3490543-1307762562/solver-3490543-1307762562 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490543-1307762562.opb --verbosity=0 --format=opb --randomseed=2027600450
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: 2.00 2.00 2.15 2/177 23069
/proc/meminfo: memFree=31435776/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=7868 CPUtime=0 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 482 0 0 0 0 0 0 0 25 0 1 0 868671545 8056832 435 33554432000 4194304 6720400 140734141582272 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 1967 436 232 617 0 1341 0
[startup+0.062303 s]
/proc/loadavg: 2.00 2.00 2.15 2/177 23069
/proc/meminfo: memFree=31435776/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=10092 CPUtime=0.06 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 1183 0 0 0 6 0 0 0 25 0 1 0 868671545 10334208 1132 33554432000 4194304 6720400 140734141582272 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 2523 1132 257 617 0 1897 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10092
[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 2.15 2/177 23069
/proc/meminfo: memFree=31435776/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=10136 CPUtime=0.09 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 1426 0 0 0 9 0 0 0 25 0 1 0 868671545 10379264 1375 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 2534 1376 257 617 0 1908 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10136
[startup+0.300262 s]
/proc/loadavg: 2.00 2.00 2.15 2/177 23069
/proc/meminfo: memFree=31435776/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=12924 CPUtime=0.29 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 2581 0 0 0 29 0 0 0 25 0 1 0 868671545 13234176 2528 33554432000 4194304 6720400 140734141582272 18446744073709551615 4803116 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 3231 2528 265 617 0 2605 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12924
[startup+0.700192 s]
/proc/loadavg: 2.00 2.00 2.15 2/177 23069
/proc/meminfo: memFree=31435776/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=24544 CPUtime=0.69 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 4784 0 0 0 69 0 0 0 25 0 1 0 868671545 25133056 4730 33554432000 4194304 6720400 140734141582272 18446744073709551615 4820160 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 6136 4730 265 617 0 5510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24544
[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 2.15 3/178 23070
/proc/meminfo: memFree=31388176/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=55324 CPUtime=1.49 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 9245 0 0 0 148 1 0 0 25 0 1 0 868671545 56651776 9189 33554432000 4194304 6720400 140734141582272 18446744073709551615 4805794 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 13831 9189 265 617 0 13205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55324
[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 2.15 3/178 23070
/proc/meminfo: memFree=31338948/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=86612 CPUtime=3.09 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 17598 0 0 0 307 2 0 0 25 0 1 0 868671545 88690688 17534 33554432000 4194304 6720400 140734141582272 18446744073709551615 4819089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 21653 17534 265 617 0 21027 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86612
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.15 3/178 23070
/proc/meminfo: memFree=31197880/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=137264 CPUtime=6.29 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 33602 0 0 0 625 4 0 0 25 0 1 0 868671545 140558336 33525 33554432000 4194304 6720400 140734141582272 18446744073709551615 4714382 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 34316 33525 265 617 0 33690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137264
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.15 3/178 23070
/proc/meminfo: memFree=31188924/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=269200 CPUtime=12.69 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 89463 0 0 0 1257 12 0 0 25 0 1 0 868671545 275660800 37798 33554432000 4194304 6720400 140734141582272 18446744073709551615 5891415 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 67300 37798 265 617 0 66674 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 269200
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.14 3/178 23071
/proc/meminfo: memFree=31235836/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=140348 CPUtime=25.5 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 181786 0 0 0 2525 25 0 0 25 0 1 0 868671545 143716352 25943 33554432000 4194304 6720400 140734141582272 18446744073709551615 4803351 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 35087 25943 265 617 0 34461 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 140348
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.14 3/178 23071
/proc/meminfo: memFree=31132568/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=225112 CPUtime=51.09 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 367518 0 0 0 5061 48 0 0 25 0 1 0 868671545 230514688 38355 33554432000 4194304 6720400 140734141582272 18446744073709551615 4819080 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 56278 38355 265 617 0 55652 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 225112
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.13 3/178 23073
/proc/meminfo: memFree=31221696/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=149692 CPUtime=102.3 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 772259 0 0 0 10122 108 0 0 25 0 1 0 868671545 153284608 26987 33554432000 4194304 6720400 140734141582272 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 37423 26987 265 617 0 36797 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149692
[startup+162.301 s]
/proc/loadavg: 2.07 2.02 2.12 3/178 23077
/proc/meminfo: memFree=31231788/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=159244 CPUtime=162.3 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 1207586 0 0 0 16054 176 0 0 25 0 1 0 868671545 163065856 32249 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 39811 32250 265 617 0 39185 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 159244
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.11 3/178 23079
/proc/meminfo: memFree=30891688/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=379904 CPUtime=222.3 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 1639544 0 0 0 21986 244 0 0 25 0 1 0 868671545 389021696 70915 33554432000 4194304 6720400 140734141582272 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 94976 70915 265 617 0 94350 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 379904
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.10 3/178 23081
/proc/meminfo: memFree=31004388/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=252204 CPUtime=282.3 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 2061510 0 0 0 27921 309 0 0 25 0 1 0 868671545 258256896 48583 33554432000 4194304 6720400 140734141582272 18446744073709551615 5722765 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 63051 48583 265 617 0 62425 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 252204
[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.09 3/178 23082
/proc/meminfo: memFree=30909612/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=255600 CPUtime=342.3 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 2470141 0 0 0 33855 375 0 0 25 0 1 0 868671545 261734400 58853 33554432000 4194304 6720400 140734141582272 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 63900 58853 265 617 0 63274 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 255600
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/178 23084
/proc/meminfo: memFree=30724820/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=391312 CPUtime=402.3 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 2882448 0 0 0 39795 435 0 0 25 0 1 0 868671545 400703488 92220 33554432000 4194304 6720400 140734141582272 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 97828 92220 265 617 0 97202 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 391312
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.09 3/178 23085
/proc/meminfo: memFree=30806396/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=396512 CPUtime=462.31 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 3294499 0 0 0 45737 494 0 0 25 0 1 0 868671545 406028288 78937 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 99128 78937 265 617 0 98502 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 396512
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.08 3/178 23087
/proc/meminfo: memFree=30974144/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=267896 CPUtime=522.31 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 3706395 0 0 0 51675 556 0 0 25 0 1 0 868671545 274325504 65106 33554432000 4194304 6720400 140734141582272 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 66974 65106 265 617 0 66348 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 267896
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.07 3/178 23089
/proc/meminfo: memFree=30822224/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=272412 CPUtime=582.3 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 4118040 0 0 0 57611 619 0 0 25 0 1 0 868671545 278949888 52465 33554432000 4194304 6720400 140734141582272 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 68103 52467 265 617 0 67477 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 272412
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.01 2.06 3/178 23095
/proc/meminfo: memFree=31005596/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=418068 CPUtime=822.31 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 5693250 0 0 0 81369 862 0 0 25 0 1 0 868671545 428101632 77795 33554432000 4194304 6720400 140734141582272 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 104517 77795 265 617 0 103891 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 418068
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/178 23097
/proc/meminfo: memFree=30661832/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=421088 CPUtime=882.31 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 6087549 0 0 0 87307 924 0 0 25 0 1 0 868671545 431194112 78893 33554432000 4194304 6720400 140734141582272 18446744073709551615 4817035 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 105272 78894 265 617 0 104646 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 421088
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 23098
/proc/meminfo: memFree=31020784/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=291980 CPUtime=942.31 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 6483118 0 0 0 93244 987 0 0 25 0 1 0 868671545 298987520 57365 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 72995 57366 265 617 0 72369 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 291980
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 23100
/proc/meminfo: memFree=30706644/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=642632 CPUtime=1002.32 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 6859008 0 0 0 99189 1043 0 0 25 0 1 0 868671545 658055168 108868 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 160658 108868 265 617 0 160032 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 642632
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/178 23101
/proc/meminfo: memFree=30645976/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=297980 CPUtime=1062.32 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 7252315 0 0 0 105128 1104 0 0 25 0 1 0 868671545 305131520 72057 33554432000 4194304 6720400 140734141582272 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 74495 72057 265 617 0 73869 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 297980
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/178 23103
/proc/meminfo: memFree=30575268/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=649248 CPUtime=1122.32 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 7628340 0 0 0 111071 1161 0 0 25 0 1 0 868671545 664829952 120046 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 162312 120048 265 617 0 161686 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 649248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 23105
/proc/meminfo: memFree=30878060/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=436528 CPUtime=1182.32 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 8021179 0 0 0 117012 1220 0 0 25 0 1 0 868671545 447004672 80250 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 109132 80250 265 617 0 108506 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 436528
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 23106
/proc/meminfo: memFree=30479372/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=175932 CPUtime=1242.32 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 8409080 0 0 0 122954 1278 0 0 25 0 1 0 868671545 180154368 40283 33554432000 4194304 6720400 140734141582272 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 43983 40284 265 617 0 43357 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 175932
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 23108
/proc/meminfo: memFree=30524592/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=442504 CPUtime=1302.33 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 8788922 0 0 0 128894 1339 0 0 25 0 1 0 868671545 453124096 96926 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 110626 96926 265 617 0 110000 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 442504
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.01 3/178 23109
/proc/meminfo: memFree=30445320/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=659828 CPUtime=1362.32 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 9164200 0 0 0 134835 1397 0 0 25 0 1 0 868671545 675663872 113265 33554432000 4194304 6720400 140734141582272 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 164957 113267 265 617 0 164331 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 659828
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23111
/proc/meminfo: memFree=30901236/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=445792 CPUtime=1422.33 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 9538153 0 0 0 140777 1456 0 0 25 0 1 0 868671545 456491008 93460 33554432000 4194304 6720400 140734141582272 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 111448 93460 265 617 0 110822 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 445792
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 23113
/proc/meminfo: memFree=30905284/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=448680 CPUtime=1482.32 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 9913490 0 0 0 146718 1514 0 0 25 0 1 0 868671545 459448320 88778 33554432000 4194304 6720400 140734141582272 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 112170 88778 265 617 0 111544 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 448680
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23114
/proc/meminfo: memFree=30728180/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=665092 CPUtime=1542.33 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 10291704 0 0 0 152659 1574 0 0 25 0 1 0 868671545 681054208 117076 33554432000 4194304 6720400 140734141582272 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 166273 117077 265 617 0 165647 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 665092
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23116
/proc/meminfo: memFree=30628696/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=666796 CPUtime=1602.33 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 10668854 0 0 0 158603 1630 0 0 25 0 1 0 868671545 682799104 134268 33554432000 4194304 6720400 140734141582272 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 166699 134268 265 617 0 166073 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 666796
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23117
/proc/meminfo: memFree=30765188/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=321192 CPUtime=1662.33 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 11066519 0 0 0 164539 1694 0 0 25 0 1 0 868671545 328900608 64754 33554432000 4194304 6720400 140734141582272 18446744073709551615 4714320 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 80298 64754 265 617 0 79672 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 321192
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23119
/proc/meminfo: memFree=30672292/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=323072 CPUtime=1722.33 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 11439396 0 0 0 170484 1749 0 0 25 0 1 0 868671545 330825728 68688 33554432000 4194304 6720400 140734141582272 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 80768 68688 265 617 0 80142 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 323072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23121
/proc/meminfo: memFree=30894216/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=461776 CPUtime=1782.34 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 11815222 0 0 0 176427 1807 0 0 25 0 1 0 868671545 472858624 85057 33554432000 4194304 6720400 140734141582272 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 115444 85057 265 617 0 114818 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 461776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 23122
/proc/meminfo: memFree=31126332/32951124 swapFree=67057920/67111528
[pid=23069] ppid=23067 vsize=329516 CPUtime=1800.04 cores=0,2,4,6
/proc/23069/stat : 23069 (minisatid) R 23067 23069 22888 0 -1 4202496 11927434 0 0 0 178182 1822 0 0 25 0 1 0 868671545 337424384 77305 33554432000 4194304 6720400 140734141582272 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23069/statm: 82379 77305 265 617 0 81753 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 329516
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): 1781.82
CPU system time (s): 18.2412
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 756840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.82
system time used= 18.2412
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11927439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 994
runsolver used 2.74758 second user time and 5.44317 second system time
The end