Trace number 4112140

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.07 1800.4

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z7-s2.opb
MD5SUM826cee40b1a37b4e41d6d3a639f8df55
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-6346
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2023
Total number of constraints31798
Number of constraints which are clauses31790
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint2023
Number of terms in the objective function 1997
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 170608
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 735392
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 5003866
Number of bits of the biggest sum of numbers23
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.39/0.40	c Converting 31798 PB-constraints to clauses...
0.39/0.40	c   -- Unit propagations: (none)
0.39/0.40	c   -- Detecting intervals from adjacent constraints: (none)
0.39/0.40	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.39/0.43	c ---[31797]---> Adder-cost: 20850   maxlim: 3412480   bits: 22/22
21.79/21.82	c ---[31796]---> Adder-cost: 21096   maxlim: 3361977   bits: 22/22
43.09/43.14	c ---[31795]---> Adder-cost: 21272   maxlim: 3399752   bits: 22/22
65.18/65.22	c ---[31794]---> Adder-cost: 21108   maxlim: 3365192   bits: 22/22
85.88/85.91	c ---[31793]---> Adder-cost: 20998   maxlim: 3428013   bits: 22/22
107.57/107.65	c ---[31792]---> Adder-cost: 20712   maxlim: 3379994   bits: 22/22
128.57/128.67	c ---[31791]---> Adder-cost: 20962   maxlim: 3447546   bits: 22/22
150.68/150.75	c ---[31790]---> Adder-cost: 21208   maxlim: 3533081   bits: 23/22
1800.06/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.06/1800.40	============================[ Search Statistics ]==============================
1800.06/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.06/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.06/1800.40	===============================================================================
1800.06/1800.40	|       100 |  170100  1204183  4245853 |   441533      100      4 |  0.069 % |
1800.06/1800.40	|       250 |  170100  1204183  4245853 |   485687      250     14 |  0.069 % |
1800.06/1800.40	|       475 |  170100  1204183  4245853 |   534255      475     83 |  0.069 % |
1800.06/1800.40	|       812 |  170100  1204183  4245853 |   587681      812    105 |  0.069 % |
1800.06/1800.40	|      1318 |  170100  1204183  4245853 |   646449     1318    190 |  0.069 % |
1800.06/1800.40	|      2077 |  170100  1204183  4245853 |   711094     2077    123 |  0.069 % |
1800.06/1800.40	|      3216 |  170100  1204183  4245853 |   782204     3216     89 |  0.069 % |
1800.06/1800.40	|      4924 |  170100  1204183  4245853 |   860424     4924     67 |  0.069 % |
1800.06/1800.40	|      7486 |  170100  1204183  4245853 |   946466     7486     75 |  0.069 % |
1800.06/1800.40	|     11330 |  170100  1204183  4245853 |  1041113    11330     66 |  0.069 % |
1800.06/1800.40	|     17096 |  170100  1204183  4245853 |  1145224    17096     59 |  0.069 % |
1800.06/1800.40	|     25745 |  170100  1204183  4245853 |  1259747    25745     57 |  0.069 % |
1800.06/1800.40	|     38719 |  170100  1204183  4245853 |  1385722    38719     57 |  0.069 % |
1800.06/1800.40	|     58180 |  170100  1204183  4245853 |  1524294    58180     70 |  0.069 % |
1800.06/1800.40	|     87372 |  170100  1204183  4245853 |  1676723    87372     69 |  0.069 % |
1800.06/1800.40	|    131161 |  170100  1204183  4245853 |  1844396   131161     72 |  0.069 % |
1800.06/1800.40	|    196845 |  170100  1204183  4245853 |  2028835   196845     79 |  0.069 % |
1800.06/1800.40	|    295371 |  170100  1204183  4245853 |  2231719   295371     82 |  0.069 % |
1800.06/1800.40	|    443160 |  170100  1204183  4245853 |  2454891   443160     85 |  0.069 % |
1800.06/1800.40	|    664843 |  170100  1204183  4245853 |  2700380   664843     94 |  0.069 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/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-4112140-1466599920/watcher-4112140-1466599920 -o /tmp/evaluation-result-4112140-1466599920/solver-4112140-1466599920 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466588874-17589 --watchdog 1960 minisatp HOME/instance-4112140-1466599920.opb 

pid=19371
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.00 2.00 2.00 3/176 19374
/proc/meminfo: memFree=28377284/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=7560 CPUtime=0 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 569 0 0 0 0 0 0 0 20 0 1 0 62036860 7741440 446 33554432000 4194304 5646918 140734116167376 140734305953304 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 1890 448 88 355 0 1531 0

[startup+0.100138 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19374
/proc/meminfo: memFree=28377284/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=10068 CPUtime=0.09 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 1306 0 0 0 9 0 0 0 20 0 1 0 62036860 10309632 1088 33554432000 4194304 5646918 140734116167376 140734116165576 4831241 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 2517 1088 94 355 0 2158 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10068

[startup+0.200242 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19374
/proc/meminfo: memFree=28377284/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=15060 CPUtime=0.19 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 2562 0 0 0 19 0 0 0 20 0 1 0 62036860 15421440 2344 33554432000 4194304 5646918 140734116167376 140734116165576 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 3765 2344 94 355 0 3406 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15060

[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19374
/proc/meminfo: memFree=28377284/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=21172 CPUtime=0.29 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 4085 0 0 0 29 0 0 0 20 0 1 0 62036860 21680128 3867 33554432000 4194304 5646918 140734116167376 140734116165576 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 5293 3867 94 355 0 4934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21172

[startup+0.700256 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19374
/proc/meminfo: memFree=28377284/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=37124 CPUtime=0.69 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 8629 0 0 0 67 2 0 0 20 0 1 0 62036860 38014976 7996 33554432000 4194304 5646918 140734116167376 140734116165576 4459799 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 9281 7996 119 355 0 8922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37124

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19375
/proc/meminfo: memFree=28344904/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=37124 CPUtime=1.49 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 8629 0 0 0 147 2 0 0 20 0 1 0 62036860 38014976 7996 33554432000 4194304 5646918 140734116167376 140734116166136 4817444 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 9281 7996 119 355 0 8922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37124

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19375
/proc/meminfo: memFree=28344408/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=37124 CPUtime=3.09 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 8629 0 0 0 307 2 0 0 20 0 1 0 62036860 38014976 7996 33554432000 4194304 5646918 140734116167376 140734116166136 4565101 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 9281 7996 119 355 0 8922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37124

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19375
/proc/meminfo: memFree=28344296/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=37124 CPUtime=6.29 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 8629 0 0 0 627 2 0 0 20 0 1 0 62036860 38014976 7996 33554432000 4194304 5646918 140734116167376 140734116166136 4563520 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 9281 7996 119 355 0 8922 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37124

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19375
/proc/meminfo: memFree=28344216/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=37124 CPUtime=12.69 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 8629 0 0 0 1267 2 0 0 20 0 1 0 62036860 38014976 7996 33554432000 4194304 5646918 140734116167376 140734116166136 4819040 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 9281 7996 119 355 0 8922 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37124

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19375
/proc/meminfo: memFree=28321508/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=61180 CPUtime=25.49 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 13957 0 0 0 2546 3 0 0 20 0 1 0 62036860 62648320 13918 33554432000 4194304 5646918 140734116167376 140734115365000 4462241 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 15295 13918 153 355 0 14936 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61180

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19375
/proc/meminfo: memFree=28319456/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=63088 CPUtime=51.08 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 14413 0 0 0 5105 3 0 0 20 0 1 0 62036860 64602112 14374 33554432000 4194304 5646918 140734116167376 140734115480200 4831331 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 15772 14374 153 355 0 15413 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63088

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19376
/proc/meminfo: memFree=28314948/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=65820 CPUtime=102.28 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 14587 0 0 0 10225 3 0 0 20 0 1 0 62036860 67399680 15059 33554432000 4194304 5646918 140734116167376 140734116166040 4564871 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 16455 15059 153 355 0 16096 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 65820

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19377
/proc/meminfo: memFree=28313444/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=66876 CPUtime=162.27 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 14881 0 0 0 16224 3 0 0 20 0 1 0 62036860 68481024 15353 33554432000 4194304 5646918 140734116167376 140734115798600 4310872 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 16719 15353 153 355 0 16360 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 66876

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19379
/proc/meminfo: memFree=28190876/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=202660 CPUtime=222.26 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 36718 0 0 0 22217 9 0 0 20 0 1 0 62036860 207523840 45422 33554432000 4194304 5646918 140734116167376 140734116165624 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 50665 45422 183 355 0 50306 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 202660

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19380
/proc/meminfo: memFree=28174676/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=204924 CPUtime=282.25 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 37304 0 0 0 28215 10 0 0 20 0 1 0 62036860 209842176 49074 33554432000 4194304 5646918 140734116167376 140734116165512 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 51231 49074 183 355 0 50872 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 204924

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19381
/proc/meminfo: memFree=28157824/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=237996 CPUtime=342.23 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 38384 0 0 0 34213 10 0 0 20 0 1 0 62036860 243707904 53211 33554432000 4194304 5646918 140734116167376 140734116165512 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 59499 53211 183 355 0 59140 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 237996

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19382
/proc/meminfo: memFree=28143776/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=239800 CPUtime=402.23 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 38817 0 0 0 40212 11 0 0 20 0 1 0 62036860 245555200 56199 33554432000 4194304 5646918 140734116167376 140734116165512 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 59950 56199 183 355 0 59591 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 239800

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19383
/proc/meminfo: memFree=28131052/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=241572 CPUtime=462.22 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 39281 0 0 0 46211 11 0 0 20 0 1 0 62036860 247369728 58707 33554432000 4194304 5646918 140734116167376 140734116165512 4893163 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 60393 58707 183 355 0 60034 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 241572

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19444
/proc/meminfo: memFree=30983372/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=293220 CPUtime=522.2 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 40128 0 0 0 52208 12 0 0 20 0 1 0 62036860 300257280 64143 33554432000 4194304 5646918 140734116167376 140734116166072 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 73305 64143 183 355 0 72946 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 293220

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19468
/proc/meminfo: memFree=30497656/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=296892 CPUtime=582.16 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 41122 0 0 0 58203 13 0 0 20 0 1 0 62036860 304017408 70357 33554432000 4194304 5646918 140734116167376 140734116165512 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 74223 70357 183 355 0 73864 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 296892


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


[startup+882.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19474
/proc/meminfo: memFree=30415492/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=389120 CPUtime=882.12 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 44114 0 0 0 88197 15 0 0 20 0 1 0 62036860 398458880 86153 33554432000 4194304 5646918 140734116167376 140734116165624 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 97280 86153 183 355 0 96921 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 389120

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19475
/proc/meminfo: memFree=30400888/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=389120 CPUtime=942.1 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 44146 0 0 0 94195 15 0 0 20 0 1 0 62036860 398458880 90273 33554432000 4194304 5646918 140734116167376 140734116165624 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 97280 90273 183 355 0 96921 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 389120

[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 19476
/proc/meminfo: memFree=30344504/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=523332 CPUtime=1002.09 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 45211 0 0 0 100193 16 0 0 20 0 1 0 62036860 535891968 102577 33554432000 4194304 5646918 140734116167376 140734116165512 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 130833 102577 183 355 0 130474 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 523332

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19477
/proc/meminfo: memFree=30329060/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=526628 CPUtime=1062.08 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 46023 0 0 0 106191 17 0 0 20 0 1 0 62036860 539267072 104922 33554432000 4194304 5646918 140734116167376 140734116165512 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 131657 104922 183 355 0 131298 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 526628

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19482
/proc/meminfo: memFree=30318632/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=528692 CPUtime=1122.07 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 46547 0 0 0 112190 17 0 0 20 0 1 0 62036860 541380608 107490 33554432000 4194304 5646918 140734116167376 140734116165512 4403061 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 132173 107490 183 355 0 131814 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 528692

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30303012/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=529812 CPUtime=1182.06 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 46837 0 0 0 118189 17 0 0 20 0 1 0 62036860 542527488 109824 33554432000 4194304 5646918 140734116167376 140734116165512 4402661 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 132453 109824 183 355 0 132094 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 529812

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19484
/proc/meminfo: memFree=30293444/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=530804 CPUtime=1242.06 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 47085 0 0 0 124188 18 0 0 20 0 1 0 62036860 543543296 111605 33554432000 4194304 5646918 140734116167376 140734116165512 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 132701 111605 183 355 0 132342 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 530804

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19485
/proc/meminfo: memFree=30281092/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=534452 CPUtime=1302.05 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 47452 0 0 0 130187 18 0 0 20 0 1 0 62036860 547278848 114527 33554432000 4194304 5646918 140734116167376 140734116165624 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 133613 114527 183 355 0 133254 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 534452

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19486
/proc/meminfo: memFree=30271824/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=534836 CPUtime=1362.03 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 47559 0 0 0 136185 18 0 0 20 0 1 0 62036860 547672064 116277 33554432000 4194304 5646918 140734116167376 140734116165512 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 133709 116277 183 355 0 133350 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 534836

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19488
/proc/meminfo: memFree=30264100/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=536312 CPUtime=1422.02 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 47887 0 0 0 142184 18 0 0 20 0 1 0 62036860 549183488 117627 33554432000 4194304 5646918 140734116167376 140734116165512 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 134078 117627 183 355 0 133719 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 536312

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19489
/proc/meminfo: memFree=30249948/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=536864 CPUtime=1482.01 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 48037 0 0 0 148182 19 0 0 20 0 1 0 62036860 549748736 120332 33554432000 4194304 5646918 140734116167376 140734116165512 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 134216 120332 183 355 0 133857 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 536864

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19490
/proc/meminfo: memFree=30233372/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=539456 CPUtime=1542 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 48619 0 0 0 154181 19 0 0 20 0 1 0 62036860 552402944 124490 33554432000 4194304 5646918 140734116167376 140734116165512 4402913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 134864 124490 183 355 0 134505 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 539456

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19491
/proc/meminfo: memFree=30223816/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=541004 CPUtime=1601.99 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 48967 0 0 0 160179 20 0 0 20 0 1 0 62036860 553988096 126882 33554432000 4194304 5646918 140734116167376 140734116165512 4399417 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 135251 126882 183 355 0 134892 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 541004

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19492
/proc/meminfo: memFree=30208924/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=542744 CPUtime=1661.98 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 49320 0 0 0 166178 20 0 0 20 0 1 0 62036860 555769856 129790 33554432000 4194304 5646918 140734116167376 140734116165512 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 135686 129790 183 355 0 135327 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 542744

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19497
/proc/meminfo: memFree=30197948/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=544168 CPUtime=1721.97 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 49660 0 0 0 172177 20 0 0 20 0 1 0 62036860 557228032 132174 33554432000 4194304 5646918 140734116167376 140734116165512 4402947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 136042 132174 183 355 0 135683 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 544168

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19498
/proc/meminfo: memFree=30184052/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=545792 CPUtime=1781.96 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 50067 0 0 0 178175 21 0 0 20 0 1 0 62036860 558891008 135136 33554432000 4194304 5646918 140734116167376 140734116165512 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 136448 135136 183 355 0 136089 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 545792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19498
/proc/meminfo: memFree=30183432/32872528 swapFree=8804/8804
[pid=19374] ppid=19371 vsize=546288 CPUtime=1800.06 cores=1,3,5,7
/proc/19374/stat : 19374 (minisatp) R 19371 19374 17572 0 -1 4202496 50263 0 0 0 179985 21 0 0 20 0 1 0 62036860 559398912 135331 33554432000 4194304 5646918 140734116167376 140734116165512 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/19374/statm: 136572 135331 183 355 0 136213 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 546288

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.07
CPU user time (s): 1799.85
CPU system time (s): 0.217966
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 546288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.217966
maximum resident set size= 541324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50263
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= 75
involuntary context switches= 1970

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6223 second user time and 6.91595 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-22 14:52:00
IDJOB=4112140
IDBENCH=89884
IDSOLVER=2555
FILE ID=node151/4112140-1466599920
RUNJOBID= node151-1466588874-17589
PBS_JOBID= 19953367
Free space on /tmp= 71712 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112140-1466599920/watcher-4112140-1466599920 -o /tmp/evaluation-result-4112140-1466599920/solver-4112140-1466599920 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466588874-17589 --watchdog 1960  minisatp HOME/instance-4112140-1466599920.opb

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

MD5SUM BENCH= 826cee40b1a37b4e41d6d3a639f8df55
RANDOM SEED=1853710145

node151.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.103
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.20
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.103
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.103
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.55
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.103
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.103
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.54
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.103
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.103
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		: 2667.103
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:        28377464 kB
Buffers:           56132 kB
Cached:           458932 kB
SwapCached:         1920 kB
Active:          3282932 kB
Inactive:         434160 kB
Active(anon):    3201176 kB
Inactive(anon):     3208 kB
Active(file):      81756 kB
Inactive(file):   430952 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67099092 kB
Dirty:              4276 kB
Writeback:             0 kB
AnonPages:       3308180 kB
Mapped:             8888 kB
Shmem:                 0 kB
Slab:             617220 kB
SReclaimable:      60864 kB
SUnreclaim:       556356 kB
KernelStack:        1472 kB
PageTables:        10892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3761316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2682880 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-4112140-1466599920.opb

Free space on /tmp at the end= 71692 MiB
End job on node151 at 2016-06-22 15:22:01