Trace number 2702305

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 328.656 328.768

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
MD5SUMafe3df18e5a0f1ba7fdc86d94afdb427
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.770882
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 variables168
Total number of constraints15
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 constraints15
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)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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-2702305-1278547964.opb.
0.00/0.00	c Instance file HOME/instance-2702305-1278547964.opb
0.00/0.00	c File size is 33487 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:      616                                                 |
0.00/0.00	c |  Number Clauses:        448                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 470                                                 |
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 |     616      918     3856 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     616      918     3856 |     5500      101     61 |  0.002 % |
0.00/0.02	c |       251 |     616      918     3856 |     6050      251     60 |  0.002 % |
0.00/0.04	c |       476 |     616      918     3856 |     6655      476     55 |  0.000 % |
0.00/0.07	c |       813 |     616      918     3856 |     7320      813     57 |  0.000 % |
0.09/0.11	c |      1320 |     616      918     3856 |     8052     1320     54 |  0.000 % |
0.09/0.19	c |      2079 |     616      918     3856 |     8857     2079     57 |  0.002 % |
0.19/0.29	c |      3219 |     616      918     3856 |     9743     3219     50 |  0.000 % |
0.39/0.43	c |      4927 |     616      918     3856 |    10717     4927     47 |  0.000 % |
0.79/0.83	c |      7489 |     616      918     3856 |    11789     7489     46 |  0.000 % |
1.10/1.19	c |     11334 |     616      918     3856 |    12968    11334     48 |  0.000 % |
2.00/2.02	c |     17101 |     616      918     3856 |    14265    10416     47 |  0.000 % |
2.69/2.79	c |     25751 |     616      918     3856 |    15692    11776     41 |  0.000 % |
4.30/4.37	c |     38727 |     616      918     3856 |    17261     8578     68 |  0.000 % |
7.09/7.18	c |     58189 |     616      918     3856 |    18987    10467     47 |  0.000 % |
11.69/11.72	c |     87382 |     616      918     3856 |    20886    10673     50 |  0.000 % |
19.89/19.99	c |    131171 |     616      918     3856 |    22974    12032     69 |  0.000 % |
36.88/36.96	c |    196855 |     616      918     3856 |    25272    18576     48 |  0.000 % |
44.57/44.61	c ===============================================================================
44.57/44.61	c New solution: 57
44.57/44.61	o 57
44.57/44.61	c Elapsed CPU time: 43.9583 s	Remaining CPU time: 136.042 s
44.57/44.61	c ===============================================================================
44.57/44.61	c |    236672 |     616      919     3864 |     5000    14587     40 |  0.000 % |
44.57/44.68	c |    236774 |     596      919     3864 |     5500     3562     44 |  3.247 % |
44.57/44.69	c |    236924 |     596      919     3864 |     6050     3712     45 |  3.247 % |
44.67/44.71	c |    237149 |     596      919     3864 |     6655     3937     46 |  3.247 % |
44.67/44.73	c |    237486 |     596      919     3864 |     7320     4274     48 |  3.247 % |
44.67/44.77	c |    237993 |     596      919     3864 |     8052     4781     50 |  3.249 % |
44.77/44.84	c |    238753 |     596      919     3864 |     8857     5541     52 |  3.247 % |
44.87/44.94	c |    239892 |     596      919     3864 |     9743     6680     53 |  3.247 % |
44.99/45.09	c |    241600 |     596      919     3864 |    10717     8388     51 |  3.247 % |
45.28/45.33	c |    244162 |     596      919     3864 |    11789    10950     50 |  3.247 % |
45.68/45.72	c |    248006 |     596      919     3864 |    12968     8777     41 |  3.249 % |
46.28/46.36	c |    253772 |     596      919     3864 |    14265     7976     38 |  3.247 % |
47.28/47.34	c |    262422 |     595      919     3864 |    15692     9460     37 |  3.412 % |
49.48/49.55	c |    275397 |     595      919     3864 |    17261    14451     44 |  3.409 % |
52.88/52.96	c |    294859 |     595      919     3864 |    18987    16254     44 |  3.409 % |
58.57/58.60	c |    324051 |     595      919     3864 |    20886    16634     43 |  3.412 % |
58.67/58.75	c ===============================================================================
58.67/58.75	c New solution: 49
58.67/58.75	o 49
58.67/58.75	c Elapsed CPU time: 57.8702 s	Remaining CPU time: 122.13 s
58.67/58.75	c ===============================================================================
58.67/58.75	c |    325617 |     595      920     3872 |     5000    18200     44 |  3.412 % |
58.77/58.81	c |    325718 |     595      920     3872 |     5500     4651     41 |  3.411 % |
58.77/58.82	c |    325868 |     595      920     3872 |     6050     4801     42 |  3.409 % |
58.77/58.83	c |    326094 |     595      920     3872 |     6655     5027     42 |  3.409 % |
58.77/58.85	c |    326431 |     595      920     3872 |     7320     5364     43 |  3.409 % |
58.87/58.91	c |    326937 |     595      920     3872 |     8052     5870     44 |  3.409 % |
58.97/59.00	c |    327697 |     595      920     3872 |     8857     6630     45 |  3.412 % |
59.07/59.13	c |    328837 |     595      920     3872 |     9743     7770     45 |  3.409 % |
59.27/59.35	c |    330546 |     595      920     3872 |    10717     9479     44 |  3.409 % |
59.57/59.68	c |    333108 |     595      920     3872 |    11789     6552     48 |  3.409 % |
59.97/60.03	c |    336952 |     595      920     3872 |    12968    10396     47 |  3.409 % |
60.67/60.79	c |    342719 |     595      920     3872 |    14265     9392     46 |  3.409 % |
61.87/61.98	c |    351370 |     595      920     3872 |    15692    10811     57 |  3.409 % |
62.87/62.98	c ===============================================================================
62.87/62.98	c New solution: 11
62.87/62.98	o 11
62.87/62.98	c Elapsed CPU time: 61.9956 s	Remaining CPU time: 118.004 s
62.87/62.98	c ===============================================================================
62.87/62.98	c |    360905 |     595      921     3880 |     5000    12235     49 |  3.409 % |
62.97/63.02	c |    361005 |     575      921     3880 |     5500     2906     56 |  6.658 % |
62.97/63.03	c |    361155 |     575      921     3880 |     6050     3056     56 |  6.658 % |
62.97/63.04	c |    361380 |     575      921     3880 |     6655     3281     56 |  6.656 % |
62.97/63.07	c |    361717 |     575      921     3880 |     7320     3618     57 |  6.656 % |
63.07/63.10	c |    362223 |     575      921     3880 |     8052     4124     58 |  6.656 % |
63.07/63.15	c |    362983 |     575      921     3880 |     8857     4884     55 |  6.658 % |
63.17/63.24	c |    364123 |     575      921     3880 |     9743     6024     54 |  6.656 % |
63.37/63.40	c |    365832 |     575      921     3880 |    10717     7733     53 |  6.656 % |
63.57/63.70	c |    368395 |     575      921     3880 |    11789    10296     56 |  6.658 % |
64.06/64.14	c |    372240 |     575      921     3880 |    12968     8120     50 |  6.656 % |
64.97/65.02	c |    378006 |     575      921     3880 |    14265     7164     53 |  6.656 % |
65.57/65.65	c ===============================================================================
65.57/65.65	c New solution: 7
65.57/65.65	o 7
65.57/65.65	c Elapsed CPU time: 64.5912 s	Remaining CPU time: 115.409 s
65.57/65.65	c ===============================================================================
65.57/65.65	c |    384472 |     575      922     3888 |     5000    13630     53 |  6.656 % |
65.57/65.68	c |    384572 |     565      922     3888 |     5500     3508     48 |  8.279 % |
65.57/65.69	c |    384723 |     565      922     3888 |     6050     3659     49 |  8.279 % |
65.66/65.71	c |    384949 |     565      922     3888 |     6655     3885     50 |  8.279 % |
65.66/65.74	c |    385287 |     565      922     3888 |     7320     4223     49 |  8.282 % |
65.66/65.77	c |    385797 |     565      922     3888 |     8052     4733     48 |  8.279 % |
65.77/65.86	c |    386556 |     565      922     3888 |     8857     5492     47 |  8.282 % |
65.87/65.97	c |    387696 |     565      922     3888 |     9743     6632     46 |  8.279 % |
66.07/66.15	c |    389404 |     565      922     3888 |    10717     8340     47 |  8.279 % |
66.17/66.24	c ===============================================================================
66.17/66.24	c New solution: 3
66.17/66.24	o 3
66.17/66.24	c Elapsed CPU time: 65.1641 s	Remaining CPU time: 114.836 s
66.17/66.24	c ===============================================================================
66.17/66.24	c |    390338 |     565      923     3896 |     5000     9274     48 |  8.279 % |
66.17/66.26	c |    390438 |     544      923     3896 |     5500     4737     47 | 11.689 % |
66.17/66.28	c |    390588 |     544      923     3896 |     6050     4887     48 | 11.691 % |
66.27/66.31	c |    390813 |     544      923     3896 |     6655     5112     48 | 11.689 % |
66.27/66.35	c |    391151 |     544      923     3896 |     7320     5450     48 | 11.689 % |
66.37/66.44	c |    391657 |     544      923     3896 |     8052     5956     48 | 11.689 % |
66.46/66.59	c |    392416 |     544      923     3896 |     8857     6715     50 | 11.691 % |
66.77/66.82	c |    393555 |     544      923     3896 |     9743     7810     48 | 11.689 % |
67.07/67.11	c |    395263 |     544      923     3896 |    10717     9518     46 | 11.689 % |
67.27/67.35	c |    397825 |     544      923     3896 |    11789     6494     44 | 11.689 % |
67.87/67.95	c |    401671 |     544      923     3896 |    12968    10340     45 | 11.689 % |
68.47/68.56	c |    407437 |     544      923     3896 |    14265     9372     43 | 11.689 % |
69.97/70.05	c |    416086 |     544      923     3896 |    15692    10685     47 | 11.689 % |
71.97/72.00	c |    429060 |     544      923     3896 |    17261    15547     45 | 11.689 % |
74.67/74.73	c |    448522 |     544      923     3896 |    18987    17437     65 | 11.689 % |
81.06/81.18	c |    477715 |     544      923     3896 |    20886    17705     50 | 11.689 % |
87.26/87.31	c |    521504 |     543      923     3896 |    22974    19159     31 | 11.853 % |
104.06/104.11	c |    587190 |     543      923     3896 |    25272    12290     71 | 11.851 % |
128.45/128.58	c |    685716 |     543      923     3896 |    27799    23574     60 | 11.851 % |
172.64/172.74	c |    833506 |     534      923     3896 |    30579    23819     58 | 13.312 % |
182.43/182.55	c There are 82 assigned variables. 8 in cost function.
183.13/183.20	c ============================[ Search Statistics ]==============================
183.13/183.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.13/183.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.13/183.20	c ===============================================================================
183.13/183.20	c |         0 |     534      883     3293 |     5000        0    nan |  0.000 % |
183.23/183.32	c |       100 |     534      883     3293 |     5500      100     62 | 13.312 % |
183.23/183.34	c |       251 |     534      883     3293 |     6050      251     62 | 13.314 % |
183.23/183.36	c |       478 |     534      883     3293 |     6655      478     56 | 13.312 % |
183.23/183.39	c |       816 |     534      883     3293 |     7320      816     48 | 13.314 % |
183.32/183.43	c |      1323 |     534      883     3293 |     8052     1323     55 | 13.312 % |
183.43/183.50	c |      2082 |     534      883     3293 |     8857     2082     52 | 13.312 % |
183.43/183.59	c |      3222 |     534      883     3293 |     9743     3222     56 | 13.312 % |
183.63/183.73	c |      4931 |     534      883     3293 |    10717     4931     59 | 13.312 % |
183.93/184.00	c |      7493 |     534      883     3293 |    11789     7493     53 | 13.314 % |
184.33/184.46	c |     11339 |     534      883     3293 |    12968    11339     49 | 13.312 % |
185.13/185.28	c |     17105 |     534      883     3293 |    14265    10384     51 | 13.312 % |
186.23/186.35	c |     25755 |     534      883     3293 |    15692    11611     44 | 13.314 % |
188.43/188.57	c |     38729 |     534      883     3293 |    17261     8516     50 | 13.312 % |
191.23/191.36	c |     58190 |     533      883     3293 |    18987     9811     35 | 13.474 % |
199.42/199.57	c |     87382 |     533      883     3293 |    20886    10068     42 | 13.474 % |
207.73/207.86	c |    131172 |     533      883     3293 |    22974    11394     29 | 13.474 % |
229.22/229.31	c |    196858 |     533      883     3293 |    25272    16722     48 | 13.474 % |
254.81/254.98	c |    295384 |     533      883     3293 |    27799    14079     35 | 13.474 % |
290.09/290.28	c |    443174 |     532      883     3293 |    30579    28020     27 | 13.637 % |
328.58/328.73	c ===============================================================================
328.58/328.73	c core #1
328.58/328.73	c 
328.58/328.73	c 
328.58/328.73	c Core size: 58	Core Weight: 2147483647	Total Weight: -2147483647
328.58/328.73	c
328.58/328.73	c
328.58/328.73	c Memory used           : 319.41 MB
328.58/328.73	c CPU time              : 324.577 s
328.58/328.73	c 
328.58/328.73	s UNSATISFIABLE
328.58/328.73	c Total CPU time: 324.577 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-2702305-1278547964/watcher-2702305-1278547964 -o /tmp/evaluation-result-2702305-1278547964/solver-2702305-1278547964 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702305-1278547964.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 0.97 0.81 3/106 31530
/proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=2708 CPUtime=0
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 345 0 0 0 0 0 0 0 18 0 1 0 23003659 2772992 255 1992294400 134512640 135752675 4287168304 18446744073709551615 135202245 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 677 257 142 303 0 372 0

[startup+0.080307 s]
/proc/loadavg: 1.00 0.97 0.81 3/106 31530
/proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=2968 CPUtime=0.07
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 409 0 0 0 7 0 0 0 21 0 1 0 23003659 3039232 319 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 742 319 145 303 0 437 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2968

[startup+0.101311 s]
/proc/loadavg: 1.00 0.97 0.81 3/106 31530
/proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=3096 CPUtime=0.09
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 431 0 0 0 9 0 0 0 21 0 1 0 23003659 3170304 341 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 774 341 145 303 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3096

[startup+0.301348 s]
/proc/loadavg: 1.00 0.97 0.81 3/106 31530
/proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=3748 CPUtime=0.29
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 591 0 0 0 28 1 0 0 21 0 1 0 23003659 3837952 501 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 937 501 145 303 0 632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3748

[startup+0.70142 s]
/proc/loadavg: 1.00 0.97 0.81 3/106 31530
/proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=4776 CPUtime=0.69
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 846 0 0 0 68 1 0 0 22 0 1 0 23003659 4890624 756 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 1194 756 145 303 0 889 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4776

[startup+1.50156 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 31531
/proc/meminfo: memFree=1697704/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=6868 CPUtime=1.49
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 1372 0 0 0 147 2 0 0 25 0 1 0 23003659 7032832 1282 1992294400 134512640 135752675 4287168304 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 1717 1282 145 303 0 1412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6868

[startup+3.10086 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 31531
/proc/meminfo: memFree=1694976/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=11520 CPUtime=3.09
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 2521 0 0 0 302 7 0 0 25 0 1 0 23003659 11796480 2431 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 2880 2431 145 303 0 2575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11520

[startup+6.30144 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 31531
/proc/meminfo: memFree=1685924/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=19048 CPUtime=6.29
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 4432 0 0 0 617 12 0 0 25 0 1 0 23003659 19505152 4342 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 4762 4342 145 303 0 4457 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19048

[startup+12.7006 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 31531
/proc/meminfo: memFree=1673524/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=30132 CPUtime=12.69
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 7165 0 0 0 1246 23 0 0 25 0 1 0 23003659 30855168 7075 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 7533 7075 145 303 0 7228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30132

[startup+25.5009 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 31531
/proc/meminfo: memFree=1653808/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=49392 CPUtime=25.48
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 11977 0 0 0 2508 40 0 0 25 0 1 0 23003659 50577408 11887 1992294400 134512640 135752675 4287168304 18446744073709551615 134612115 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 12348 11887 145 303 0 12043 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49392

[startup+51.1016 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 31533
/proc/meminfo: memFree=1621568/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=81960 CPUtime=51.07
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 20114 0 0 0 5032 75 0 0 25 0 1 0 23003659 83927040 20024 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 20490 20024 145 303 0 20185 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81960

[startup+102.309 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 31533
/proc/meminfo: memFree=1538736/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=163960 CPUtime=102.26
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 40604 0 0 0 10065 161 0 0 25 0 1 0 23003659 167895040 40514 1992294400 134512640 135752675 4287168304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 40990 40514 145 303 0 40685 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 163960

[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 31535
/proc/meminfo: memFree=1478100/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=225524 CPUtime=162.23
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 55934 0 0 0 15998 225 0 0 25 0 1 0 23003659 230936576 55844 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 56381 55844 145 303 0 56076 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 225524

[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 31537
/proc/meminfo: memFree=1436436/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=265816 CPUtime=222.21
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 66141 0 0 0 21924 297 0 0 25 0 1 0 23003659 272195584 66020 1992294400 134512640 135752675 4287168304 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 66454 66020 146 303 0 66149 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 265816

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1393532/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=309212 CPUtime=282.2
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 76918 0 0 0 27855 365 0 0 25 0 1 0 23003659 316633088 76797 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 77303 76797 146 303 0 76998 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 309212

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

[startup+307.102 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1383984/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=319056 CPUtime=306.99
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 79345 0 0 0 30315 384 0 0 25 0 1 0 23003659 326713344 79224 1992294400 134512640 135752675 4287168304 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 79764 79224 146 303 0 79459 0
Current children cumulated CPU time (s) 306.99
Current children cumulated vsize (KiB) 319056

[startup+319.901 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1375924/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=326476 CPUtime=319.78
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81222 0 0 0 31579 399 0 0 25 0 1 0 23003659 334311424 81101 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 81619 81101 146 303 0 81314 0
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (KiB) 326476

[startup+323.101 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1375676/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=326608 CPUtime=322.98
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81254 0 0 0 31897 401 0 0 25 0 1 0 23003659 334446592 81133 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 81652 81133 146 303 0 81347 0
Current children cumulated CPU time (s) 322.98
Current children cumulated vsize (KiB) 326608

[startup+326.302 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1375428/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=326940 CPUtime=326.19
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81303 0 0 0 32216 403 0 0 25 0 1 0 23003659 334786560 81182 1992294400 134512640 135752675 4287168304 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 81735 81182 146 303 0 81430 0
Current children cumulated CPU time (s) 326.19
Current children cumulated vsize (KiB) 326940

[startup+327.901 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1375304/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=327072 CPUtime=327.78
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81336 0 0 0 32375 403 0 0 25 0 1 0 23003659 334921728 81215 1992294400 134512640 135752675 4287168304 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 81768 81215 146 303 0 81463 0
Current children cumulated CPU time (s) 327.78
Current children cumulated vsize (KiB) 327072

[startup+328.301 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1375304/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=327072 CPUtime=328.18
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81344 0 0 0 32414 404 0 0 25 0 1 0 23003659 334921728 81223 1992294400 134512640 135752675 4287168304 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 81768 81223 146 303 0 81463 0
Current children cumulated CPU time (s) 328.18
Current children cumulated vsize (KiB) 327072

[startup+328.701 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 31539
/proc/meminfo: memFree=1375304/2059040 swapFree=4164940/4192956
[pid=31530] ppid=31528 vsize=327072 CPUtime=328.58
/proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81346 0 0 0 32454 404 0 0 25 0 1 0 23003659 334921728 81225 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31530/statm: 81768 81225 146 303 0 81463 0
Current children cumulated CPU time (s) 328.58
Current children cumulated vsize (KiB) 327072

Child status: 0
Real time (s): 328.768
CPU time (s): 328.656
CPU user time (s): 324.577
CPU system time (s): 4.07938
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 327072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.577
system time used= 4.07938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81348
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= 668

runsolver used 0.58591 second user time and 1.52577 second system time

The end

Launcher Data 

Begin job on node045 at 2010-07-08 02:12:44
IDJOB=2702305
IDBENCH=48087
IDSOLVER=1190
FILE ID=node045/2702305-1278547964
PBS_JOBID= 11239495
Free space on /tmp= 62524 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=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-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-2702305-1278547964/watcher-2702305-1278547964 -o /tmp/evaluation-result-2702305-1278547964/solver-2702305-1278547964 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702305-1278547964.opb

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

MD5SUM BENCH= afe3df18e5a0f1ba7fdc86d94afdb427
RANDOM SEED=595810675

node045.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.265
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.53
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.265
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1701588 kB
Buffers:         66144 kB
Cached:         182060 kB
SwapCached:       1476 kB
Active:         130288 kB
Inactive:       151420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1701588 kB
SwapTotal:     4192956 kB
SwapFree:      4164940 kB
Dirty:            2672 kB
Writeback:           0 kB
AnonPages:       32052 kB
Mapped:          13388 kB
Slab:            53944 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181184 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-2702305-1278547964.opb

Free space on /tmp at the end= 62520 MiB
End job on node045 at 2010-07-08 02:18:13