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-3491542-1307790774/watcher-3491542-1307790774 -o /tmp/evaluation-result-3491542-1307790774/solver-3491542-1307790774 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491542-1307790774.opb --verbosity=0 --format=opb --randomseed=1090168301
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.00 1.95 2/177 21826
/proc/meminfo: memFree=31233836/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=7440 CPUtime=0 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 386 0 0 0 0 0 0 0 24 0 1 0 623269513 7618560 338 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 1860 338 230 617 0 1234 0
[startup+0.0223581 s]
/proc/loadavg: 1.98 2.00 1.95 2/177 21826
/proc/meminfo: memFree=31233836/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=8464 CPUtime=0.02 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 641 0 0 0 2 0 0 0 24 0 1 0 623269513 8667136 593 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 2116 593 230 617 0 1490 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8464
[startup+0.100347 s]
/proc/loadavg: 1.98 2.00 1.95 2/177 21826
/proc/meminfo: memFree=31233836/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13212 CPUtime=0.09 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 1822 0 0 0 9 0 0 0 24 0 1 0 623269513 13529088 1774 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 3303 1775 230 617 0 2677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13212
[startup+0.300312 s]
/proc/loadavg: 1.98 2.00 1.95 2/177 21826
/proc/meminfo: memFree=31233836/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=25172 CPUtime=0.29 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 4796 0 0 0 29 0 0 0 25 0 1 0 623269513 25776128 4748 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 6293 4748 230 617 0 5667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25172
[startup+0.700241 s]
/proc/loadavg: 1.98 2.00 1.95 2/177 21826
/proc/meminfo: memFree=31233836/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=48712 CPUtime=0.69 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 10676 0 0 0 69 0 0 0 25 0 1 0 623269513 49881088 10628 33554432000 4194304 6720400 140737456747952 18446744073709551615 5755792 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 12178 10629 230 617 0 11552 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48712
[startup+1.5011 s]
/proc/loadavg: 1.98 2.00 1.95 3/178 21827
/proc/meminfo: memFree=31174752/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=95356 CPUtime=1.49 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 22307 0 0 0 147 2 0 0 25 0 1 0 623269513 97644544 22259 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 23839 22259 230 617 0 23213 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95356
[startup+3.10082 s]
/proc/loadavg: 1.98 2.00 1.95 3/178 21827
/proc/meminfo: memFree=31108536/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=186808 CPUtime=3.09 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 45133 0 0 0 304 5 0 0 25 0 1 0 623269513 191291392 45052 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 46702 45053 230 617 0 46076 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186808
[startup+6.30027 s]
/proc/loadavg: 1.98 2.00 1.95 3/178 21827
/proc/meminfo: memFree=30926292/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=367936 CPUtime=6.29 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 90489 0 0 0 617 12 0 0 25 0 1 0 623269513 376766464 90221 33554432000 4194304 6720400 140737456747952 18446744073709551615 5260479 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 91984 90222 230 617 0 91358 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 367936
[startup+12.7001 s]
/proc/loadavg: 1.98 2.00 1.95 3/178 21827
/proc/meminfo: memFree=30555176/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=727504 CPUtime=12.69 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 180581 0 0 0 1244 25 0 0 25 0 1 0 623269513 744964096 179940 33554432000 4194304 6720400 140737456747952 18446744073709551615 5403333 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 181876 179941 230 617 0 181250 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 727504
[startup+25.5009 s]
/proc/loadavg: 1.98 2.00 1.95 3/178 21828
/proc/meminfo: memFree=29826308/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=1436416 CPUtime=25.49 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 357734 0 0 0 2498 51 0 0 25 0 1 0 623269513 1470889984 356342 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 359104 356342 230 617 0 358478 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1436416
[startup+51.1004 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 21828
/proc/meminfo: memFree=28443104/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=2836340 CPUtime=51.09 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 708432 0 0 0 5003 106 0 0 25 0 1 0 623269513 2904412160 705525 33554432000 4194304 6720400 140737456747952 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 709085 705525 230 617 0 708459 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2836340
[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 21830
/proc/meminfo: memFree=17931248/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13359836 CPUtime=102.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3372239 0 0 0 9835 395 0 0 25 0 1 0 623269513 13680472064 3320202 33554432000 4194304 6720400 140737456747952 18446744073709551615 5718213 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 3339959 3320202 246 617 0 3339333 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 13359836
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 21831
/proc/meminfo: memFree=18109624/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13172428 CPUtime=162.29 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3374154 0 0 0 15833 396 0 0 25 0 1 0 623269513 13488566272 3275591 33554432000 4194304 6720400 140737456747952 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/21826/statm: 3293107 3275591 264 617 0 3292481 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 13172428
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 21833
/proc/meminfo: memFree=18102624/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13177272 CPUtime=222.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3375998 0 0 0 21833 397 0 0 25 0 1 0 623269513 13493526528 3277414 33554432000 4194304 6720400 140737456747952 18446744073709551615 4717383 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3294318 3277414 264 617 0 3293692 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 13177272
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 21835
/proc/meminfo: memFree=18101472/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13177272 CPUtime=282.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3376082 0 0 0 27833 397 0 0 25 0 1 0 623269513 13493526528 3277489 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3294318 3277489 264 617 0 3293692 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 13177272
[startup+342.301 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 21836
/proc/meminfo: memFree=18100892/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=342.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3376175 0 0 0 33833 397 0 0 25 0 1 0 623269513 13499334656 3277581 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630721 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3277581 264 617 0 3295110 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 13182944
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 21838
/proc/meminfo: memFree=18099356/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=402.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3376176 0 0 0 39833 397 0 0 25 0 1 0 623269513 13499334656 3277582 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3277582 264 617 0 3295110 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 13182944
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21839
/proc/meminfo: memFree=18094936/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=462.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3376378 0 0 0 45833 397 0 0 25 0 1 0 623269513 13499334656 3277775 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630733 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3277775 264 617 0 3295110 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 13182944
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21880
/proc/meminfo: memFree=18457560/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=522.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3376437 0 0 0 51833 397 0 0 25 0 1 0 623269513 13499334656 3277826 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630440 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3277826 264 617 0 3295110 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 13182944
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 21882
/proc/meminfo: memFree=18432512/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=582.3 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377204 0 0 0 57833 397 0 0 25 0 1 0 623269513 13499334656 3278585 33554432000 4194304 6720400 140737456747952 18446744073709551615 4803258 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278585 264 617 0 3295110 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 13182944
[startup+642.3 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 21891
/proc/meminfo: memFree=18407188/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=942.31 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 93834 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 13182944
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 21893
/proc/meminfo: memFree=18399824/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1002.31 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 99834 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630624 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 13182944
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21894
/proc/meminfo: memFree=18399256/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1062.31 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 105834 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630252 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 13182944
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21896
/proc/meminfo: memFree=18398088/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1122.31 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 111834 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630252 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 13182944
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/178 21898
/proc/meminfo: memFree=18397544/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1182.32 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 117835 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630637 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 13182944
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 21899
/proc/meminfo: memFree=18397736/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1242.32 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 123835 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630512 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 13182944
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 21901
/proc/meminfo: memFree=18397316/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1302.32 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 129835 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4621618 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 13182944
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21902
/proc/meminfo: memFree=18397516/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1362.32 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 135835 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630214 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 13182944
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21904
/proc/meminfo: memFree=18378732/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1422.33 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 141836 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630356 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 13182944
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21906
/proc/meminfo: memFree=18378800/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1482.32 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 147835 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 13182944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21907
/proc/meminfo: memFree=18378744/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1542.33 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 153836 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630274 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 13182944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21909
/proc/meminfo: memFree=18378812/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1602.33 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 159836 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630277 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 13182944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21910
/proc/meminfo: memFree=18378772/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1662.33 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 165836 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630512 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 13182944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21912
/proc/meminfo: memFree=18368184/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1722.33 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 171836 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 13182944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21914
/proc/meminfo: memFree=18367400/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1782.33 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 177836 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630258 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 13182944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21914
/proc/meminfo: memFree=18367380/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=13182944 CPUtime=1800.04 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202496 3377352 0 0 0 179607 397 0 0 25 0 1 0 623269513 13499334656 3278732 33554432000 4194304 6720400 140737456747952 18446744073709551615 4630277 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/21826/statm: 3295736 3278732 264 617 0 3295110 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13182944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21914
/proc/meminfo: memFree=18367380/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202500 3377359 0 0 0 179607 417 0 0 25 0 1 0 623269513 0 0 33554432000 0 0 0 0 0 0 16384 4096 17571 18446744073709551615 0 0 17 5 0 0 0
/proc/21826/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21914
/proc/meminfo: memFree=18367380/32951124 swapFree=67055708/67111528
[pid=21826] ppid=21824 vsize=0 CPUtime=1800.44 cores=1,3,5,7
/proc/21826/stat : 21826 (minisatid) R 21824 21826 21306 0 -1 4202500 3377359 0 0 0 179607 437 0 0 25 0 1 0 623269513 0 0 33554432000 0 0 0 0 0 0 16384 4096 17571 18446744073709551615 0 0 17 5 0 0 0
/proc/21826/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.47
CPU user time (s): 1796.07
CPU system time (s): 4.39633
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 13359836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.07
system time used= 4.39633
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3377359
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= 2675
runsolver used 2.41063 second user time and 5.85311 second system time
The end