Trace number 4115399

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.06 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
MD5SUM0abc7673c35064c54cd6e972f16047d8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables38297
Total number of constraints102
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints102
Minimum length of a constraint23
Maximum length of a constraint1530
Number of terms in the objective function 37494
Biggest coefficient in the objective function 580
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 555190
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260900
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 555190
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.59/0.66	c Converting 179 PB-constraints to clauses...
0.59/0.66	c   -- Unit propagations: ppp
0.59/0.67	c   -- Detecting intervals from adjacent constraints: #############################################################################
0.59/0.68	c   -- Clauses(.)/Splits(s): (none)
0.59/0.68	c ---[ 178]---> BDD-cost:   32
0.59/0.68	c ---[ 176]---> Sorter-cost:  310     Base: 3 5 2
0.59/0.68	c ---[ 174]---> BDD-cost: 1717
0.59/0.69	c ---[ 172]---> BDD-cost: 1245
0.59/0.69	c ---[ 170]---> Adder-cost: 1106   maxlim: 14   bits: 5/4
0.69/0.71	c ---[ 168]---> Adder-cost: 1249   maxlim: 27   bits: 6/5
0.69/0.72	c ---[ 166]---> BDD-cost:  797
0.69/0.73	c ---[ 164]---> Adder-cost: 1106   maxlim: 12   bits: 5/4
0.69/0.74	c ---[ 162]---> Adder-cost: 1388   maxlim: 48   bits: 7/6
0.69/0.76	c ---[ 160]---> Adder-cost: 1249   maxlim: 22   bits: 6/5
0.69/0.78	c ---[ 158]---> BDD-cost:  797
0.69/0.78	c ---[ 156]---> BDD-cost:  797
0.69/0.78	c ---[ 154]---> Adder-cost: 1526   maxlim: 110   bits: 8/7
0.79/0.81	c ---[ 152]---> Adder-cost: 1134   maxlim: 19   bits: 6/5
0.79/0.83	c ---[ 150]---> Adder-cost: 1249   maxlim: 30   bits: 6/5
0.79/0.85	c ---[ 148]---> BDD-cost: 1717
0.79/0.85	c ---[ 146]---> Adder-cost: 1106   maxlim: 13   bits: 5/4
0.79/0.87	c ---[ 144]---> Adder-cost: 1106   maxlim: 12   bits: 5/4
0.79/0.88	c ---[ 142]---> Adder-cost: 864   maxlim: 5   bits: 4/3
0.79/0.89	c ---[ 140]---> Adder-cost: 1388   maxlim: 61   bits: 7/6
0.89/0.91	c ---[ 138]---> Adder-cost: 947   maxlim: 6   bits: 4/3
0.89/0.92	c ---[ 136]---> Adder-cost: 864   maxlim: 4   bits: 4/3
0.89/0.93	c ---[ 134]---> BDD-cost:  797
0.89/0.93	c ---[ 132]---> Adder-cost: 1134   maxlim: 17   bits: 6/5
0.89/0.95	c ---[ 130]---> Adder-cost: 1106   maxlim: 12   bits: 5/4
0.89/0.96	c ---[ 128]---> Adder-cost: 947   maxlim: 7   bits: 4/3
0.89/0.97	c ---[ 126]---> Adder-cost: 1134   maxlim: 17   bits: 6/5
0.89/0.99	c ---[ 124]---> Adder-cost: 947   maxlim: 7   bits: 4/3
0.99/1.00	c ---[ 122]---> Adder-cost: 1526   maxlim: 88   bits: 8/7
0.99/1.03	c ---[ 120]---> Adder-cost: 1106   maxlim: 12   bits: 5/4
0.99/1.04	c ---[ 118]---> Adder-cost: 989   maxlim: 10   bits: 5/4
0.99/1.05	c ---[ 116]---> Adder-cost: 989   maxlim: 10   bits: 5/4
0.99/1.06	c ---[ 114]---> Adder-cost: 864   maxlim: 5   bits: 4/3
0.99/1.07	c ---[ 112]---> Adder-cost: 947   maxlim: 7   bits: 4/3
0.99/1.08	c ---[ 110]---> Adder-cost: 1106   maxlim: 14   bits: 5/4
0.99/1.09	c ---[ 108]---> Adder-cost: 1683   maxlim: 259   bits: 10/9
1.10/1.13	c ---[ 106]---> Adder-cost: 947   maxlim: 7   bits: 4/3
1.10/1.14	c ---[ 104]---> Adder-cost: 989   maxlim: 8   bits: 5/4
1.10/1.15	c ---[ 102]---> Adder-cost: 1406   maxlim: 74   bits: 8/7
1.10/1.17	c ---[ 100]---> Adder-cost: 1388   maxlim: 45   bits: 7/6
1.10/1.20	c ---[  98]---> Adder-cost: 1106   maxlim: 15   bits: 5/4
1.20/1.21	c ---[  96]---> Adder-cost: 947   maxlim: 7   bits: 4/3
1.20/1.22	c ---[  94]---> Adder-cost: 1272   maxlim: 34   bits: 7/6
1.20/1.24	c ---[  92]---> Adder-cost: 1249   maxlim: 23   bits: 6/5
1.20/1.26	c ---[  90]---> Adder-cost: 947   maxlim: 6   bits: 4/3
1.20/1.27	c ---[  88]---> Adder-cost: 989   maxlim: 10   bits: 5/4
1.20/1.28	c ---[  86]---> Adder-cost: 1388   maxlim: 45   bits: 7/6
1.29/1.30	c ---[  84]---> Adder-cost: 1106   maxlim: 15   bits: 5/4
1.29/1.32	c ---[  82]---> Adder-cost: 864   maxlim: 5   bits: 4/3
1.29/1.33	c ---[  80]---> BDD-cost:  797
1.29/1.33	c ---[  78]---> Adder-cost: 1249   maxlim: 30   bits: 6/5
1.29/1.35	c ---[  76]---> Adder-cost: 864   maxlim: 5   bits: 4/3
1.29/1.36	c ---[  74]---> Adder-cost: 1612   maxlim: 3385   bits: 13/12
1.39/1.47	c ---[  73]---> BDD-cost:  101
1.39/1.47	c ---[  72]---> BDD-cost:  101
1.39/1.47	c ---[  71]---> BDD-cost:  101
1.39/1.47	c ---[  70]---> BDD-cost:  101
1.39/1.47	c ---[  69]---> BDD-cost:  101
1.39/1.47	c ---[  68]---> BDD-cost:  101
1.39/1.47	c ---[  67]---> BDD-cost:  101
1.39/1.47	c ---[  66]---> BDD-cost:  101
1.39/1.47	c ---[  65]---> BDD-cost:  101
1.39/1.47	c ---[  64]---> BDD-cost:  101
1.39/1.47	c ---[  63]---> BDD-cost:  101
1.39/1.47	c ---[  62]---> BDD-cost:  101
1.39/1.47	c ---[  61]---> BDD-cost:  101
1.39/1.47	c ---[  60]---> BDD-cost:  101
1.39/1.47	c ---[  59]---> BDD-cost:  101
1.39/1.47	c ---[  58]---> BDD-cost:  101
1.39/1.47	c ---[  57]---> BDD-cost:  101
1.39/1.47	c ---[  56]---> BDD-cost:  101
1.39/1.47	c ---[  55]---> BDD-cost:  101
1.39/1.47	c ---[  54]---> BDD-cost:  101
1.39/1.48	c ---[  53]---> BDD-cost:  101
1.39/1.48	c ---[  52]---> BDD-cost:  101
1.39/1.48	c ---[  51]---> BDD-cost:  101
1.39/1.48	c ---[  50]---> BDD-cost:  101
1.39/1.48	c ---[  48]---> Adder-cost: 2040   maxlim: 1726   bits: 11/11
1.69/1.73	c ---[  46]---> Adder-cost: 2074   maxlim: 1726   bits: 11/11
1.89/1.99	c ---[  44]---> Adder-cost: 2060   maxlim: 1726   bits: 11/11
2.19/2.25	c ---[  42]---> Adder-cost: 2044   maxlim: 1726   bits: 11/11
2.49/2.50	c ---[  40]---> Adder-cost: 2082   maxlim: 1726   bits: 11/11
2.69/2.76	c ---[  38]---> Adder-cost: 2058   maxlim: 1726   bits: 11/11
2.99/3.01	c ---[  36]---> Adder-cost: 2030   maxlim: 1726   bits: 11/11
3.19/3.27	c ---[  34]---> Adder-cost: 2064   maxlim: 1726   bits: 11/11
3.49/3.53	c ---[  32]---> Adder-cost: 2064   maxlim: 1726   bits: 11/11
3.69/3.78	c ---[  30]---> Adder-cost: 2040   maxlim: 1726   bits: 11/11
3.99/4.04	c ---[  28]---> Adder-cost: 2074   maxlim: 1726   bits: 11/11
4.29/4.30	c ---[  26]---> Adder-cost: 2060   maxlim: 1726   bits: 11/11
4.49/4.55	c ---[  24]---> Adder-cost: 2044   maxlim: 1726   bits: 11/11
4.79/4.81	c ---[  22]---> Adder-cost: 2082   maxlim: 1726   bits: 11/11
4.99/5.07	c ---[  20]---> Adder-cost: 2058   maxlim: 1726   bits: 11/11
5.29/5.32	c ---[  18]---> Adder-cost: 2030   maxlim: 1726   bits: 11/11
5.49/5.58	c ---[  16]---> Adder-cost: 2064   maxlim: 1726   bits: 11/11
5.79/5.84	c ---[  14]---> Adder-cost: 2064   maxlim: 1726   bits: 11/11
5.99/6.10	c ---[  12]---> Adder-cost: 2040   maxlim: 1726   bits: 11/11
6.29/6.35	c ---[  10]---> Adder-cost: 2074   maxlim: 1726   bits: 11/11
6.59/6.61	c ---[   8]---> Adder-cost: 2060   maxlim: 1726   bits: 11/11
6.79/6.86	c ---[   6]---> Adder-cost: 2044   maxlim: 1726   bits: 11/11
7.08/7.13	c ---[   4]---> Adder-cost: 2082   maxlim: 1726   bits: 11/11
7.29/7.39	c ---[   2]---> Adder-cost: 2058   maxlim: 1726   bits: 11/11
7.59/7.65	c ---[   0]---> Adder-cost: 2050   maxlim: 1727   bits: 11/11
1800.04/1800.40	|  Eliminated clauses:           0.03 Mb                                      |
1800.04/1800.40	============================[ Search Statistics ]==============================
1800.04/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.04/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.04/1800.40	===============================================================================
1800.04/1800.40	|       100 |  130488   694737  2437027 |   254736       97      4 | 11.232 % |
1800.04/1800.40	|       250 |  130483   694737  2437027 |   280210      245      4 | 11.235 % |
1800.04/1800.40	|       475 |  130465   694737  2437027 |   308231      464      4 | 11.247 % |
1800.04/1800.40	|       812 |  130453   694737  2437027 |   339054      795      4 | 11.255 % |
1800.04/1800.40	|      1318 |  130443   694737  2437027 |   372960     1297      4 | 11.262 % |
1800.04/1800.40	|      2077 |  130430   694737  2437027 |   410256     2049      4 | 11.271 % |
1800.04/1800.40	|      3216 |  130419   694737  2437027 |   451281     3183      5 | 11.278 % |
1800.04/1800.40	|      4924 |  130411   694737  2437027 |   496410     4883      6 | 11.284 % |
1800.04/1800.40	|      7486 |  130409   694737  2437027 |   546051     7440      8 | 11.285 % |
1800.04/1800.40	|     11330 |  130399   694737  2437027 |   600656    11260     11 | 11.292 % |
1800.04/1800.40	|     17096 |  130395   694737  2437027 |   660721    17023     13 | 11.295 % |
1800.04/1800.40	|     25745 |  130386   694737  2437027 |   726794    25658     15 | 11.301 % |
1800.04/1800.40	|     38719 |  130377   694737  2437027 |   799473    38614     17 | 11.307 % |
1800.04/1800.40	|     58180 |  130356   694737  2437027 |   879420    58031     18 | 11.321 % |
1800.04/1800.40	|     87372 |  130335   694737  2437027 |   967362    87161     21 | 11.335 % |
1800.04/1800.40	|    131161 |  130301   694737  2437027 |  1064099   130912     23 | 11.358 % |
1800.04/1800.40	|    196845 |  130275   694737  2437027 |  1170509   196508     24 | 11.376 % |
1800.04/1800.40	|    295371 |  130240   694737  2437027 |  1287560   294931     26 | 11.399 % |
1800.04/1800.40	|    443160 |  130199   694737  2437027 |  1416316   442648     27 | 11.427 % |
1800.04/1800.40	|    664843 |  130168   694737  2437027 |  1557947   664226     29 | 11.448 % |
1800.04/1800.40	|    997368 |  130107   694737  2437027 |  1713742   996637     30 | 11.489 % |
1800.04/1800.40	|   1496156 |  129966   694737  2437027 |  1885116  1494824     31 | 11.585 % |
1800.04/1800.40	|   2244338 |  129829   694737  2437027 |  2073628   417343     27 | 11.677 % |
1800.04/1800.40	|   3366612 |  129723   694737  2437027 |  2280991  1539414     31 | 11.749 % |
1800.04/1800.40	|   5050023 |  129528   694737  2437027 |  2509090  1005963     30 | 11.880 % |
1800.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED ***
1800.04/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4115399-1466527547/watcher-4115399-1466527547 -o /tmp/evaluation-result-4115399-1466527547/solver-4115399-1466527547 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25601 --watchdog 1960 minisatp HOME/instance-4115399-1466527547.opb 

pid=28310
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.27 2.27 2.21 3/176 28313
/proc/meminfo: memFree=28145760/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=8296 CPUtime=0 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 729 0 0 0 0 0 0 0 20 0 1 0 54800236 8495104 606 33554432000 4194304 5646918 140737140440896 140734242146264 4893519 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 2074 617 84 355 0 1715 0

[startup+0.100168 s]
/proc/loadavg: 2.27 2.27 2.21 3/176 28313
/proc/meminfo: memFree=28145760/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=20560 CPUtime=0.09 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 3709 0 0 0 9 0 0 0 20 0 1 0 54800236 21053440 3376 33554432000 4194304 5646918 140737140440896 140734242146264 4831206 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 5140 3376 97 355 0 4781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20560

[startup+0.200339 s]
/proc/loadavg: 2.27 2.27 2.21 3/176 28313
/proc/meminfo: memFree=28145760/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=21888 CPUtime=0.19 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 3836 0 0 0 19 0 0 0 20 0 1 0 54800236 22413312 3503 33554432000 4194304 5646918 140737140440896 140734242146264 4817696 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 5472 3503 97 355 0 5113 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21888

[startup+0.300342 s]
/proc/loadavg: 2.27 2.27 2.21 3/176 28313
/proc/meminfo: memFree=28145760/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=23576 CPUtime=0.29 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 4052 0 0 0 29 0 0 0 20 0 1 0 54800236 24141824 3719 33554432000 4194304 5646918 140737140440896 140734242146264 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 5894 3719 97 355 0 5535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23576

[startup+0.700279 s]
/proc/loadavg: 2.27 2.27 2.21 3/176 28313
/proc/meminfo: memFree=28145760/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=35784 CPUtime=0.69 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 7456 0 0 0 68 1 0 0 20 0 1 0 54800236 36642816 6823 33554432000 4194304 5646918 140737140440896 140737140440152 4563568 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 8946 6823 121 355 0 8587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35784

[startup+1.50035 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 28314
/proc/meminfo: memFree=28115044/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=39816 CPUtime=1.49 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 8848 0 0 0 148 1 0 0 20 0 1 0 54800236 40771584 7885 33554432000 4194304 5646918 140737140440896 140737140439560 4831366 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 9954 7885 152 355 0 9595 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39816

[startup+3.10027 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 28314
/proc/meminfo: memFree=28108408/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=41852 CPUtime=3.09 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 9333 0 0 0 308 1 0 0 20 0 1 0 54800236 42856448 8370 33554432000 4194304 5646918 140737140440896 140737140439560 4832054 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 10463 8370 152 355 0 10104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41852

[startup+6.30034 s]
/proc/loadavg: 2.24 2.26 2.20 3/177 28314
/proc/meminfo: memFree=28106060/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=43192 CPUtime=6.29 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 9549 0 0 0 628 1 0 0 20 0 1 0 54800236 44228608 8586 33554432000 4194304 5646918 140737140440896 140737140439560 4817691 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 10798 8586 152 355 0 10439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43192

[startup+12.7004 s]
/proc/loadavg: 2.30 2.27 2.21 3/177 28314
/proc/meminfo: memFree=28030764/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=123156 CPUtime=12.69 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 24236 0 0 0 1266 3 0 0 20 0 1 0 54800236 126111744 26127 33554432000 4194304 5646918 140737140440896 140737140439592 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 30789 26127 182 355 0 30430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123156

[startup+25.5004 s]
/proc/loadavg: 2.24 2.26 2.20 4/177 28314
/proc/meminfo: memFree=27978552/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=149116 CPUtime=25.48 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 26807 0 0 0 2544 4 0 0 20 0 1 0 54800236 152694784 31731 33554432000 4194304 5646918 140737140440896 140737140439000 4402739 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 37279 31731 182 355 0 36920 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149116

[startup+51.1004 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 28314
/proc/meminfo: memFree=27903536/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=190764 CPUtime=51.09 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 30156 0 0 0 5103 6 0 0 20 0 1 0 54800236 195342336 41193 33554432000 4194304 5646918 140737140440896 140737140439000 4396880 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 47691 41193 182 355 0 47332 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 190764

[startup+102.3 s]
/proc/loadavg: 2.13 2.22 2.19 3/177 28315
/proc/meminfo: memFree=27735912/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=257080 CPUtime=102.28 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 34177 0 0 0 10220 8 0 0 20 0 1 0 54800236 263249920 55415 33554432000 4194304 5646918 140737140440896 140737140439032 4396933 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 64270 55415 182 355 0 63911 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 257080

[startup+162.3 s]
/proc/loadavg: 2.19 2.23 2.19 4/177 28317
/proc/meminfo: memFree=27560300/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=353540 CPUtime=162.26 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 38138 0 0 0 16217 9 0 0 20 0 1 0 54800236 362024960 68041 33554432000 4194304 5646918 140737140440896 140737140439032 4403450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 88385 68041 182 355 0 88026 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 353540

[startup+222.307 s]
/proc/loadavg: 2.17 2.21 2.18 3/177 28318
/proc/meminfo: memFree=27414900/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=365060 CPUtime=222.27 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 41098 0 0 0 22216 11 0 0 20 0 1 0 54800236 373821440 79177 33554432000 4194304 5646918 140737140440896 140737140439000 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 91265 79177 182 355 0 90906 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 365060

[startup+282.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/178 28322
/proc/meminfo: memFree=27204320/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=378032 CPUtime=282.25 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 43829 0 0 0 28213 12 0 0 20 0 1 0 54800236 387104768 89062 33554432000 4194304 5646918 140737140440896 140737140439000 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 94508 89062 182 355 0 94149 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 378032

[startup+342.3 s]
/proc/loadavg: 2.14 2.19 2.18 4/177 28323
/proc/meminfo: memFree=29409480/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=518524 CPUtime=342.21 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 46754 0 0 0 34206 15 0 0 20 0 1 0 54800236 530968576 98807 33554432000 4194304 5646918 140737140440896 140737140439032 4402739 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 129631 98807 182 355 0 129272 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 518524

[startup+402.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 28324
/proc/meminfo: memFree=29231800/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=527032 CPUtime=402.17 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 49003 0 0 0 40201 16 0 0 20 0 1 0 54800236 539680768 108052 33554432000 4194304 5646918 140737140440896 140737140439032 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 131758 108052 182 355 0 131399 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 527032

[startup+462.3 s]
/proc/loadavg: 2.21 2.19 2.18 4/177 28326
/proc/meminfo: memFree=29270980/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=238256 CPUtime=462.17 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 51202 0 0 0 46199 18 0 0 20 0 1 0 54800236 243974144 57571 33554432000 4194304 5646918 140737140440896 140737140439000 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 59564 57571 184 355 0 59205 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 238256

[startup+522.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/177 28327
/proc/meminfo: memFree=29073716/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=319848 CPUtime=522.16 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 52320 0 0 0 52197 19 0 0 20 0 1 0 54800236 327524352 69901 33554432000 4194304 5646918 140737140440896 140737140439000 4396927 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 79962 69901 184 355 0 79603 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 319848

[startup+582.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 28328
/proc/meminfo: memFree=28906360/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=321316 CPUtime=582.14 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 52615 0 0 0 58195 19 0 0 20 0 1 0 54800236 329027584 78372 33554432000 4194304 5646918 140737140440896 140737140439000 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 80329 78372 184 355 0 79970 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 321316


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.18 2.21 2.18 4/178 28392
/proc/meminfo: memFree=29857720/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=550080 CPUtime=882.11 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 57239 0 0 0 88186 25 0 0 20 0 1 0 54800236 563281920 115682 33554432000 4194304 5646918 140737140440896 140737140439032 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 137520 115682 184 355 0 137161 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 550080

[startup+942.3 s]
/proc/loadavg: 2.34 2.25 2.19 4/178 28415
/proc/meminfo: memFree=29825680/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=554640 CPUtime=942.1 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 58418 0 0 0 94184 26 0 0 20 0 1 0 54800236 567951360 121971 33554432000 4194304 5646918 140737140440896 140737140439000 4403040 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 138660 121971 184 355 0 138301 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 554640

[startup+1002.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 28416
/proc/meminfo: memFree=29782028/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=563012 CPUtime=1002.09 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 59628 0 0 0 100182 27 0 0 20 0 1 0 54800236 576524288 128291 33554432000 4194304 5646918 140737140440896 140737140439032 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 140753 128291 184 355 0 140394 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 563012

[startup+1062.3 s]
/proc/loadavg: 2.10 2.19 2.17 3/177 28418
/proc/meminfo: memFree=29732872/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=254312 CPUtime=1062.07 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 61059 0 0 0 106178 29 0 0 20 0 1 0 54800236 260415488 59250 33554432000 4194304 5646918 140737140440896 140737140439032 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 63578 59250 184 355 0 63219 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 254312

[startup+1122.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 28419
/proc/meminfo: memFree=29953720/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=304912 CPUtime=1122.07 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 62329 0 0 0 112177 30 0 0 20 0 1 0 54800236 312229888 72228 33554432000 4194304 5646918 140737140440896 140737140439592 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 76228 72228 184 355 0 75869 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 304912

[startup+1182.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 28420
/proc/meminfo: memFree=29141332/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=355620 CPUtime=1182.06 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 62955 0 0 0 118175 31 0 0 20 0 1 0 54800236 364154880 82549 33554432000 4194304 5646918 140737140440896 140737140439592 4397906 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 88905 82549 184 355 0 88546 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 355620

[startup+1242.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/177 28421
/proc/meminfo: memFree=29057196/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=437640 CPUtime=1242.05 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 63645 0 0 0 124174 31 0 0 20 0 1 0 54800236 448143360 90898 33554432000 4194304 5646918 140737140440896 140737140439592 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 109410 90898 184 355 0 109051 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 437640

[startup+1302.3 s]
/proc/loadavg: 2.42 2.27 2.20 3/177 28422
/proc/meminfo: memFree=28990184/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=438752 CPUtime=1302.03 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 63984 0 0 0 130172 31 0 0 20 0 1 0 54800236 449282048 99924 33554432000 4194304 5646918 140737140440896 140737140439000 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 109688 99924 184 355 0 109329 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 438752

[startup+1362.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/177 28424
/proc/meminfo: memFree=28911132/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=440760 CPUtime=1362.03 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 64388 0 0 0 136171 32 0 0 20 0 1 0 54800236 451338240 106971 33554432000 4194304 5646918 140737140440896 140737140439000 4402824 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 110190 106971 184 355 0 109831 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 440760

[startup+1422.3 s]
/proc/loadavg: 2.29 2.26 2.19 4/177 28425
/proc/meminfo: memFree=28843436/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=574160 CPUtime=1422.03 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 65209 0 0 0 142170 33 0 0 20 0 1 0 54800236 587939840 113404 33554432000 4194304 5646918 140737140440896 140737140439000 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 143540 113404 184 355 0 143181 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 574160

[startup+1482.3 s]
/proc/loadavg: 2.49 2.32 2.21 3/178 28429
/proc/meminfo: memFree=28772808/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=576104 CPUtime=1482.01 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 65690 0 0 0 148168 33 0 0 20 0 1 0 54800236 589930496 119506 33554432000 4194304 5646918 140737140440896 140737140439000 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 144026 119506 184 355 0 143667 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 576104

[startup+1542.31 s]
/proc/loadavg: 2.41 2.33 2.22 3/177 28430
/proc/meminfo: memFree=28709632/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=577904 CPUtime=1542 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 66264 0 0 0 154166 34 0 0 20 0 1 0 54800236 591773696 125776 33554432000 4194304 5646918 140737140440896 140737140439000 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 144476 125776 184 355 0 144117 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 577904

[startup+1602.3 s]
/proc/loadavg: 2.26 2.30 2.22 3/177 28431
/proc/meminfo: memFree=28647456/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=579888 CPUtime=1601.97 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 66747 0 0 0 160163 34 0 0 20 0 1 0 54800236 593805312 131675 33554432000 4194304 5646918 140737140440896 140737140439000 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 144972 131675 184 355 0 144613 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 579888

[startup+1662.3 s]
/proc/loadavg: 2.33 2.32 2.23 3/177 28433
/proc/meminfo: memFree=28590500/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=583192 CPUtime=1661.96 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 67425 0 0 0 166162 34 0 0 20 0 1 0 54800236 597188608 136950 33554432000 4194304 5646918 140737140440896 140737140439000 4403420 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 145798 136950 184 355 0 145439 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 583192

[startup+1722.3 s]
/proc/loadavg: 2.39 2.33 2.24 3/177 28434
/proc/meminfo: memFree=28541116/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=585972 CPUtime=1721.95 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 68210 0 0 0 172160 35 0 0 20 0 1 0 54800236 600035328 143866 33554432000 4194304 5646918 140737140440896 140737140439032 4402699 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 146493 143866 184 355 0 146134 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 585972

[startup+1782.3 s]
/proc/loadavg: 2.29 2.31 2.23 3/176 28435
/proc/meminfo: memFree=28485332/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=804276 CPUtime=1781.94 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 69422 0 0 0 178156 38 0 0 20 0 1 0 54800236 823578624 149155 33554432000 4194304 5646918 140737140440896 140737140439032 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 201069 149155 184 355 0 200710 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 804276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.42 2.34 2.24 3/177 28436
/proc/meminfo: memFree=28815272/32872528 swapFree=1459884/1656108
[pid=28313] ppid=28310 vsize=278020 CPUtime=1800.04 cores=1,3,5,7
/proc/28313/stat : 28313 (minisatp) R 28310 28313 25584 0 -1 4202496 69818 0 0 0 179963 41 0 0 20 0 1 0 54800236 284692480 65432 33554432000 4194304 5646918 140737140440896 140737140439000 4403368 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 69505 65432 184 355 0 69146 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 278020

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28313 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.06
CPU user time (s): 1799.64
CPU system time (s): 0.417936
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 835516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.417936
maximum resident set size= 624256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69818
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= 98
involuntary context switches= 1928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56615 second user time and 7.37488 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-21 18:45:47
IDJOB=4115399
IDBENCH=1762
IDSOLVER=2555
FILE ID=node136/4115399-1466527547
RUNJOBID= node136-1466514782-25601
PBS_JOBID= 19942881
Free space on /tmp= 71732 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115399-1466527547/watcher-4115399-1466527547 -o /tmp/evaluation-result-4115399-1466527547/solver-4115399-1466527547 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466514782-25601 --watchdog 1960  minisatp HOME/instance-4115399-1466527547.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0abc7673c35064c54cd6e972f16047d8
RANDOM SEED=429169178

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28147116 kB
Buffers:           12748 kB
Cached:            89784 kB
SwapCached:         1596 kB
Active:          2280224 kB
Inactive:          77664 kB
Active(anon):    2256340 kB
Inactive(anon):     1388 kB
Active(file):      23884 kB
Inactive(file):    76276 kB
Unevictable:     1656108 kB
Mlocked:         1459884 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:              5068 kB
Writeback:             0 kB
AnonPages:       3982460 kB
Mapped:             7636 kB
Shmem:                 0 kB
Slab:             564936 kB
SReclaimable:       9284 kB
SUnreclaim:       555652 kB
KernelStack:        1472 kB
PageTables:        11408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4483732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2465792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4115399-1466527547.opb

Free space on /tmp at the end= 71724 MiB
End job on node136 at 2016-06-21 19:15:48