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-3491527-1307791572/watcher-3491527-1307791572 -o /tmp/evaluation-result-3491527-1307791572/solver-3491527-1307791572 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491527-1307791572.opb --verbosity=0 --format=opb --randomseed=2067681273
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 1.98 1.99 2/177 15656
/proc/meminfo: memFree=30686280/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=8080 CPUtime=0 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 890759996 8273920 464 33554432000 4194304 6720400 140736891005296 18446744073709551615 4618285 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 2020 464 230 617 0 1394 0
[startup+0.061379 s]
/proc/loadavg: 1.98 1.98 1.99 2/177 15656
/proc/meminfo: memFree=30686280/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=13940 CPUtime=0.05 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 1874 0 0 0 5 0 0 0 25 0 1 0 890759996 14274560 1827 33554432000 4194304 6720400 140736891005296 18446744073709551615 5612743 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 3485 1827 230 617 0 2859 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13940
[startup+0.100372 s]
/proc/loadavg: 1.98 1.98 1.99 2/177 15656
/proc/meminfo: memFree=30686280/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=15860 CPUtime=0.09 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 2364 0 0 0 9 0 0 0 25 0 1 0 890759996 16240640 2317 33554432000 4194304 6720400 140736891005296 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 3965 2317 230 617 0 3339 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15860
[startup+0.300341 s]
/proc/loadavg: 1.98 1.98 1.99 2/177 15656
/proc/meminfo: memFree=30686280/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=40856 CPUtime=0.29 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 8653 0 0 0 28 1 0 0 25 0 1 0 890759996 41836544 8508 33554432000 4194304 6720400 140736891005296 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 10214 8510 245 617 0 9588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40856
[startup+0.700269 s]
/proc/loadavg: 1.98 1.98 1.99 2/177 15656
/proc/meminfo: memFree=30686280/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=58476 CPUtime=0.69 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 13071 0 0 0 68 1 0 0 25 0 1 0 890759996 59879424 12926 33554432000 4194304 6720400 140736891005296 18446744073709551615 4592997 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14619 12926 263 617 0 13993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58476
[startup+1.50013 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 15657
/proc/meminfo: memFree=30636092/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=58476 CPUtime=1.49 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 13148 0 0 0 148 1 0 0 25 0 1 0 890759996 59879424 12996 33554432000 4194304 6720400 140736891005296 18446744073709551615 4592969 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14619 12996 263 617 0 13993 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58476
[startup+3.10084 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15657
/proc/meminfo: memFree=30635352/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=58476 CPUtime=3.09 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 13324 0 0 0 308 1 0 0 25 0 1 0 890759996 59879424 13152 33554432000 4194304 6720400 140736891005296 18446744073709551615 4592891 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14619 13152 264 617 0 13993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58476
[startup+6.30029 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15657
/proc/meminfo: memFree=30634608/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=55116 CPUtime=6.29 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 13833 0 0 0 628 1 0 0 25 0 1 0 890759996 56438784 13054 33554432000 4194304 6720400 140736891005296 18446744073709551615 4717613 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 13779 13054 264 617 0 13153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55116
[startup+12.7002 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15657
/proc/meminfo: memFree=30633896/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=56132 CPUtime=12.69 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14108 0 0 0 1268 1 0 0 25 0 1 0 890759996 57479168 13321 33554432000 4194304 6720400 140736891005296 18446744073709551615 4803152 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14033 13321 264 617 0 13407 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56132
[startup+25.5009 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15658
/proc/meminfo: memFree=30633652/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=25.49 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14131 0 0 0 2548 1 0 0 25 0 1 0 890759996 59166720 13343 33554432000 4194304 6720400 140736891005296 18446744073709551615 4593688 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13343 264 617 0 13819 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57780
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15658
/proc/meminfo: memFree=30633848/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=51.09 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14184 0 0 0 5108 1 0 0 25 0 1 0 890759996 59166720 13393 33554432000 4194304 6720400 140736891005296 18446744073709551615 4592496 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13393 264 617 0 13819 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57780
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15660
/proc/meminfo: memFree=30633412/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=102.29 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14205 0 0 0 10228 1 0 0 25 0 1 0 890759996 59166720 13413 33554432000 4194304 6720400 140736891005296 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13413 264 617 0 13819 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 57780
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15661
/proc/meminfo: memFree=30633256/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=162.29 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 16228 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630743 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 57780
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15663
/proc/meminfo: memFree=30633212/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=222.29 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 22228 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 57780
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15665
/proc/meminfo: memFree=30633060/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=282.29 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 28228 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 57780
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15666
/proc/meminfo: memFree=30633016/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=342.29 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 34228 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630271 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 57780
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15668
/proc/meminfo: memFree=30632720/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=402.3 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 40229 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 57780
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15669
/proc/meminfo: memFree=30632808/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=462.3 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 46229 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630733 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 57780
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15671
/proc/meminfo: memFree=30632516/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=522.3 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 52229 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4621615 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 57780
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15673
/proc/meminfo: memFree=30632352/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=582.3 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 58229 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630733 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 57780
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15679
/proc/meminfo: memFree=30632432/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=822.31 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 82230 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 57780
[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15681
/proc/meminfo: memFree=30632376/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=882.31 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 88230 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 57780
[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15721
/proc/meminfo: memFree=31521632/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=942.31 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 94230 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630360 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 57780
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15723
/proc/meminfo: memFree=31512892/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1002.31 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 100230 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630512 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 57780
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15724
/proc/meminfo: memFree=31466232/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1062.31 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14206 0 0 0 106230 1 0 0 25 0 1 0 890759996 59166720 13414 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630274 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13414 264 617 0 13819 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 57780
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15726
/proc/meminfo: memFree=31187688/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1122.31 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 112230 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 57780
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15728
/proc/meminfo: memFree=31235392/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1182.32 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 118231 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630649 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 57780
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15729
/proc/meminfo: memFree=31165040/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1242.32 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 124231 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630360 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 57780
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15731
/proc/meminfo: memFree=31506484/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1302.32 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 130231 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630277 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 57780
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15732
/proc/meminfo: memFree=31125280/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1362.32 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 136231 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630624 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 57780
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15734
/proc/meminfo: memFree=31136008/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1422.33 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 142232 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630240 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 57780
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15736
/proc/meminfo: memFree=31576048/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1482.32 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 148231 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 57780
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15737
/proc/meminfo: memFree=31129608/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1542.33 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 154232 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630649 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 57780
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15739
/proc/meminfo: memFree=31268320/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1602.33 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 160232 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4621637 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 57780
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15740
/proc/meminfo: memFree=31158664/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1662.33 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 166232 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4621568 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 57780
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15742
/proc/meminfo: memFree=30740136/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1722.33 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 172232 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630480 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 57780
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15744
/proc/meminfo: memFree=30904252/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1782.33 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 178232 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630655 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 57780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15744
/proc/meminfo: memFree=31227884/32951124 swapFree=67050780/67111528
[pid=15656] ppid=15654 vsize=57780 CPUtime=1800.04 cores=1,3,5,7
/proc/15656/stat : 15656 (minisatid) R 15654 15656 14500 0 -1 4202496 14271 0 0 0 180003 1 0 0 25 0 1 0 890759996 59166720 13477 33554432000 4194304 6720400 140736891005296 18446744073709551615 4630274 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/15656/statm: 14445 13477 264 617 0 13819 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 57780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1800.03
CPU system time (s): 0.021996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 58476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14278
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= 20731
runsolver used 2.55061 second user time and 5.63914 second system time
The end