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-3491207-1307769547/watcher-3491207-1307769547 -o /tmp/evaluation-result-3491207-1307769547/solver-3491207-1307769547 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491207-1307769547.opb --verbosity=0 --format=opb --randomseed=1780162470
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.00 2/177 5200
/proc/meminfo: memFree=31235272/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=7704 CPUtime=0 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 1 0 869370934 7888896 386 33554432000 4194304 6720400 140736398139136 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 1926 386 232 617 0 1300 0
[startup+0.047185 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5200
/proc/meminfo: memFree=31235272/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=9024 CPUtime=0.04 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 920 0 0 0 4 0 0 0 25 0 1 0 869370934 9240576 871 33554432000 4194304 6720400 140736398139136 18446744073709551615 4813171 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 2256 871 265 617 0 1630 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9024
[startup+0.100206 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5200
/proc/meminfo: memFree=31235272/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=9136 CPUtime=0.09 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 1128 0 0 0 9 0 0 0 25 0 1 0 869370934 9355264 1078 33554432000 4194304 6720400 140736398139136 18446744073709551615 4714470 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 2284 1078 265 617 0 1658 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9136
[startup+0.300168 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5200
/proc/meminfo: memFree=31235272/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=11968 CPUtime=0.29 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 2129 0 0 0 29 0 0 0 25 0 1 0 869370934 12255232 2074 33554432000 4194304 6720400 140736398139136 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 2992 2074 265 617 0 2366 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11968
[startup+0.701105 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5200
/proc/meminfo: memFree=31235272/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=23824 CPUtime=0.69 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 4159 0 0 0 69 0 0 0 25 0 1 0 869370934 24395776 4095 33554432000 4194304 6720400 140736398139136 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 5956 4096 265 617 0 5330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23824
[startup+1.50096 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5201
/proc/meminfo: memFree=31209124/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=28180 CPUtime=1.49 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 10623 0 0 0 147 2 0 0 25 0 1 0 869370934 28856320 4514 33554432000 4194304 6720400 140736398139136 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 7045 4514 265 617 0 6419 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28180
[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5201
/proc/meminfo: memFree=31155804/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=58636 CPUtime=3.09 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 20328 0 0 0 306 3 0 0 25 0 1 0 869370934 60043264 7876 33554432000 4194304 6720400 140736398139136 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 14659 7877 266 617 0 14033 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58636
[startup+6.3011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5201
/proc/meminfo: memFree=31100808/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=58636 CPUtime=6.29 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 35088 0 0 0 624 5 0 0 25 0 1 0 869370934 60043264 14235 33554432000 4194304 6720400 140736398139136 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 14659 14235 266 617 0 14033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58636
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5201
/proc/meminfo: memFree=30998664/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=107956 CPUtime=12.69 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 72700 0 0 0 1260 9 0 0 25 0 1 0 869370934 110546944 23529 33554432000 4194304 6720400 140736398139136 18446744073709551615 4431773 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 26989 23529 266 617 0 26363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107956
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5202
/proc/meminfo: memFree=30779604/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=58768 CPUtime=25.49 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 150493 0 0 0 2530 19 0 0 25 0 1 0 869370934 60178432 14268 33554432000 4194304 6720400 140736398139136 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5200/statm: 14692 14268 266 617 0 14066 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58768
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5202
/proc/meminfo: memFree=31190280/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=108088 CPUtime=51.09 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 305736 0 0 0 5067 42 0 0 25 0 1 0 869370934 110682112 21940 33554432000 4194304 6720400 140736398139136 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5200/statm: 27022 21940 266 617 0 26396 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 108088
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5204
/proc/meminfo: memFree=30976356/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=58768 CPUtime=102.3 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 519503 0 0 0 10157 73 0 0 25 0 1 0 869370934 60178432 14268 33554432000 4194304 6720400 140736398139136 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5200/statm: 14692 14268 266 617 0 14066 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 58768
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5205
/proc/meminfo: memFree=30893864/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=108088 CPUtime=162.29 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 868292 0 0 0 16110 119 0 0 25 0 1 0 869370934 110682112 25579 33554432000 4194304 6720400 140736398139136 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5200/statm: 27022 25579 266 617 0 26396 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 108088
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5207
/proc/meminfo: memFree=30771692/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=108088 CPUtime=222.3 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 1210837 0 0 0 22059 171 0 0 25 0 1 0 869370934 110682112 25001 33554432000 4194304 6720400 140736398139136 18446744073709551615 4616691 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5200/statm: 27022 25001 266 617 0 26396 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 108088
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5209
/proc/meminfo: memFree=30804276/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=77880 CPUtime=282.3 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 1544451 0 0 0 28003 227 0 0 25 0 1 0 869370934 79749120 19046 33554432000 4194304 6720400 140736398139136 18446744073709551615 4611643 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5200/statm: 19470 19046 266 617 0 18844 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 77880
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5210
/proc/meminfo: memFree=31068244/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=127200 CPUtime=342.3 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 1904107 0 0 0 33957 273 0 0 25 0 1 0 869370934 130252800 26758 33554432000 4194304 6720400 140736398139136 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 31800 26758 266 617 0 31174 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 127200
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5215
/proc/meminfo: memFree=30097212/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=77880 CPUtime=402.29 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 2254065 0 0 0 39913 316 0 0 25 0 1 0 869370934 79749120 19046 33554432000 4194304 6720400 140736398139136 18446744073709551615 4815968 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 19470 19046 266 617 0 18844 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 77880
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5216
/proc/meminfo: memFree=30267072/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=127200 CPUtime=462.3 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 2621718 0 0 0 45866 364 0 0 25 0 1 0 869370934 130252800 30046 33554432000 4194304 6720400 140736398139136 18446744073709551615 4714370 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 31800 30047 266 617 0 31174 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 127200
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5218
/proc/meminfo: memFree=30417336/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=77880 CPUtime=522.3 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 2986662 0 0 0 51815 415 0 0 25 0 1 0 869370934 79749120 19046 33554432000 4194304 6720400 140736398139136 18446744073709551615 4617388 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 19470 19046 266 617 0 18844 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 77880
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5220
/proc/meminfo: memFree=30617828/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=158020 CPUtime=582.3 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 3353923 0 0 0 57763 467 0 0 25 0 1 0 869370934 161812480 39058 33554432000 4194304 6720400 140736398139136 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 39505 39058 266 617 0 38879 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 158020
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5226
/proc/meminfo: memFree=31040292/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=239428 CPUtime=822.31 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 4801360 0 0 0 81555 676 0 0 25 0 1 0 869370934 245174272 48312 33554432000 4194304 6720400 140736398139136 18446744073709551615 5734185 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 59857 48312 266 617 0 59231 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 239428
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5228
/proc/meminfo: memFree=30057692/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=239428 CPUtime=882.31 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 5147423 0 0 0 87506 725 0 0 25 0 1 0 869370934 245174272 50007 33554432000 4194304 6720400 140736398139136 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 59857 50007 266 617 0 59231 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 239428
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5229
/proc/meminfo: memFree=30575484/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=109200 CPUtime=942.31 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 5488124 0 0 0 93459 772 0 0 25 0 1 0 869370934 111820800 26868 33554432000 4194304 6720400 140736398139136 18446744073709551615 4608575 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 27300 26868 266 617 0 26674 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 109200
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5231
/proc/meminfo: memFree=29741308/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=189340 CPUtime=1002.32 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 5834827 0 0 0 99411 821 0 0 25 0 1 0 869370934 193884160 40279 33554432000 4194304 6720400 140736398139136 18446744073709551615 4816974 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 47335 40279 266 617 0 46709 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 189340
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5232
/proc/meminfo: memFree=30366984/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=158520 CPUtime=1062.31 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 6175893 0 0 0 105360 871 0 0 25 0 1 0 869370934 162324480 34803 33554432000 4194304 6720400 140736398139136 18446744073709551615 4803317 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 39630 34803 266 617 0 39004 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 158520
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5234
/proc/meminfo: memFree=31021428/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=158520 CPUtime=1122.31 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 6507616 0 0 0 111313 918 0 0 25 0 1 0 869370934 162324480 36730 33554432000 4194304 6720400 140736398139136 18446744073709551615 4813174 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 39630 36731 266 617 0 39004 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 158520
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5236
/proc/meminfo: memFree=30020588/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=109200 CPUtime=1182.32 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 6846080 0 0 0 117261 971 0 0 25 0 1 0 869370934 111820800 26868 33554432000 4194304 6720400 140736398139136 18446744073709551615 4434050 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 27300 26868 266 617 0 26674 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 109200
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5237
/proc/meminfo: memFree=30616504/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=158520 CPUtime=1242.32 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 7188612 0 0 0 123213 1019 0 0 25 0 1 0 869370934 162324480 37742 33554432000 4194304 6720400 140736398139136 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 39630 37742 266 617 0 39004 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 158520
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5239
/proc/meminfo: memFree=29661300/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=239428 CPUtime=1302.33 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 7508325 0 0 0 129166 1067 0 0 25 0 1 0 869370934 245174272 53526 33554432000 4194304 6720400 140736398139136 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 59857 53526 266 617 0 59231 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 239428
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5240
/proc/meminfo: memFree=30574516/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=189340 CPUtime=1362.32 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 7843598 0 0 0 135119 1113 0 0 25 0 1 0 869370934 193884160 42622 33554432000 4194304 6720400 140736398139136 18446744073709551615 4812571 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 47335 42622 266 617 0 46709 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 189340
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5242
/proc/meminfo: memFree=29718016/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=189340 CPUtime=1422.33 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 8165577 0 0 0 141072 1161 0 0 25 0 1 0 869370934 193884160 40229 33554432000 4194304 6720400 140736398139136 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 47335 40230 266 617 0 46709 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 189340
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5244
/proc/meminfo: memFree=30664856/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=239428 CPUtime=1482.33 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 8467639 0 0 0 147028 1205 0 0 25 0 1 0 869370934 245174272 58124 33554432000 4194304 6720400 140736398139136 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 59857 58125 266 617 0 59231 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 239428
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5245
/proc/meminfo: memFree=30012220/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=165592 CPUtime=1542.33 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 8806043 0 0 0 152986 1247 0 0 25 0 1 0 869370934 169566208 37153 33554432000 4194304 6720400 140736398139136 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 41398 37153 266 617 0 40772 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 165592
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5247
/proc/meminfo: memFree=30734252/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=116272 CPUtime=1602.33 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 9165461 0 0 0 158940 1293 0 0 25 0 1 0 869370934 119062528 28098 33554432000 4194304 6720400 140736398139136 18446744073709551615 4813171 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 29068 28098 266 617 0 28442 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 116272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5248
/proc/meminfo: memFree=29787496/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=165592 CPUtime=1662.34 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 9522128 0 0 0 164894 1340 0 0 25 0 1 0 869370934 169566208 40277 33554432000 4194304 6720400 140736398139136 18446744073709551615 4812163 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 41398 40278 266 617 0 40772 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 165592
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5250
/proc/meminfo: memFree=30548956/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=165592 CPUtime=1722.33 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 9881973 0 0 0 170846 1387 0 0 25 0 1 0 869370934 169566208 39290 33554432000 4194304 6720400 140736398139136 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 41398 39290 266 617 0 40772 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 165592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5252
/proc/meminfo: memFree=29550608/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=196412 CPUtime=1782.33 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 10241149 0 0 0 176799 1434 0 0 25 0 1 0 869370934 201125888 44001 33554432000 4194304 6720400 140736398139136 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 49103 44001 266 617 0 48477 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 196412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 5291
/proc/meminfo: memFree=31167044/32951124 swapFree=67050916/67111528
[pid=5200] ppid=5198 vsize=196412 CPUtime=1800.04 cores=0,2,4,6
/proc/5200/stat : 5200 (minisatid) R 5198 5200 4338 0 -1 4202496 10348216 0 0 0 178555 1449 0 0 25 0 1 0 869370934 201125888 47870 33554432000 4194304 6720400 140736398139136 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5200/statm: 49103 47870 266 617 0 48477 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 196412
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.01
CPU time (s): 1800.06
CPU user time (s): 1785.55
CPU system time (s): 14.5058
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 320816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.55
system time used= 14.5058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10348222
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= 2163
runsolver used 2.74058 second user time and 5.50416 second system time
The end