Trace number 2702434

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.4b? (TO) 1800.15 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_1.opb
MD5SUM55d0299800773493d27ef2c1b95d10c5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark398.875
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1248
Sum of products size (including duplicates)2496
Number of different products1248
Sum of products size2496

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702434-1278566807.opb.
0.00/0.00	c Instance file HOME/instance-2702434-1278566807.opb
0.00/0.00	c File size is 88968 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1348                                                |
0.00/0.01	c |  Number Clauses:        1348                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1248                                                |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1348     2596     8836 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 99
0.00/0.01	o 99
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1348     2597     8936 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 98
0.00/0.02	o 98
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1348     2598     9036 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 97
0.00/0.02	o 97
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1348     2599     9136 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 96
0.00/0.02	o 96
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1348     2600     9236 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 95
0.00/0.02	o 95
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |    1348     2601     9336 |     5000        1     96 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 15
0.00/0.02	o 15
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |    1348     2602     9436 |     5000        1     96 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 13
0.00/0.02	o 13
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |    1348     2603     9536 |     5000        1     96 |  0.000 % |
0.00/0.03	c |       101 |    1348     2603     9536 |     5500      101     63 |  0.001 % |
0.00/0.05	c |       253 |    1348     2603     9536 |     6050      253     48 |  0.001 % |
0.00/0.07	c |       480 |    1348     2603     9536 |     6655      480     49 |  0.001 % |
0.10/0.10	c |       817 |    1348     2603     9536 |     7320      817     50 |  0.001 % |
0.10/0.16	c |      1324 |    1348     2603     9536 |     8052     1324     52 |  0.001 % |
0.19/0.24	c |      2085 |    1348     2603     9536 |     8857     2085     53 |  0.001 % |
0.29/0.36	c |      3224 |    1348     2603     9536 |     9743     3224     56 |  0.001 % |
0.59/0.61	c |      4933 |    1348     2603     9536 |    10717     4933     51 |  0.001 % |
0.89/0.97	c |      7495 |    1348     2603     9536 |    11789     7495     52 |  0.001 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: 12
0.89/0.99	o 12
0.89/0.99	c Elapsed CPU time: 0.970852 s	Remaining CPU time: 179.029 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |      7659 |    1348     2604     9636 |     5000     7659     52 |  0.001 % |
0.99/1.02	c |      7760 |    1348     2604     9636 |     5500     3931     50 |  0.001 % |
0.99/1.04	c |      7910 |    1348     2604     9636 |     6050     4081     49 |  0.001 % |
0.99/1.07	c |      8137 |    1348     2604     9636 |     6655     4308     49 |  0.001 % |
1.10/1.11	c |      8474 |    1348     2604     9636 |     7320     4645     49 |  0.001 % |
1.10/1.18	c |      8982 |    1348     2604     9636 |     8052     5153     48 |  0.001 % |
1.19/1.29	c |      9741 |    1348     2604     9636 |     8857     5912     48 |  0.001 % |
1.39/1.47	c |     10881 |    1348     2604     9636 |     9743     7052     48 |  0.001 % |
1.69/1.72	c |     12590 |    1348     2604     9636 |    10717     8761     48 |  0.001 % |
2.09/2.13	c |     15152 |    1348     2604     9636 |    11789    11323     49 |  0.001 % |
2.79/2.82	c |     19000 |    1348     2604     9636 |    12968     8839     52 |  0.001 % |
3.79/3.85	c |     24766 |    1348     2604     9636 |    14265     7677     51 |  0.001 % |
5.39/5.46	c |     33415 |    1348     2604     9636 |    15692     8782     52 |  0.001 % |
8.09/8.17	c |     46390 |    1348     2604     9636 |    17261    13514     45 |  0.001 % |
12.28/12.39	c |     65854 |    1348     2604     9636 |    18987    14900     44 |  0.001 % |
19.69/19.70	c |     95049 |    1348     2604     9636 |    20886    14322     52 |  0.000 % |
29.58/29.66	c |    138841 |    1348     2604     9636 |    22974    14532     50 |  0.001 % |
46.28/46.33	c |    204526 |    1348     2604     9636 |    25272    17430     53 |  0.001 % |
75.47/75.51	c |    303053 |    1348     2604     9636 |    27799    15034     52 |  0.001 % |
120.46/120.58	c |    450844 |    1348     2604     9636 |    30579    26333     54 |  0.001 % |
182.14/182.22	c There are 0 assigned variables. 0 in cost function.
182.84/182.92	c core #1
182.84/182.92	c core #2
182.84/182.92	c core #3
182.84/182.92	c core #4
182.84/182.92	c ============================[ Search Statistics ]==============================
182.84/182.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.92	c ===============================================================================
182.84/182.92	c |         0 |     813     2709     7764 |     5000        0    nan |  0.000 % |
182.84/182.93	c ===============================================================================
182.84/182.94	c core #5
182.84/182.94	c ============================[ Search Statistics ]==============================
182.84/182.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.94	c ===============================================================================
182.84/182.94	c |         0 |    1290     2710     9081 |     5000        0    nan |  0.000 % |
182.84/182.96	c |       101 |    1290     2710     9081 |     5500      101     61 | 11.463 % |
182.84/183.00	c |       253 |    1290     2710     9081 |     6050      253     57 | 11.462 % |
182.94/183.00	c ===============================================================================
182.94/183.01	c core #6
182.94/183.01	c ============================[ Search Statistics ]==============================
182.94/183.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.94/183.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.94/183.01	c ===============================================================================
182.94/183.01	c |         0 |    1555     2711    10250 |     5000        0    nan |  0.000 % |
182.94/183.04	c |       100 |    1555     2711    10250 |     5500      100     91 |  0.001 % |
182.94/183.08	c |       253 |    1555     2711    10250 |     6050      253     98 |  0.000 % |
183.04/183.15	c |       480 |    1555     2711    10250 |     6655      480    105 |  0.000 % |
183.14/183.24	c |       818 |    1555     2711    10250 |     7320      818    127 |  0.000 % |
183.24/183.40	c |      1324 |    1555     2711    10250 |     8052     1324    128 |  0.000 % |
183.65/183.71	c |      2084 |    1555     2711    10250 |     8857     2084    145 |  0.001 % |
184.05/184.17	c |      3224 |    1555     2711    10250 |     9743     3224    141 |  0.000 % |
185.04/185.10	c |      4936 |    1555     2711    10250 |    10717     4936    136 |  0.000 % |
186.44/186.57	c |      7500 |    1555     2711    10250 |    11789     7500    129 |  0.000 % |
189.15/189.28	c |     11344 |    1555     2711    10250 |    12968    11344    122 |  0.000 % |
191.54/191.68	c ===============================================================================
191.74/191.89	c core #7
191.74/191.89	c ============================[ Search Statistics ]==============================
191.74/191.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.89	c ===============================================================================
191.74/191.89	c |         0 |    1655     2712    10450 |     5000        0    nan |  0.000 % |
191.84/191.92	c |       100 |    1655     2712    10450 |     5500      100    118 |  0.001 % |
191.84/191.95	c |       253 |    1655     2712    10450 |     6050      253     97 |  0.000 % |
191.94/192.00	c |       479 |    1655     2712    10450 |     6655      479    101 |  0.000 % |
191.94/192.08	c |       822 |    1655     2712    10450 |     7320      822    104 |  0.000 % |
192.14/192.22	c |      1333 |    1655     2712    10450 |     8052     1333    119 |  0.000 % |
192.34/192.47	c |      2092 |    1655     2712    10450 |     8857     2092    130 |  0.000 % |
192.74/192.87	c |      3231 |    1655     2712    10450 |     9743     3231    133 |  0.000 % |
193.55/193.63	c |      4944 |    1655     2712    10450 |    10717     4944    152 |  0.000 % |
194.94/195.01	c |      7507 |    1655     2712    10450 |    11789     7507    168 |  0.000 % |
198.34/198.47	c |     11351 |    1655     2712    10450 |    12968    11351    184 |  0.000 % |
201.25/201.35	c |     17119 |    1655     2712    10450 |    14265    10432    157 |  0.000 % |
206.53/206.62	c |     25768 |    1655     2712    10450 |    15692    11752    134 |  0.000 % |
217.74/217.86	c |     38742 |    1655     2712    10450 |    17261     8674    168 |  0.000 % |
237.53/237.70	c |     58204 |    1655     2712    10450 |    18987    10539    201 |  0.000 % |
266.42/266.52	c |     87399 |    1655     2712    10450 |    20886    10766    147 |  0.000 % |
313.71/313.87	c |    131188 |    1655     2712    10450 |    22974    12179    179 |  0.000 % |
382.69/382.85	c |    196872 |    1655     2712    10450 |    25272    19850    149 |  0.000 % |
504.46/504.64	c |    295398 |    1655     2712    10450 |    27799    15901    162 |  0.000 % |
710.70/710.91	c |    443187 |    1655     2712    10450 |    30579    17522    172 |  0.000 % |
851.07/851.37	c ===============================================================================
865.86/866.17	c core #8
865.86/866.17	c ============================[ Search Statistics ]==============================
865.86/866.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
865.86/866.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
865.86/866.17	c ===============================================================================
865.86/866.17	c |         0 |    1755     2713    10650 |     5000        0    nan |  0.000 % |
866.06/866.33	c |       103 |    1755     2713    10650 |     5500      103    163 |  0.001 % |
866.06/866.36	c |       254 |    1755     2713    10650 |     6050      254     97 |  0.000 % |
866.06/866.39	c |       479 |    1755     2713    10650 |     6655      479     88 |  0.000 % |
866.16/866.47	c |       818 |    1755     2713    10650 |     7320      818     89 |  0.000 % |
866.26/866.58	c |      1324 |    1755     2713    10650 |     8052     1324    104 |  0.000 % |
866.46/866.75	c |      2083 |    1755     2713    10650 |     8857     2083    107 |  0.000 % |
866.76/867.07	c |      3226 |    1755     2713    10650 |     9743     3226    118 |  0.000 % |
867.46/867.75	c |      4934 |    1755     2713    10650 |    10717     4934    148 |  0.000 % |
869.17/869.43	c |      7496 |    1755     2713    10650 |    11789     7496    178 |  0.000 % |
872.46/872.74	c |     11345 |    1755     2713    10650 |    12968    11345    199 |  0.000 % |
875.86/876.13	c |     17115 |    1755     2713    10650 |    14265    10216    182 |  0.000 % |
882.56/882.87	c |     25765 |    1755     2713    10650 |    15692    11500    162 |  0.000 % |
890.26/890.59	c |     38740 |    1755     2713    10650 |    17261    16327    191 |  0.000 % |
910.86/911.19	c |     58201 |    1755     2713    10650 |    18987     9066    274 |  0.000 % |
936.44/936.79	c |     87398 |    1755     2713    10650 |    20886    18730    206 |  0.000 % |
976.54/976.89	c |    131188 |    1755     2713    10650 |    22974    19757    180 |  0.000 % |
1037.13/1037.43	c |    196878 |    1755     2713    10650 |    25272    15097    168 |  0.000 % |
1141.50/1141.90	c |    295404 |    1755     2713    10650 |    27799    23442    186 |  0.000 % |
1344.03/1344.42	c |    443194 |    1755     2713    10650 |    30579    27728    190 |  0.000 % |
1649.36/1649.88	c |    664879 |    1755     2713    10650 |    33637    24915    194 |  0.000 % |

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-2702434-1278566807/watcher-2702434-1278566807 -o /tmp/evaluation-result-2702434-1278566807/solver-2702434-1278566807 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702434-1278566807.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29900
/proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=2800 CPUtime=0
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 328 0 0 0 0 0 0 0 19 0 1 0 24894320 2867200 246 1992294400 134512640 135751879 4287900176 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 700 246 144 303 0 373 0

[startup+0.105177 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29900
/proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=3292 CPUtime=0.1
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 498 0 0 0 10 0 0 0 20 0 1 0 24894320 3371008 380 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 823 380 147 303 0 518 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3292

[startup+0.201187 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29900
/proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=3556 CPUtime=0.19
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 577 0 0 0 19 0 0 0 20 0 1 0 24894320 3641344 459 1992294400 134512640 135751879 4287900176 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 889 459 147 303 0 584 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3556

[startup+0.301198 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29900
/proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=3952 CPUtime=0.29
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 667 0 0 0 29 0 0 0 20 0 1 0 24894320 4046848 549 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 988 549 147 303 0 683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3952

[startup+0.701243 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29900
/proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=4880 CPUtime=0.69
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 899 0 0 0 68 1 0 0 21 0 1 0 24894320 4997120 781 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 1220 781 147 303 0 915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4880

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29901
/proc/meminfo: memFree=1689568/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=6596 CPUtime=1.49
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 1341 0 0 0 146 3 0 0 23 0 1 0 24894320 6754304 1223 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 1649 1223 148 303 0 1344 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6596

[startup+3.10151 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29901
/proc/meminfo: memFree=1687088/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=9824 CPUtime=3.09
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 2136 0 0 0 303 6 0 0 25 0 1 0 24894320 10059776 2018 1992294400 134512640 135751879 4287900176 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 2456 2018 148 303 0 2151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9824

[startup+6.30087 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29901
/proc/meminfo: memFree=1681012/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=15236 CPUtime=6.29
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 3497 0 0 0 618 11 0 0 25 0 1 0 24894320 15601664 3379 1992294400 134512640 135751879 4287900176 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 3809 3379 148 303 0 3504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15236

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29901
/proc/meminfo: memFree=1671588/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=24356 CPUtime=12.69
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 5773 0 0 0 1249 20 0 0 25 0 1 0 24894320 24940544 5655 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 6089 5655 148 303 0 5784 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24356

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29903
/proc/meminfo: memFree=1652988/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=42356 CPUtime=25.48
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 10255 0 0 0 2511 37 0 0 25 0 1 0 24894320 43372544 10137 1992294400 134512640 135751879 4287900176 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 10589 10137 148 303 0 10284 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42356

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29903
/proc/meminfo: memFree=1619756/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=75732 CPUtime=51.08
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 18617 0 0 0 5036 72 0 0 25 0 1 0 24894320 77549568 18499 1992294400 134512640 135751879 4287900176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 18933 18499 148 303 0 18628 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75732

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29905
/proc/meminfo: memFree=1565568/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=129208 CPUtime=102.27
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 31944 0 0 0 10099 128 0 0 25 0 1 0 24894320 132308992 31826 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 32302 31826 148 303 0 31997 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 129208

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29905
/proc/meminfo: memFree=1501584/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=193684 CPUtime=162.25
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 48047 0 0 0 16032 193 0 0 25 0 1 0 24894320 198332416 47929 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 48421 47929 148 303 0 48116 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 193684

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29907
/proc/meminfo: memFree=1455580/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=238736 CPUtime=222.24
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 59411 0 0 0 21982 242 0 0 25 0 1 0 24894320 244465664 59262 1992294400 134512640 135751879 4287900176 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 59684 59262 151 303 0 59379 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 238736

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29909
/proc/meminfo: memFree=1407716/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=287160 CPUtime=282.22
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 71472 0 0 0 27950 272 0 0 25 0 1 0 24894320 294051840 71323 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 71790 71323 151 303 0 71485 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 287160

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29911
/proc/meminfo: memFree=1366424/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=328020 CPUtime=342.2
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 81656 0 0 0 33915 305 0 0 25 0 1 0 24894320 335892480 81507 1992294400 134512640 135751879 4287900176 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 82005 81507 151 303 0 81700 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 328020

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29913
/proc/meminfo: memFree=1329596/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=365272 CPUtime=402.19
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 90943 0 0 0 39885 334 0 0 25 0 1 0 24894320 374038528 90794 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 91318 90794 151 303 0 91013 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 365272

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29913
/proc/meminfo: memFree=1291776/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=402624 CPUtime=462.16
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 100249 0 0 0 45855 361 0 0 25 0 1 0 24894320 412286976 100100 1992294400 134512640 135751879 4287900176 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 100656 100100 151 303 0 100351 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 402624

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29915
/proc/meminfo: memFree=1255568/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=439100 CPUtime=522.16
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 109371 0 0 0 51824 392 0 0 25 0 1 0 24894320 449638400 109222 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 109775 109222 151 303 0 109470 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 439100

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29917
/proc/meminfo: memFree=1217376/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=477192 CPUtime=582.14
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 118837 0 0 0 57794 420 0 0 25 0 1 0 24894320 488644608 118688 1992294400 134512640 135751879 4287900176 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 119298 118688 151 303 0 118993 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 477192

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29919
/proc/meminfo: memFree=1181416/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=513408 CPUtime=642.13
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 127861 0 0 0 63766 447 0 0 25 0 1 0 24894320 525729792 127712 1992294400 134512640 135751879 4287900176 18446744073709551615 134616669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 128352 127712 151 303 0 128047 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 513408

[startup+702.301 s]

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

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29925
/proc/meminfo: memFree=1051216/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=642064 CPUtime=882.06
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 160184 0 0 0 87664 542 0 0 25 0 1 0 24894320 657473536 160035 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 160516 160035 151 303 0 160211 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 642064

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1007072/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=686376 CPUtime=942.05
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 171310 0 0 0 93629 576 0 0 25 0 1 0 24894320 702849024 171161 1992294400 134512640 135751879 4287900176 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 171594 171161 151 303 0 171289 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 686376

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29929
/proc/meminfo: memFree=955736/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=737140 CPUtime=1002.03
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 184009 0 0 0 99590 613 0 0 25 0 1 0 24894320 754831360 183860 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 184285 183860 151 303 0 183980 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 737140

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29929
/proc/meminfo: memFree=911468/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=781624 CPUtime=1062.01
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 195101 0 0 0 105558 643 0 0 25 0 1 0 24894320 800382976 194952 1992294400 134512640 135751879 4287900176 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 195406 194952 151 303 0 195101 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 781624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29931
/proc/meminfo: memFree=867944/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=825136 CPUtime=1122
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 205961 0 0 0 111522 678 0 0 25 0 1 0 24894320 844939264 205812 1992294400 134512640 135751879 4287900176 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 206284 205812 151 303 0 205979 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 825136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29933
/proc/meminfo: memFree=823552/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=869536 CPUtime=1181.98
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 217030 0 0 0 117491 707 0 0 25 0 1 0 24894320 890404864 216881 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 217384 216881 151 303 0 217079 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 869536

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29935
/proc/meminfo: memFree=787344/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=905500 CPUtime=1241.97
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 226006 0 0 0 123465 732 0 0 25 0 1 0 24894320 927232000 225857 1992294400 134512640 135751879 4287900176 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 226375 225857 151 303 0 226070 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 905500

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29937
/proc/meminfo: memFree=752376/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=941060 CPUtime=1301.95
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 234845 0 0 0 129437 758 0 0 25 0 1 0 24894320 963645440 234696 1992294400 134512640 135751879 4287900176 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 235265 234696 151 303 0 234960 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 941060

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29937
/proc/meminfo: memFree=722368/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=970648 CPUtime=1361.93
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 242219 0 0 0 135415 778 0 0 25 0 1 0 24894320 993943552 242070 1992294400 134512640 135751879 4287900176 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 242662 242070 151 303 0 242357 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 970648

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29939
/proc/meminfo: memFree=680828/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1011848 CPUtime=1421.92
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 252528 0 0 0 141384 808 0 0 25 0 1 0 24894320 1036132352 252379 1992294400 134512640 135751879 4287900176 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 252962 252379 151 303 0 252657 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1011848

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29941
/proc/meminfo: memFree=637304/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1055660 CPUtime=1481.9
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 263460 0 0 0 147355 835 0 0 25 0 1 0 24894320 1080995840 263311 1992294400 134512640 135751879 4287900176 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 263915 263311 151 303 0 263610 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1055660

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29943
/proc/meminfo: memFree=597376/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1095204 CPUtime=1541.89
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 273321 0 0 0 153325 864 0 0 25 0 1 0 24894320 1121488896 273172 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 273801 273172 151 303 0 273496 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1095204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29945
/proc/meminfo: memFree=551248/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1141692 CPUtime=1601.86
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 284956 0 0 0 159293 893 0 0 25 0 1 0 24894320 1169092608 284807 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 285423 284807 151 303 0 285118 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1141692

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29945
/proc/meminfo: memFree=509088/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1183356 CPUtime=1661.86
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 295348 0 0 0 165263 923 0 0 25 0 1 0 24894320 1211756544 295199 1992294400 134512640 135751879 4287900176 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 295839 295199 151 303 0 295534 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1183356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29947
/proc/meminfo: memFree=462340/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1231032 CPUtime=1721.83
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 307276 0 0 0 171230 953 0 0 25 0 1 0 24894320 1260576768 307127 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 307758 307127 151 303 0 307453 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1231032

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29949
/proc/meminfo: memFree=404556/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1287928 CPUtime=1781.82
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 321492 0 0 0 177193 989 0 0 25 0 1 0 24894320 1318838272 321343 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 321982 321343 151 303 0 321677 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1287928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29949
/proc/meminfo: memFree=386948/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=1305116 CPUtime=1800.03
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 325782 0 0 0 179004 999 0 0 25 0 1 0 24894320 1336438784 325633 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29900/statm: 326279 325633 151 303 0 325974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1305116

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29949
/proc/meminfo: memFree=386948/2059040 swapFree=4139412/4192956
[pid=29900] ppid=29898 vsize=0 CPUtime=1800.13
/proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4203524 325782 0 0 0 179004 1009 0 0 25 0 1 0 24894320 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29900/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.15
CPU user time (s): 1790.04
CPU system time (s): 10.1135
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1305116

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

runsolver used 3.05854 second user time and 8.42172 second system time

The end

Launcher Data 

Begin job on node005 at 2010-07-08 07:26:47
IDJOB=2702434
IDBENCH=48152
IDSOLVER=1161
FILE ID=node005/2702434-1278566807
PBS_JOBID= 11239577
Free space on /tmp= 62568 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702434-1278566807/watcher-2702434-1278566807 -o /tmp/evaluation-result-2702434-1278566807/solver-2702434-1278566807 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702434-1278566807.opb

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

MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5
RANDOM SEED=1388910894

node005.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1693824 kB
Buffers:         75304 kB
Cached:         198716 kB
SwapCached:       8028 kB
Active:         147880 kB
Inactive:       142896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1693824 kB
SwapTotal:     4192956 kB
SwapFree:      4139412 kB
Dirty:            2600 kB
Writeback:           0 kB
AnonPages:       14024 kB
Mapped:          12076 kB
Slab:            52448 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182816 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702434-1278566807.opb

Free space on /tmp at the end= 62564 MiB
End job on node005 at 2010-07-08 07:56:50