Trace number 2693110

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.08 1802.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-66-100-0.wbo
MD5SUM5805010aa07d3b134ea004b7ad815631
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark7.69083
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables18069
Total number of constraints52475
Number of soft constraints17765
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 896785
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 896784
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
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 SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693110-1277915885.wbo>
0.39/0.44	c original problem has 53599 variables (35834 bin, 0 int, 0 impl, 17765 cont) and 70241 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
0.69/0.73	c presolving:
0.89/0.96	c (round 1) 294 del vars, 16 del conss, 5 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356621 impls, 0 clqs
0.89/1.00	c (round 2) 301 del vars, 600 del conss, 7 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356621 impls, 0 clqs
0.99/1.02	c (round 3) 314 del vars, 615 del conss, 10 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356701 impls, 0 clqs
0.99/1.05	c (round 4) 327 del vars, 654 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356745 impls, 0 clqs
0.99/1.08	c (round 5) 338 del vars, 668 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356765 impls, 0 clqs
1.10/1.16	c (round 6) 347 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356765 impls, 0 clqs
1.39/1.40	c (round 7) 348 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 356765 impls, 0 clqs
10.49/10.58	c    (10.0s) probing: 1000/35504 (2.8%) - 3 fixings, 10 aggregations, 42806 implications, 0 bound changes
18.29/18.32	c    (17.7s) probing: 2000/35504 (5.6%) - 6 fixings, 17 aggregations, 66504 implications, 0 bound changes
25.09/25.19	c    (24.6s) probing: 3000/35504 (8.4%) - 6 fixings, 18 aggregations, 74213 implications, 0 bound changes
31.69/31.73	c    (31.1s) probing: 4000/35504 (11.3%) - 7 fixings, 19 aggregations, 80838 implications, 0 bound changes
37.79/37.85	c    (37.2s) probing: 5000/35504 (14.1%) - 8 fixings, 20 aggregations, 82637 implications, 0 bound changes
43.79/43.86	c    (43.2s) probing: 6000/35504 (16.9%) - 8 fixings, 21 aggregations, 84020 implications, 0 bound changes
49.40/49.46	c    (48.8s) probing: 6941/35504 (19.5%) - 8 fixings, 21 aggregations, 84684 implications, 0 bound changes
49.40/49.46	c    (48.8s) probing aborted: 100/100 successive totally useless probings
49.40/49.46	c (round 8) 377 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 793240 impls, 0 clqs
49.50/49.51	c (round 9) 379 del vars, 695 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 793254 impls, 0 clqs
50.20/50.24	c    (49.5s) probing: 7000/35504 (19.7%) - 8 fixings, 21 aggregations, 85341 implications, 0 bound changes
56.00/56.05	c    (55.4s) probing: 7851/35504 (22.1%) - 8 fixings, 22 aggregations, 86704 implications, 0 bound changes
56.00/56.05	c    (55.4s) probing aborted: 100/100 successive totally useless probings
56.00/56.06	c presolving (10 rounds):
56.00/56.06	c  382 deleted vars, 697 deleted constraints, 17763 tightened bounds, 0 added holes, 460 changed sides, 926 changed coefficients
56.00/56.06	c  797593 implications, 0 cliques
56.00/56.06	c presolved problem has 53217 variables (35472 bin, 0 int, 0 impl, 17745 cont) and 69544 constraints
56.00/56.06	c   17745 constraints of type <indicator>
56.00/56.06	c       4 constraints of type <varbound>
56.00/56.06	c     616 constraints of type <knapsack>
56.00/56.06	c   17741 constraints of type <linear>
56.00/56.06	c   33438 constraints of type <logicor>
56.00/56.06	c transformed objective value is always integral (scale: 1)
56.00/56.06	c Presolving Time: 55.20
56.00/56.06	c - non default parameters ----------------------------------------------------------------------
56.00/56.06	c # SCIP version 1.2.1.2
56.00/56.06	c 
56.00/56.06	c # frequency for displaying node information lines
56.00/56.06	c # [type: int, range: [-1,2147483647], default: 100]
56.00/56.06	c display/freq = 10000
56.00/56.06	c 
56.00/56.06	c # maximal time in seconds to run
56.00/56.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
56.00/56.06	c limits/time = 1799.57
56.00/56.06	c 
56.00/56.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
56.00/56.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
56.00/56.06	c limits/memory = 3420
56.00/56.06	c 
56.00/56.06	c # should presolving try to simplify inequalities
56.00/56.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
56.00/56.06	c constraints/linear/simplifyinequalities = TRUE
56.00/56.06	c 
56.00/56.06	c # should presolving try to simplify knapsacks
56.00/56.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
56.00/56.06	c constraints/knapsack/simplifyinequalities = TRUE
56.00/56.06	c 
56.00/56.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
56.00/56.06	c # [type: int, range: [-1,2147483647], default: -1]
56.00/56.06	c separating/rapidlearning/freq = 0
56.00/56.06	c 
56.00/56.06	c -----------------------------------------------------------------------------------------------
56.00/56.06	c start solving
56.00/56.07	c 
56.39/56.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
56.39/56.42	c  55.7s|     1 |     0 |  1479 |     - | 228M|   0 |1042 |  53k|  69k|  53k|  34k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
59.99/60.03	c  59.2s|     1 |     0 |  2413 |     - | 230M|   0 |1315 |  53k|  69k|  53k|  34k| 377 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
63.00/63.07	c  62.2s|     1 |     0 |  4247 |     - | 230M|   0 |2366 |  53k|  69k|  53k|  34k| 708 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
69.59/69.63	c  68.7s|     1 |     0 |  5764 |     - | 231M|   0 |2968 |  53k|  69k|  53k|  35k|1141 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
78.69/78.72	c  77.8s|     1 |     0 |  8487 |     - | 231M|   0 |3829 |  53k|  69k|  53k|  35k|1565 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
88.20/88.21	c  87.2s|     1 |     0 | 11076 |     - | 232M|   0 |4516 |  53k|  69k|  53k|  35k|1963 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
102.00/102.06	c   101s|     1 |     0 | 14225 |     - | 232M|   0 |5173 |  53k|  69k|  53k|  36k|2356 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
124.10/124.19	c   123s|     1 |     2 | 14225 |     - | 232M|   0 |5173 |  53k|  69k|  53k|  36k|2356 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
368.70/368.78	o 895503
368.70/368.78	c y 360s|    17 |    16 | 37907 |1480.1 | 234M|  15 |   - |  53k|  69k|   0 |   0 |2356 |  82 | 163 | 0.000000e+00 | 8.955030e+05 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.15/1800.17	c 
1800.15/1800.17	c SCIP Status        : solving was interrupted [user interrupt]
1800.15/1800.17	c Solving Time (sec) : 1714.24
1800.15/1800.17	c Solving Nodes      : 541
1800.15/1800.17	c Primal Bound       : +8.95503000000000e+05 (12 solutions)
1800.15/1800.17	c Dual Bound         : +0.00000000000000e+00
1800.15/1800.17	c Gap                : infinite

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693110-1277915885/watcher-2693110-1277915885 -o /tmp/evaluation-result-2693110-1277915885/solver-2693110-1277915885 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693110-1277915885.wbo -t 1800 -m 3800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 25406
/proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=11008 CPUtime=0
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 1678 0 0 0 0 0 0 0 25 0 1 0 167192011 11272192 1598 4089446400 4194304 9819077 140735640865728 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25406/statm: 2752 1600 392 1374 0 1373 0

[startup+0.0375589 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 25406
/proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=17952 CPUtime=0.03
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 3441 0 0 0 3 0 0 0 25 0 1 0 167192011 18382848 3361 4089446400 4194304 9819077 140735640865728 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25406/statm: 4488 3361 392 1374 0 3109 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17952

[startup+0.100554 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 25406
/proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=29624 CPUtime=0.09
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 6353 0 0 0 9 0 0 0 25 0 1 0 167192011 30334976 6273 4089446400 4194304 9819077 140735640865728 18446744073709551615 5647820 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25406/statm: 7406 6273 392 1374 0 6027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29624

[startup+0.300508 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 25406
/proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=61828 CPUtime=0.29
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 14398 0 0 0 28 1 0 0 25 0 1 0 167192011 63311872 14318 4089446400 4194304 9819077 140735640865728 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25406/statm: 15457 14319 392 1374 0 14078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61828

[startup+0.700441 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 25406
/proc/meminfo: memFree=31221348/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=194300 CPUtime=0.69
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 46879 0 0 0 64 5 0 0 25 0 1 0 167192011 198963200 46354 4089446400 4194304 9819077 140735640865728 18446744073709551615 4329675 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 48575 46354 463 1374 0 47196 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 194300

[startup+1.50029 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 25407
/proc/meminfo: memFree=31011780/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=246596 CPUtime=1.49
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 66798 0 0 0 133 16 0 0 25 0 1 0 167192011 252514304 59026 4089446400 4194304 9819077 140735640865728 18446744073709551615 5500636 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 61649 59026 532 1374 0 60270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 246596

[startup+3.10099 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 25407
/proc/meminfo: memFree=30982508/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=252872 CPUtime=3.09
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 68328 0 0 0 293 16 0 0 25 0 1 0 167192011 258940928 60555 4089446400 4194304 9819077 140735640865728 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 63218 60555 532 1374 0 61839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 252872

[startup+6.3004 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 25407
/proc/meminfo: memFree=30971720/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=258792 CPUtime=6.29
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 69793 0 0 0 613 16 0 0 25 0 1 0 167192011 265003008 62020 4089446400 4194304 9819077 140735640865728 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 64698 62020 532 1374 0 63319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 258792

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 25407
/proc/meminfo: memFree=30964788/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=263064 CPUtime=12.69
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 70876 0 0 0 1251 18 0 0 25 0 1 0 167192011 269377536 63103 4089446400 4194304 9819077 140735640865728 18446744073709551615 5501208 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 65766 63103 537 1374 0 64387 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 263064

[startup+25.5009 s]
/proc/loadavg: 2.01 2.01 1.99 3/179 25408
/proc/meminfo: memFree=30958248/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=269604 CPUtime=25.49
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 72490 0 0 0 2528 21 0 0 25 0 1 0 167192011 276074496 64717 4089446400 4194304 9819077 140735640865728 18446744073709551615 4827474 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 67401 64717 537 1374 0 66022 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 269604

[startup+51.1011 s]
/proc/loadavg: 2.01 2.00 1.99 3/179 25408
/proc/meminfo: memFree=30946700/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=273256 CPUtime=51.1
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 75755 0 0 0 5082 28 0 0 25 0 1 0 167192011 279814144 65590 4089446400 4194304 9819077 140735640865728 18446744073709551615 4827509 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 68314 65590 537 1374 0 66935 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 273256

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25410
/proc/meminfo: memFree=30856268/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=372516 CPUtime=102.3
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 229627 0 0 0 10169 61 0 0 25 0 1 0 167192011 381456384 83035 4089446400 4194304 9819077 140735640865728 18446744073709551615 5346178 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 93129 83035 699 1374 0 91750 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 372516

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25411
/proc/meminfo: memFree=30830572/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=373196 CPUtime=162.3
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 662739 0 0 0 16105 125 0 0 25 0 1 0 167192011 382152704 83438 4089446400 4194304 9819077 140735640865728 18446744073709551615 6697183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 93299 83438 739 1374 0 91920 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 373196

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25413
/proc/meminfo: memFree=30805728/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=402944 CPUtime=222.29
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 1110042 0 0 0 22044 185 0 0 25 0 1 0 167192011 412614656 85073 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291092 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 100736 85073 739 1374 0 99357 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 402944

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25414
/proc/meminfo: memFree=30785612/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=402952 CPUtime=282.3
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 1633541 0 0 0 27977 253 0 0 25 0 1 0 167192011 412622848 84943 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 100738 84943 739 1374 0 99359 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 402952

[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 25416
/proc/meminfo: memFree=30758528/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=385452 CPUtime=342.3
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 4127304 0 0 0 33692 538 0 0 25 0 1 0 167192011 394702848 86551 4089446400 4194304 9819077 140735640865728 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 96363 86551 742 1374 0 94984 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 385452

[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25418
/proc/meminfo: memFree=30750180/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=381548 CPUtime=402.3
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 7525024 0 0 0 39287 943 0 0 25 0 1 0 167192011 390705152 85643 4089446400 4194304 9819077 140735640865728 18446744073709551615 6367313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 95387 85643 742 1374 0 94008 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 381548

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25419
/proc/meminfo: memFree=30714428/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=385416 CPUtime=462.3
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 11046344 0 0 0 44868 1362 0 0 25 0 1 0 167192011 394665984 88489 4089446400 4194304 9819077 140735640865728 18446744073709551615 7221877 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 96354 88490 742 1374 0 94975 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 385416

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25421
/proc/meminfo: memFree=30706716/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=379208 CPUtime=522.31
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 12881338 0 0 0 50647 1584 0 0 25 0 1 0 167192011 388308992 86523 4089446400 4194304 9819077 140735640865728 18446744073709551615 7226531 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 94802 86530 742 1374 0 93423 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 379208

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25422
/proc/meminfo: memFree=30687588/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=386648 CPUtime=582.32
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 15130549 0 0 0 56376 1856 0 0 25 0 1 0 167192011 395927552 86545 4089446400 4194304 9819077 140735640865728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 96662 86545 742 1374 0 95283 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 386648

[startup+642.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25452
/proc/meminfo: memFree=31032788/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=396116 CPUtime=642.31
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 19270448 0 0 0 61899 2332 0 0 25 0 1 0 167192011 405622784 89400 4089446400 4194304 9819077 140735640865728 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 99029 89400 742 1374 0 97650 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 396116

[startup+702.301 s]

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

/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 38420088 0 0 0 95635 4598 0 0 25 0 1 0 167192011 396247040 88450 4089446400 4194304 9819077 140735640865728 18446744073709551615 7234112 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 96740 88450 743 1374 0 95361 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 386960

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25463
/proc/meminfo: memFree=30980236/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=391304 CPUtime=1062.32
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 42435032 0 0 0 101158 5074 0 0 25 0 1 0 167192011 400695296 88028 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291645 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 97826 88028 743 1374 0 96447 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 391304

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25465
/proc/meminfo: memFree=30969256/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=395436 CPUtime=1122.32
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 45567737 0 0 0 106793 5439 0 0 25 0 1 0 167192011 404926464 88843 4089446400 4194304 9819077 140735640865728 18446744073709551615 6567584 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 98859 88843 743 1374 0 97480 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 395436

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25466
/proc/meminfo: memFree=30952240/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=394952 CPUtime=1182.33
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 48926579 0 0 0 112395 5838 0 0 25 0 1 0 167192011 404430848 88793 4089446400 4194304 9819077 140735640865728 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 98738 88793 743 1374 0 97359 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 394952

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25468
/proc/meminfo: memFree=30945372/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=393756 CPUtime=1242.34
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 51561584 0 0 0 118088 6146 0 0 25 0 1 0 167192011 403206144 89804 4089446400 4194304 9819077 140735640865728 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 98439 89816 743 1374 0 97060 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 393756

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25470
/proc/meminfo: memFree=30941740/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=396316 CPUtime=1302.34
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 54216296 0 0 0 123771 6463 0 0 25 0 1 0 167192011 405827584 89381 4089446400 4194304 9819077 140735640865728 18446744073709551615 5893820 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 99079 89381 743 1374 0 97700 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 396316

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25471
/proc/meminfo: memFree=30930288/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=400332 CPUtime=1362.34
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 55638580 0 0 0 129593 6641 0 0 25 0 1 0 167192011 409939968 90660 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 100083 90660 743 1374 0 98704 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 400332

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25482
/proc/meminfo: memFree=30912032/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=410636 CPUtime=1422.35
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 59508949 0 0 0 135144 7091 0 0 25 0 1 0 167192011 420491264 93031 4089446400 4194304 9819077 140735640865728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 102659 93031 743 1374 0 101280 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 410636

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25483
/proc/meminfo: memFree=30919676/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=397444 CPUtime=1482.34
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 61009256 0 0 0 140961 7273 0 0 25 0 1 0 167192011 406982656 89457 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 99361 89457 743 1374 0 97982 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 397444

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25485
/proc/meminfo: memFree=30903248/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=403432 CPUtime=1542.34
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 64746828 0 0 0 146524 7710 0 0 25 0 1 0 167192011 413114368 91158 4089446400 4194304 9819077 140735640865728 18446744073709551615 7292289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 100858 91158 743 1374 0 99479 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 403432

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25487
/proc/meminfo: memFree=30896884/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=404260 CPUtime=1602.34
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 66181054 0 0 0 152353 7881 0 0 25 0 1 0 167192011 413962240 91368 4089446400 4194304 9819077 140735640865728 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 101065 91368 743 1374 0 99686 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 404260

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25488
/proc/meminfo: memFree=30892996/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=404480 CPUtime=1662.35
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 68267780 0 0 0 158105 8130 0 0 25 0 1 0 167192011 414187520 91230 4089446400 4194304 9819077 140735640865728 18446744073709551615 7291143 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 101120 91230 743 1374 0 99741 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 404480

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25490
/proc/meminfo: memFree=30890348/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=397688 CPUtime=1722.35
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 70668704 0 0 0 163822 8413 0 0 25 0 1 0 167192011 407232512 89536 4089446400 4194304 9819077 140735640865728 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 99422 89536 743 1374 0 98043 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 397688

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25491
/proc/meminfo: memFree=30877020/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=428248 CPUtime=1782.35
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71546340 0 0 0 169709 8526 0 0 25 0 1 0 167192011 438525952 91110 4089446400 4194304 9819077 140735640865728 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 107062 91110 743 1374 0 105683 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 428248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25492
/proc/meminfo: memFree=30874656/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=428488 CPUtime=1800.05
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71803129 0 0 0 171448 8557 0 0 25 0 1 0 167192011 438771712 91056 4089446400 4194304 9819077 140735640865728 18446744073709551615 6191119 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25406/statm: 107122 91056 743 1374 0 105743 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 428488

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -25406

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25493
/proc/meminfo: memFree=30880352/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=398524 CPUtime=1801.45
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71805358 0 0 0 171588 8557 0 0 25 0 1 0 167192011 408088576 89426 4089446400 4194304 9819077 140735640865728 18446744073709551615 4241122 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25406/statm: 99631 89426 743 1374 0 98252 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 398524

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25493
/proc/meminfo: memFree=30880352/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=398524 CPUtime=1801.85
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71805358 0 0 0 171628 8557 0 0 25 0 1 0 167192011 408088576 89426 4089446400 4194304 9819077 140735640865728 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25406/statm: 99631 89426 743 1374 0 98252 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 398524

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25493
/proc/meminfo: memFree=30880352/32950928 swapFree=67111528/67111528
[pid=25406] ppid=25404 vsize=398524 CPUtime=1802.05
/proc/25406/stat : 25406 (pbscip.linux.x8) R 25404 25406 25088 0 -1 4202496 71805358 0 0 0 171648 8557 0 0 25 0 1 0 167192011 408088576 89426 4089446400 4194304 9819077 140735640865728 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25406/statm: 99631 89426 743 1374 0 98252 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 398524

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.08
CPU user time (s): 1716.49
CPU system time (s): 85.591
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 530028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.49
system time used= 85.591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71805358
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= 2
involuntary context switches= 977

runsolver used 2.78158 second user time and 7.05593 second system time

The end

Launcher Data 

Begin job on node113 at 2010-06-30 18:38:05
IDJOB=2693110
IDBENCH=79062
IDSOLVER=1205
FILE ID=node113/2693110-1277915885
PBS_JOBID= 11197327
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693110-1277915885/watcher-2693110-1277915885 -o /tmp/evaluation-result-2693110-1277915885/solver-2693110-1277915885 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693110-1277915885.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5805010aa07d3b134ea004b7ad815631
RANDOM SEED=1984719155

node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31222248 kB
Buffers:        198804 kB
Cached:        1044740 kB
SwapCached:          0 kB
Active:         894672 kB
Inactive:       691468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31222248 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7772 kB
Writeback:           0 kB
AnonPages:      342624 kB
Mapped:          17584 kB
Slab:            79116 kB
PageTables:       5456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   508448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node113 at 2010-06-30 19:08:07