Trace number 2701969

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 (fixed)Wrong UNSAT 191.861 191.914

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb
MD5SUMc4232b649086935e0cf725c77927c83f
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.51892
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables144
Total number of constraints13
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 constraints13
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)384
Sum of products size (including duplicates)768
Number of different products384
Sum of products size768

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2701969-1278546276.opb.
0.00/0.00	c Instance file HOME/instance-2701969-1278546276.opb
0.00/0.00	c File size is 28515 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      528                                                 |
0.00/0.00	c |  Number Clauses:        384                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 403                                                 |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     528      787     3304 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     528      787     3304 |     5500      101     63 |  0.003 % |
0.01/0.02	c |       251 |     528      787     3304 |     6050      251     68 |  0.003 % |
0.01/0.03	c |       479 |     528      787     3304 |     6655      479     65 |  0.000 % |
0.01/0.05	c |       817 |     528      787     3304 |     7320      817     64 |  0.000 % |
0.01/0.09	c |      1323 |     528      787     3304 |     8052     1323     62 |  0.000 % |
0.09/0.15	c |      2083 |     528      787     3304 |     8857     2083     63 |  0.000 % |
0.19/0.27	c |      3223 |     528      787     3304 |     9743     3223     61 |  0.000 % |
0.39/0.42	c |      4933 |     528      787     3304 |    10717     4933     58 |  0.000 % |
0.59/0.68	c |      7495 |     528      787     3304 |    11789     7495     58 |  0.003 % |
1.00/1.04	c |     11339 |     528      787     3304 |    12968    11339     54 |  0.000 % |
1.69/1.78	c |     17105 |     528      787     3304 |    14265    10464     40 |  0.000 % |
2.69/2.72	c |     25754 |     528      787     3304 |    15692    11911     40 |  0.000 % |
4.78/4.86	c |     38729 |     528      787     3304 |    17261     8978     40 |  0.000 % |
7.08/7.14	c |     58192 |     528      787     3304 |    18987    10979     44 |  0.000 % |
11.78/11.81	c |     87384 |     528      787     3304 |    20886    11255     48 |  0.000 % |
19.27/19.32	c |    131173 |     528      787     3304 |    22974    12497     53 |  0.000 % |
33.68/33.73	c |    196858 |     528      787     3304 |    25272    18202     44 |  0.000 % |
54.87/54.96	c |    295384 |     528      787     3304 |    27799    19023     47 |  0.000 % |
56.57/56.65	c ===============================================================================
56.57/56.65	c New solution: 83
56.57/56.65	o 83
56.57/56.65	c Elapsed CPU time: 55.7845 s	Remaining CPU time: 124.215 s
56.57/56.65	c ===============================================================================
56.57/56.65	c |    309499 |     527      788     3312 |     5000    16480     37 |  0.000 % |
56.67/56.71	c |    309599 |     517      788     3312 |     5500     4220     44 |  2.084 % |
56.67/56.72	c |    309749 |     517      788     3312 |     6050     4370     44 |  2.084 % |
56.67/56.74	c |    309974 |     517      788     3312 |     6655     4595     45 |  2.084 % |
56.67/56.77	c |    310312 |     517      788     3312 |     7320     4933     46 |  2.087 % |
56.77/56.83	c |    310819 |     517      788     3312 |     8052     5440     46 |  2.084 % |
56.87/56.93	c |    311578 |     517      788     3312 |     8857     6199     45 |  2.084 % |
56.97/57.05	c |    312718 |     517      788     3312 |     9743     7339     43 |  2.084 % |
57.17/57.23	c |    314427 |     517      788     3312 |    10717     9048     45 |  2.084 % |
57.57/57.65	c |    316990 |     517      788     3312 |    11789     6144     46 |  2.084 % |
58.18/58.26	c |    320834 |     517      788     3312 |    12968     9988     43 |  2.084 % |
59.37/59.49	c |    326601 |     517      788     3312 |    14265     9103     44 |  2.084 % |
59.97/60.03	c ===============================================================================
59.97/60.03	c New solution: 21
59.97/60.03	o 21
59.97/60.03	c Elapsed CPU time: 59.121 s	Remaining CPU time: 120.879 s
59.97/60.03	c ===============================================================================
59.97/60.03	c |    332400 |     517      789     3320 |     5000     7530     46 |  2.084 % |
59.97/60.05	c |    332501 |     497      789     3320 |     5500     3866     48 |  5.872 % |
59.97/60.07	c |    332652 |     497      789     3320 |     6050     4017     48 |  5.872 % |
59.97/60.09	c |    332877 |     497      789     3320 |     6655     4242     49 |  5.872 % |
60.07/60.13	c |    333214 |     497      789     3320 |     7320     4579     49 |  5.872 % |
60.16/60.20	c |    333720 |     497      789     3320 |     8052     5085     49 |  5.872 % |
60.16/60.29	c |    334480 |     497      789     3320 |     8857     5845     48 |  5.872 % |
60.38/60.44	c |    335620 |     497      789     3320 |     9743     6985     47 |  5.872 % |
60.56/60.60	c |    337329 |     497      789     3320 |    10717     8694     49 |  5.872 % |
60.97/61.02	c |    339891 |     497      789     3320 |    11789     5764     51 |  5.872 % |
61.67/61.70	c |    343735 |     497      789     3320 |    12968     9608     44 |  5.872 % |
62.46/62.53	c |    349502 |     497      789     3320 |    14265     8779     35 |  5.872 % |
63.77/63.87	c |    358151 |     497      789     3320 |    15692    10227     39 |  5.872 % |
64.67/64.77	c ===============================================================================
64.67/64.77	c New solution: 9
64.67/64.77	o 9
64.67/64.77	c Elapsed CPU time: 63.7563 s	Remaining CPU time: 116.244 s
64.67/64.77	c ===============================================================================
64.67/64.77	c |    364177 |     497      790     3328 |     5000     8196     50 |  5.872 % |
64.77/64.80	c |    364278 |     487      790     3328 |     5500     4199     63 |  7.766 % |
64.77/64.81	c |    364428 |     487      790     3328 |     6050     4349     63 |  7.768 % |
64.77/64.84	c |    364654 |     487      790     3328 |     6655     4575     63 |  7.768 % |
64.77/64.86	c |    364991 |     487      790     3328 |     7320     4912     63 |  7.768 % |
64.77/64.90	c |    365497 |     487      790     3328 |     8052     5418     61 |  7.766 % |
64.87/64.98	c |    366256 |     487      790     3328 |     8857     6177     58 |  7.766 % |
65.07/65.13	c |    367396 |     487      790     3328 |     9743     7317     54 |  7.766 % |
65.27/65.31	c |    369104 |     487      790     3328 |    10717     9025     53 |  7.766 % |
65.57/65.68	c |    371666 |     487      790     3328 |    11789     6100     41 |  7.766 % |
66.17/66.21	c |    375511 |     487      790     3328 |    12968     9945     44 |  7.766 % |
66.86/66.90	c |    381277 |     487      790     3328 |    14265     9114     45 |  7.766 % |
68.36/68.48	c |    389927 |     487      790     3328 |    15692    10493     46 |  7.766 % |
70.97/71.00	c |    402902 |     487      790     3328 |    17261    15562     24 |  7.766 % |
73.86/73.91	c |    422363 |     487      790     3328 |    18987    17489     44 |  7.766 % |
78.08/78.11	c ===============================================================================
78.08/78.11	c New solution: 3
78.08/78.11	o 3
78.08/78.11	c Elapsed CPU time: 76.8883 s	Remaining CPU time: 103.112 s
78.08/78.11	c ===============================================================================
78.08/78.11	c |    448747 |     486      791     3336 |     5000    14666     41 |  7.766 % |
78.08/78.15	c |    448848 |     456      791     3336 |     5500     3768     56 | 13.829 % |
78.08/78.16	c |    448999 |     456      791     3336 |     6050     3919     56 | 13.826 % |
78.08/78.18	c |    449224 |     456      791     3336 |     6655     4144     57 | 13.826 % |
78.17/78.22	c |    449563 |     456      791     3336 |     7320     4483     57 | 13.826 % |
78.17/78.27	c |    450070 |     456      791     3336 |     8052     4990     58 | 13.826 % |
78.26/78.36	c |    450829 |     456      791     3336 |     8857     5749     57 | 13.829 % |
78.47/78.50	c |    451968 |     456      791     3336 |     9743     6888     59 | 13.826 % |
78.67/78.71	c |    453676 |     456      791     3336 |    10717     8596     60 | 13.829 % |
79.07/79.11	c |    456240 |     456      791     3336 |    11789     5729     54 | 13.826 % |
79.47/79.57	c |    460084 |     455      791     3336 |    12968     9573     48 | 13.826 % |
80.56/80.63	c |    465851 |     455      791     3336 |    14265     8740     49 | 13.826 % |
81.76/81.83	c |    474501 |     455      791     3336 |    15692    10069     41 | 13.826 % |
83.97/84.02	c |    487475 |     455      791     3336 |    17261    15023     42 | 13.826 % |
87.26/87.32	c |    506936 |     453      791     3336 |    18987    12735     44 | 14.205 % |
93.46/93.53	c |    536130 |     453      791     3336 |    20886    13049     33 | 14.205 % |
104.76/104.88	c |    579920 |     453      791     3336 |    22974    14338     45 | 14.205 % |
124.55/124.65	c |    645604 |     452      791     3336 |    25272    18025     48 | 14.394 % |
153.85/153.94	c |    744130 |     450      791     3336 |    27799    17215     37 | 14.773 % |
182.24/182.37	c There are 88 assigned variables. 8 in cost function.
182.84/182.96	c ============================[ Search Statistics ]==============================
182.84/182.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.96	c ===============================================================================
182.84/182.96	c |         0 |     440      743     2640 |     5000        0    nan |  0.000 % |
182.94/183.05	c |       104 |     440      743     2640 |     5500      104     55 | 16.667 % |
182.94/183.09	c |       254 |     440      743     2640 |     6050      254     55 | 16.667 % |
183.04/183.11	c |       479 |     440      743     2640 |     6655      479     57 | 16.667 % |
183.04/183.14	c |       816 |     440      743     2640 |     7320      816     53 | 16.667 % |
183.04/183.19	c |      1323 |     440      743     2640 |     8052     1323     47 | 16.667 % |
183.13/183.29	c |      2082 |     440      743     2640 |     8857     2082     45 | 16.667 % |
183.34/183.45	c |      3221 |     440      743     2640 |     9743     3221     40 | 16.667 % |
183.65/183.77	c |      4930 |     440      743     2640 |    10717     4930     38 | 16.667 % |
184.14/184.29	c |      7492 |     440      743     2640 |    11789     7492     36 | 16.667 % |
185.14/185.28	c |     11336 |     440      743     2640 |    12968    11336     32 | 16.667 % |
186.53/186.65	c |     17103 |     440      743     2640 |    14265    10556     22 | 16.667 % |
188.84/188.97	c |     25753 |     440      743     2640 |    15692    12000     21 | 16.667 % |
191.74/191.82	c |     38727 |     431      743     2640 |    17261     1556     16 | 18.377 % |
191.74/191.89	c ===============================================================================
191.74/191.89	c core #1
191.74/191.89	c 
191.74/191.89	c 
191.74/191.89	c Core size: 58	Core Weight: 2147483647	Total Weight: -2147483647
191.74/191.89	c
191.74/191.89	c
191.74/191.89	c Memory used           : 208.03 MB
191.74/191.89	c CPU time              : 189.42 s
191.74/191.89	c 
191.74/191.89	s UNSATISFIABLE
191.74/191.89	c Total CPU time: 189.42 s

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-2701969-1278546276/watcher-2701969-1278546276 -o /tmp/evaluation-result-2701969-1278546276/solver-2701969-1278546276 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701969-1278546276.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: 0.11 0.03 0.01 3/106 28373
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=2704 CPUtime=0
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 22834040 2768896 244 1992294400 134512640 135752675 4286798160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 676 245 144 303 0 371 0

[startup+0.015301 s]
/proc/loadavg: 0.11 0.03 0.01 3/106 28373
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=2704 CPUtime=0.01
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 334 0 0 0 1 0 0 0 19 0 1 0 22834040 2768896 246 1992294400 134512640 135752675 4286798160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 676 246 145 303 0 371 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2704

[startup+0.100308 s]
/proc/loadavg: 0.11 0.03 0.01 3/106 28373
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=3088 CPUtime=0.09
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 437 0 0 0 9 0 0 0 19 0 1 0 22834040 3162112 349 1992294400 134512640 135752675 4286798160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 772 349 145 303 0 467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3088

[startup+0.300325 s]
/proc/loadavg: 0.11 0.03 0.01 3/106 28373
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=3880 CPUtime=0.29
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 631 0 0 0 29 0 0 0 20 0 1 0 22834040 3973120 543 1992294400 134512640 135752675 4286798160 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 970 543 145 303 0 665 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3880

[startup+0.700359 s]
/proc/loadavg: 0.11 0.03 0.01 3/106 28373
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=5300 CPUtime=0.68
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 979 0 0 0 67 1 0 0 20 0 1 0 22834040 5427200 891 1992294400 134512640 135752675 4286798160 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 1325 891 145 303 0 1020 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5300

[startup+1.50043 s]
/proc/loadavg: 0.11 0.03 0.01 2/107 28374
/proc/meminfo: memFree=1727664/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=7268 CPUtime=1.49
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 1471 0 0 0 146 3 0 0 23 0 1 0 22834040 7442432 1383 1992294400 134512640 135752675 4286798160 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 1817 1383 145 303 0 1512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7268

[startup+3.10157 s]
/proc/loadavg: 0.11 0.03 0.01 2/107 28374
/proc/meminfo: memFree=1725060/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=10920 CPUtime=3.09
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 2384 0 0 0 303 6 0 0 25 0 1 0 22834040 11182080 2296 1992294400 134512640 135752675 4286798160 18446744073709551615 134641631 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28373/statm: 2730 2296 145 303 0 2425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10920

[startup+6.30184 s]
/proc/loadavg: 0.18 0.04 0.01 2/107 28374
/proc/meminfo: memFree=1718984/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=16852 CPUtime=6.28
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 3857 0 0 0 617 11 0 0 25 0 1 0 22834040 17256448 3769 1992294400 134512640 135752675 4286798160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 4213 3769 145 303 0 3908 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16852

[startup+12.7014 s]
/proc/loadavg: 0.25 0.06 0.02 2/107 28374
/proc/meminfo: memFree=1705840/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=29460 CPUtime=12.68
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 7011 0 0 0 1246 22 0 0 25 0 1 0 22834040 30167040 6923 1992294400 134512640 135752675 4286798160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 7365 6923 145 303 0 7060 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29460

[startup+25.5005 s]
/proc/loadavg: 0.41 0.11 0.03 2/107 28374
/proc/meminfo: memFree=1685876/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=48184 CPUtime=25.48
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 11688 0 0 0 2506 42 0 0 25 0 1 0 22834040 49340416 11600 1992294400 134512640 135752675 4286798160 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 12046 11600 145 303 0 11741 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48184

[startup+51.1007 s]
/proc/loadavg: 0.61 0.18 0.06 2/107 28374
/proc/meminfo: memFree=1654380/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=80372 CPUtime=51.07
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 19733 0 0 0 5030 77 0 0 25 0 1 0 22834040 82300928 19645 1992294400 134512640 135752675 4286798160 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 20093 19645 145 303 0 19788 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80372

[startup+102.308 s]
/proc/loadavg: 0.83 0.30 0.10 2/107 28376
/proc/meminfo: memFree=1581964/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=151840 CPUtime=102.27
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 37583 0 0 0 10072 155 0 0 25 0 1 0 22834040 155484160 37495 1992294400 134512640 135752675 4286798160 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 37960 37495 145 303 0 37655 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 151840

[startup+162.3 s]
/proc/loadavg: 0.94 0.43 0.16 2/107 28378
/proc/meminfo: memFree=1534348/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=199868 CPUtime=162.24
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 49526 0 0 0 16010 214 0 0 25 0 1 0 22834040 204664832 49438 1992294400 134512640 135752675 4286798160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 49967 49438 145 303 0 49662 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 199868

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

[startup+179.101 s]
/proc/loadavg: 0.95 0.46 0.17 2/107 28378
/proc/meminfo: memFree=1523436/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=211336 CPUtime=179.04
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 52360 0 0 0 17675 229 0 0 25 0 1 0 22834040 216408064 52272 1992294400 134512640 135752675 4286798160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 52834 52272 145 303 0 52529 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 211336

[startup+185.501 s]
/proc/loadavg: 0.96 0.47 0.18 2/107 28378
/proc/meminfo: memFree=1520584/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=213020 CPUtime=185.44
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 52832 0 0 0 18310 234 0 0 25 0 1 0 22834040 218132480 52716 1992294400 134512640 135752675 4286798160 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 53255 52716 146 303 0 52950 0
Current children cumulated CPU time (s) 185.44
Current children cumulated vsize (KiB) 213020

[startup+188.701 s]
/proc/loadavg: 0.96 0.48 0.18 2/107 28378
/proc/meminfo: memFree=1520584/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=213020 CPUtime=188.63
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 52832 0 0 0 18626 237 0 0 25 0 1 0 22834040 218132480 52716 1992294400 134512640 135752675 4286798160 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 53255 52716 146 303 0 52950 0
Current children cumulated CPU time (s) 188.63
Current children cumulated vsize (KiB) 213020

[startup+190.308 s]
/proc/loadavg: 0.96 0.48 0.18 2/107 28378
/proc/meminfo: memFree=1520584/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=213020 CPUtime=190.25
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 52832 0 0 0 18786 239 0 0 25 0 1 0 22834040 218132480 52716 1992294400 134512640 135752675 4286798160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 53255 52716 146 303 0 52950 0
Current children cumulated CPU time (s) 190.25
Current children cumulated vsize (KiB) 213020

[startup+191.101 s]
/proc/loadavg: 0.96 0.48 0.18 2/107 28378
/proc/meminfo: memFree=1520584/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=213020 CPUtime=191.04
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 52832 0 0 0 18864 240 0 0 25 0 1 0 22834040 218132480 52716 1992294400 134512640 135752675 4286798160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 53255 52716 146 303 0 52950 0
Current children cumulated CPU time (s) 191.04
Current children cumulated vsize (KiB) 213020

[startup+191.501 s]
/proc/loadavg: 0.96 0.48 0.18 2/107 28378
/proc/meminfo: memFree=1520584/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=213020 CPUtime=191.44
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202496 52832 0 0 0 18903 241 0 0 25 0 1 0 22834040 218132480 52716 1992294400 134512640 135752675 4286798160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28373/statm: 53255 52716 146 303 0 52950 0
Current children cumulated CPU time (s) 191.44
Current children cumulated vsize (KiB) 213020

[startup+191.901 s]
/proc/loadavg: 0.96 0.48 0.18 2/107 28378
/proc/meminfo: memFree=1520584/2059040 swapFree=4139820/4192956
[pid=28373] ppid=28371 vsize=0 CPUtime=191.84
/proc/28373/stat : 28373 (wbo1.4b) R 28371 28373 28067 0 -1 4202500 52834 0 0 0 18942 242 0 0 25 0 1 0 22834040 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28373/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 191.914
CPU time (s): 191.861
CPU user time (s): 189.42
CPU system time (s): 2.44063
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 213184

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

runsolver used 0.290955 second user time and 0.943856 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-08 01:44:36
IDJOB=2701969
IDBENCH=47919
IDSOLVER=1190
FILE ID=node055/2701969-1278546276
PBS_JOBID= 11239487
Free space on /tmp= 62576 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.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-2701969-1278546276/watcher-2701969-1278546276 -o /tmp/evaluation-result-2701969-1278546276/solver-2701969-1278546276 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701969-1278546276.opb

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

MD5SUM BENCH= c4232b649086935e0cf725c77927c83f
RANDOM SEED=1169044404

node055.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.224
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.44
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.224
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1732292 kB
Buffers:         51636 kB
Cached:         186324 kB
SwapCached:       7140 kB
Active:         147516 kB
Inactive:       104400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1732292 kB
SwapTotal:     4192956 kB
SwapFree:      4139820 kB
Dirty:            2828 kB
Writeback:           0 kB
AnonPages:       11284 kB
Mapped:          11884 kB
Slab:            52896 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179136 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-2701969-1278546276.opb

Free space on /tmp at the end= 62576 MiB
End job on node055 at 2010-07-08 01:47:48