Trace number 4111697

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
MD5SUM51456bad41bf92f026526861ffdd231e
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.052991
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5250
Total number of constraints145
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
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 76
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.00/0.05	c Converting 145 PB-constraints to clauses...
0.00/0.05	c   -- Unit propagations: (none)
0.00/0.05	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.05	c   -- Clauses(.)/Splits(s): ...........................................................................
0.00/0.05	c ---[  69]---> BDD-cost:  147
0.00/0.05	c ---[  68]---> BDD-cost:  147
0.00/0.05	c ---[  67]---> BDD-cost:  147
0.00/0.05	c ---[  66]---> BDD-cost:  147
0.00/0.05	c ---[  65]---> BDD-cost:  147
0.00/0.05	c ---[  64]---> BDD-cost:  147
0.00/0.06	c ---[  63]---> BDD-cost:  147
0.00/0.06	c ---[  62]---> BDD-cost:  147
0.00/0.06	c ---[  61]---> BDD-cost:  147
0.00/0.06	c ---[  60]---> BDD-cost:  147
0.00/0.06	c ---[  59]---> BDD-cost:  147
0.00/0.06	c ---[  58]---> BDD-cost:  147
0.00/0.06	c ---[  57]---> BDD-cost:  147
0.00/0.06	c ---[  56]---> BDD-cost:  147
0.00/0.07	c ---[  55]---> BDD-cost:  147
0.00/0.07	c ---[  54]---> BDD-cost:  147
0.00/0.07	c ---[  53]---> BDD-cost:  147
0.00/0.07	c ---[  52]---> BDD-cost:  147
0.00/0.07	c ---[  51]---> BDD-cost:  147
0.00/0.07	c ---[  50]---> BDD-cost:  147
0.00/0.07	c ---[  49]---> BDD-cost:  147
0.00/0.08	c ---[  48]---> BDD-cost:  147
0.00/0.08	c ---[  47]---> BDD-cost:  147
0.00/0.08	c ---[  46]---> BDD-cost:  147
0.00/0.08	c ---[  45]---> BDD-cost:  147
0.00/0.08	c ---[  44]---> BDD-cost:  147
0.00/0.08	c ---[  43]---> BDD-cost:  147
0.00/0.08	c ---[  42]---> BDD-cost:  147
0.00/0.09	c ---[  41]---> BDD-cost:  147
0.00/0.09	c ---[  40]---> BDD-cost:  147
0.00/0.09	c ---[  39]---> BDD-cost:  147
0.00/0.09	c ---[  38]---> BDD-cost:  147
0.00/0.09	c ---[  37]---> BDD-cost:  147
0.00/0.09	c ---[  36]---> BDD-cost:  147
0.00/0.09	c ---[  35]---> BDD-cost:  147
0.09/0.10	c ---[  34]---> BDD-cost:  147
0.09/0.10	c ---[  33]---> BDD-cost:  147
0.09/0.10	c ---[  32]---> BDD-cost:  147
0.09/0.10	c ---[  31]---> BDD-cost:  147
0.09/0.10	c ---[  30]---> BDD-cost:  147
0.09/0.10	c ---[  29]---> BDD-cost:  147
0.09/0.10	c ---[  28]---> BDD-cost:  147
0.09/0.11	c ---[  27]---> BDD-cost:  147
0.09/0.11	c ---[  26]---> BDD-cost:  147
0.09/0.11	c ---[  25]---> BDD-cost:  147
0.09/0.11	c ---[  24]---> BDD-cost:  147
0.09/0.11	c ---[  23]---> BDD-cost:  147
0.09/0.11	c ---[  22]---> BDD-cost:  147
0.09/0.11	c ---[  21]---> BDD-cost:  147
0.09/0.12	c ---[  20]---> BDD-cost:  147
0.09/0.12	c ---[  19]---> BDD-cost:  147
0.09/0.12	c ---[  18]---> BDD-cost:  147
0.09/0.12	c ---[  17]---> BDD-cost:  147
0.09/0.12	c ---[  16]---> BDD-cost:  147
0.09/0.12	c ---[  15]---> BDD-cost:  147
0.09/0.12	c ---[  14]---> BDD-cost:  147
0.09/0.13	c ---[  13]---> BDD-cost:  147
0.09/0.13	c ---[  12]---> BDD-cost:  147
0.09/0.13	c ---[  11]---> BDD-cost:  147
0.09/0.13	c ---[  10]---> BDD-cost:  147
0.09/0.13	c ---[   9]---> BDD-cost:  147
0.09/0.13	c ---[   8]---> BDD-cost:  147
0.09/0.13	c ---[   7]---> BDD-cost:  147
0.09/0.13	c ---[   6]---> BDD-cost:  147
0.09/0.14	c ---[   5]---> BDD-cost:  147
0.09/0.14	c ---[   4]---> BDD-cost:  147
0.09/0.14	c ---[   3]---> BDD-cost:  147
0.09/0.14	c ---[   2]---> BDD-cost:  147
0.09/0.14	c ---[   1]---> BDD-cost:  147
0.09/0.14	c ---[   0]---> BDD-cost:  147
1800.07/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.07/1800.40	============================[ Search Statistics ]==============================
1800.07/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.07/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.07/1800.40	===============================================================================
1800.07/1800.40	|       100 |   15169    25303    70644 |     9277      100    267 |  0.450 % |
1800.07/1800.40	|       250 |   15169    25303    70644 |    10205      250    332 |  0.450 % |
1800.07/1800.40	|       475 |   15169    25303    70644 |    11226      475    358 |  0.450 % |
1800.07/1800.40	|       812 |   15169    25303    70644 |    12348      812    359 |  0.450 % |
1800.07/1800.40	|      1318 |   15169    25303    70644 |    13583     1318    363 |  0.450 % |
1800.07/1800.40	|      2077 |   15169    25303    70644 |    14941     2077    357 |  0.450 % |
1800.07/1800.40	|      3216 |   15169    25303    70644 |    16436     3216    386 |  0.450 % |
1800.07/1800.40	|      4924 |   15169    25303    70644 |    18079     4924    400 |  0.450 % |
1800.07/1800.40	|      7486 |   15169    25303    70644 |    19887     7486    464 |  0.450 % |
1800.07/1800.40	|     11330 |   15169    25303    70644 |    21876    11330    499 |  0.450 % |
1800.07/1800.40	|     17096 |   15169    25303    70644 |    24064    17096    500 |  0.450 % |
1800.07/1800.40	|     25745 |   15169    25303    70644 |    26470    12842    587 |  0.450 % |
1800.07/1800.40	|     38719 |   15169    25303    70644 |    29117    25816    578 |  0.450 % |
1800.07/1800.40	|     58180 |   15169    25303    70644 |    32029    24796    654 |  0.450 % |
1800.07/1800.40	|     87372 |   15169    25303    70644 |    35232    33397    628 |  0.450 % |
1800.07/1800.40	|    131161 |   15169    25303    70644 |    38755    29198    580 |  0.450 % |
1800.07/1800.40	|    196845 |   15169    25303    70644 |    42631    40847    698 |  0.450 % |
1800.07/1800.40	|    295371 |   15169    25303    70644 |    46894    12200    650 |  0.450 % |
1800.07/1800.40	|    443160 |   15169    25303    70644 |    51583    51318    689 |  0.450 % |
1800.07/1800.40	|    664843 |   15169    25303    70644 |    56741    13678    645 |  0.450 % |
1800.07/1800.40	|    997368 |   15169    25303    70644 |    62416    60913   1037 |  0.450 % |
1800.07/1800.40	|   1496156 |   15169    25303    70644 |    68657    25905    578 |  0.450 % |
1800.07/1800.40	|   2244338 |   15169    25303    70644 |    75523    62210   1209 |  0.450 % |
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED ***
1800.07/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-4111697-1466553940/watcher-4111697-1466553940 -o /tmp/evaluation-result-4111697-1466553940/solver-4111697-1466553940 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466551503-31515 --watchdog 1960 minisatp HOME/instance-4111697-1466553940.opb 

pid=31919
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: 3.32 2.33 2.02 3/177 31922
/proc/meminfo: memFree=31076020/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=6588 CPUtime=0 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 57440678 6746112 236 33554432000 4194304 5646918 140734991508720 140733962612008 4866896 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 1647 236 94 355 0 1288 0

[startup+0.100163 s]
/proc/loadavg: 3.32 2.33 2.02 3/177 31922
/proc/meminfo: memFree=31076020/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=9452 CPUtime=0.09 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 1063 0 0 0 9 0 0 0 20 0 1 0 57440678 9678848 897 33554432000 4194304 5646918 140734991508720 140733962612008 4817458 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 2363 897 116 355 0 2004 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9452

[startup+0.200346 s]
/proc/loadavg: 3.32 2.33 2.02 3/177 31922
/proc/meminfo: memFree=31076020/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=11692 CPUtime=0.19 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 1963 0 0 0 19 0 0 0 20 0 1 0 57440678 11972608 1767 33554432000 4194304 5646918 140734991508720 140733962612008 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 2923 1767 145 355 0 2564 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11692

[startup+0.300333 s]
/proc/loadavg: 3.32 2.33 2.02 3/177 31922
/proc/meminfo: memFree=31076020/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=11848 CPUtime=0.29 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 2092 0 0 0 29 0 0 0 20 0 1 0 57440678 12132352 2407 33554432000 4194304 5646918 140734991508720 140733962612008 4397445 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 2962 2407 145 355 0 2603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11848

[startup+0.700272 s]
/proc/loadavg: 3.32 2.33 2.02 3/177 31922
/proc/meminfo: memFree=31076020/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=14964 CPUtime=0.69 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 2857 0 0 0 69 0 0 0 20 0 1 0 57440678 15323136 3171 33554432000 4194304 5646918 140734991508720 140733962612008 4403079 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 3741 3171 146 355 0 3382 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14964

[startup+1.50026 s]
/proc/loadavg: 3.32 2.33 2.02 3/178 31923
/proc/meminfo: memFree=31059780/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=27224 CPUtime=1.49 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 3917 0 0 0 148 1 0 0 20 0 1 0 57440678 27877376 5763 33554432000 4194304 5646918 140734991508720 140734991506824 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 6806 5763 146 355 0 6447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27224

[startup+3.10032 s]
/proc/loadavg: 3.32 2.33 2.02 3/178 31923
/proc/meminfo: memFree=31045528/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=40884 CPUtime=3.09 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 4935 0 0 0 308 1 0 0 20 0 1 0 57440678 41865216 9845 33554432000 4194304 5646918 140734991508720 140734991506856 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 10221 9845 146 355 0 9862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40884

[startup+6.3003 s]
/proc/loadavg: 3.22 2.33 2.02 3/178 31923
/proc/meminfo: memFree=31016788/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=44020 CPUtime=6.29 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 6834 0 0 0 626 3 0 0 20 0 1 0 57440678 45076480 10346 33554432000 4194304 5646918 140734991508720 140734991506856 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 11005 10346 148 355 0 10646 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44020

[startup+12.7004 s]
/proc/loadavg: 3.12 2.32 2.02 4/178 31923
/proc/meminfo: memFree=30990184/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=96548 CPUtime=12.68 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 8666 0 0 0 1264 4 0 0 20 0 1 0 57440678 98865152 22907 33554432000 4194304 5646918 140734991508720 140734991506856 4398960 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 24137 22907 148 355 0 23778 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96548

[startup+25.5004 s]
/proc/loadavg: 2.87 2.31 2.02 3/177 31923
/proc/meminfo: memFree=30981864/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=102708 CPUtime=25.49 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 13147 0 0 0 2540 9 0 0 20 0 1 0 57440678 105172992 23915 33554432000 4194304 5646918 140734991508720 140734991506856 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 25677 23915 148 355 0 25318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 102708

[startup+51.1003 s]
/proc/loadavg: 2.57 2.28 2.01 3/178 31924
/proc/meminfo: memFree=31002656/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=80520 CPUtime=51.08 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 19441 0 0 0 5093 15 0 0 20 0 1 0 57440678 82452480 18784 33554432000 4194304 5646918 140734991508720 140734991506856 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 20130 18784 148 355 0 19771 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80520

[startup+102.3 s]
/proc/loadavg: 2.30 2.25 2.01 3/177 31925
/proc/meminfo: memFree=30849084/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=252192 CPUtime=102.28 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 26601 0 0 0 10206 22 0 0 20 0 1 0 57440678 258244608 48179 33554432000 4194304 5646918 140734991508720 140734991506856 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 63048 48179 148 355 0 62689 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 252192

[startup+162.3 s]
/proc/loadavg: 2.11 2.20 2.01 3/177 31926
/proc/meminfo: memFree=30902820/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=136428 CPUtime=162.27 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 38017 0 0 0 16191 36 0 0 20 0 1 0 57440678 139702272 26502 33554432000 4194304 5646918 140734991508720 140734991506856 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 34107 26502 148 355 0 33748 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 136428

[startup+222.307 s]
/proc/loadavg: 2.11 2.18 2.01 3/177 31927
/proc/meminfo: memFree=30707732/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=275680 CPUtime=222.26 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 44596 0 0 0 22180 46 0 0 20 0 1 0 57440678 282296320 62142 33554432000 4194304 5646918 140734991508720 140734991506856 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 68920 62142 148 355 0 68561 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 275680

[startup+282.3 s]
/proc/loadavg: 2.12 2.16 2.01 3/178 31931
/proc/meminfo: memFree=30724804/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=283032 CPUtime=282.25 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 48199 0 0 0 28173 52 0 0 20 0 1 0 57440678 289824768 53660 33554432000 4194304 5646918 140734991508720 140734991506856 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 70758 53660 148 355 0 70399 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 283032

[startup+342.3 s]
/proc/loadavg: 2.04 2.13 2.00 3/177 31933
/proc/meminfo: memFree=30722484/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=209744 CPUtime=342.24 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 57152 0 0 0 34158 66 0 0 20 0 1 0 57440678 214777856 49461 33554432000 4194304 5646918 140734991508720 140734991506856 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 52436 49461 148 355 0 52077 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 209744

[startup+402.3 s]
/proc/loadavg: 2.01 2.10 2.00 3/177 31934
/proc/meminfo: memFree=30689156/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=299328 CPUtime=402.23 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 63422 0 0 0 40145 78 0 0 20 0 1 0 57440678 306511872 54079 33554432000 4194304 5646918 140734991508720 140734991506856 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 74832 54079 148 355 0 74473 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 299328

[startup+462.3 s]
/proc/loadavg: 2.00 2.08 2.00 3/177 31935
/proc/meminfo: memFree=30585696/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=304476 CPUtime=462.22 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 70715 0 0 0 46132 90 0 0 20 0 1 0 57440678 311783424 67308 33554432000 4194304 5646918 140734991508720 140734991506856 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 76119 67308 148 355 0 75760 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 304476

[startup+522.3 s]
/proc/loadavg: 2.00 2.06 2.00 3/177 31936
/proc/meminfo: memFree=30521156/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=439600 CPUtime=522.2 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 73099 0 0 0 52123 97 0 0 20 0 1 0 57440678 450150400 76910 33554432000 4194304 5646918 140734991508720 140734991507416 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 109900 76910 148 355 0 109541 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 439600

[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/177 31937
/proc/meminfo: memFree=30533404/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=312384 CPUtime=582.18 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 76478 0 0 0 58114 104 0 0 20 0 1 0 57440678 319881216 67387 33554432000 4194304 5646918 140734991508720 140734991506856 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 78096 67387 148 355 0 77737 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 312384


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31946
/proc/meminfo: memFree=30877588/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=256384 CPUtime=882.14 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 100302 0 0 0 88069 145 0 0 20 0 1 0 57440678 262537216 56834 33554432000 4194304 5646918 140734991508720 140734991506856 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 64096 56834 148 355 0 63737 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 256384

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31948
/proc/meminfo: memFree=30712676/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=474040 CPUtime=942.13 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 104291 0 0 0 94060 153 0 0 20 0 1 0 57440678 485416960 90322 33554432000 4194304 5646918 140734991508720 140734991506856 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 118510 90322 148 355 0 118151 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 474040

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 31949
/proc/meminfo: memFree=30729760/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=346556 CPUtime=1002.11 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 106920 0 0 0 100052 159 0 0 20 0 1 0 57440678 354873344 80697 33554432000 4194304 5646918 140734991508720 140734991506856 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 86639 80697 148 355 0 86280 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 346556

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31950
/proc/meminfo: memFree=30664180/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=190524 CPUtime=1062.11 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 111056 0 0 0 106046 165 0 0 20 0 1 0 57440678 195096576 42052 33554432000 4194304 5646918 140734991508720 140734991506856 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 47631 42052 148 355 0 47272 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 190524

[startup+1122.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 31951
/proc/meminfo: memFree=30643756/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=274860 CPUtime=1122.1 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 117439 0 0 0 112035 175 0 0 20 0 1 0 57440678 281456640 61237 33554432000 4194304 5646918 140734991508720 140734991507416 4397980 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 68715 61237 148 355 0 68356 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 274860

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 32008
/proc/meminfo: memFree=31277068/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=361800 CPUtime=1182.07 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 123898 0 0 0 118024 183 0 0 20 0 1 0 57440678 370483200 78921 33554432000 4194304 5646918 140734991508720 140734991506856 4416595 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 90450 78921 148 355 0 90091 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 361800

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 32009
/proc/meminfo: memFree=31104812/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=496848 CPUtime=1242.06 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 129606 0 0 0 124010 196 0 0 20 0 1 0 57440678 508772352 106375 33554432000 4194304 5646918 140734991508720 140734991506856 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 124212 106375 148 355 0 123853 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 496848

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 32011
/proc/meminfo: memFree=31086472/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=501920 CPUtime=1302.05 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 133116 0 0 0 130001 204 0 0 20 0 1 0 57440678 513966080 102381 33554432000 4194304 5646918 140734991508720 140734991506856 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 125480 102381 148 355 0 125121 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 501920

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 32012
/proc/meminfo: memFree=31156940/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=374444 CPUtime=1362.04 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 135278 0 0 0 135994 210 0 0 20 0 1 0 57440678 383430656 83753 33554432000 4194304 5646918 140734991508720 140734991506904 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 93611 83753 148 355 0 93252 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 374444

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 32013
/proc/meminfo: memFree=30930068/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=510072 CPUtime=1422.04 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 136599 0 0 0 141991 213 0 0 20 0 1 0 57440678 522313728 126464 33554432000 4194304 5646918 140734991508720 140734991507304 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 127518 126464 148 355 0 127159 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 510072

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 32017
/proc/meminfo: memFree=31090124/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=380644 CPUtime=1482.02 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 139607 0 0 0 147981 221 0 0 20 0 1 0 57440678 389779456 85955 33554432000 4194304 5646918 140734991508720 140734991506904 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 95161 85955 148 355 0 94802 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 380644

[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 2.01 4/177 32018
/proc/meminfo: memFree=30927620/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=517128 CPUtime=1542.03 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 141066 0 0 0 153977 226 0 0 20 0 1 0 57440678 529539072 123694 33554432000 4194304 5646918 140734991508720 140734991506904 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 129282 123694 148 355 0 128923 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 517128

[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 32020
/proc/meminfo: memFree=31134632/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=387424 CPUtime=1602 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 143505 0 0 0 159970 230 0 0 20 0 1 0 57440678 396722176 79461 33554432000 4194304 5646918 140734991508720 140734991506856 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 96856 79461 148 355 0 96497 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 387424

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 32021
/proc/meminfo: memFree=30992792/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=521832 CPUtime=1661.99 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 144582 0 0 0 165967 232 0 0 20 0 1 0 57440678 534355968 117841 33554432000 4194304 5646918 140734991508720 140734991507304 4403368 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 130458 117841 148 355 0 130099 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 521832

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 32022
/proc/meminfo: memFree=30849868/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=740624 CPUtime=1721.99 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 145949 0 0 0 171964 235 0 0 20 0 1 0 57440678 758398976 151912 33554432000 4194304 5646918 140734991508720 140734991506904 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 185156 151912 148 355 0 184797 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 740624

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32023
/proc/meminfo: memFree=30985148/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=526948 CPUtime=1781.97 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 148475 0 0 0 177957 240 0 0 20 0 1 0 57440678 539594752 111539 33554432000 4194304 5646918 140734991508720 140734991506904 4635169 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 131737 111539 148 355 0 131378 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 526948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32023
/proc/meminfo: memFree=31135520/32872528 swapFree=303544/319896
[pid=31922] ppid=31919 vsize=321088 CPUtime=1800.07 cores=1,3,5,7
/proc/31922/stat : 31922 (minisatp) R 31919 31922 31498 0 -1 4202496 152172 0 0 0 179763 244 0 0 20 0 1 0 57440678 328794112 70020 33554432000 4194304 5646918 140734991508720 140734991507416 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31922/statm: 80272 70020 148 355 0 79913 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 321088

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 31922 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.08
CPU user time (s): 1797.63
CPU system time (s): 2.45063
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 814608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.63
system time used= 2.45063
maximum resident set size= 686388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152172
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= 94
involuntary context switches= 2162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63314 second user time and 7.79881 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-22 02:05:40
IDJOB=4111697
IDBENCH=2567
IDSOLVER=2555
FILE ID=node128/4111697-1466553940
RUNJOBID= node128-1466551503-31515
PBS_JOBID= 19943331
Free space on /tmp= 71700 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111697-1466553940/watcher-4111697-1466553940 -o /tmp/evaluation-result-4111697-1466553940/solver-4111697-1466553940 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466551503-31515 --watchdog 1960  minisatp HOME/instance-4111697-1466553940.opb

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

MD5SUM BENCH= 51456bad41bf92f026526861ffdd231e
RANDOM SEED=1487517383

node128.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.768
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.53
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.768
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.768
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.768
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.768
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.57
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
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.768
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:        31076712 kB
Buffers:           31160 kB
Cached:           198632 kB
SwapCached:         2172 kB
Active:           583520 kB
Inactive:         179124 kB
Active(anon):     533184 kB
Inactive(anon):     1820 kB
Active(file):      50336 kB
Inactive(file):   177304 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67098916 kB
Dirty:              6952 kB
Writeback:           236 kB
AnonPages:        939976 kB
Mapped:             9184 kB
Shmem:                 0 kB
Slab:             582200 kB
SReclaimable:      25400 kB
SUnreclaim:       556800 kB
KernelStack:        1488 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1005088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 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-4111697-1466553940.opb

Free space on /tmp at the end= 71700 MiB
End job on node128 at 2016-06-22 02:35:41