Trace number 3461734

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
wbo 1.6? (TO) 1800.11 1800.02

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12058_7.std.opb
MD5SUM38417c05ad0fa807f5ea2aa87e724f6b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark158
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints255916
Number of constraints which are clauses254716
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461734-1307651648.opb.
0.00/0.00	c Instance file HOME/instance-3461734-1307651648.opb
0.00/0.00	c File size is 8613846 bytes.
0.69/0.77	c Highest Coefficient sum: 738
0.69/0.77	c ============================[ Problem Statistics ]=============================
0.69/0.77	c |                                                                             |
0.69/0.77	c |  Parsing time:          0.76         s                                      |
0.69/0.77	c |  Number Variables:      72842                                               |
0.69/0.77	c |  Number Clauses:        254716                                              |
0.69/0.77	c |  Number Cardinality:    0                                                   |
0.69/0.77	c |  Number PB Constraints: 1200                                                |
0.89/0.91	c ============================[ Search Statistics ]==============================
0.89/0.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.91	c ===============================================================================
0.89/0.91	c |         0 |   50896   255916   552073 |    85305        0   -nan |  0.000 % |
1.10/1.14	c core #1
1.10/1.14	c 
1.10/1.14	c 
1.10/1.14	c Core size: 372	Core Weight: 114	Total Weight: 114
1.10/1.14	c Current CPU time: 1.00085 s
1.10/1.14	c
1.10/1.14	c ============================[ Search Statistics ]==============================
1.10/1.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.14	c ===============================================================================
1.10/1.14	c |         0 |    6622   187840   383695 |    62613        0   -nan |  0.000 % |
1.10/1.16	c |       100 |    6622   187840   383695 |    68874      100     26 | 90.932 % |
1.10/1.18	c |       250 |    6617   187840   383695 |    75762      250     29 | 91.518 % |
1.10/1.19	c ===============================================================================
1.29/1.31	c core #2
1.29/1.31	c 
1.29/1.31	c 
1.29/1.31	c Core size: 591	Core Weight: 1	Total Weight: 115
1.29/1.31	c Current CPU time: 1.16282 s
1.29/1.31	c
1.29/1.31	c ============================[ Search Statistics ]==============================
1.29/1.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.31	c ===============================================================================
1.29/1.31	c |         0 |    7237   188026   384369 |    62675        0   -nan |  0.000 % |
1.29/1.33	c |       100 |    7237   188026   384369 |    68942      100     22 | 90.115 % |
1.29/1.35	c |       253 |    7227   188026   384369 |    75837      253     28 | 90.364 % |
1.29/1.39	c |       478 |    7222   188026   384369 |    83420      478     31 | 90.834 % |
1.39/1.44	c |       815 |    7200   188026   384369 |    91762      815     35 | 91.014 % |
1.39/1.46	c ===============================================================================
1.48/1.57	c core #3
1.48/1.57	c 
1.48/1.57	c 
1.48/1.57	c Core size: 719	Core Weight: 1	Total Weight: 116
1.48/1.57	c Current CPU time: 1.42278 s
1.48/1.57	c
1.48/1.57	c ============================[ Search Statistics ]==============================
1.48/1.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.57	c ===============================================================================
1.48/1.57	c |         0 |    7664   188211   385044 |    62737        0   -nan |  0.000 % |
1.48/1.59	c |       100 |    7664   188211   385044 |    69010      100     22 | 89.559 % |
1.59/1.61	c |       251 |    7664   188211   385044 |    75911      251     27 | 89.559 % |
1.59/1.65	c |       479 |    7664   188211   385044 |    83502      479     30 | 89.559 % |
1.68/1.70	c |       816 |    7664   188211   385044 |    91853      816     31 | 89.559 % |
1.79/1.80	c |      1322 |    7659   188211   385044 |   101038     1322     32 | 89.565 % |
1.89/1.93	c |      2081 |    7659   188211   385044 |   111142     2081     35 | 89.565 % |
2.10/2.15	c |      3221 |    7573   188211   385044 |   122256     3221     37 | 89.683 % |
2.29/2.37	c ===============================================================================
2.39/2.49	c core #4
2.39/2.49	c 
2.39/2.49	c 
2.39/2.49	c Core size: 664	Core Weight: 1	Total Weight: 117
2.39/2.49	c Current CPU time: 2.33264 s
2.39/2.49	c
2.39/2.49	c ============================[ Search Statistics ]==============================
2.39/2.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.49	c ===============================================================================
2.39/2.49	c |         0 |    8090   188399   385732 |    62799        0   -nan |  0.000 % |
2.49/2.51	c |       100 |    8090   188399   385732 |    69079      100     23 | 89.006 % |
2.49/2.54	c |       250 |    8090   188399   385732 |    75987      250     32 | 89.006 % |
2.49/2.57	c |       476 |    8090   188399   385732 |    83586      476     30 | 89.006 % |
2.59/2.63	c |       813 |    8090   188399   385732 |    91944      813     32 | 89.006 % |
2.69/2.71	c |      1319 |    8090   188399   385732 |   101139     1319     32 | 89.006 % |
2.79/2.85	c |      2078 |    8090   188399   385732 |   111253     2078     32 | 89.006 % |
2.99/3.06	c |      3218 |    8090   188399   385732 |   122378     3218     36 | 89.006 % |
3.39/3.40	c |      4927 |    8090   188399   385732 |   134616     4927     37 | 89.006 % |
3.89/3.92	c |      7489 |    8090   188399   385732 |   148078     7489     40 | 89.006 % |
4.69/4.78	c |     11333 |    8081   188399   385732 |   162886    11333     41 | 89.018 % |
6.09/6.19	c ===============================================================================
6.29/6.32	c core #5
6.29/6.32	c 
6.29/6.32	c 
6.29/6.32	c Core size: 729	Core Weight: 1	Total Weight: 118
6.29/6.32	c Current CPU time: 6.14407 s
6.29/6.32	c
6.29/6.32	c ============================[ Search Statistics ]==============================
6.29/6.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.32	c ===============================================================================
6.29/6.32	c |         0 |    8515   188585   386418 |    62861        0   -nan |  0.000 % |
6.29/6.33	c |       102 |    8515   188585   386418 |    69147      102     22 | 88.457 % |
6.29/6.37	c |       253 |    8515   188585   386418 |    76062      253     36 | 88.457 % |
6.39/6.40	c |       478 |    8515   188585   386418 |    83668      478     35 | 88.457 % |
6.39/6.47	c |       815 |    8515   188585   386418 |    92035      815     32 | 88.457 % |
6.50/6.56	c |      1321 |    8515   188585   386418 |   101239     1321     35 | 88.457 % |
6.69/6.71	c |      2084 |    8515   188585   386418 |   111363     2084     34 | 88.457 % |
6.89/6.92	c |      3225 |    8515   188585   386418 |   122499     3225     36 | 88.457 % |
7.19/7.29	c |      4933 |    8515   188585   386418 |   134749     4933     38 | 88.457 % |
7.79/7.83	c |      7495 |    8515   188585   386418 |   148224     7495     40 | 88.457 % |
8.70/8.74	c |     11339 |    8515   188585   386418 |   163046    11339     40 | 88.457 % |
10.19/10.20	c |     17106 |    8515   188585   386418 |   179351    17106     45 | 88.457 % |
12.59/12.65	c |     25755 |    8510   188585   386418 |   197286    25755     47 | 88.464 % |
17.09/17.11	c |     38729 |    8508   188585   386418 |   217015    38729     51 | 88.466 % |
24.79/24.81	c |     58191 |    8477   188585   386418 |   238717    58191     52 | 88.603 % |
32.39/32.46	c ===============================================================================
32.59/32.63	c core #6
32.59/32.63	c 
32.59/32.63	c 
32.59/32.63	c Core size: 900	Core Weight: 1	Total Weight: 119
32.59/32.63	c Current CPU time: 32.3361 s
32.59/32.63	c
32.59/32.63	c ============================[ Search Statistics ]==============================
32.59/32.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.59/32.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.59/32.63	c ===============================================================================
32.59/32.63	c |         0 |    8939   188778   387129 |    62926        0   -nan |  0.000 % |
32.59/32.65	c |       100 |    8939   188778   387129 |    69218      100     25 | 87.912 % |
32.59/32.68	c |       250 |    8939   188778   387129 |    76140      250     36 | 87.912 % |
32.69/32.72	c |       475 |    8939   188778   387129 |    83754      475     30 | 87.912 % |
32.69/32.77	c |       815 |    8939   188778   387129 |    92129      815     38 | 87.912 % |
32.79/32.87	c |      1322 |    8939   188778   387129 |   101342     1322     36 | 87.912 % |
33.00/33.01	c |      2081 |    8939   188778   387129 |   111477     2081     41 | 87.912 % |
33.19/33.21	c |      3221 |    8939   188778   387129 |   122624     3221     40 | 87.912 % |
33.49/33.55	c |      4929 |    8939   188778   387129 |   134887     4929     42 | 87.912 % |
34.09/34.13	c |      7491 |    8939   188778   387129 |   148376     7491     44 | 87.912 % |
34.99/35.04	c |     11336 |    8939   188778   387129 |   163213    11336     44 | 87.912 % |
36.39/36.40	c |     17102 |    8939   188778   387129 |   179535    17102     44 | 87.912 % |
38.50/38.56	c |     25752 |    8939   188778   387129 |   197488    25752     45 | 87.912 % |
42.80/42.81	c |     38726 |    8939   188778   387129 |   217237    38726     49 | 87.912 % |
50.19/50.24	c |     58188 |    8928   188778   387129 |   238961    58188     54 | 87.927 % |
63.40/63.49	c |     87382 |    8928   188778   387129 |   262857    87382     56 | 87.927 % |
92.00/92.09	c |    131171 |    8928   188778   387129 |   289143   131171     60 | 87.927 % |
151.50/151.57	c |    196855 |    8925   188778   387129 |   318057   196855     64 | 87.931 % |
295.91/295.91	c |    295381 |    8644   188778   387129 |   349863   295381     67 | 88.311 % |
416.51/416.58	c ===============================================================================
416.81/416.89	c core #7
416.81/416.89	c 
416.81/416.89	c 
416.81/416.89	c Core size: 725	Core Weight: 1	Total Weight: 120
416.81/416.89	c Current CPU time: 415.899 s
416.81/416.89	c
416.81/416.89	c ============================[ Search Statistics ]==============================
416.81/416.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
416.81/416.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
416.81/416.89	c ===============================================================================
416.81/416.89	c |         0 |    9362   188981   387874 |    62993        0   -nan |  0.000 % |
416.91/416.92	c |       100 |    9362   188981   387874 |    69293      100     31 | 87.371 % |
416.91/416.94	c |       250 |    9362   188981   387874 |    76222      250     41 | 87.371 % |
416.91/416.98	c |       475 |    9362   188981   387874 |    83844      475     40 | 87.371 % |
417.01/417.03	c |       812 |    9362   188981   387874 |    92229      812     37 | 87.371 % |
417.11/417.13	c |      1321 |    9362   188981   387874 |   101451     1321     35 | 87.371 % |
417.21/417.27	c |      2080 |    9362   188981   387874 |   111597     2080     34 | 87.371 % |
417.40/417.48	c |      3220 |    9362   188981   387874 |   122756     3220     39 | 87.371 % |
417.81/417.81	c |      4928 |    9362   188981   387874 |   135032     4928     39 | 87.371 % |
418.31/418.34	c |      7490 |    9362   188981   387874 |   148535     7490     43 | 87.371 % |
419.02/419.10	c |     11335 |    9362   188981   387874 |   163389    11335     46 | 87.371 % |
420.51/420.55	c |     17102 |    9362   188981   387874 |   179728    17102     45 | 87.371 % |
422.51/422.59	c |     25751 |    9362   188981   387874 |   197701    25751     49 | 87.371 % |
426.71/426.74	c |     38725 |    9362   188981   387874 |   217471    38725     50 | 87.371 % |
433.71/433.70	c |     58186 |    9362   188981   387874 |   239218    58186     52 | 87.371 % |
447.11/447.10	c |     87379 |    9362   188981   387874 |   263140    87379     55 | 87.371 % |
472.52/472.60	c |    131168 |    9362   188981   387874 |   289454   131168     57 | 87.371 % |
525.92/525.96	c |    196852 |    9306   188981   387874 |   318399   196852     61 | 87.446 % |
659.72/659.78	c |    295378 |    9285   188981   387874 |   350239   295378     63 | 87.475 % |
886.64/886.67	c |    443167 |    9285   188981   387874 |   385263    52861     61 | 87.475 % |
1088.84/1088.87	c |    664850 |    9229   188981   387874 |   423789   274544     66 | 87.564 % |
1586.67/1586.68	c |    997375 |    9219   188981   387874 |   466168   145727     72 | 87.564 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3461734-1307651648/watcher-3461734-1307651648 -o /tmp/evaluation-result-3461734-1307651648/solver-3461734-1307651648 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461734-1307651648.opb 

running on 4 cores: 0,2,4,6

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: 1.84 1.97 1.98 3/177 9476
/proc/meminfo: memFree=32431768/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=11144 CPUtime=0 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 474 0 0 0 0 0 0 0 25 0 1 0 876761512 11411456 427 33554432000 4194304 5714214 140734821652256 18446744073709551615 4315269 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 2786 427 174 372 0 308 0

[startup+0.0985839 s]
/proc/loadavg: 1.84 1.97 1.98 3/177 9476
/proc/meminfo: memFree=32431768/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=24824 CPUtime=0.09 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 4014 0 0 0 9 0 0 0 25 0 1 0 876761512 25419776 3820 33554432000 4194304 5714214 140734821652256 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 6206 3820 453 372 0 3728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24824

[startup+0.100577 s]
/proc/loadavg: 1.84 1.97 1.98 3/177 9476
/proc/meminfo: memFree=32431768/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=24824 CPUtime=0.09 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 4041 0 0 0 9 0 0 0 25 0 1 0 876761512 25419776 3847 33554432000 4194304 5714214 140734821652256 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 6206 3847 459 372 0 3728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24824

[startup+0.300542 s]
/proc/loadavg: 1.84 1.97 1.98 3/177 9476
/proc/meminfo: memFree=32431768/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=31884 CPUtime=0.29 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 6425 0 0 0 29 0 0 0 25 0 1 0 876761512 32649216 6102 33554432000 4194304 5714214 140734821652256 18446744073709551615 4942784 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 7971 6103 1048 372 0 5493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31884

[startup+0.700458 s]
/proc/loadavg: 1.84 1.97 1.98 3/177 9476
/proc/meminfo: memFree=32431768/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=55256 CPUtime=0.69 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 13081 0 0 0 68 1 0 0 25 0 1 0 876761512 56582144 12492 33554432000 4194304 5714214 140734821652256 18446744073709551615 4232309 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 13814 12493 2133 372 0 11336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55256

[startup+1.50029 s]
/proc/loadavg: 1.84 1.97 1.98 3/178 9477
/proc/meminfo: memFree=32238104/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=110884 CPUtime=1.48 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 33667 0 0 0 145 3 0 0 18 0 1 0 876761512 113545216 26769 33554432000 4194304 5714214 140734821652256 18446744073709551615 4956409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 27721 26769 180 372 0 27346 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 110884

[startup+3.10098 s]
/proc/loadavg: 1.84 1.97 1.98 3/175 9484
/proc/meminfo: memFree=32330868/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=110884 CPUtime=3.09 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 33753 0 0 0 305 4 0 0 22 0 1 0 876761512 113545216 26855 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319501 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 27721 26855 180 372 0 27346 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110884

[startup+6.30035 s]
/proc/loadavg: 1.85 1.97 1.98 3/178 9515
/proc/meminfo: memFree=32224728/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=116284 CPUtime=6.29 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 34925 0 0 0 624 5 0 0 25 0 1 0 876761512 119074816 28027 33554432000 4194304 5714214 140734821652256 18446744073709551615 4964778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 29071 28027 180 372 0 28696 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 116284

[startup+12.7011 s]
/proc/loadavg: 1.86 1.97 1.98 3/178 9516
/proc/meminfo: memFree=32196804/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=116284 CPUtime=12.69 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 34925 0 0 0 1262 7 0 0 25 0 1 0 876761512 119074816 28027 33554432000 4194304 5714214 140734821652256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 29071 28027 180 372 0 28696 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116284

[startup+25.5005 s]
/proc/loadavg: 1.89 1.97 1.98 3/178 9516
/proc/meminfo: memFree=32194660/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=116284 CPUtime=25.49 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 34925 0 0 0 2538 11 0 0 25 0 1 0 876761512 119074816 28027 33554432000 4194304 5714214 140734821652256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 29071 28027 180 372 0 28696 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116284

[startup+51.1004 s]
/proc/loadavg: 1.93 1.97 1.98 3/178 9516
/proc/meminfo: memFree=32171352/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=136536 CPUtime=51.09 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 39675 0 0 0 5090 19 0 0 25 0 1 0 876761512 139812864 32777 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 34134 32777 180 372 0 33759 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 136536

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.98 3/178 9518
/proc/meminfo: memFree=32157288/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=141776 CPUtime=102.3 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 41315 0 0 0 10202 28 0 0 25 0 1 0 876761512 145178624 34417 33554432000 4194304 5714214 140734821652256 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 35444 34417 180 372 0 35069 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 141776

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9519
/proc/meminfo: memFree=32110832/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=169968 CPUtime=162.3 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 48346 0 0 0 16190 40 0 0 25 0 1 0 876761512 174047232 41448 33554432000 4194304 5714214 140734821652256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 42492 41448 180 372 0 42117 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 169968

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9521
/proc/meminfo: memFree=32089656/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=191412 CPUtime=222.3 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 53537 0 0 0 22183 47 0 0 25 0 1 0 876761512 196005888 46639 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 47853 46639 180 372 0 47478 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191412

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9523
/proc/meminfo: memFree=32039732/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=209244 CPUtime=282.31 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 58005 0 0 0 28176 55 0 0 25 0 1 0 876761512 214265856 51107 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 52311 51107 180 372 0 51936 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 209244

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9524
/proc/meminfo: memFree=32024524/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=225400 CPUtime=342.3 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 61832 0 0 0 34168 62 0 0 25 0 1 0 876761512 230809600 54934 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 56350 54934 180 372 0 55975 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 225400

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9526
/proc/meminfo: memFree=32010952/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=238868 CPUtime=402.31 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 65196 0 0 0 40162 69 0 0 25 0 1 0 876761512 244600832 58298 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 59717 58298 180 372 0 59342 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 238868

[startup+462.301 s]
/proc/loadavg: 2.03 1.99 1.99 3/178 9528
/proc/meminfo: memFree=31972556/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266136 CPUtime=462.31 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 72436 0 0 0 46150 81 0 0 25 0 1 0 876761512 272523264 64841 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66534 64841 180 372 0 66159 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 266136

[startup+522.301 s]
/proc/loadavg: 2.01 1.99 1.99 3/178 9529
/proc/meminfo: memFree=31971136/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266136 CPUtime=522.31 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 72930 0 0 0 52141 90 0 0 25 0 1 0 876761512 272523264 65335 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66534 65335 180 372 0 66159 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 266136

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 9531
/proc/meminfo: memFree=31970812/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266136 CPUtime=582.32 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 73019 0 0 0 58135 97 0 0 25 0 1 0 876761512 272523264 65424 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66534 65424 180 372 0 66159 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 266136

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.00 1.99 3/178 9537
/proc/meminfo: memFree=31939776/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266136 CPUtime=822.33 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 73240 0 0 0 82112 121 0 0 25 0 1 0 876761512 272523264 65645 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66534 65645 180 372 0 66159 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 266136

[startup+882.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 9539
/proc/meminfo: memFree=31939476/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266136 CPUtime=882.33 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 73244 0 0 0 88106 127 0 0 25 0 1 0 876761512 272523264 65649 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66534 65649 180 372 0 66159 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 266136

[startup+942.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9540
/proc/meminfo: memFree=31939396/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266136 CPUtime=942.33 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 73244 0 0 0 94097 136 0 0 25 0 1 0 876761512 272523264 65649 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66534 65649 180 372 0 66159 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 266136

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9542
/proc/meminfo: memFree=31928304/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266136 CPUtime=1002.34 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 73244 0 0 0 100091 143 0 0 25 0 1 0 876761512 272523264 65649 33554432000 4194304 5714214 140734821652256 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66534 65649 180 372 0 66159 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 266136

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9543
/proc/meminfo: memFree=31914856/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=266856 CPUtime=1062.34 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 73364 0 0 0 106085 149 0 0 25 0 1 0 876761512 273260544 65769 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66714 65769 180 372 0 66339 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 266856

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9545
/proc/meminfo: memFree=31899280/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=267748 CPUtime=1122.34 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 73539 0 0 0 112079 155 0 0 25 0 1 0 876761512 274173952 65944 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 66937 65944 180 372 0 66562 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 267748

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9547
/proc/meminfo: memFree=31887540/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=279232 CPUtime=1182.34 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 76403 0 0 0 118072 162 0 0 25 0 1 0 876761512 285933568 68808 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 69808 68808 180 372 0 69433 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 279232

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9548
/proc/meminfo: memFree=31870844/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=295888 CPUtime=1242.35 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 80482 0 0 0 124064 171 0 0 25 0 1 0 876761512 302989312 72887 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 73972 72887 180 372 0 73597 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 295888

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9550
/proc/meminfo: memFree=31856400/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=310368 CPUtime=1302.35 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 84055 0 0 0 130057 178 0 0 25 0 1 0 876761512 317816832 76460 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 77592 76460 180 372 0 77217 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 310368

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9552
/proc/meminfo: memFree=31843940/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=322836 CPUtime=1362.35 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 87139 0 0 0 136050 185 0 0 25 0 1 0 876761512 330584064 79544 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 80709 79544 180 372 0 80334 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 322836

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9553
/proc/meminfo: memFree=31831248/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=335460 CPUtime=1422.36 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 90224 0 0 0 142046 190 0 0 25 0 1 0 876761512 343511040 82629 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 83865 82629 180 372 0 83490 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 335460

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9555
/proc/meminfo: memFree=31820048/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=348200 CPUtime=1482.36 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 92994 0 0 0 148039 197 0 0 25 0 1 0 876761512 356556800 85399 33554432000 4194304 5714214 140734821652256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 87050 85399 180 372 0 86675 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 348200

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9556
/proc/meminfo: memFree=31815012/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=353684 CPUtime=1542.36 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 94309 0 0 0 154032 204 0 0 25 0 1 0 876761512 362172416 86714 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 88421 86714 180 372 0 88046 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 353684

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9558
/proc/meminfo: memFree=31814460/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=354112 CPUtime=1602.36 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 94416 0 0 0 160025 211 0 0 25 0 1 0 876761512 362610688 86821 33554432000 4194304 5714214 140734821652256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 88528 86821 180 372 0 88153 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 354112

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9569
/proc/meminfo: memFree=31812856/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=354936 CPUtime=1662.37 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 94567 0 0 0 166020 217 0 0 25 0 1 0 876761512 363454464 86972 33554432000 4194304 5714214 140734821652256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 88734 86972 180 372 0 88359 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 354936

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9570
/proc/meminfo: memFree=31812668/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=354936 CPUtime=1722.37 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 94609 0 0 0 172015 222 0 0 25 0 1 0 876761512 363454464 87014 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 88734 87014 180 372 0 88359 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 354936

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 9572
/proc/meminfo: memFree=31810876/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=355172 CPUtime=1782.38 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 94651 0 0 0 178010 228 0 0 25 0 1 0 876761512 363696128 87056 33554432000 4194304 5714214 140734821652256 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 88793 87056 180 372 0 88418 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 355172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9572
/proc/meminfo: memFree=31809608/32950928 swapFree=67053604/67111528
[pid=9476] ppid=9474 vsize=355376 CPUtime=1800.08 cores=0,2,4,6
/proc/9476/stat : 9476 (wbo1.6) R 9474 9476 8582 0 -1 4202496 94686 0 0 0 179778 230 0 0 25 0 1 0 876761512 363905024 87091 33554432000 4194304 5714214 140734821652256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/9476/statm: 88844 87091 180 372 0 88469 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 355376

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.11
CPU user time (s): 1797.78
CPU system time (s): 2.32265
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 355376

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

runsolver used 3.09953 second user time and 5.64214 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-09 22:34:08
IDJOB=3461734
IDBENCH=77110
IDSOLVER=1953
FILE ID=node149/3461734-1307651648
RUNJOBID= node149-1307648043-9184
PBS_JOBID= 13549399
Free space on /tmp= 73984 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12058_7.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461734-1307651648/watcher-3461734-1307651648 -o /tmp/evaluation-result-3461734-1307651648/solver-3461734-1307651648 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461734-1307651648.opb

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

MD5SUM BENCH= 38417c05ad0fa807f5ea2aa87e724f6b
RANDOM SEED=1787141553

node149.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.806
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.61
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.806
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.806
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.82
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32434800 kB
Buffers:         43132 kB
Cached:         313788 kB
SwapCached:      10216 kB
Active:         134804 kB
Inactive:       246240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32434800 kB
SwapTotal:    67111528 kB
SwapFree:     67053604 kB
Dirty:           24092 kB
Writeback:           0 kB
AnonPages:       21260 kB
Mapped:          10356 kB
Slab:            70064 kB
PageTables:       4304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   211816 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= 73976 MiB
End job on node149 at 2011-06-09 23:04:10