Trace number 4113939

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.03 1802.31

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-cycle.opb
MD5SUMa4f456875ede4549ae03268180cd603c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables84737
Total number of constraints1802
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint11
Maximum length of a constraint1470
Number of terms in the objective function 9240
Biggest coefficient in the objective function 53687091200000
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 1737924154969464
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 48888431614361600
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 779202693141814557
Number of bits of the biggest sum of numbers60
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...
3.69/3.78	c Converting 2650 PB-constraints to clauses...
3.79/3.80	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
5.29/5.37	c   -- Detecting intervals from adjacent constraints: #############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
5.39/5.40	c   -- Clauses(.)/Splits(s): ssssssssss
5.39/5.40	c ---[2658]---> BDD-cost:   15
5.39/5.40	c ---[2657]---> BDD-cost:   16
5.39/5.40	c ---[2654]---> BDD-cost:   13
5.39/5.40	c ---[2651]---> BDD-cost:   13
5.39/5.40	c ---[2650]---> BDD-cost:   13
5.39/5.40	c ---[2646]---> BDD-cost:   13
5.39/5.40	c ---[2645]---> BDD-cost:   13
5.39/5.40	c ---[2641]---> BDD-cost:   13
5.39/5.40	c ---[2640]---> BDD-cost:   13
5.39/5.40	c ---[2633]---> BDD-cost:   18
5.39/5.40	c ---[2632]---> BDD-cost:   18
5.39/5.40	c ---[2628]---> BDD-cost:   13
5.39/5.40	c ---[2627]---> BDD-cost:   13
5.39/5.40	c ---[2625]---> BDD-cost:   13
5.39/5.40	c ---[2624]---> BDD-cost:   13
5.39/5.40	c ---[2620]---> BDD-cost:   13
5.39/5.40	c ---[2619]---> BDD-cost:   13
5.39/5.40	c ---[2616]---> BDD-cost:   15
5.39/5.40	c ---[2615]---> BDD-cost:   16
5.39/5.40	c ---[2614]---> BDD-cost:   19
5.39/5.40	c ---[2613]---> BDD-cost:   21
5.39/5.40	c ---[2612]---> BDD-cost:   16
5.39/5.40	c ---[2611]---> BDD-cost:   13
5.39/5.40	c ---[2610]---> BDD-cost:   17
5.39/5.40	c ---[2609]---> BDD-cost:   16
5.39/5.40	c ---[2608]---> BDD-cost:   14
5.39/5.40	c ---[2607]---> BDD-cost:   14
5.39/5.40	c ---[2606]---> BDD-cost:   19
5.39/5.40	c ---[2605]---> BDD-cost:   18
5.39/5.40	c ---[2604]---> BDD-cost:   19
5.39/5.40	c ---[2603]---> BDD-cost:   18
5.39/5.40	c ---[2602]---> BDD-cost:   13
5.39/5.40	c ---[2601]---> BDD-cost:   10
5.39/5.40	c ---[2599]---> BDD-cost:   18
5.39/5.40	c ---[2598]---> BDD-cost:   16
5.39/5.40	c ---[2597]---> BDD-cost:   13
5.39/5.40	c ---[2596]---> BDD-cost:   15
5.39/5.40	c ---[2594]---> BDD-cost:   16
5.39/5.40	c ---[2593]---> BDD-cost:   18
5.39/5.40	c ---[2592]---> BDD-cost:   17
5.39/5.40	c ---[2591]---> BDD-cost:   14
5.39/5.40	c ---[2590]---> BDD-cost:   15
5.39/5.40	c ---[2589]---> BDD-cost:   15
5.39/5.40	c ---[2583]---> BDD-cost:   16
5.39/5.40	c ---[2581]---> BDD-cost:   55
5.39/5.40	c ---[2579]---> Sorter-cost:  703     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
5.39/5.41	c ---[2577]---> BDD-cost:   55
5.39/5.41	c ---[2575]---> BDD-cost:   55
5.39/5.41	c ---[2573]---> BDD-cost:   55
5.39/5.41	c ---[2571]---> BDD-cost:   46
5.39/5.41	c ---[2569]---> BDD-cost:   46
5.39/5.41	c ---[2567]---> BDD-cost:   46
5.39/5.41	c ---[2565]---> BDD-cost:   49
5.39/5.41	c ---[2563]---> BDD-cost:   49
5.39/5.41	c ---[2561]---> BDD-cost:   49
5.39/5.41	c ---[2559]---> BDD-cost:   58
5.39/5.41	c ---[2557]---> BDD-cost:   58
5.39/5.42	c ---[2555]---> BDD-cost:   58
5.39/5.42	c ---[2553]---> BDD-cost:   52
5.39/5.42	c ---[2551]---> BDD-cost:  154
5.39/5.42	c ---[2549]---> BDD-cost:   52
5.39/5.42	c ---[2547]---> BDD-cost:   52
5.39/5.42	c ---[2545]---> Sorter-cost: 1118     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
5.39/5.42	c ---[2543]---> BDD-cost:  118
5.39/5.42	c ---[2541]---> BDD-cost:   40
5.39/5.42	c ---[2539]---> BDD-cost:   40
5.39/5.42	c ---[2537]---> BDD-cost:   40
5.39/5.42	c ---[2535]---> BDD-cost:   40
5.39/5.42	c ---[2533]---> BDD-cost:   40
5.39/5.42	c ---[2531]---> BDD-cost:   40
5.39/5.42	c ---[2529]---> BDD-cost:   40
5.39/5.43	c ---[2527]---> BDD-cost:   40
5.39/5.43	c ---[2525]---> BDD-cost:   40
5.39/5.43	c ---[2523]---> BDD-cost:   40
5.39/5.43	c ---[2521]---> Sorter-cost: 1205     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
5.39/5.43	c ---[2519]---> BDD-cost:  127
5.39/5.43	c ---[2517]---> BDD-cost:   43
5.39/5.43	c ---[2515]---> BDD-cost:   43
5.39/5.43	c ---[2513]---> BDD-cost:   43
5.39/5.43	c ---[2511]---> BDD-cost:   43
5.39/5.43	c ---[2509]---> BDD-cost:   43
5.39/5.43	c ---[2507]---> BDD-cost:   43
5.39/5.43	c ---[2505]---> BDD-cost:   43
5.39/5.43	c ---[2503]---> BDD-cost:   43
5.39/5.43	c ---[2501]---> BDD-cost:   43
5.39/5.44	c ---[2499]---> BDD-cost:   43
5.39/5.44	c ---[2497]---> Adder-cost: 1057   maxlim: 10616968551   bits: 35/34
41.28/41.33	c ---[2495]---> Adder-cost: 1469   maxlim: 11435258842   bits: 35/34
123.07/123.12	c ---[2493]---> Adder-cost: 884   maxlim: 1765967035   bits: 32/31
148.86/148.96	c ---[2491]---> Adder-cost: 2480   maxlim: 7610015832   bits: 34/33
414.22/414.30	c ---[2489]---> Adder-cost: 1570   maxlim: 8043922013   bits: 34/33
494.11/494.28	c ---[2487]---> Adder-cost: 2749   maxlim: 16510124408   bits: 35/34
665.79/665.92	c ---[2485]---> Adder-cost: 1186   maxlim: 12231537684   bits: 35/34
706.98/707.18	c ---[2483]---> Adder-cost: 1568   maxlim: 13458825669   bits: 35/34
819.96/820.18	c ---[2481]---> Adder-cost: 1010   maxlim: 1818982776   bits: 32/31
869.96/870.13	c ---[2479]---> Adder-cost: 2312   maxlim: 8412777062   bits: 34/33
1015.53/1015.76	c ---[2477]---> Adder-cost: 1750   maxlim: 8243118071   bits: 34/33
1186.60/1186.86	c ---[2475]---> Adder-cost: 2709   maxlim: 18361898305   bits: 36/35
1562.14/1562.47	c ---[2473]---> Sorter-cost: 3232     Base: 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2
1562.54/1562.88	c ---[2471]---> Sorter-cost: 3587     Base: 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2
1563.04/1563.32	c ---[2469]---> Sorter-cost: 3232     Base: 2 2 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2
1563.54/1563.89	c ---[2467]---> Adder-cost: 1266   maxlim: 393621228   bits: 30/29
1573.44/1573.72	c ---[2465]---> Sorter-cost: 3232     Base: 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2
1573.85/1574.13	c ---[2463]---> Adder-cost: 1616   maxlim: 3127285057   bits: 33/32
1625.93/1626.26	c ---[2461]---> BDD-cost:   22
1625.93/1626.27	c ---[2451]---> Sorter-cost:13143     Base: 2 2 2 2 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 5 2 2 2
1647.73/1648.09	c ---[2447]---> Sorter-cost:15957     Base: 2 2 2 2 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1666.53/1666.83	c ---[2445]---> Sorter-cost:16774     Base: 2 2 2 2 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1686.82/1687.17	c ---[2443]---> Sorter-cost:11794     Base: 2 2 2 2 2 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2
1701.62/1701.94	c ---[2441]---> Adder-cost: 1573   maxlim: 6413435101   bits: 34/33
1744.72/1745.08	c ---[2439]---> Sorter-cost:16030     Base: 2 2 2 2 2 5 5 5 5 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2
1776.12/1776.42	c ---[2437]--->

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-4113939-1466548107/watcher-4113939-1466548107 -o /tmp/evaluation-result-4113939-1466548107/solver-4113939-1466548107 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466514751-17793 --watchdog 1960 minisatp HOME/instance-4113939-1466548107.opb 

pid=23011
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.31 2.23 2.19 3/176 23014
/proc/meminfo: memFree=29363632/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=7076 CPUtime=0 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 438 0 0 0 0 0 0 0 20 0 1 0 56857216 7245824 315 33554432000 4194304 5646918 140734671809792 140734308361704 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 1769 315 84 355 0 1410 0

[startup+0.100158 s]
/proc/loadavg: 2.31 2.23 2.19 3/176 23014
/proc/meminfo: memFree=29363632/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=12156 CPUtime=0.09 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 1736 0 0 0 9 0 0 0 20 0 1 0 56857216 12447744 1571 33554432000 4194304 5646918 140734671809792 140734308361704 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 3039 1571 97 355 0 2680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12156

[startup+0.200381 s]
/proc/loadavg: 2.31 2.23 2.19 3/176 23014
/proc/meminfo: memFree=29363632/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=16072 CPUtime=0.19 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 2639 0 0 0 19 0 0 0 20 0 1 0 56857216 16457728 2474 33554432000 4194304 5646918 140734671809792 140734308361704 4388221 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 4018 2474 97 355 0 3659 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16072

[startup+0.300343 s]
/proc/loadavg: 2.31 2.23 2.19 3/176 23014
/proc/meminfo: memFree=29363632/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=18972 CPUtime=0.29 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 3455 0 0 0 29 0 0 0 20 0 1 0 56857216 19427328 3207 33554432000 4194304 5646918 140734671809792 140734308361704 4464640 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 4776 3211 97 355 0 4417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18972

[startup+0.700253 s]
/proc/loadavg: 2.31 2.23 2.19 3/176 23014
/proc/meminfo: memFree=29363632/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=32136 CPUtime=0.69 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 6658 0 0 0 68 1 0 0 20 0 1 0 56857216 32907264 6399 33554432000 4194304 5646918 140734671809792 140734671809160 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 8034 6399 97 355 0 7675 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32136

[startup+1.50035 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 23015
/proc/meminfo: memFree=29320732/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=59828 CPUtime=1.49 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 13359 0 0 0 147 2 0 0 20 0 1 0 56857216 61263872 12918 33554432000 4194304 5646918 140734671809792 140734671809160 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 14957 12918 97 355 0 14598 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59828

[startup+3.10033 s]
/proc/loadavg: 2.29 2.22 2.19 3/177 23015
/proc/meminfo: memFree=29287808/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=99976 CPUtime=3.09 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 22871 0 0 0 305 4 0 0 20 0 1 0 56857216 102375424 22585 33554432000 4194304 5646918 140734671809792 140734671809048 4459760 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 24994 22585 97 355 0 24635 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99976

[startup+6.30034 s]
/proc/loadavg: 2.29 2.22 2.19 3/177 23015
/proc/meminfo: memFree=29240436/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=150344 CPUtime=6.29 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 35134 0 0 0 623 6 0 0 20 0 1 0 56857216 153952256 35207 33554432000 4194304 5646918 140734671809792 140734671775016 4821510 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 37586 35208 123 355 0 37227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 150344

[startup+12.7004 s]
/proc/loadavg: 2.32 2.23 2.19 3/177 23015
/proc/meminfo: memFree=29189448/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=151408 CPUtime=12.69 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 37327 0 0 0 1263 6 0 0 20 0 1 0 56857216 155041792 35490 33554432000 4194304 5646918 140734671809792 140734671808552 4310872 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 37852 35490 123 355 0 37493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151408

[startup+25.5003 s]
/proc/loadavg: 2.35 2.24 2.19 3/177 23015
/proc/meminfo: memFree=29161592/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=151408 CPUtime=25.48 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 37327 0 0 0 2542 6 0 0 20 0 1 0 56857216 155041792 35490 33554432000 4194304 5646918 140734671809792 140734671808552 4831331 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 37852 35490 123 355 0 37493 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151408

[startup+51.1002 s]
/proc/loadavg: 2.47 2.27 2.20 3/177 23015
/proc/meminfo: memFree=29087696/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=168728 CPUtime=51.08 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 39131 0 0 0 5101 7 0 0 20 0 1 0 56857216 172777472 39849 33554432000 4194304 5646918 140734671809792 140734671765016 4565291 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 42182 39849 154 355 0 41823 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 168728

[startup+102.3 s]
/proc/loadavg: 2.33 2.27 2.20 3/178 23298
/proc/meminfo: memFree=30139824/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=168728 CPUtime=102.28 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 39131 0 0 0 10221 7 0 0 20 0 1 0 56857216 172777472 39891 33554432000 4194304 5646918 140734671809792 140734671765016 4817397 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 42182 39891 154 355 0 41823 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 168728

[startup+162.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/176 23299
/proc/meminfo: memFree=30008780/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=156592 CPUtime=162.25 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 42282 0 0 0 16218 7 0 0 20 0 1 0 56857216 160350208 37384 33554432000 4194304 5646918 140734671809792 140734671808296 4831356 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 39148 37384 154 355 0 38789 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 156592

[startup+222.307 s]
/proc/loadavg: 2.44 2.30 2.21 4/177 23301
/proc/meminfo: memFree=30009452/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=156592 CPUtime=222.25 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 42283 0 0 0 22218 7 0 0 20 0 1 0 56857216 160350208 37393 33554432000 4194304 5646918 140734671809792 140734671808296 4831366 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 39148 37393 154 355 0 38789 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 156592

[startup+282.3 s]
/proc/loadavg: 2.31 2.29 2.21 3/177 23302
/proc/meminfo: memFree=30008164/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=156592 CPUtime=282.24 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 42283 0 0 0 28217 7 0 0 20 0 1 0 56857216 160350208 37393 33554432000 4194304 5646918 140734671809792 140734671808296 4480445 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 39148 37393 154 355 0 38789 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 156592

[startup+342.3 s]
/proc/loadavg: 2.19 2.26 2.20 3/177 23303
/proc/meminfo: memFree=29993096/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=156592 CPUtime=342.23 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 42283 0 0 0 34216 7 0 0 20 0 1 0 56857216 160350208 37393 33554432000 4194304 5646918 140734671809792 140734671808296 4824634 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 39148 37393 154 355 0 38789 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 156592

[startup+402.3 s]
/proc/loadavg: 2.12 2.23 2.19 4/177 23304
/proc/meminfo: memFree=29914756/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=156592 CPUtime=402.22 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 42283 0 0 0 40215 7 0 0 20 0 1 0 56857216 160350208 37393 33554432000 4194304 5646918 140734671809792 140734671808296 4817515 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 39148 37393 154 355 0 38789 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 156592

[startup+462.3 s]
/proc/loadavg: 2.22 2.24 2.20 3/177 23305
/proc/meminfo: memFree=29821816/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=167144 CPUtime=462.22 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 42845 0 0 0 46214 8 0 0 20 0 1 0 56857216 171155456 39999 33554432000 4194304 5646918 140734671809792 140734671765016 4832125 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 41786 39999 154 355 0 41427 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 167144

[startup+522.3 s]
/proc/loadavg: 2.14 2.21 2.19 4/177 23307
/proc/meminfo: memFree=29826188/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=156600 CPUtime=522.21 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 45927 0 0 0 52212 9 0 0 20 0 1 0 56857216 160358400 37397 33554432000 4194304 5646918 140734671809792 140734671808296 4817614 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 39150 37397 154 355 0 38791 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 156600

[startup+582.3 s]
/proc/loadavg: 2.16 2.20 2.18 4/177 23308
/proc/meminfo: memFree=29826192/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=156600 CPUtime=582.2 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 45927 0 0 0 58211 9 0 0 20 0 1 0 56857216 160358400 37397 33554432000 4194304 5646918 140734671809792 140734671808296 4480432 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 39150 37397 154 355 0 38791 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 156600


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

[pid=23014] ppid=23011 vsize=169132 CPUtime=1122.11 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 47003 0 0 0 112202 9 0 0 20 0 1 0 56857216 173191168 40517 33554432000 4194304 5646918 140734671809792 140734671808456 4560672 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 42283 40517 154 355 0 41924 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 169132

[startup+1182.3 s]
/proc/loadavg: 2.15 2.18 2.17 4/177 23323
/proc/meminfo: memFree=29814060/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=169132 CPUtime=1182.1 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 47003 0 0 0 118201 9 0 0 20 0 1 0 56857216 173191168 40517 33554432000 4194304 5646918 140734671809792 140734671808456 4824677 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 42283 40517 154 355 0 41924 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 169132

[startup+1242.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 23324
/proc/meminfo: memFree=29791704/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=190516 CPUtime=1242.09 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 53031 0 0 0 124199 10 0 0 20 0 1 0 56857216 195088384 45871 33554432000 4194304 5646918 140734671809792 140734671808552 4817485 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47629 45871 154 355 0 47270 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 190516

[startup+1302.3 s]
/proc/loadavg: 2.11 2.15 2.17 3/178 23328
/proc/meminfo: memFree=29790376/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=190516 CPUtime=1302.08 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 53031 0 0 0 130198 10 0 0 20 0 1 0 56857216 195088384 45871 33554432000 4194304 5646918 140734671809792 140734671808552 4817614 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47629 45871 154 355 0 47270 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 190516

[startup+1362.3 s]
/proc/loadavg: 2.29 2.20 2.18 3/177 23329
/proc/meminfo: memFree=29791308/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=190516 CPUtime=1362.07 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 53031 0 0 0 136197 10 0 0 20 0 1 0 56857216 195088384 45871 33554432000 4194304 5646918 140734671809792 140734671808552 4312086 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47629 45871 154 355 0 47270 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 190516

[startup+1422.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/177 23331
/proc/meminfo: memFree=29768448/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=190516 CPUtime=1422.07 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 53031 0 0 0 142197 10 0 0 20 0 1 0 56857216 195088384 45871 33554432000 4194304 5646918 140734671809792 140734671808552 4462176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47629 45871 154 355 0 47270 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 190516

[startup+1482.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 23332
/proc/meminfo: memFree=29768136/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=190516 CPUtime=1482.05 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 53031 0 0 0 148195 10 0 0 20 0 1 0 56857216 195088384 45871 33554432000 4194304 5646918 140734671809792 140734671808552 4823257 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47629 45871 154 355 0 47270 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 190516

[startup+1542.31 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 23333
/proc/meminfo: memFree=29721740/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=190516 CPUtime=1542.05 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 53031 0 0 0 154195 10 0 0 20 0 1 0 56857216 195088384 45871 33554432000 4194304 5646918 140734671809792 140734671808552 4831277 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47629 45871 154 355 0 47270 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 190516

[startup+1602.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 23334
/proc/meminfo: memFree=29721696/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=190516 CPUtime=1602.04 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 53031 0 0 0 160194 10 0 0 20 0 1 0 56857216 195088384 45871 33554432000 4194304 5646918 140734671809792 140734671808456 4831277 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47629 45871 154 355 0 47270 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 190516

[startup+1662.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 23335
/proc/meminfo: memFree=29721568/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=191040 CPUtime=1662.03 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 63954 0 0 0 166190 13 0 0 20 0 1 0 56857216 195624960 46007 33554432000 4194304 5646918 140734671809792 140734671808296 4565274 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 47760 46007 154 355 0 47401 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 191040

[startup+1722.3 s]
/proc/loadavg: 2.28 2.20 2.18 4/177 23337
/proc/meminfo: memFree=29665636/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=246368 CPUtime=1722.02 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 72669 0 0 0 172188 14 0 0 20 0 1 0 56857216 252280832 59832 33554432000 4194304 5646918 140734671809792 140734671808456 4832127 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 61592 59832 154 355 0 61233 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 246368

[startup+1782.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 23338
/proc/meminfo: memFree=29647252/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=264584 CPUtime=1782.02 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 77208 0 0 0 178187 15 0 0 20 0 1 0 56857216 270934016 64371 33554432000 4194304 5646918 140734671809792 140734671754152 4824677 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 66146 64371 154 355 0 65787 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 264584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.17 2.18 3/177 23338
/proc/meminfo: memFree=29647288/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=264584 CPUtime=1800.01 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) R 23011 23014 17776 0 -1 4202496 77208 0 0 0 179986 15 0 0 20 0 1 0 56857216 270934016 64371 33554432000 4194304 5646918 140734671809792 140734671754152 4831369 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 66146 64371 154 355 0 65787 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 264584

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23014
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23014 sig 9
??? end of watcher thread

Solver just ended.
Dumping a history of the last processes samples

[startup+1801.6 s]
/proc/loadavg: 2.15 2.17 2.18 3/177 23338
/proc/meminfo: memFree=29647288/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=264584 CPUtime=1800.01 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) S 23011 23014 17776 0 -1 4202496 77208 0 0 0 179986 15 0 0 20 0 1 0 56857216 270934016 64371 33554432000 4194304 5646918 140734671809792 140734671800072 4956300 0 16384 4096 16386 18446744071579510697 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 66146 64371 154 355 0 65787 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 264584

[startup+1802 s]
/proc/loadavg: 2.15 2.17 2.18 3/177 23338
/proc/meminfo: memFree=29647288/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=264584 CPUtime=1800.01 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) S 23011 23014 17776 0 -1 4202496 77208 0 0 0 179986 15 0 0 20 0 1 0 56857216 270934016 64371 33554432000 4194304 5646918 140734671809792 140734671800072 4956300 0 16384 4096 16386 18446744071579510697 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 66146 64371 154 355 0 65787 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 264584

[startup+1802.2 s]
/proc/loadavg: 2.15 2.17 2.18 3/177 23338
/proc/meminfo: memFree=29647288/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=264584 CPUtime=1800.01 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) S 23011 23014 17776 0 -1 4202496 77208 0 0 0 179986 15 0 0 20 0 1 0 56857216 270934016 64371 33554432000 4194304 5646918 140734671809792 140734671800072 4956300 0 16384 4096 16386 18446744071579510697 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 66146 64371 154 355 0 65787 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 264584

[startup+1802.3 s]
/proc/loadavg: 2.15 2.17 2.18 3/177 23338
/proc/meminfo: memFree=29647288/32872528 swapFree=1370848/1518016
[pid=23014] ppid=23011 vsize=264584 CPUtime=1800.01 cores=1,3,5,7
/proc/23014/stat : 23014 (minisatp) S 23011 23014 17776 0 -1 4202496 77208 0 0 0 179986 15 0 0 20 0 1 0 56857216 270934016 64371 33554432000 4194304 5646918 140734671809792 140734671800072 4956300 0 16384 4096 16386 18446744071579510697 0 0 17 3 0 0 0 0 0
/proc/23014/statm: 66146 64371 154 355 0 65787 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 264584

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1800.03
CPU user time (s): 1799.87
CPU system time (s): 0.156976
CPU usage (%): 99.8735
Max. virtual memory (cumulated for all children) (KiB): 264584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.156976
maximum resident set size= 257484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77208
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= 11
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.02224 second user time and 7.48486 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-22 00:28:27
IDJOB=4113939
IDBENCH=2433
IDSOLVER=2555
FILE ID=node129/4113939-1466548107
RUNJOBID= node129-1466514751-17793
PBS_JOBID= 19942879
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= a4f456875ede4549ae03268180cd603c
RANDOM SEED=856071952

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29363680 kB
Buffers:           28260 kB
Cached:            99524 kB
SwapCached:        16724 kB
Active:          1181868 kB
Inactive:         100832 kB
Active(anon):    1141560 kB
Inactive(anon):    16060 kB
Active(file):      40308 kB
Inactive(file):    84772 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67085192 kB
Dirty:             12244 kB
Writeback:             0 kB
AnonPages:       2658500 kB
Mapped:             9544 kB
Shmem:                 0 kB
Slab:             571476 kB
SReclaimable:      15240 kB
SUnreclaim:       556236 kB
KernelStack:        1440 kB
PageTables:         9356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2840164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    870400 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-4113939-1466548107.opb

Free space on /tmp at the end= 71688 MiB
End job on node129 at 2016-06-22 00:58:30