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-3490642-1307765919/watcher-3490642-1307765919 -o /tmp/evaluation-result-3490642-1307765919/solver-3490642-1307765919 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490642-1307765919.opb --verbosity=0 --format=opb --randomseed=1614884793
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: 2.00 2.00 2.00 2/177 19314
/proc/meminfo: memFree=30842604/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=7608 CPUtime=0 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 420 0 0 0 0 0 0 0 25 0 1 0 888189929 7790592 372 33554432000 4194304 6720400 140735607441824 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 1902 372 231 617 0 1276 0
[startup+0.09003 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19314
/proc/meminfo: memFree=30842604/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=10452 CPUtime=0.08 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 1187 0 0 0 8 0 0 0 25 0 1 0 888189929 10702848 1135 33554432000 4194304 6720400 140735607441824 18446744073709551615 4803270 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 2613 1135 265 617 0 1987 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10452
[startup+0.101024 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19314
/proc/meminfo: memFree=30842604/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=10452 CPUtime=0.09 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 1202 0 0 0 9 0 0 0 25 0 1 0 888189929 10702848 1150 33554432000 4194304 6720400 140735607441824 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 2613 1150 265 617 0 1987 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10452
[startup+0.300991 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19314
/proc/meminfo: memFree=30842604/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=10536 CPUtime=0.29 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 2038 0 0 0 29 0 0 0 25 0 1 0 888189929 10788864 1985 33554432000 4194304 6720400 140735607441824 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 2634 1985 265 617 0 2008 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10536
[startup+0.700928 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19314
/proc/meminfo: memFree=30842604/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=17784 CPUtime=0.69 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 3762 0 0 0 69 0 0 0 25 0 1 0 888189929 18210816 3705 33554432000 4194304 6720400 140735607441824 18446744073709551615 4608940 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 4446 3705 265 617 0 3820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17784
[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19315
/proc/meminfo: memFree=30824128/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=36880 CPUtime=1.49 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 7229 0 0 0 148 1 0 0 25 0 1 0 888189929 37765120 7159 33554432000 4194304 6720400 140735607441824 18446744073709551615 4583104 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 9220 7159 265 617 0 8594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36880
[startup+3.10048 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19315
/proc/meminfo: memFree=30829100/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=18200 CPUtime=3.09 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 16647 0 0 0 307 2 0 0 25 0 1 0 888189929 18636800 3928 33554432000 4194304 6720400 140735607441824 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 4550 3928 265 617 0 3924 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18200
[startup+6.30091 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19315
/proc/meminfo: memFree=30760728/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=60152 CPUtime=6.29 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 34059 0 0 0 625 4 0 0 25 0 1 0 888189929 61595648 9940 33554432000 4194304 6720400 140735607441824 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 15038 9940 266 617 0 14412 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60152
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19315
/proc/meminfo: memFree=30803012/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=60152 CPUtime=12.69 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 63923 0 0 0 1261 8 0 0 25 0 1 0 888189929 61595648 11934 33554432000 4194304 6720400 140735607441824 18446744073709551615 4816844 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 15038 11934 266 617 0 14412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60152
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19316
/proc/meminfo: memFree=30784284/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=60152 CPUtime=25.49 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 74640 0 0 0 2540 9 0 0 25 0 1 0 888189929 61595648 14608 33554432000 4194304 6720400 140735607441824 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 15038 14608 266 617 0 14412 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60152
[startup+51.1008 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 19316
/proc/meminfo: memFree=30777060/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=60152 CPUtime=51.09 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 121782 0 0 0 5094 15 0 0 25 0 1 0 888189929 61595648 14608 33554432000 4194304 6720400 140735607441824 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 15038 14608 266 617 0 14412 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60152
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19318
/proc/meminfo: memFree=30730508/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=117528 CPUtime=102.3 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 326386 0 0 0 10185 45 0 0 25 0 1 0 888189929 120348672 26817 33554432000 4194304 6720400 140735607441824 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 29382 26817 266 617 0 28756 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 117528
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19319
/proc/meminfo: memFree=30701188/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=148348 CPUtime=162.3 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 564192 0 0 0 16150 80 0 0 25 0 1 0 888189929 151908352 36130 33554432000 4194304 6720400 140735607441824 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 37087 36130 266 617 0 36461 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 148348
[startup+222.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 19321
/proc/meminfo: memFree=30655372/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=198436 CPUtime=222.29 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 784693 0 0 0 22114 115 0 0 25 0 1 0 888189929 203198464 43105 33554432000 4194304 6720400 140735607441824 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 49609 43105 266 617 0 48983 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 198436
[startup+282.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 19323
/proc/meminfo: memFree=30714588/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=148348 CPUtime=282.3 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 1026313 0 0 0 28078 152 0 0 25 0 1 0 888189929 151908352 30300 33554432000 4194304 6720400 140735607441824 18446744073709551615 4611793 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 37087 30300 266 617 0 36461 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 148348
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 19324
/proc/meminfo: memFree=30725936/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=99560 CPUtime=342.3 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 1259237 0 0 0 34040 190 0 0 25 0 1 0 888189929 101949440 24460 33554432000 4194304 6720400 140735607441824 18446744073709551615 4812845 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 24890 24460 266 617 0 24264 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 99560
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 19326
/proc/meminfo: memFree=30654476/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=179700 CPUtime=402.31 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 1517149 0 0 0 40004 227 0 0 25 0 1 0 888189929 184012800 42389 33554432000 4194304 6720400 140735607441824 18446744073709551615 4803270 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 44925 42389 266 617 0 44299 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 179700
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19327
/proc/meminfo: memFree=30636568/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=99560 CPUtime=462.3 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 1741401 0 0 0 45969 261 0 0 25 0 1 0 888189929 101949440 24460 33554432000 4194304 6720400 140735607441824 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 24890 24460 266 617 0 24264 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 99560
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19329
/proc/meminfo: memFree=30636504/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=229788 CPUtime=522.3 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 1964588 0 0 0 51935 295 0 0 25 0 1 0 888189929 235302912 47399 33554432000 4194304 6720400 140735607441824 18446744073709551615 4804178 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 57447 47399 266 617 0 56821 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 229788
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19331
/proc/meminfo: memFree=30623312/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=229788 CPUtime=582.3 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 2196940 0 0 0 57897 333 0 0 25 0 1 0 888189929 235302912 48994 33554432000 4194304 6720400 140735607441824 18446744073709551615 4815487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 57447 48994 266 617 0 56821 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 229788
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19337
/proc/meminfo: memFree=30619880/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=249396 CPUtime=822.32 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 3084081 0 0 0 81757 475 0 0 25 0 1 0 888189929 255381504 50407 33554432000 4194304 6720400 140735607441824 18446744073709551615 4819985 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 62349 50407 266 617 0 61723 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 249396
[startup+882.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 19339
/proc/meminfo: memFree=30597624/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=249396 CPUtime=882.32 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 3297145 0 0 0 87721 511 0 0 25 0 1 0 888189929 255381504 54181 33554432000 4194304 6720400 140735607441824 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 62349 54181 266 617 0 61723 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 249396
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 19340
/proc/meminfo: memFree=30558012/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=330784 CPUtime=942.32 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 3490548 0 0 0 93687 545 0 0 25 0 1 0 888189929 338722816 65691 33554432000 4194304 6720400 140735607441824 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 82696 65691 266 617 0 82070 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 330784
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19342
/proc/meminfo: memFree=30631248/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=199308 CPUtime=1002.32 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 3686168 0 0 0 99657 575 0 0 25 0 1 0 888189929 204091392 45947 33554432000 4194304 6720400 140735607441824 18446744073709551615 4583104 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 49827 45947 266 617 0 49201 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 199308
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19343
/proc/meminfo: memFree=30644952/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=218736 CPUtime=1062.32 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 3910942 0 0 0 105622 610 0 0 25 0 1 0 888189929 223985664 44268 33554432000 4194304 6720400 140735607441824 18446744073709551615 4820140 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 54684 44268 266 617 0 54058 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 218736
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19345
/proc/meminfo: memFree=30563424/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=280640 CPUtime=1122.32 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 4134190 0 0 0 111584 648 0 0 25 0 1 0 888189929 287375360 63457 33554432000 4194304 6720400 140735607441824 18446744073709551615 4812072 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 70160 63457 266 617 0 69534 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 280640
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19347
/proc/meminfo: memFree=30585568/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=280640 CPUtime=1182.33 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 4358838 0 0 0 117546 687 0 0 25 0 1 0 888189929 287375360 60258 33554432000 4194304 6720400 140735607441824 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 70160 60258 266 617 0 69534 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 280640
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19348
/proc/meminfo: memFree=30489036/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=362028 CPUtime=1242.33 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 4575489 0 0 0 123510 723 0 0 25 0 1 0 888189929 370716672 82323 33554432000 4194304 6720400 140735607441824 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 90507 82323 266 617 0 89881 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 362028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19350
/proc/meminfo: memFree=30502764/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=362028 CPUtime=1302.33 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 4791466 0 0 0 129472 761 0 0 25 0 1 0 888189929 370716672 77232 33554432000 4194304 6720400 140735607441824 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 90507 77232 266 617 0 89881 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 362028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19351
/proc/meminfo: memFree=30596568/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=230552 CPUtime=1362.33 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 4988325 0 0 0 135441 792 0 0 25 0 1 0 888189929 236085248 56079 33554432000 4194304 6720400 140735607441824 18446744073709551615 4804174 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 57638 56079 266 617 0 57012 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 230552
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19468
/proc/meminfo: memFree=30752796/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=150412 CPUtime=1422.33 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 5201630 0 0 0 141405 828 0 0 25 0 1 0 888189929 154021888 37171 33554432000 4194304 6720400 140735607441824 18446744073709551615 4815483 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 37603 37171 266 617 0 36977 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 150412
[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 19470
/proc/meminfo: memFree=30708688/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=230552 CPUtime=1482.33 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 5422261 0 0 0 147366 867 0 0 25 0 1 0 888189929 236085248 49885 33554432000 4194304 6720400 140735607441824 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 57638 49885 266 617 0 57012 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 230552
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 19471
/proc/meminfo: memFree=30705672/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=199732 CPUtime=1542.34 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 5643314 0 0 0 153331 903 0 0 25 0 1 0 888189929 204525568 47819 33554432000 4194304 6720400 140735607441824 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 49933 47819 266 617 0 49307 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 199732
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 19473
/proc/meminfo: memFree=30645120/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=280640 CPUtime=1602.34 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 5848015 0 0 0 159295 939 0 0 25 0 1 0 888189929 287375360 63528 33554432000 4194304 6720400 140735607441824 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 70160 63528 266 617 0 69534 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 280640
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 19474
/proc/meminfo: memFree=30574392/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=362028 CPUtime=1662.34 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 6043008 0 0 0 165263 971 0 0 25 0 1 0 888189929 370716672 79479 33554432000 4194304 6720400 140735607441824 18446744073709551615 4805705 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 90507 79479 266 617 0 89881 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 362028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19476
/proc/meminfo: memFree=30690516/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=230552 CPUtime=1722.34 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 6262630 0 0 0 171229 1005 0 0 25 0 1 0 888189929 236085248 52577 33554432000 4194304 6720400 140735607441824 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 57638 52577 266 617 0 57012 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 230552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19478
/proc/meminfo: memFree=30585556/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=362028 CPUtime=1782.34 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 6455636 0 0 0 177198 1036 0 0 25 0 1 0 888189929 370716672 76542 33554432000 4194304 6720400 140735607441824 18446744073709551615 4805680 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 90507 76542 266 617 0 89881 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 362028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19478
/proc/meminfo: memFree=30544992/32951124 swapFree=67051744/67111528
[pid=19314] ppid=19312 vsize=362028 CPUtime=1800.04 cores=1,3,5,7
/proc/19314/stat : 19314 (minisatid) R 19312 19314 18867 0 -1 4202496 6520093 0 0 0 178960 1044 0 0 25 0 1 0 888189929 370716672 85179 33554432000 4194304 6720400 140735607441824 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/19314/statm: 90507 85180 266 617 0 89881 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 362028
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.07
CPU user time (s): 1789.61
CPU system time (s): 10.4624
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 494288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.61
system time used= 10.4624
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6520099
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= 3091
runsolver used 2.37364 second user time and 5.85311 second system time
The end