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-3491210-1307770139/watcher-3491210-1307770139 -o /tmp/evaluation-result-3491210-1307770139/solver-3491210-1307770139 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491210-1307770139.opb --verbosity=0 --format=opb --randomseed=1003865984
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.92 1.98 1.91 2/177 30481
/proc/meminfo: memFree=31521652/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=7704 CPUtime=0 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 455 0 0 0 0 0 0 0 25 0 1 0 888614798 7888896 407 33554432000 4194304 6720400 140736570071808 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 1926 408 245 617 0 1300 0
[startup+0.0104671 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 30481
/proc/meminfo: memFree=31521652/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=8104 CPUtime=0.01 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 582 0 0 0 1 0 0 0 25 0 1 0 888614798 8298496 534 33554432000 4194304 6720400 140736570071808 18446744073709551615 4806185 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 2026 534 257 617 0 1400 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8104
[startup+0.100509 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 30481
/proc/meminfo: memFree=31521652/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=8228 CPUtime=0.09 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 1032 0 0 0 9 0 0 0 25 0 1 0 888614798 8425472 982 33554432000 4194304 6720400 140736570071808 18446744073709551615 5722726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 2057 982 265 617 0 1431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8228
[startup+0.300476 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 30481
/proc/meminfo: memFree=31521652/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=11072 CPUtime=0.29 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 2114 0 0 0 29 0 0 0 25 0 1 0 888614798 11337728 2060 33554432000 4194304 6720400 140736570071808 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 2768 2060 265 617 0 2142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11072
[startup+0.700405 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 30481
/proc/meminfo: memFree=31521652/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=22940 CPUtime=0.69 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 4212 0 0 0 69 0 0 0 25 0 1 0 888614798 23490560 4144 33554432000 4194304 6720400 140736570071808 18446744073709551615 4610137 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 5735 4145 266 617 0 5109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22940
[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.91 4/178 30482
/proc/meminfo: memFree=31479628/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=23364 CPUtime=1.49 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 9338 0 0 0 148 1 0 0 25 0 1 0 888614798 23924736 4002 33554432000 4194304 6720400 140736570071808 18446744073709551615 5722790 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 5841 4002 266 617 0 5215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23364
[startup+3.10098 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 30482
/proc/meminfo: memFree=31459912/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=34876 CPUtime=3.1 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 17589 0 0 0 308 2 0 0 25 0 1 0 888614798 35713024 8288 33554432000 4194304 6720400 140736570071808 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 8719 8288 266 617 0 8093 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 34876
[startup+6.30042 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 30483
/proc/meminfo: memFree=31484416/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=66060 CPUtime=6.29 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 19477 0 0 0 627 2 0 0 25 0 1 0 888614798 67645440 10171 33554432000 4194304 6720400 140736570071808 18446744073709551615 5715169 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 16515 10171 266 617 0 15889 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66060
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 30483
/proc/meminfo: memFree=31448948/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=66060 CPUtime=12.69 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 24444 0 0 0 1266 3 0 0 25 0 1 0 888614798 67645440 15112 33554432000 4194304 6720400 140736570071808 18446744073709551615 4617312 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 16515 15112 266 617 0 15889 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66060
[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.91 3/178 30483
/proc/meminfo: memFree=31413340/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=66060 CPUtime=25.49 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 25422 0 0 0 2546 3 0 0 25 0 1 0 888614798 67645440 16086 33554432000 4194304 6720400 140736570071808 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 16515 16086 266 617 0 15889 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66060
[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 30484
/proc/meminfo: memFree=31457336/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=66060 CPUtime=51.09 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 160981 0 0 0 5091 18 0 0 25 0 1 0 888614798 67645440 16086 33554432000 4194304 6720400 140736570071808 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 16515 16086 266 617 0 15889 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66060
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/178 30485
/proc/meminfo: memFree=31400852/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=66308 CPUtime=102.3 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 482388 0 0 0 10174 56 0 0 25 0 1 0 888614798 67899392 16148 33554432000 4194304 6720400 140736570071808 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 16577 16148 266 617 0 15951 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66308
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 30487
/proc/meminfo: memFree=31353812/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=66308 CPUtime=162.29 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 727171 0 0 0 16146 83 0 0 25 0 1 0 888614798 67899392 16148 33554432000 4194304 6720400 140736570071808 18446744073709551615 4616552 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 16577 16148 266 617 0 15951 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 66308
[startup+222.3 s]
/proc/loadavg: 1.94 1.97 1.91 3/178 30527
/proc/meminfo: memFree=31527444/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=115628 CPUtime=222.29 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 1106917 0 0 0 22099 130 0 0 25 0 1 0 888614798 118403072 26260 33554432000 4194304 6720400 140736570071808 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 28907 26261 266 617 0 28281 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 115628
[startup+282.301 s]
/proc/loadavg: 1.98 1.97 1.91 3/178 30529
/proc/meminfo: memFree=31531884/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=85552 CPUtime=282.3 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 1474111 0 0 0 28052 178 0 0 25 0 1 0 888614798 87605248 20977 33554432000 4194304 6720400 140736570071808 18446744073709551615 4813168 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 21388 20977 266 617 0 20762 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85552
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30530
/proc/meminfo: memFree=31475156/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=85552 CPUtime=342.3 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 1833503 0 0 0 34005 225 0 0 25 0 1 0 888614798 87605248 20977 33554432000 4194304 6720400 140736570071808 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 21388 20977 266 617 0 20762 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 85552
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30532
/proc/meminfo: memFree=31531892/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=134872 CPUtime=402.3 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 2185180 0 0 0 39956 274 0 0 25 0 1 0 888614798 138108928 32066 33554432000 4194304 6720400 140736570071808 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 33718 32066 266 617 0 33092 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 134872
[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30534
/proc/meminfo: memFree=31487816/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=165692 CPUtime=462.31 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 2517806 0 0 0 45908 323 0 0 25 0 1 0 888614798 169668608 34150 33554432000 4194304 6720400 140736570071808 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 41423 34151 266 617 0 40797 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 165692
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30535
/proc/meminfo: memFree=31494204/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=165692 CPUtime=522.31 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 2851737 0 0 0 51857 374 0 0 25 0 1 0 888614798 169668608 35071 33554432000 4194304 6720400 140736570071808 18446744073709551615 4803317 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 41423 35072 266 617 0 40797 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 165692
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30537
/proc/meminfo: memFree=31467116/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=165852 CPUtime=582.3 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 3194607 0 0 0 57806 424 0 0 25 0 1 0 888614798 169832448 39764 33554432000 4194304 6720400 140736570071808 18446744073709551615 4820724 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 41463 39764 266 617 0 40837 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 165852
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30543
/proc/meminfo: memFree=31445204/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=165852 CPUtime=822.31 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 4422963 0 0 0 81649 582 0 0 25 0 1 0 888614798 169832448 38539 33554432000 4194304 6720400 140736570071808 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 41463 38539 266 617 0 40837 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 165852
[startup+882.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30545
/proc/meminfo: memFree=31402000/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=882.32 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 4769267 0 0 0 87607 625 0 0 25 0 1 0 888614798 119328768 28697 33554432000 4194304 6720400 140736570071808 18446744073709551615 4812180 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28697 266 617 0 28507 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 116532
[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30546
/proc/meminfo: memFree=31351964/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=942.32 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 5125968 0 0 0 93559 673 0 0 25 0 1 0 888614798 119328768 28697 33554432000 4194304 6720400 140736570071808 18446744073709551615 4820128 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28697 266 617 0 28507 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 116532
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30548
/proc/meminfo: memFree=31393188/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=196672 CPUtime=1002.32 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 5466040 0 0 0 99513 719 0 0 25 0 1 0 888614798 201392128 42570 33554432000 4194304 6720400 140736570071808 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 49168 42570 266 617 0 48542 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 196672
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30550
/proc/meminfo: memFree=31352840/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=1062.32 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 5808035 0 0 0 105468 764 0 0 25 0 1 0 888614798 119328768 28700 33554432000 4194304 6720400 140736570071808 18446744073709551615 4803397 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28700 266 617 0 28507 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 116532
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30551
/proc/meminfo: memFree=31370536/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=165852 CPUtime=1122.32 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 6146024 0 0 0 111418 814 0 0 25 0 1 0 888614798 169832448 40386 33554432000 4194304 6720400 140736570071808 18446744073709551615 4821328 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 41463 40387 266 617 0 40837 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 165852
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30553
/proc/meminfo: memFree=31428768/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=165852 CPUtime=1182.32 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 6476149 0 0 0 117370 862 0 0 25 0 1 0 888614798 169832448 36341 33554432000 4194304 6720400 140736570071808 18446744073709551615 4820147 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 41463 36341 266 617 0 40837 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 165852
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30554
/proc/meminfo: memFree=31369552/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=196672 CPUtime=1242.32 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 6802893 0 0 0 123325 907 0 0 25 0 1 0 888614798 201392128 41426 33554432000 4194304 6720400 140736570071808 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 49168 41426 266 617 0 48542 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 196672
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30556
/proc/meminfo: memFree=31352868/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=196672 CPUtime=1302.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 7117041 0 0 0 129280 953 0 0 25 0 1 0 888614798 201392128 46432 33554432000 4194304 6720400 140736570071808 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 49168 46432 266 617 0 48542 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 196672
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30558
/proc/meminfo: memFree=31438504/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=196672 CPUtime=1362.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 7439727 0 0 0 135233 1000 0 0 25 0 1 0 888614798 201392128 43212 33554432000 4194304 6720400 140736570071808 18446744073709551615 4714440 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 49168 43212 266 617 0 48542 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 196672
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30559
/proc/meminfo: memFree=31371120/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=1422.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 7760823 0 0 0 141184 1049 0 0 25 0 1 0 888614798 119328768 28703 33554432000 4194304 6720400 140736570071808 18446744073709551615 4816976 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28703 266 617 0 28507 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 116532
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30561
/proc/meminfo: memFree=31442748/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=1482.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 8076709 0 0 0 147141 1092 0 0 25 0 1 0 888614798 119328768 28703 33554432000 4194304 6720400 140736570071808 18446744073709551615 4617051 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28703 266 617 0 28507 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 116532
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30562
/proc/meminfo: memFree=31468004/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=1542.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 8395829 0 0 0 153094 1139 0 0 25 0 1 0 888614798 119328768 28703 33554432000 4194304 6720400 140736570071808 18446744073709551615 5734223 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28703 266 617 0 28507 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 116532
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30564
/proc/meminfo: memFree=31356476/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=196672 CPUtime=1602.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 8710673 0 0 0 159047 1186 0 0 25 0 1 0 888614798 201392128 46778 33554432000 4194304 6720400 140736570071808 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 49168 46779 266 617 0 48542 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 196672
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30566
/proc/meminfo: memFree=31342292/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=1662.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 9025601 0 0 0 165001 1232 0 0 25 0 1 0 888614798 119328768 28703 33554432000 4194304 6720400 140736570071808 18446744073709551615 4820147 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28703 266 617 0 28507 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 116532
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30567
/proc/meminfo: memFree=31344228/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=116532 CPUtime=1722.34 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 9342510 0 0 0 170957 1277 0 0 25 0 1 0 888614798 119328768 28703 33554432000 4194304 6720400 140736570071808 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 29133 28703 266 617 0 28507 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 116532
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30569
/proc/meminfo: memFree=31309584/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=215632 CPUtime=1782.33 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 9662990 0 0 0 176910 1323 0 0 25 0 1 0 888614798 220807168 48768 33554432000 4194304 6720400 140736570071808 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 53908 48768 266 617 0 53282 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 215632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30569
/proc/meminfo: memFree=31467056/32951124 swapFree=67052292/67111528
[pid=30481] ppid=30479 vsize=135492 CPUtime=1800.04 cores=0,2,4,6
/proc/30481/stat : 30481 (minisatid) R 30479 30481 26964 0 -1 4202496 9754098 0 0 0 178667 1337 0 0 25 0 1 0 888614798 138743808 28917 33554432000 4194304 6720400 140736570071808 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/30481/statm: 33873 28917 266 617 0 33247 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 135492
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): 1786.67
CPU system time (s): 13.384
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 265720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.67
system time used= 13.384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9754103
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= 1700
runsolver used 2.71559 second user time and 5.47617 second system time
The end