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-3491172-1307767502/watcher-3491172-1307767502 -o /tmp/evaluation-result-3491172-1307767502/solver-3491172-1307767502 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491172-1307767502.opb --verbosity=0 --format=opb --randomseed=847842178
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.00 1.07 1.42 2/177 11879
/proc/meminfo: memFree=31826940/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=7728 CPUtime=0 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 445 0 0 0 0 0 0 0 25 0 1 0 888352984 7913472 397 33554432000 4194304 6720400 140736191742288 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 1932 397 231 617 0 1306 0
[startup+0.040835 s]
/proc/loadavg: 1.00 1.07 1.42 2/177 11879
/proc/meminfo: memFree=31826940/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=9648 CPUtime=0.03 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 936 0 0 0 3 0 0 0 25 0 1 0 888352984 9879552 888 33554432000 4194304 6720400 140736191742288 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 2412 889 231 617 0 1786 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9648
[startup+0.100844 s]
/proc/loadavg: 1.00 1.07 1.42 2/177 11879
/proc/meminfo: memFree=31826940/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=14684 CPUtime=0.09 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 2236 0 0 0 9 0 0 0 25 0 1 0 888352984 15036416 2175 33554432000 4194304 6720400 140736191742288 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 3671 2178 246 617 0 3045 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14684
[startup+0.300806 s]
/proc/loadavg: 1.00 1.07 1.42 2/177 11879
/proc/meminfo: memFree=31826940/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=15064 CPUtime=0.29 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 2554 0 0 0 29 0 0 0 25 0 1 0 888352984 15425536 2465 33554432000 4194304 6720400 140736191742288 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 3766 2465 265 617 0 3140 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15064
[startup+0.700744 s]
/proc/loadavg: 1.00 1.07 1.42 2/177 11879
/proc/meminfo: memFree=31826940/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=18056 CPUtime=0.69 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 4077 0 0 0 69 0 0 0 25 0 1 0 888352984 18489344 3987 33554432000 4194304 6720400 140736191742288 18446744073709551615 4610399 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 4514 3988 265 617 0 3888 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18056
[startup+1.50059 s]
/proc/loadavg: 1.08 1.09 1.42 3/178 11880
/proc/meminfo: memFree=31789924/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=41464 CPUtime=1.49 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 7407 0 0 0 148 1 0 0 25 0 1 0 888352984 42459136 7315 33554432000 4194304 6720400 140736191742288 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 10366 7315 265 617 0 9740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41464
[startup+3.10028 s]
/proc/loadavg: 1.08 1.09 1.42 3/178 11880
/proc/meminfo: memFree=31754212/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=60832 CPUtime=3.09 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 13434 0 0 0 308 1 0 0 25 0 1 0 888352984 62291968 13328 33554432000 4194304 6720400 140736191742288 18446744073709551615 4432270 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 15208 13328 266 617 0 14582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60832
[startup+6.30075 s]
/proc/loadavg: 1.08 1.09 1.42 3/178 11880
/proc/meminfo: memFree=31724876/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=142412 CPUtime=6.29 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 25377 0 0 0 626 3 0 0 25 0 1 0 888352984 145829888 25249 33554432000 4194304 6720400 140736191742288 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 35603 25249 266 617 0 34977 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142412
[startup+12.7006 s]
/proc/loadavg: 1.22 1.12 1.43 3/178 11881
/proc/meminfo: memFree=31772528/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=62336 CPUtime=12.69 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 50966 0 0 0 1261 8 0 0 25 0 1 0 888352984 63832064 14003 33554432000 4194304 6720400 140736191742288 18446744073709551615 4812058 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 15584 14003 266 617 0 14958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62336
[startup+25.5003 s]
/proc/loadavg: 1.34 1.15 1.44 3/178 11881
/proc/meminfo: memFree=31676428/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=144200 CPUtime=25.49 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 100281 0 0 0 2533 16 0 0 25 0 1 0 888352984 147660800 28520 33554432000 4194304 6720400 140736191742288 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 36050 28520 266 617 0 35424 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144200
[startup+51.1008 s]
/proc/loadavg: 1.64 1.23 1.46 3/178 11882
/proc/meminfo: memFree=31598764/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=34904 CPUtime=51.09 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 202766 0 0 0 5075 34 0 0 25 0 1 0 888352984 35741696 6559 33554432000 4194304 6720400 140736191742288 18446744073709551615 4819884 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 8726 6559 266 617 0 8100 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34904
[startup+102.307 s]
/proc/loadavg: 1.85 1.36 1.48 3/178 11883
/proc/meminfo: memFree=31561904/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=232240 CPUtime=102.3 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 401067 0 0 0 10160 70 0 0 25 0 1 0 888352984 237813760 48234 33554432000 4194304 6720400 140736191742288 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 58060 48234 266 617 0 57434 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 232240
[startup+162.301 s]
/proc/loadavg: 1.94 1.47 1.51 3/178 11885
/proc/meminfo: memFree=31572884/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=235384 CPUtime=162.3 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 636879 0 0 0 16116 114 0 0 25 0 1 0 888352984 241033216 47629 33554432000 4194304 6720400 140736191742288 18446744073709551615 4595062 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 58846 47629 266 617 0 58220 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 235384
[startup+222.3 s]
/proc/loadavg: 1.98 1.57 1.54 3/178 11886
/proc/meminfo: memFree=31696936/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=76660 CPUtime=222.29 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 878080 0 0 0 22074 155 0 0 25 0 1 0 888352984 78499840 14882 33554432000 4194304 6720400 140736191742288 18446744073709551615 4820140 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 19165 14882 266 617 0 18539 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 76660
[startup+282.301 s]
/proc/loadavg: 1.99 1.64 1.57 3/178 11888
/proc/meminfo: memFree=31536416/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=159376 CPUtime=282.3 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 1111591 0 0 0 28036 194 0 0 25 0 1 0 888352984 163201024 34370 33554432000 4194304 6720400 140736191742288 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 39844 34370 266 617 0 39218 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 159376
[startup+342.3 s]
/proc/loadavg: 1.99 1.70 1.59 3/178 11889
/proc/meminfo: memFree=31621540/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=112848 CPUtime=342.3 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 1348081 0 0 0 33988 242 0 0 25 0 1 0 888352984 115556352 25676 33554432000 4194304 6720400 140736191742288 18446744073709551615 4595166 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 28212 25676 266 617 0 27586 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112848
[startup+402.301 s]
/proc/loadavg: 1.99 1.75 1.61 3/178 11891
/proc/meminfo: memFree=31624828/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=115056 CPUtime=402.31 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 1585755 0 0 0 39952 279 0 0 25 0 1 0 888352984 117817344 20715 33554432000 4194304 6720400 140736191742288 18446744073709551615 4803170 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 28764 20715 266 617 0 28138 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 115056
[startup+462.301 s]
/proc/loadavg: 1.99 1.80 1.64 3/178 11893
/proc/meminfo: memFree=31340304/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=382892 CPUtime=462.3 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 1831655 0 0 0 45911 319 0 0 25 0 1 0 888352984 392081408 75758 33554432000 4194304 6720400 140736191742288 18446744073709551615 4811652 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 95723 75758 266 617 0 95097 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 382892
[startup+522.3 s]
/proc/loadavg: 1.99 1.83 1.65 3/178 11894
/proc/meminfo: memFree=31586004/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=121076 CPUtime=522.31 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 2059938 0 0 0 51870 361 0 0 25 0 1 0 888352984 123981824 23594 33554432000 4194304 6720400 140736191742288 18446744073709551615 4610972 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 30269 23594 266 617 0 29643 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 121076
[startup+582.301 s]
/proc/loadavg: 1.99 1.86 1.67 3/178 11896
/proc/meminfo: memFree=31396480/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=386852 CPUtime=582.31 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 2295326 0 0 0 57831 400 0 0 25 0 1 0 888352984 396136448 78493 33554432000 4194304 6720400 140736191742288 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 96713 78493 266 617 0 96087 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 386852
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.93 1.74 3/178 11902
/proc/meminfo: memFree=31639000/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=80488 CPUtime=822.31 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 3239701 0 0 0 81666 565 0 0 25 0 1 0 888352984 82419712 16666 33554432000 4194304 6720400 140736191742288 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 20122 16667 266 617 0 19496 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 80488
[startup+882.3 s]
/proc/loadavg: 1.99 1.94 1.75 3/178 11904
/proc/meminfo: memFree=31481324/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=263424 CPUtime=882.31 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 3473558 0 0 0 87627 604 0 0 25 0 1 0 888352984 269746176 48899 33554432000 4194304 6720400 140736191742288 18446744073709551615 4812089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 65856 48899 266 617 0 65230 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 263424
[startup+942.301 s]
/proc/loadavg: 1.99 1.95 1.76 3/178 11905
/proc/meminfo: memFree=31426584/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=397212 CPUtime=942.31 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 3713018 0 0 0 93588 643 0 0 25 0 1 0 888352984 406745088 80847 33554432000 4194304 6720400 140736191742288 18446744073709551615 4595166 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 99303 80847 266 617 0 98677 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 397212
[startup+1002.3 s]
/proc/loadavg: 1.99 1.95 1.77 3/178 11916
/proc/meminfo: memFree=31426564/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=401140 CPUtime=1002.31 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 3953337 0 0 0 99545 686 0 0 25 0 1 0 888352984 410767360 78669 33554432000 4194304 6720400 140736191742288 18446744073709551615 4595122 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 100285 78669 266 617 0 99659 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 401140
[startup+1062.3 s]
/proc/loadavg: 1.99 1.96 1.78 3/178 11918
/proc/meminfo: memFree=31329540/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=407140 CPUtime=1062.32 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 4189291 0 0 0 105507 725 0 0 25 0 1 0 888352984 416911360 71205 33554432000 4194304 6720400 140736191742288 18446744073709551615 4803225 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 101785 71205 266 617 0 101159 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 407140
[startup+1122.3 s]
/proc/loadavg: 2.07 1.98 1.80 3/178 11922
/proc/meminfo: memFree=31311312/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=407584 CPUtime=1122.32 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 4411933 0 0 0 111469 763 0 0 25 0 1 0 888352984 417366016 69691 33554432000 4194304 6720400 140736191742288 18446744073709551615 4714382 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 101896 69691 266 617 0 101270 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 407584
[startup+1182.3 s]
/proc/loadavg: 2.02 1.98 1.81 3/178 11924
/proc/meminfo: memFree=31351748/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=408428 CPUtime=1182.32 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 4648705 0 0 0 117426 806 0 0 25 0 1 0 888352984 418230272 77204 33554432000 4194304 6720400 140736191742288 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 102107 77204 266 617 0 101481 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 408428
[startup+1242.3 s]
/proc/loadavg: 2.01 1.98 1.82 3/178 11925
/proc/meminfo: memFree=31394228/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=409688 CPUtime=1242.32 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 4887613 0 0 0 123387 845 0 0 25 0 1 0 888352984 419520512 86969 33554432000 4194304 6720400 140736191742288 18446744073709551615 4610399 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 102422 86969 266 617 0 101796 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 409688
[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.83 3/178 11927
/proc/meminfo: memFree=31380520/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=411096 CPUtime=1302.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 5124068 0 0 0 129348 885 0 0 25 0 1 0 888352984 420962304 88025 33554432000 4194304 6720400 140736191742288 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 102774 88025 266 617 0 102148 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 411096
[startup+1362.3 s]
/proc/loadavg: 2.08 2.00 1.84 3/178 11929
/proc/meminfo: memFree=31357892/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=412588 CPUtime=1362.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 5353549 0 0 0 135302 931 0 0 25 0 1 0 888352984 422490112 91142 33554432000 4194304 6720400 140736191742288 18446744073709551615 4817255 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 103147 91142 266 617 0 102521 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 412588
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.84 3/178 11930
/proc/meminfo: memFree=31164248/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=628336 CPUtime=1422.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 5591988 0 0 0 141259 974 0 0 25 0 1 0 888352984 643416064 102267 33554432000 4194304 6720400 140736191742288 18446744073709551615 4612080 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 157084 102267 266 617 0 156458 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 628336
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.85 3/178 11932
/proc/meminfo: memFree=31245168/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=414840 CPUtime=1482.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 5826309 0 0 0 147218 1015 0 0 25 0 1 0 888352984 424796160 82573 33554432000 4194304 6720400 140736191742288 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 103710 82573 266 617 0 103084 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 414840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 11933
/proc/meminfo: memFree=31466188/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=285352 CPUtime=1542.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 6055471 0 0 0 153180 1053 0 0 25 0 1 0 888352984 292200448 62601 33554432000 4194304 6720400 140736191742288 18446744073709551615 4819080 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 71338 62601 266 617 0 70712 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 285352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 11935
/proc/meminfo: memFree=31564704/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=204392 CPUtime=1602.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 6285740 0 0 0 159141 1092 0 0 25 0 1 0 888352984 209297408 40604 33554432000 4194304 6720400 140736191742288 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 51098 40604 266 617 0 50472 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 204392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 11937
/proc/meminfo: memFree=31458860/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=124796 CPUtime=1662.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 6521580 0 0 0 165099 1134 0 0 25 0 1 0 888352984 127791104 24585 33554432000 4194304 6720400 140736191742288 18446744073709551615 4813140 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 31199 24585 266 617 0 30573 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 124796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 11938
/proc/meminfo: memFree=31158948/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=636132 CPUtime=1722.33 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 6756561 0 0 0 171059 1174 0 0 25 0 1 0 888352984 651399168 130505 33554432000 4194304 6720400 140736191742288 18446744073709551615 4610450 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 159033 130505 266 617 0 158407 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 636132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 11940
/proc/meminfo: memFree=31108644/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=637256 CPUtime=1782.34 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 6992403 0 0 0 177019 1215 0 0 25 0 1 0 888352984 652550144 114828 33554432000 4194304 6720400 140736191742288 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 159314 114828 266 617 0 158688 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 637256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.88 2/176 11941
/proc/meminfo: memFree=31603140/32951124 swapFree=67050780/67111528
[pid=11879] ppid=11877 vsize=290532 CPUtime=1800.04 cores=0,2,4,6
/proc/11879/stat : 11879 (minisatid) R 11877 11879 1779 0 -1 4202496 7060887 0 0 0 178777 1227 0 0 25 0 1 0 888352984 297504768 57023 33554432000 4194304 6720400 140736191742288 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/11879/statm: 72633 57023 266 617 0 72007 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 290532
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.06
CPU user time (s): 1787.78
CPU system time (s): 12.2871
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 639612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.78
system time used= 12.2871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7060893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 971
runsolver used 2.73758 second user time and 5.45517 second system time
The end