Trace number 4115022

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.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-share2b.opb
MD5SUM95fbceaf029492cffa0d3c545b3f551d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-39584070
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36858196
Optimality of the best value was proved NO
Number of variables2370
Total number of constraints96
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 constraints96
Minimum length of a constraint30
Maximum length of a constraint360
Number of terms in the objective function 870
Biggest coefficient in the objective function 204010946560
Number of bits for the biggest coefficient in the objective function 38
Sum of the numbers in the objective function 4534411718529
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 552977039360
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 10976862656529
Number of bits of the biggest sum of numbers44
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.09/0.13	c Converting 109 PB-constraints to clauses...
0.09/0.13	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.09/0.17	c   -- Detecting intervals from adjacent constraints: #############
0.09/0.17	c   -- Clauses(.)/Splits(s): (none)
0.09/0.17	c ---[ 108]---> Adder-cost: 860   maxlim: 24691811   bits: 26/25
1.10/1.17	c ---[ 107]---> Adder-cost: 574   maxlim: 5838564   bits: 24/23
1.29/1.35	c ---[ 106]---> Adder-cost: 632   maxlim: 6553549   bits: 24/23
1.59/1.60	c ---[ 105]---> Adder-cost: 860   maxlim: 11796389   bits: 25/24
2.30/2.33	c ---[ 104]---> Adder-cost: 1538   maxlim: 131070999   bits: 28/27
10.00/10.08	c ---[ 103]---> Adder-cost: 1520   maxlim: 131070999   bits: 28/27
18.99/19.04	c ---[ 102]---> Adder-cost: 1292   maxlim: 117963899   bits: 28/27
23.69/23.77	c ---[ 101]---> Adder-cost: 1032   maxlim: 117963899   bits: 28/27
26.29/26.33	c ---[ 100]---> BDD-cost:  160
26.29/26.33	c ---[  98]---> Sorter-cost: 2247     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
26.29/26.34	c ---[  97]---> Adder-cost: 684   maxlim: 7974098   bits: 24/23
26.78/26.80	c ---[  96]---> Adder-cost: 482   maxlim: 2944795   bits: 23/22
26.88/26.98	c ---[  95]---> Adder-cost: 451   maxlim: 1638349   bits: 22/21
27.08/27.11	c ---[  94]---> Adder-cost: 669   maxlim: 2949029   bits: 23/22
27.88/27.95	c ---[  93]---> Adder-cost: 1179   maxlim: 29162629   bits: 26/25
32.48/32.50	c ---[  92]---> Adder-cost: 1203   maxlim: 29162629   bits: 26/25
41.38/41.45	c ---[  91]---> Adder-cost: 857   maxlim: 26868939   bits: 26/25
42.58/42.61	c ---[  90]---> Adder-cost: 771   maxlim: 26868939   bits: 26/25
43.68/43.72	c ---[  89]---> BDD-cost:  140
43.68/43.72	c ---[  87]---> Sorter-cost: 1452     Base: 2 2 2 2 2 2 2 2 2 2 2 2
43.68/43.73	c ---[  86]---> Adder-cost: 1186   maxlim: 16204591   bits: 25/24
45.19/45.25	c ---[  85]---> Adder-cost: 754   maxlim: 4970022   bits: 23/23
45.38/45.44	c ---[  84]---> Adder-cost: 769   maxlim: 3276749   bits: 23/22
45.68/45.70	c ---[  83]---> Adder-cost: 966   maxlim: 5898149   bits: 24/23
46.48/46.55	c ---[  82]---> Adder-cost: 1745   maxlim: 65534999   bits: 27/26
56.48/56.56	c ---[  81]---> Adder-cost: 1659   maxlim: 65534999   bits: 27/26
62.58/62.63	c ---[  80]---> Adder-cost: 1313   maxlim: 29490749   bits: 26/25
65.48/65.54	c ---[  79]---> Adder-cost: 1225   maxlim: 58981499   bits: 27/26
68.58/68.63	c ---[  78]---> BDD-cost:  150
68.58/68.64	c ---[  76]---> Adder-cost: 248   maxlim: 96246   bits: 18/17
68.58/68.65	c ---[  75]---> Adder-cost: 970   maxlim: 9886616   bits: 24/24
69.88/69.97	c ---[  74]---> Adder-cost: 620   maxlim: 3731054   bits: 23/22
70.28/70.38	c ---[  73]---> Adder-cost: 758   maxlim: 1638349   bits: 22/21
70.98/71.06	c ---[  72]---> Adder-cost: 721   maxlim: 2949029   bits: 23/22
71.68/71.76	c ---[  71]---> Adder-cost: 1500   maxlim: 29162629   bits: 26/25
77.58/77.68	c ---[  70]---> Adder-cost: 1390   maxlim: 29162629   bits: 26/25
82.78/82.88	c ---[  69]---> Adder-cost: 1121   maxlim: 26868939   bits: 26/25
85.28/85.30	c ---[  68]---> Adder-cost: 1077   maxlim: 26868939   bits: 26/25
86.78/86.86	c ---[  67]---> BDD-cost:  140
86.78/86.86	c ---[  65]---> Sorter-cost: 2235     Base: 2 2 2 2 2 2 2 2 2 2 2 2
86.78/86.87	c ---[  64]---> Adder-cost: 858   maxlim: 10320981   bits: 24/24
87.38/87.44	c ---[  63]---> Adder-cost: 444   maxlim: 3505911   bits: 23/22
87.48/87.56	c ---[  62]---> Adder-cost: 670   maxlim: 1638349   bits: 22/21
88.18/88.25	c ---[  61]---> Adder-cost: 922   maxlim: 2949029   bits: 23/22
88.98/89.02	c ---[  60]---> Adder-cost: 1578   maxlim: 33094669   bits: 26/25
97.57/97.68	c ---[  59]---> Adder-cost: 1469   maxlim: 33094669   bits: 26/25
105.97/106.00	c ---[  58]---> Adder-cost: 1360   maxlim: 29817969   bits: 26/25
109.17/109.20	c ---[  57]---> Adder-cost: 1282   maxlim: 29817969   bits: 26/25
111.77/111.84	c ---[  56]---> BDD-cost:  140
111.77/111.84	c ---[  54]---> Sorter-cost: 2609     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
111.77/111.85	c ---[  53]---> Adder-cost: 886   maxlim: 14431144   bits: 25/24
112.37/112.47	c ---[  52]---> Adder-cost: 550   maxlim: 3866247   bits: 23/22
112.57/112.65	c ---[  51]---> Adder-cost: 575   maxlim: 3276749   bits: 23/22
112.87/112.91	c ---[  50]---> Adder-cost: 818   maxlim: 5898149   bits: 24/23
113.67/113.73	c ---[  49]---> Adder-cost: 1533   maxlim: 58326149   bits: 27/26
119.98/120.03	c ---[  48]---> Adder-cost: 1549   maxlim: 58326149   bits: 27/26
140.46/140.56	c ---[  47]---> Adder-cost: 1225   maxlim: 53738699   bits: 27/26
144.86/144.95	c ---[  46]---> Adder-cost: 1321   maxlim: 53738699   bits: 27/26
151.26/151.30	c ---[  45]---> BDD-cost:  150
151.26/151.30	c ---[  43]---> Sorter-cost: 2520     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
151.26/151.31	c ---[  42]---> Sorter-cost:  465     Base: 2 2 2 2 2 2 2 2 2 2 2 2
151.26/151.32	c ---[  41]---> BDD-cost:   58
151.26/151.32	c ---[  40]---> Sorter-cost: 1966     Base: 2 2 2 2 2 2 2 2 2 2 2 5 2
151.26/151.34	c ---[  39]---> Sorter-cost:  543     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
151.26/151.34	c ---[  38]---> BDD-cost:   53
151.26/151.34	c ---[  37]---> Sorter-cost:  249     Base: 2 2 2 2 2 2 2 2 2 2 2
151.26/151.34	c ---[  36]---> BDD-cost:   53
151.26/151.34	c ---[  35]---> Sorter-cost: 3109     Base: 2 2 2 2 2 2 2 2 2 2 2 5 2
151.26/151.37	c ---[  34]---> BDD-cost:   10
151.26/151.37	c ---[  33]---> BDD-cost:   10
151.26/151.37	c ---[  32]---> Sorter-cost:  295     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
151.26/151.38	c ---[  31]---> Sorter-cost:  295     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
151.26/151.38	c ---[  30]---> Sorter-cost:  295     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
151.26/151.38	c ---[  29]---> Adder-cost: 366   maxlim: 964540   bits: 21/20
151.36/151.43	c ---[  28]---> BDD-cost:   48
151.36/151.43	c ---[  27]---> BDD-cost:   48
151.36/151.43	c ---[  26]---> BDD-cost:   48
151.36/151.43	c ---[  25]---> BDD-cost:   10
151.36/151.43	c ---[  23]---> Sorter-cost:  352     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
151.36/151.44	c ---[  21]---> BDD-cost:  143
151.36/151.44	c ---[  19]---> Sorter-cost:  333     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
151.36/151.44	c ---[  17]---> Sorter-cost:  323     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
151.36/151.44	c ---[  15]---> BDD-cost:  133
151.36/151.45	c ---[  13]---> BDD-cost:  128
151.36/151.45	c ---[  12]---> BDD-cost:   48
151.36/151.45	c ---[  11]---> Sorter-cost:  810     Base: 2 2 2 2 2 2 2 2 2 2 2 2 3
151.36/151.46	c ---[  10]---> Adder-cost: 856   maxlim: 42535866   bits: 27/26
151.87/151.98	c ---[   9]---> Adder-cost: 622   maxlim: 8828577   bits: 25/24
152.16/152.21	c ---[   8]---> Adder-cost: 690   maxlim: 13107149   bits: 25/24
152.56/152.63	c ---[   7]---> Adder-cost: 860   maxlim: 23592869   bits: 26/25
153.56/153.61	c ---[   6]---> Adder-cost: 1596   maxlim: 235928699   bits: 29/28
164.47/164.57	c ---[   5]---> Adder-cost: 1614   maxlim: 235928699   bits: 29/28
194.96/195.04	c ---[   4]---> Adder-cost: 1432   maxlim: 217578689   bits: 29/28
201.96/202.08	c ---[   3]---> Adder-cost: 1464   maxlim: 217578689   bits: 29/28
211.96/212.06	c ---[   2]---> BDD-cost:  170
211.96/212.06	c ---[   0]---> Sorter-cost: 2644     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1800.02/1800.40	|  Eliminated clauses:           0.40 Mb                                      |
1800.02/1800.40	============================[ Search Statistics ]==============================
1800.02/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.02/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.02/1800.40	===============================================================================
1800.02/1800.40	|       100 |   72787   461786  1602604 |   169321       97     11 |  3.118 % |
1800.02/1800.40	|       250 |   72770   461786  1602604 |   186253      244      9 |  3.138 % |
1800.02/1800.40	|       475 |   72770   461786  1602604 |   204879      469     17 |  3.138 % |
1800.02/1800.40	|       812 |   72770   461786  1602604 |   225366      806     15 |  3.138 % |
1800.02/1800.40	|      1318 |   72768   461786  1602604 |   247903     1311     16 |  3.140 % |
1800.02/1800.40	|      2077 |   72768   461786  1602604 |   272694     2070     16 |  3.140 % |
1800.02/1800.40	|      3216 |   72768   461786  1602604 |   299963     3209     21 |  3.140 % |
1800.02/1800.40	|      4924 |   72728   461786  1602604 |   329959     4840     20 |  3.188 % |
1800.02/1800.40	|      7486 |   72719   461786  1602604 |   362955     7399     23 |  3.199 % |
1800.02/1800.40	|     11330 |   72709   461786  1602604 |   399251    11223     25 |  3.211 % |
1800.02/1800.40	|     17096 |   72697   461786  1602604 |   439176    16975     28 |  3.225 % |
1800.02/1800.40	|     25745 |   72678   461786  1602604 |   483094    25617     27 |  3.248 % |
1800.02/1800.40	|     38719 |   72671   461786  1602604 |   531403    38582     27 |  3.256 % |
1800.02/1800.40	|     58180 |   72617   461786  1602604 |   584543    58015     30 |  3.320 % |
1800.02/1800.40	|     87372 |   72581   461786  1602604 |   642998    87172     32 |  3.363 % |
1800.02/1800.40	|    131161 |   72568   461786  1602604 |   707298   130947     36 |  3.379 % |
1800.02/1800.40	|    196845 |   72526   461786  1602604 |   778027   196458     38 |  3.429 % |
1800.02/1800.40	|    295371 |   72489   461786  1602604 |   855830   294947     39 |  3.473 % |
1800.02/1800.40	|    443160 |   72438   461786  1602604 |   941413   442626     40 |  3.534 % |
1800.02/1800.40	|    664843 |   72430   461786  1602604 |  1035555   664294     41 |  3.543 % |
1800.02/1800.40	|    997368 |   72423   461786  1602604 |  1139110   996802     43 |  3.552 % |
1800.02/1800.40	|   1496156 |   72416   461786  1602604 |  1253021   395097     39 |  3.560 % |
1800.02/1800.40	|   2244338 |   72416   461786  1602604 |  1378323  1143279     47 |  3.560 % |
1800.02/1800.40	c 
1800.02/1800.40	c *** TERMINATED ***
1800.02/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-4115022-1466548466/watcher-4115022-1466548466 -o /tmp/evaluation-result-4115022-1466548466/solver-4115022-1466548466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17584 --watchdog 1960 minisatp HOME/instance-4115022-1466548466.opb 

pid=23706
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: 2.16 2.09 2.07 3/176 23709
/proc/meminfo: memFree=30805744/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=6588 CPUtime=0 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 56895538 6746112 232 33554432000 4194304 5646918 140736535232560 140737327808360 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 1647 232 97 355 0 1288 0

[startup+0.100162 s]
/proc/loadavg: 2.16 2.09 2.07 3/176 23709
/proc/meminfo: memFree=30805744/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=9340 CPUtime=0.09 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 1029 0 0 0 9 0 0 0 20 0 1 0 56895538 9564160 905 33554432000 4194304 5646918 140736535232560 140737327808360 4823342 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2335 905 97 355 0 1976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9340

[startup+0.200286 s]
/proc/loadavg: 2.16 2.09 2.07 3/176 23709
/proc/meminfo: memFree=30805744/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=10296 CPUtime=0.19 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 1298 0 0 0 19 0 0 0 20 0 1 0 56895538 10543104 1174 33554432000 4194304 5646918 140736535232560 140737327808360 4817419 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2574 1174 118 355 0 2215 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10296

[startup+0.300262 s]
/proc/loadavg: 2.16 2.09 2.07 3/176 23709
/proc/meminfo: memFree=30805744/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=10296 CPUtime=0.29 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 1298 0 0 0 29 0 0 0 20 0 1 0 56895538 10543104 1174 33554432000 4194304 5646918 140736535232560 140737327808360 4565255 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2574 1174 118 355 0 2215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10296

[startup+0.700276 s]
/proc/loadavg: 2.16 2.09 2.07 3/176 23709
/proc/meminfo: memFree=30805744/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=10296 CPUtime=0.69 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 1298 0 0 0 69 0 0 0 20 0 1 0 56895538 10543104 1174 33554432000 4194304 5646918 140736535232560 140736535185384 4460976 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2574 1174 118 355 0 2215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10296

[startup+1.50023 s]
/proc/loadavg: 2.16 2.09 2.07 3/177 23710
/proc/meminfo: memFree=30800916/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=10796 CPUtime=1.49 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 1456 0 0 0 149 0 0 0 20 0 1 0 56895538 11055104 1316 33554432000 4194304 5646918 140736535232560 140736535231224 4481345 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2699 1316 152 355 0 2340 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10796

[startup+3.10023 s]
/proc/loadavg: 2.16 2.09 2.07 3/177 23710
/proc/meminfo: memFree=30800172/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=11068 CPUtime=3.09 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 1797 0 0 0 309 0 0 0 20 0 1 0 56895538 11333632 1401 33554432000 4194304 5646918 140736535232560 140736535231064 4817485 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2767 1401 152 355 0 2408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11068

[startup+6.30023 s]
/proc/loadavg: 2.15 2.09 2.07 3/177 23710
/proc/meminfo: memFree=30799456/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=11068 CPUtime=6.29 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 1797 0 0 0 629 0 0 0 20 0 1 0 56895538 11333632 1401 33554432000 4194304 5646918 140736535232560 140736535231064 4831222 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2767 1401 152 355 0 2408 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11068

[startup+12.7002 s]
/proc/loadavg: 2.14 2.08 2.07 3/177 23710
/proc/meminfo: memFree=30798544/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=11768 CPUtime=12.69 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 2166 0 0 0 1269 0 0 0 20 0 1 0 56895538 12050432 1575 33554432000 4194304 5646918 140736535232560 140736535231064 4464107 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 2942 1575 152 355 0 2583 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11768

[startup+25.5003 s]
/proc/loadavg: 2.18 2.10 2.08 4/177 23710
/proc/meminfo: memFree=30795824/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=12288 CPUtime=25.49 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 2399 0 0 0 2549 0 0 0 20 0 1 0 56895538 12582912 1672 33554432000 4194304 5646918 140736535232560 140736535176120 4312086 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 3072 1672 152 355 0 2713 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12288

[startup+51.1003 s]
/proc/loadavg: 2.27 2.12 2.09 3/177 23710
/proc/meminfo: memFree=30792048/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=12776 CPUtime=51.08 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 3018 0 0 0 5108 0 0 0 20 0 1 0 56895538 13082624 1845 33554432000 4194304 5646918 140736535232560 140736535231064 4463294 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 3194 1845 152 355 0 2835 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12776

[startup+102.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/177 23711
/proc/meminfo: memFree=30781976/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=14852 CPUtime=102.28 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 3897 0 0 0 10228 0 0 0 20 0 1 0 56895538 15208448 2292 33554432000 4194304 5646918 140736535232560 140736535231224 4831206 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 3713 2292 152 355 0 3354 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14852

[startup+162.3 s]
/proc/loadavg: 2.24 2.15 2.10 4/177 23712
/proc/meminfo: memFree=30768364/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=18196 CPUtime=162.27 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 5262 0 0 0 16226 1 0 0 20 0 1 0 56895538 18632704 3060 33554432000 4194304 5646918 140736535232560 140736535173784 4817450 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 4549 3060 152 355 0 4190 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 18196

[startup+222.307 s]
/proc/loadavg: 2.29 2.19 2.11 3/177 23713
/proc/meminfo: memFree=30688416/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=92384 CPUtime=222.26 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 19266 0 0 0 22223 3 0 0 20 0 1 0 56895538 94601216 21469 33554432000 4194304 5646918 140736535232560 140736535230664 4399967 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 23096 21469 183 355 0 22737 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 92384

[startup+282.3 s]
/proc/loadavg: 2.26 2.20 2.12 3/176 23714
/proc/meminfo: memFree=30486408/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=216808 CPUtime=282.25 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 26900 0 0 0 28219 6 0 0 20 0 1 0 56895538 222011392 45925 33554432000 4194304 5646918 140736535232560 140736535230696 4403431 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 54202 45925 183 355 0 53843 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 216808

[startup+342.3 s]
/proc/loadavg: 2.17 2.19 2.11 4/178 23719
/proc/meminfo: memFree=30325772/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=312468 CPUtime=342.24 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 30828 0 0 0 34216 8 0 0 20 0 1 0 56895538 319967232 60061 33554432000 4194304 5646918 140736535232560 140736535230696 4403472 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 78117 60061 183 355 0 77758 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 312468

[startup+402.3 s]
/proc/loadavg: 2.13 2.18 2.11 3/177 23720
/proc/meminfo: memFree=30234344/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=320512 CPUtime=402.23 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 32856 0 0 0 40213 10 0 0 20 0 1 0 56895538 328204288 68732 33554432000 4194304 5646918 140736535232560 140736535230696 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 80128 68732 183 355 0 79769 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 320512

[startup+462.3 s]
/proc/loadavg: 2.25 2.21 2.12 3/176 23721
/proc/meminfo: memFree=30130384/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=461820 CPUtime=462.22 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 35378 0 0 0 46211 11 0 0 20 0 1 0 56895538 472903680 84535 33554432000 4194304 5646918 140736535232560 140736535230696 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 115455 84535 183 355 0 115096 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 461820

[startup+522.3 s]
/proc/loadavg: 2.12 2.18 2.12 4/177 23723
/proc/meminfo: memFree=30226404/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=206872 CPUtime=522.21 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 39440 0 0 0 52208 13 0 0 20 0 1 0 56895538 211836928 45863 33554432000 4194304 5646918 140736535232560 140736535230664 4403187 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 51718 45863 185 355 0 51359 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 206872

[startup+582.3 s]
/proc/loadavg: 2.20 2.19 2.12 3/177 23724
/proc/meminfo: memFree=30144872/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=262984 CPUtime=582.17 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 41226 0 0 0 58202 15 0 0 20 0 1 0 56895538 269295616 57110 33554432000 4194304 5646918 140736535232560 140736535230696 4403138 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 65746 57110 185 355 0 65387 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 262984


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


[startup+882.307 s]
/proc/loadavg: 2.18 2.17 2.12 4/177 23730
/proc/meminfo: memFree=29765440/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=366292 CPUtime=882.1 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 47012 0 0 0 88191 19 0 0 20 0 1 0 56895538 375083008 87954 33554432000 4194304 5646918 140736535232560 140736535230696 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 91573 87954 185 355 0 91214 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 366292

[startup+942.3 s]
/proc/loadavg: 2.18 2.17 2.12 3/178 23735
/proc/meminfo: memFree=29703644/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=500580 CPUtime=942.08 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 47931 0 0 0 94187 21 0 0 20 0 1 0 56895538 512593920 93978 33554432000 4194304 5646918 140736535232560 140736535230696 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 125145 93978 185 355 0 124786 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 500580

[startup+1002.3 s]
/proc/loadavg: 2.07 2.13 2.10 3/177 23736
/proc/meminfo: memFree=29655320/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=503620 CPUtime=1002.08 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 48629 0 0 0 100186 22 0 0 20 0 1 0 56895538 515706880 98764 33554432000 4194304 5646918 140736535232560 140736535230696 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 125905 98764 185 355 0 125546 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 503620

[startup+1062.3 s]
/proc/loadavg: 2.14 2.15 2.11 4/177 23737
/proc/meminfo: memFree=29618836/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=503620 CPUtime=1062.07 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 48660 0 0 0 106185 22 0 0 20 0 1 0 56895538 515706880 101350 33554432000 4194304 5646918 140736535232560 140736535230696 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 125905 101350 185 355 0 125546 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 503620

[startup+1122.3 s]
/proc/loadavg: 2.19 2.17 2.11 3/177 23738
/proc/meminfo: memFree=29580612/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=504176 CPUtime=1122.06 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 48812 0 0 0 112184 22 0 0 20 0 1 0 56895538 516276224 104568 33554432000 4194304 5646918 140736535232560 140736535230696 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 126044 104568 185 355 0 125685 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 504176

[startup+1182.3 s]
/proc/loadavg: 2.12 2.15 2.11 3/177 23739
/proc/meminfo: memFree=29538916/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=505204 CPUtime=1182.04 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 49011 0 0 0 118182 22 0 0 20 0 1 0 56895538 517328896 108855 33554432000 4194304 5646918 140736535232560 140736535230696 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 126301 108855 185 355 0 125942 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 505204

[startup+1242.3 s]
/proc/loadavg: 2.18 2.16 2.11 4/177 23741
/proc/meminfo: memFree=29500684/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=506472 CPUtime=1242.03 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 49327 0 0 0 124181 22 0 0 20 0 1 0 56895538 518627328 112237 33554432000 4194304 5646918 140736535232560 140736535230696 4403368 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 126618 112237 185 355 0 126259 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 506472

[startup+1302.3 s]
/proc/loadavg: 1.85 2.08 2.08 2/170 23776
/proc/meminfo: memFree=30653896/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=508584 CPUtime=1302.03 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 49711 0 0 0 130180 23 0 0 20 0 1 0 56895538 520790016 115687 33554432000 4194304 5646918 140736535232560 140736535230696 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 127146 115687 185 355 0 126787 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 508584

[startup+1362.3 s]
/proc/loadavg: 1.44 1.91 2.02 2/170 23777
/proc/meminfo: memFree=30923868/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=206056 CPUtime=1362.01 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 53147 0 0 0 136176 25 0 0 20 0 1 0 56895538 211001344 48353 33554432000 4194304 5646918 140736535232560 140736535231256 4403368 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 51514 48353 185 355 0 51155 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 206056

[startup+1422.3 s]
/proc/loadavg: 1.27 1.77 1.97 3/170 23778
/proc/meminfo: memFree=30879188/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=256416 CPUtime=1422 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 54361 0 0 0 142173 27 0 0 20 0 1 0 56895538 262569984 59610 33554432000 4194304 5646918 140736535232560 140736535230664 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 64104 59610 185 355 0 63745 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 256416

[startup+1482.3 s]
/proc/loadavg: 1.32 1.69 1.92 2/170 23779
/proc/meminfo: memFree=30857396/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=306504 CPUtime=1481.98 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 54698 0 0 0 148170 28 0 0 20 0 1 0 56895538 313860096 65046 33554432000 4194304 5646918 140736535232560 140736535231256 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 76626 65046 185 355 0 76267 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 306504

[startup+1542.31 s]
/proc/loadavg: 1.28 1.61 1.88 2/171 23784
/proc/meminfo: memFree=30836864/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=306504 CPUtime=1541.97 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 54726 0 0 0 154169 28 0 0 20 0 1 0 56895538 313860096 70184 33554432000 4194304 5646918 140736535232560 140736535231256 4402776 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 76626 70184 185 355 0 76267 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 306504

[startup+1602.3 s]
/proc/loadavg: 1.18 1.52 1.83 2/171 23808
/proc/meminfo: memFree=30819856/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=308484 CPUtime=1601.95 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 55143 0 0 0 160167 28 0 0 20 0 1 0 56895538 315887616 74178 33554432000 4194304 5646918 140736535232560 140736535230696 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 77121 74178 185 355 0 76762 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 308484

[startup+1662.3 s]
/proc/loadavg: 1.16 1.46 1.79 2/170 23809
/proc/meminfo: memFree=30808068/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=390724 CPUtime=1661.95 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 55891 0 0 0 166166 29 0 0 20 0 1 0 56895538 400101376 77980 33554432000 4194304 5646918 140736535232560 140736535231256 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 97681 77980 185 355 0 97322 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 390724

[startup+1722.3 s]
/proc/loadavg: 1.10 1.38 1.74 2/170 23810
/proc/meminfo: memFree=30790692/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=391672 CPUtime=1721.94 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 56123 0 0 0 172165 29 0 0 20 0 1 0 56895538 401072128 81789 33554432000 4194304 5646918 140736535232560 140736535230696 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 97918 81789 185 355 0 97559 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 391672

[startup+1782.3 s]
/proc/loadavg: 1.03 1.31 1.69 2/170 23811
/proc/meminfo: memFree=30774372/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=393684 CPUtime=1781.93 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 56531 0 0 0 178164 29 0 0 20 0 1 0 56895538 403132416 85774 33554432000 4194304 5646918 140736535232560 140736535230696 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 98421 85774 185 355 0 98062 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 393684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.10 1.31 1.68 2/170 23811
/proc/meminfo: memFree=30772076/32872528 swapFree=877056/942464
[pid=23709] ppid=23706 vsize=394256 CPUtime=1800.02 cores=0,2,4,6
/proc/23709/stat : 23709 (minisatp) R 23706 23709 17568 0 -1 4202496 56659 0 0 0 179973 29 0 0 20 0 1 0 56895538 403718144 86413 33554432000 4194304 5646918 140736535232560 140736535230696 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/23709/statm: 98564 86413 185 355 0 98205 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 394256

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 23709 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.74
CPU system time (s): 0.303953
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 538256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.303953
maximum resident set size= 493164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56659
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= 130
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27904 second user time and 8.15076 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-22 00:34:26
IDJOB=4115022
IDBENCH=2459
IDSOLVER=2555
FILE ID=node113/4115022-1466548466
RUNJOBID= node113-1466514731-17584
PBS_JOBID= 19942876
Free space on /tmp= 71700 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115022-1466548466/watcher-4115022-1466548466 -o /tmp/evaluation-result-4115022-1466548466/solver-4115022-1466548466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466514731-17584 --watchdog 1960  minisatp HOME/instance-4115022-1466548466.opb

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

MD5SUM BENCH= 95fbceaf029492cffa0d3c545b3f551d
RANDOM SEED=2126496408

node113.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		: 2666.799
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	: 5333.59
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		: 2666.799
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		: 2666.799
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		: 2666.799
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		: 2666.799
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		: 2666.799
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.54
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		: 2666.799
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.54
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		: 2666.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30805800 kB
Buffers:           29672 kB
Cached:            65176 kB
SwapCached:         2396 kB
Active:           348788 kB
Inactive:          57984 kB
Active(anon):     307428 kB
Inactive(anon):     6732 kB
Active(file):      41360 kB
Inactive(file):    51252 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:       1255028 kB
Mapped:             8948 kB
Shmem:                 0 kB
Slab:             582680 kB
SReclaimable:      26548 kB
SUnreclaim:       556132 kB
KernelStack:        1424 kB
PageTables:         6032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1376812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 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-4115022-1466548466.opb

Free space on /tmp at the end= 71700 MiB
End job on node113 at 2016-06-22 01:04:27