Trace number 4111861

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 NameAnswerCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.02 1800.31

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K88.opb
MD5SUM1622186c78d9255ec55518143c1e5a9e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5984
Total number of constraints6162
Number of constraints which are clauses6074
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint88
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 89
Number of bits of the biggest sum of numbers7
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.16	c Converting 6160 PB-constraints to clauses...
0.09/0.17	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.09/0.17	c   -- Detecting intervals from adjacent constraints: ######################################################################################
0.09/0.17	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.09/0.18	c ---[ 172]---> BDD-cost:  133
0.09/0.18	c ---[ 170]---> BDD-cost:  133
0.09/0.18	c ---[ 168]---> BDD-cost:  133
0.09/0.18	c ---[ 166]---> BDD-cost:  133
0.09/0.18	c ---[ 164]---> BDD-cost:  133
0.09/0.18	c ---[ 162]---> BDD-cost:  133
0.09/0.18	c ---[ 160]---> BDD-cost:  133
0.09/0.18	c ---[ 158]---> BDD-cost:  133
0.09/0.19	c ---[ 156]---> BDD-cost:  133
0.09/0.19	c ---[ 154]---> BDD-cost:  133
0.09/0.19	c ---[ 152]---> BDD-cost:  133
0.09/0.19	c ---[ 150]---> BDD-cost:  133
0.09/0.19	c ---[ 148]---> BDD-cost:  133
0.09/0.19	c ---[ 146]---> BDD-cost:  133
0.09/0.19	c ---[ 144]---> BDD-cost:  133
0.09/0.19	c ---[ 142]---> BDD-cost:  133
0.09/0.20	c ---[ 140]---> BDD-cost:  133
0.19/0.20	c ---[ 138]---> BDD-cost:  133
0.19/0.20	c ---[ 136]---> BDD-cost:  133
0.19/0.20	c ---[ 134]---> BDD-cost:  133
0.19/0.20	c ---[ 132]---> BDD-cost:  133
0.19/0.20	c ---[ 130]---> BDD-cost:  133
0.19/0.20	c ---[ 128]---> BDD-cost:  133
0.19/0.20	c ---[ 126]---> BDD-cost:  133
0.19/0.21	c ---[ 124]---> BDD-cost:  133
0.19/0.21	c ---[ 122]---> BDD-cost:  133
0.19/0.21	c ---[ 120]---> BDD-cost:  133
0.19/0.21	c ---[ 118]---> BDD-cost:  133
0.19/0.21	c ---[ 116]---> BDD-cost:  133
0.19/0.21	c ---[ 114]---> BDD-cost:  133
0.19/0.21	c ---[ 112]---> BDD-cost:  133
0.19/0.21	c ---[ 110]---> BDD-cost:  133
0.19/0.21	c ---[ 108]---> BDD-cost:  133
0.19/0.22	c ---[ 106]---> BDD-cost:  133
0.19/0.22	c ---[ 104]---> BDD-cost:  133
0.19/0.22	c ---[ 102]---> BDD-cost:  133
0.19/0.22	c ---[ 100]---> BDD-cost:  133
0.19/0.22	c ---[  98]---> BDD-cost:  133
0.19/0.22	c ---[  96]---> BDD-cost:  133
0.19/0.22	c ---[  94]---> BDD-cost:  133
0.19/0.22	c ---[  92]---> BDD-cost:  133
0.19/0.23	c ---[  90]---> BDD-cost:  133
0.19/0.23	c ---[  88]---> BDD-cost:  133
0.19/0.23	c ---[  86]---> BDD-cost:  133
0.19/0.23	c ---[  84]---> BDD-cost:  133
0.19/0.23	c ---[  82]---> BDD-cost:  133
0.19/0.23	c ---[  80]---> BDD-cost:  133
0.19/0.23	c ---[  78]---> BDD-cost:  133
0.19/0.23	c ---[  76]---> BDD-cost:  133
0.19/0.24	c ---[  74]---> BDD-cost:  133
0.19/0.24	c ---[  72]---> BDD-cost:  133
0.19/0.24	c ---[  70]---> BDD-cost:  133
0.19/0.24	c ---[  68]---> BDD-cost:  133
0.19/0.24	c ---[  66]---> BDD-cost:  133
0.19/0.24	c ---[  64]---> BDD-cost:  133
0.19/0.24	c ---[  62]---> BDD-cost:  133
0.19/0.24	c ---[  60]---> BDD-cost:  133
0.19/0.25	c ---[  58]---> BDD-cost:  133
0.19/0.25	c ---[  56]---> BDD-cost:  133
0.19/0.25	c ---[  54]---> BDD-cost:  133
0.19/0.25	c ---[  52]---> BDD-cost:  133
0.19/0.25	c ---[  50]---> BDD-cost:  133
0.19/0.25	c ---[  48]---> BDD-cost:  133
0.19/0.25	c ---[  46]---> BDD-cost:  133
0.19/0.25	c ---[  44]---> BDD-cost:  133
0.19/0.26	c ---[  42]---> BDD-cost:  133
0.19/0.26	c ---[  40]---> BDD-cost:  133
0.19/0.26	c ---[  38]---> BDD-cost:  133
0.19/0.26	c ---[  36]---> BDD-cost:  133
0.19/0.26	c ---[  34]---> BDD-cost:  133
0.19/0.26	c ---[  32]---> BDD-cost:  133
0.19/0.26	c ---[  30]---> BDD-cost:  133
0.19/0.26	c ---[  28]---> BDD-cost:  133
0.19/0.27	c ---[  26]---> BDD-cost:  133
0.19/0.27	c ---[  24]---> BDD-cost:  133
0.19/0.27	c ---[  22]---> BDD-cost:  133
0.19/0.27	c ---[  20]---> BDD-cost:  133
0.19/0.27	c ---[  18]---> BDD-cost:  133
0.19/0.27	c ---[  16]---> BDD-cost:  133
0.19/0.27	c ---[  14]---> BDD-cost:  129
0.19/0.27	c ---[  12]---> BDD-cost:  115
0.19/0.27	c ---[  10]---> BDD-cost:   93
0.19/0.28	c ---[   8]---> BDD-cost:   65
0.19/0.28	c ---[   6]---> BDD-cost:   47
0.19/0.28	c ---[   4]---> BDD-cost:   25
0.19/0.28	c ---[   2]---> BDD-cost:    5
1800.01/1800.30	|  Eliminated clauses:           0.02 Mb                                      |
1800.01/1800.30	============================[ Search Statistics ]==============================
1800.01/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.30	===============================================================================
1800.01/1800.30	|       100 |   16003    32329    94197 |    11853      100    149 |  2.640 % |
1800.01/1800.30	|       250 |   16003    32329    94197 |    13039      250    118 |  2.640 % |
1800.01/1800.30	|       475 |   16003    32329    94197 |    14343      475    196 |  2.640 % |
1800.01/1800.30	|       812 |   16003    32329    94197 |    15777      812    166 |  2.640 % |
1800.01/1800.30	|      1318 |   15963    32329    94197 |    17355     1315    152 |  2.876 % |
1800.01/1800.30	|      2077 |   15962    32329    94197 |    19090     2073    142 |  2.882 % |
1800.01/1800.30	|      3216 |   15962    32329    94197 |    21000     3212    175 |  2.882 % |
1800.01/1800.30	|      4924 |   15961    32329    94197 |    23100     4918    162 |  2.887 % |
1800.01/1800.30	|      7486 |   15960    32329    94197 |    25410     7478    180 |  2.893 % |
1800.01/1800.30	|     11330 |   15960    32329    94197 |    27951    11322    187 |  2.893 % |
1800.01/1800.30	|     17096 |   15958    32329    94197 |    30746    17086    190 |  2.905 % |
1800.01/1800.30	|     25745 |   15956    32329    94197 |    33820    25732    189 |  2.917 % |
1800.01/1800.30	|     38719 |   15953    32329    94197 |    37202    19388    162 |  2.935 % |
1800.01/1800.30	|     58180 |   15953    32329    94197 |    40923    19037    147 |  2.935 % |
1800.01/1800.30	|     87372 |   15951    32329    94197 |    45015    26308    165 |  2.946 % |
1800.01/1800.30	|    131161 |   15950    32329    94197 |    49516    45813    197 |  2.952 % |
1800.01/1800.30	|    196845 |   15949    32329    94197 |    54468    29836    177 |  2.958 % |
1800.01/1800.30	|    295371 |   15947    32329    94197 |    59915    37446    146 |  2.970 % |
1800.01/1800.30	|    443160 |   15946    32329    94197 |    65907    51517    188 |  2.976 % |
1800.01/1800.30	|    664843 |   15946    32329    94197 |    72497    54248    177 |  2.976 % |
1800.01/1800.30	|    997368 |   15940    32329    94197 |    79747    45967    267 |  3.011 % |
1800.01/1800.30	|   1496156 |   15939    32329    94197 |    87722    53499    152 |  3.017 % |
1800.01/1800.30	|   2244338 |   15782    32329    94197 |    96494    80816    270 |  3.942 % |
1800.01/1800.30	|   3366612 |   15762    32329    94197 |   106144    65000    138 |  4.060 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	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-4111861-1466601690/watcher-4111861-1466601690 -o /tmp/evaluation-result-4111861-1466601690/solver-4111861-1466601690 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466586805-30471 --watchdog 1960 minisatp HOME/instance-4111861-1466601690.opb 

pid=635
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.17 2.23 2.21 3/178 638
/proc/meminfo: memFree=29629436/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=6464 CPUtime=0 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 316 0 0 0 0 0 0 0 20 0 1 0 62214950 6619136 193 33554432000 4194304 5646918 140734197320864 140737192387112 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 1616 193 94 355 0 1257 0

[startup+0.100111 s]
/proc/loadavg: 2.17 2.23 2.21 3/178 638
/proc/meminfo: memFree=29629436/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=12444 CPUtime=0.09 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 1767 0 0 0 9 0 0 0 20 0 1 0 62214950 12742656 1644 33554432000 4194304 5646918 140734197320864 140737192387112 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 3111 1644 94 355 0 2752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12444

[startup+0.200271 s]
/proc/loadavg: 2.17 2.23 2.21 3/178 638
/proc/meminfo: memFree=29629436/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=16040 CPUtime=0.19 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 2740 0 0 0 19 0 0 0 20 0 1 0 62214950 16424960 2564 33554432000 4194304 5646918 140734197320864 140734197319528 4953168 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 4010 2564 117 355 0 3651 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16040

[startup+0.300252 s]
/proc/loadavg: 2.17 2.23 2.21 3/178 638
/proc/meminfo: memFree=29629436/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=18912 CPUtime=0.28 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 3583 0 0 0 28 0 0 0 20 0 1 0 62214950 19365888 3376 33554432000 4194304 5646918 140734197320864 140734197319528 4832606 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 4728 3376 124 355 0 4369 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 18912

[startup+0.700205 s]
/proc/loadavg: 2.17 2.23 2.21 3/178 638
/proc/meminfo: memFree=29629436/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=18912 CPUtime=0.69 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 3925 0 0 0 68 1 0 0 20 0 1 0 62214950 19365888 4228 33554432000 4194304 5646918 140734197320864 140734197319528 4397104 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 4728 4228 144 355 0 4369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18912

[startup+1.50021 s]
/proc/loadavg: 2.17 2.23 2.21 3/179 639
/proc/meminfo: memFree=29605852/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=26052 CPUtime=1.49 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 4728 0 0 0 148 1 0 0 20 0 1 0 62214950 26677248 5027 33554432000 4194304 5646918 140734197320864 140734197319560 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 6513 5027 144 355 0 6154 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26052

[startup+3.1002 s]
/proc/loadavg: 2.17 2.23 2.21 3/179 639
/proc/meminfo: memFree=29593816/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=33232 CPUtime=3.09 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 5481 0 0 0 308 1 0 0 20 0 1 0 62214950 34029568 7307 33554432000 4194304 5646918 140734197320864 140734197319560 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 8308 7307 144 355 0 7949 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33232

[startup+6.30024 s]
/proc/loadavg: 2.16 2.23 2.21 4/179 639
/proc/meminfo: memFree=29564912/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=45700 CPUtime=6.29 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 6243 0 0 0 628 1 0 0 20 0 1 0 62214950 46796800 10111 33554432000 4194304 5646918 140734197320864 140734197319000 4402795 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 11425 10111 144 355 0 11066 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45700

[startup+12.7002 s]
/proc/loadavg: 2.15 2.23 2.21 4/179 639
/proc/meminfo: memFree=29641440/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=47196 CPUtime=12.69 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 8939 0 0 0 1267 2 0 0 20 0 1 0 62214950 48328704 8405 33554432000 4194304 5646918 140734197320864 140734197319112 4402739 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 11799 8405 146 355 0 11440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47196

[startup+25.5003 s]
/proc/loadavg: 2.25 2.25 2.21 3/179 639
/proc/meminfo: memFree=29558048/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=66284 CPUtime=25.48 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 9760 0 0 0 2545 3 0 0 20 0 1 0 62214950 67874816 16207 33554432000 4194304 5646918 140734197320864 140734197319576 4399417 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 16571 16207 146 355 0 16212 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66284

[startup+51.1003 s]
/proc/loadavg: 2.17 2.23 2.21 3/179 639
/proc/meminfo: memFree=29525744/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=146424 CPUtime=51.08 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 10709 0 0 0 5102 6 0 0 20 0 1 0 62214950 149938176 29663 33554432000 4194304 5646918 140734197320864 140734197319160 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 36606 29663 146 355 0 36247 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 146424

[startup+102.3 s]
/proc/loadavg: 2.17 2.22 2.20 4/179 640
/proc/meminfo: memFree=29520280/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=115604 CPUtime=102.28 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 12067 0 0 0 10216 12 0 0 20 0 1 0 62214950 118378496 28077 33554432000 4194304 5646918 140734197320864 140734197319160 4397600 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 28901 28077 146 355 0 28542 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 115604

[startup+162.3 s]
/proc/loadavg: 2.30 2.24 2.21 3/179 641
/proc/meminfo: memFree=29477820/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=146424 CPUtime=162.26 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 15545 0 0 0 16206 20 0 0 20 0 1 0 62214950 149938176 30193 33554432000 4194304 5646918 140734197320864 140734197319560 4402761 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 36606 30193 146 355 0 36247 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 146424

[startup+222.307 s]
/proc/loadavg: 2.24 2.22 2.20 3/179 642
/proc/meminfo: memFree=29526596/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=115604 CPUtime=222.26 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 18713 0 0 0 22198 28 0 0 20 0 1 0 62214950 118378496 28426 33554432000 4194304 5646918 140734197320864 140734197319160 4403152 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 28901 28426 146 355 0 28542 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 115604

[startup+282.3 s]
/proc/loadavg: 2.26 2.24 2.20 4/179 644
/proc/meminfo: memFree=29492160/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=196512 CPUtime=282.25 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 23307 0 0 0 28188 37 0 0 20 0 1 0 62214950 201228288 37150 33554432000 4194304 5646918 140734197320864 140734197319560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 49128 37150 146 355 0 48769 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 196512

[startup+342.3 s]
/proc/loadavg: 2.30 2.25 2.21 3/179 645
/proc/meminfo: memFree=29475180/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=197420 CPUtime=342.23 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 26573 0 0 0 34180 43 0 0 20 0 1 0 62214950 202158080 41984 33554432000 4194304 5646918 140734197320864 140734197319560 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 49355 41984 146 355 0 48996 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 197420

[startup+402.3 s]
/proc/loadavg: 2.26 2.25 2.21 3/179 646
/proc/meminfo: memFree=29419972/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=100060 CPUtime=402.23 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 30890 0 0 0 40171 52 0 0 20 0 1 0 62214950 102461440 24676 33554432000 4194304 5646918 140734197320864 140734197319576 4403116 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 25015 24676 146 355 0 24656 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 100060

[startup+462.3 s]
/proc/loadavg: 2.13 2.22 2.19 4/179 647
/proc/meminfo: memFree=29461464/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=100060 CPUtime=462.22 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 33608 0 0 0 46163 59 0 0 20 0 1 0 62214950 102461440 24676 33554432000 4194304 5646918 140734197320864 140734197319576 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 25015 24676 146 355 0 24656 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 100060

[startup+522.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/180 651
/proc/meminfo: memFree=29517584/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=149380 CPUtime=522.21 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 36646 0 0 0 52155 66 0 0 20 0 1 0 62214950 152965120 34985 33554432000 4194304 5646918 140734197320864 140734197319160 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 37345 34985 146 355 0 36986 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 149380

[startup+582.3 s]
/proc/loadavg: 2.27 2.24 2.20 4/179 653
/proc/meminfo: memFree=29405468/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=100060 CPUtime=582.2 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 40120 0 0 0 58146 74 0 0 20 0 1 0 62214950 102461440 24676 33554432000 4194304 5646918 140734197320864 140734197319560 4397982 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 25015 24676 146 355 0 24656 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 100060


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


[startup+942.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/179 715
/proc/meminfo: memFree=29431520/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=230288 CPUtime=942.15 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 61047 0 0 0 94100 115 0 0 20 0 1 0 62214950 235814912 50715 33554432000 4194304 5646918 140734197320864 140734197319560 4397733 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 57572 50715 146 355 0 57213 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 230288

[startup+1002.3 s]
/proc/loadavg: 2.33 2.25 2.19 4/179 716
/proc/meminfo: memFree=29470592/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=180200 CPUtime=1002.13 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 63919 0 0 0 100092 121 0 0 20 0 1 0 62214950 184524800 42734 33554432000 4194304 5646918 140734197320864 140734197319560 4402886 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 45050 42734 146 355 0 44691 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 180200

[startup+1062.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 717
/proc/meminfo: memFree=29485460/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=180200 CPUtime=1062.12 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 67187 0 0 0 106085 127 0 0 20 0 1 0 62214950 184524800 43758 33554432000 4194304 5646918 140734197320864 140734197319560 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 45050 43758 146 355 0 44691 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 180200

[startup+1122.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/180 721
/proc/meminfo: memFree=29453716/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=230288 CPUtime=1122.12 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 71130 0 0 0 112077 135 0 0 20 0 1 0 62214950 235814912 50203 33554432000 4194304 5646918 140734197320864 140734197319560 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 57572 50203 146 355 0 57213 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 230288

[startup+1182.3 s]
/proc/loadavg: 2.13 2.21 2.18 4/179 723
/proc/meminfo: memFree=29381248/32872528 swapFree=1505696/1685568
[pid=638] ppid=635 vsize=230288 CPUtime=1182.11 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 74172 0 0 0 118070 141 0 0 20 0 1 0 62214950 235814912 50715 33554432000 4194304 5646918 140734197320864 140734197319560 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 57572 50715 146 355 0 57213 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 230288

[startup+1242.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/179 724
/proc/meminfo: memFree=29469592/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=180200 CPUtime=1242.1 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 77867 0 0 0 124061 149 0 0 20 0 1 0 62214950 184524800 38126 33554432000 4194304 5646918 140734197320864 140734197319560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 45050 38126 146 355 0 44691 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 180200

[startup+1302.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/179 725
/proc/meminfo: memFree=29533980/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=100060 CPUtime=1302.08 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 81707 0 0 0 130053 155 0 0 20 0 1 0 62214950 102461440 24678 33554432000 4194304 5646918 140734197320864 140734197319576 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 25015 24678 146 355 0 24656 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 100060

[startup+1362.3 s]
/proc/loadavg: 2.13 2.19 2.18 4/179 726
/proc/meminfo: memFree=29474160/32872528 swapFree=1505696/1685568
[pid=638] ppid=635 vsize=180200 CPUtime=1362.08 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 85029 0 0 0 136047 161 0 0 20 0 1 0 62214950 184524800 41198 33554432000 4194304 5646918 140734197320864 140734197319560 4402950 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 45050 41198 146 355 0 44691 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 180200

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/179 727
/proc/meminfo: memFree=29449632/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=149380 CPUtime=1422.07 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 88950 0 0 0 142039 168 0 0 20 0 1 0 62214950 152965120 32939 33554432000 4194304 5646918 140734197320864 140734197319160 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 37345 32939 146 355 0 36986 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 149380

[startup+1482.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/179 729
/proc/meminfo: memFree=29440620/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=180200 CPUtime=1482.05 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 92560 0 0 0 148030 175 0 0 20 0 1 0 62214950 184524800 44270 33554432000 4194304 5646918 140734197320864 140734197319560 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 45050 44270 146 355 0 44691 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 180200

[startup+1542.31 s]
/proc/loadavg: 2.23 2.22 2.18 4/179 730
/proc/meminfo: memFree=29422368/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=180200 CPUtime=1542.05 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 96158 0 0 0 154023 182 0 0 20 0 1 0 62214950 184524800 41710 33554432000 4194304 5646918 140734197320864 140734197319560 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 45050 41710 146 355 0 44691 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 180200

[startup+1602.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/179 731
/proc/meminfo: memFree=29351672/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=311676 CPUtime=1602.03 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 99046 0 0 0 160016 187 0 0 20 0 1 0 62214950 319156224 61979 33554432000 4194304 5646918 140734197320864 140734197319560 4402806 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 77919 61979 146 355 0 77560 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 311676

[startup+1662.3 s]
/proc/loadavg: 2.33 2.26 2.19 3/179 732
/proc/meminfo: memFree=29415200/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=183304 CPUtime=1662.03 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 102076 0 0 0 166012 191 0 0 20 0 1 0 62214950 187703296 40436 33554432000 4194304 5646918 140734197320864 140734197319560 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 45826 40436 146 355 0 45467 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 183304

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.19 4/180 736
/proc/meminfo: memFree=29441944/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=236000 CPUtime=1722.02 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 105603 0 0 0 172006 196 0 0 20 0 1 0 62214950 241664000 47021 33554432000 4194304 5646918 140734197320864 140734197319560 4402832 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 59000 47021 146 355 0 58641 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 236000

[startup+1782.3 s]
/proc/loadavg: 2.37 2.27 2.20 3/179 738
/proc/meminfo: memFree=29334448/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=318244 CPUtime=1782.01 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 108418 0 0 0 178000 201 0 0 20 0 1 0 62214950 325881856 66179 33554432000 4194304 5646918 140734197320864 140734197319560 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 79561 66179 146 355 0 79202 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 318244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/179 739
/proc/meminfo: memFree=29426252/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=238244 CPUtime=1800.01 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 110272 0 0 0 179797 204 0 0 20 0 1 0 62214950 243961856 48094 33554432000 4194304 5646918 140734197320864 140734197319560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 59561 48094 146 355 0 59202 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 238244

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

[startup+1800.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/179 739
/proc/meminfo: memFree=29426252/32872528 swapFree=1505692/1685564
[pid=638] ppid=635 vsize=238244 CPUtime=1800.01 cores=1,3,5,7
/proc/638/stat : 638 (minisatp) R 635 638 30454 0 -1 4202496 110272 0 0 0 179797 204 0 0 20 0 1 0 62214950 243961856 48094 33554432000 4194304 5646918 140734197320864 140734197319560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/638/statm: 59561 48094 146 355 0 59202 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 238244

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.97
CPU system time (s): 2.04969
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 360996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.97
system time used= 2.04969
maximum resident set size= 288744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110272
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= 17
involuntary context switches= 1873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50031 second user time and 6.95994 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-22 15:21:30
IDJOB=4111861
IDBENCH=90114
IDSOLVER=2555
FILE ID=node135/4111861-1466601690
RUNJOBID= node135-1466586805-30471
PBS_JOBID= 19953375
Free space on /tmp= 71688 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K88.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111861-1466601690/watcher-4111861-1466601690 -o /tmp/evaluation-result-4111861-1466601690/solver-4111861-1466601690 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466586805-30471 --watchdog 1960  minisatp HOME/instance-4111861-1466601690.opb

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

MD5SUM BENCH= 1622186c78d9255ec55518143c1e5a9e
RANDOM SEED=1467422428

node135.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.004
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.00
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.004
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.004
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.57
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.004
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.004
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.004
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.55
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.004
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.55
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.004
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:        29629980 kB
Buffers:          102484 kB
Cached:           619848 kB
SwapCached:         1628 kB
Active:           202840 kB
Inactive:         619316 kB
Active(anon):     101032 kB
Inactive(anon):     1164 kB
Active(file):     101808 kB
Inactive(file):   618152 kB
Unevictable:     1685564 kB
Mlocked:         1505692 kB
SwapTotal:      67108856 kB
SwapFree:       67099452 kB
Dirty:              4284 kB
Writeback:             0 kB
AnonPages:       1841908 kB
Mapped:             7932 kB
Shmem:                 0 kB
Slab:             601264 kB
SReclaimable:      45400 kB
SUnreclaim:       555864 kB
KernelStack:        1488 kB
PageTables:         7596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1916696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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-4111861-1466601690.opb

Free space on /tmp at the end= 71684 MiB
End job on node135 at 2016-06-22 15:51:31