Trace number 2702171

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 378.84 378.937

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
MD5SUMa6d214cc283b484f5cca285d86c4d8bb
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 benchmark2.23766
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 variables192
Total number of constraints17
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 constraints17
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)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702171-1278546711.opb.
0.00/0.00	c Instance file HOME/instance-2702171-1278546711.opb
0.00/0.00	c File size is 38505 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:      704                                                 |
0.00/0.00	c |  Number Clauses:        512                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 537                                                 |
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 |     704     1049     4408 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     704     1049     4408 |     5500      100     59 |  0.002 % |
0.00/0.02	c |       250 |     704     1049     4408 |     6050      250     57 |  0.000 % |
0.00/0.04	c |       476 |     704     1049     4408 |     6655      476     53 |  0.000 % |
0.04/0.05	c |       813 |     704     1049     4408 |     7320      813     56 |  0.000 % |
0.09/0.10	c |      1320 |     704     1049     4408 |     8052     1320     52 |  0.000 % |
0.09/0.17	c |      2080 |     704     1049     4408 |     8857     2080     52 |  0.002 % |
0.19/0.29	c |      3220 |     704     1049     4408 |     9743     3220     46 |  0.000 % |
0.39/0.49	c |      4928 |     704     1049     4408 |    10717     4928     45 |  0.002 % |
0.59/0.67	c |      7490 |     704     1049     4408 |    11789     7490     46 |  0.000 % |
1.10/1.12	c |     11335 |     704     1049     4408 |    12968    11335     45 |  0.000 % |
1.29/1.36	c ===============================================================================
1.29/1.36	c New solution: 3
1.29/1.36	o 3
1.29/1.36	c Elapsed CPU time: 1.3248 s	Remaining CPU time: 178.675 s
1.29/1.36	c ===============================================================================
1.29/1.36	c |     14165 |     704     1050     4416 |     5000     7450     47 |  0.000 % |
1.29/1.38	c |     14266 |     633     1050     4416 |     5500     3703     48 | 10.087 % |
1.29/1.39	c |     14416 |     633     1050     4416 |     6050     3853     48 | 10.087 % |
1.39/1.40	c |     14643 |     633     1050     4416 |     6655     4080     49 | 10.085 % |
1.39/1.43	c |     14981 |     633     1050     4416 |     7320     4418     48 | 10.085 % |
1.39/1.47	c |     15488 |     633     1050     4416 |     8052     4925     48 | 10.085 % |
1.49/1.52	c |     16248 |     633     1050     4416 |     8857     5685     48 | 10.085 % |
1.59/1.61	c |     17388 |     633     1050     4416 |     9743     6825     51 | 10.085 % |
1.69/1.79	c |     19096 |     633     1050     4416 |    10717     8533     51 | 10.085 % |
1.99/2.03	c |     21659 |     633     1050     4416 |    11789    11096     50 | 10.085 % |
2.49/2.52	c |     25503 |     633     1050     4416 |    12968     8852     47 | 10.085 % |
2.99/3.04	c |     31269 |     633     1050     4416 |    14265     7961     49 | 10.085 % |
3.79/3.86	c |     39919 |     633     1050     4416 |    15692     9209     71 | 10.087 % |
5.09/5.15	c |     52893 |     633     1050     4416 |    17261    14077     45 | 10.085 % |
7.29/7.35	c |     72354 |     633     1050     4416 |    18987    15957     39 | 10.085 % |
12.59/12.62	c |    101550 |     633     1050     4416 |    20886    16017     59 | 10.085 % |
20.89/20.96	c |    145341 |     633     1050     4416 |    22974    17411     47 | 10.085 % |
33.28/33.38	c |    211026 |     633     1050     4416 |    25272    23052     44 | 10.085 % |
53.27/53.38	c |    309552 |     632     1050     4416 |    27799    18557     40 | 10.227 % |
90.77/90.85	c |    457343 |     631     1050     4416 |    30579    14328     38 | 10.370 % |
158.36/158.45	c |    679026 |     628     1050     4416 |    33637    15925     49 | 10.796 % |
182.04/182.12	c There are 76 assigned variables. 8 in cost function.
182.55/182.68	c ============================[ Search Statistics ]==============================
182.55/182.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.55/182.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.55/182.68	c ===============================================================================
182.55/182.68	c |         0 |     628     1012     3865 |     5000        0    nan |  0.000 % |
182.64/182.76	c |       100 |     628     1012     3865 |     5500      100     52 | 10.796 % |
182.74/182.81	c |       251 |     628     1012     3865 |     6050      251     57 | 10.797 % |
182.74/182.82	c |       477 |     628     1012     3865 |     6655      477     60 | 10.797 % |
182.74/182.85	c |       814 |     628     1012     3865 |     7320      814     61 | 10.796 % |
182.74/182.89	c |      1321 |     628     1012     3865 |     8052     1321     63 | 10.797 % |
182.85/182.96	c |      2081 |     628     1012     3865 |     8857     2081     60 | 10.796 % |
183.04/183.10	c |      3220 |     628     1012     3865 |     9743     3220     62 | 10.796 % |
183.15/183.29	c |      4928 |     628     1012     3865 |    10717     4928     58 | 10.796 % |
183.55/183.61	c |      7490 |     628     1012     3865 |    11789     7490     49 | 10.796 % |
184.24/184.39	c |     11335 |     628     1012     3865 |    12968    11335     48 | 10.796 % |
185.54/185.63	c |     17102 |     628     1012     3865 |    14265    10548     33 | 10.796 % |
187.84/187.90	c |     25752 |     628     1012     3865 |    15692    11994     20 | 10.796 % |
189.65/189.76	c |     38726 |     628     1012     3865 |    17261     9084     34 | 10.797 % |
193.64/193.73	c |     58188 |     628     1012     3865 |    18987    11065     38 | 10.796 % |
197.85/197.91	c |     87380 |     627     1012     3865 |    20886    10705     59 | 10.938 % |
209.84/209.91	c |    131169 |     627     1012     3865 |    22974    12185     23 | 10.939 % |
223.63/223.73	c |    196853 |     627     1012     3865 |    25272    17346     40 | 10.938 % |
255.04/255.13	c |    295379 |     627     1012     3865 |    27799    18379     58 | 10.938 % |
295.92/296.01	c |    443168 |     626     1012     3865 |    30579    12932     33 | 11.080 % |
359.30/359.47	c |    664851 |     623     1012     3865 |    33637    17856     27 | 11.506 % |
378.80/378.90	c ===============================================================================
378.80/378.90	c core #1
378.80/378.90	c 
378.80/378.90	c 
378.80/378.90	c Core size: 64	Core Weight: 2147483647	Total Weight: -2147483647
378.80/378.90	c
378.80/378.90	c
378.80/378.90	c Memory used           : 314.51 MB
378.80/378.90	c CPU time              : 374.79 s
378.80/378.90	c 
378.80/378.90	s UNSATISFIABLE
378.80/378.90	c Total CPU time: 374.79 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-2702171-1278546711/watcher-2702171-1278546711 -o /tmp/evaluation-result-2702171-1278546711/solver-2702171-1278546711 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702171-1278546711.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.91 0.77 0.37 3/105 28113
/proc/meminfo: memFree=1722936/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=2840 CPUtime=0
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 355 0 0 0 0 0 0 0 25 0 1 0 22879617 2908160 264 1992294400 134512640 135752675 4290026688 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 710 266 142 303 0 405 0

[startup+0.048528 s]
/proc/loadavg: 0.91 0.77 0.37 3/105 28113
/proc/meminfo: memFree=1722936/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=2968 CPUtime=0.04
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 389 0 0 0 4 0 0 0 25 0 1 0 22879617 3039232 298 1992294400 134512640 135752675 4290026688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 742 298 145 303 0 437 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2968

[startup+0.100533 s]
/proc/loadavg: 0.91 0.77 0.37 3/105 28113
/proc/meminfo: memFree=1722936/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=3096 CPUtime=0.09
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 445 0 0 0 9 0 0 0 25 0 1 0 22879617 3170304 354 1992294400 134512640 135752675 4290026688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 774 354 145 303 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3096

[startup+0.300554 s]
/proc/loadavg: 0.91 0.77 0.37 3/105 28113
/proc/meminfo: memFree=1722936/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=3752 CPUtime=0.29
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 590 0 0 0 28 1 0 0 25 0 1 0 22879617 3842048 499 1992294400 134512640 135752675 4290026688 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 938 499 145 303 0 633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3752

[startup+0.700593 s]
/proc/loadavg: 0.91 0.77 0.37 3/105 28113
/proc/meminfo: memFree=1722936/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=5176 CPUtime=0.69
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 945 0 0 0 67 2 0 0 25 0 1 0 22879617 5300224 854 1992294400 134512640 135752675 4290026688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 1294 854 145 303 0 989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5176

[startup+1.50067 s]
/proc/loadavg: 0.91 0.77 0.37 2/106 28114
/proc/meminfo: memFree=1719704/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=7616 CPUtime=1.49
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 1551 0 0 0 146 3 0 0 25 0 1 0 22879617 7798784 1460 1992294400 134512640 135752675 4290026688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 1904 1460 145 303 0 1599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7616

[startup+3.10083 s]
/proc/loadavg: 0.91 0.77 0.37 2/106 28114
/proc/meminfo: memFree=1715860/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=12256 CPUtime=3.09
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 2725 0 0 0 301 8 0 0 25 0 1 0 22879617 12550144 2634 1992294400 134512640 135752675 4290026688 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 3064 2634 145 303 0 2759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12256

[startup+6.30115 s]
/proc/loadavg: 1.00 0.79 0.38 2/106 28114
/proc/meminfo: memFree=1705816/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=21432 CPUtime=6.29
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 5020 0 0 0 613 16 0 0 25 0 1 0 22879617 21946368 4929 1992294400 134512640 135752675 4290026688 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 5358 4929 145 303 0 5053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21432

[startup+12.7008 s]
/proc/loadavg: 1.00 0.79 0.39 2/106 28114
/proc/meminfo: memFree=1693168/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=33036 CPUtime=12.69
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 7899 0 0 0 1243 26 0 0 25 0 1 0 22879617 33828864 7808 1992294400 134512640 135752675 4290026688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 8259 7808 145 303 0 7954 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33036

[startup+25.5021 s]
/proc/loadavg: 1.00 0.80 0.39 2/106 28114
/proc/meminfo: memFree=1675560/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=49764 CPUtime=25.48
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 12085 0 0 0 2507 41 0 0 25 0 1 0 22879617 50958336 11994 1992294400 134512640 135752675 4290026688 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 12441 11994 145 303 0 12136 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49764

[startup+51.1016 s]
/proc/loadavg: 1.00 0.81 0.41 2/106 28116
/proc/meminfo: memFree=1638980/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=86724 CPUtime=51.08
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 21304 0 0 0 5032 76 0 0 25 0 1 0 22879617 88805376 21213 1992294400 134512640 135752675 4290026688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 21681 21213 145 303 0 21376 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86724

[startup+102.309 s]
/proc/loadavg: 1.00 0.84 0.44 2/106 28116
/proc/meminfo: memFree=1589628/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=135396 CPUtime=102.27
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 33441 0 0 0 10094 133 0 0 25 0 1 0 22879617 138645504 33350 1992294400 134512640 135752675 4290026688 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 33849 33350 145 303 0 33544 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 135396

[startup+162.302 s]
/proc/loadavg: 1.00 0.87 0.47 2/106 28118
/proc/meminfo: memFree=1540896/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=185116 CPUtime=162.25
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 45837 0 0 0 16039 186 0 0 25 0 1 0 22879617 189558784 45746 1992294400 134512640 135752675 4290026688 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 46279 45746 145 303 0 45974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 185116

[startup+222.302 s]
/proc/loadavg: 1.00 0.89 0.50 2/106 28120
/proc/meminfo: memFree=1500100/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=224528 CPUtime=222.24
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 55811 0 0 0 21966 258 0 0 25 0 1 0 22879617 229916672 55686 1992294400 134512640 135752675 4290026688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 56132 55686 146 303 0 55827 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 224528

[startup+282.302 s]
/proc/loadavg: 1.00 0.91 0.53 2/106 28122
/proc/meminfo: memFree=1455336/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=269920 CPUtime=282.22
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 67105 0 0 0 27907 315 0 0 25 0 1 0 22879617 276398080 66980 1992294400 134512640 135752675 4290026688 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 67480 66980 146 303 0 67175 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 269920

[startup+342.301 s]
/proc/loadavg: 1.00 0.92 0.56 2/106 28124
/proc/meminfo: memFree=1419872/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=304956 CPUtime=342.21
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 75821 0 0 0 33848 373 0 0 25 0 1 0 22879617 312274944 75696 1992294400 134512640 135752675 4290026688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 76239 75696 146 303 0 75934 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 304956

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

[startup+358.301 s]
/proc/loadavg: 1.00 0.92 0.56 2/106 28124
/proc/meminfo: memFree=1410572/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=314712 CPUtime=358.2
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 78258 0 0 0 35433 387 0 0 25 0 1 0 22879617 322265088 78133 1992294400 134512640 135752675 4290026688 18446744073709551615 134605426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 78678 78133 146 303 0 78373 0
Current children cumulated CPU time (s) 358.2
Current children cumulated vsize (KiB) 314712

[startup+371.101 s]
/proc/loadavg: 1.00 0.93 0.57 2/106 28124
/proc/meminfo: memFree=1406232/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=318688 CPUtime=370.99
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 79227 0 0 0 36705 394 0 0 25 0 1 0 22879617 326336512 79102 1992294400 134512640 135752675 4290026688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 79672 79102 146 303 0 79367 0
Current children cumulated CPU time (s) 370.99
Current children cumulated vsize (KiB) 318688

[startup+374.301 s]
/proc/loadavg: 1.00 0.93 0.57 2/106 28124
/proc/meminfo: memFree=1404372/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=320416 CPUtime=374.19
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 79660 0 0 0 37022 397 0 0 25 0 1 0 22879617 328105984 79535 1992294400 134512640 135752675 4290026688 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 80104 79535 146 303 0 79799 0
Current children cumulated CPU time (s) 374.19
Current children cumulated vsize (KiB) 320416

[startup+377.501 s]
/proc/loadavg: 1.00 0.93 0.57 2/106 28124
/proc/meminfo: memFree=1403132/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=321656 CPUtime=377.4
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 79956 0 0 0 37339 401 0 0 25 0 1 0 22879617 329375744 79831 1992294400 134512640 135752675 4290026688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 80414 79831 146 303 0 80109 0
Current children cumulated CPU time (s) 377.4
Current children cumulated vsize (KiB) 321656

[startup+378.301 s]
/proc/loadavg: 1.00 0.93 0.57 2/106 28124
/proc/meminfo: memFree=1402884/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=321788 CPUtime=378.2
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 79998 0 0 0 37419 401 0 0 25 0 1 0 22879617 329510912 79873 1992294400 134512640 135752675 4290026688 18446744073709551615 134603218 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 80447 79873 146 303 0 80142 0
Current children cumulated CPU time (s) 378.2
Current children cumulated vsize (KiB) 321788

[startup+378.701 s]
/proc/loadavg: 1.00 0.93 0.57 2/106 28124
/proc/meminfo: memFree=1402884/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=321920 CPUtime=378.59
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 80048 0 0 0 37458 401 0 0 25 0 1 0 22879617 329646080 79923 1992294400 134512640 135752675 4290026688 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 80480 79923 146 303 0 80175 0
Current children cumulated CPU time (s) 378.59
Current children cumulated vsize (KiB) 321920

[startup+378.901 s]
/proc/loadavg: 1.00 0.93 0.57 2/106 28124
/proc/meminfo: memFree=1402884/2059040 swapFree=4139448/4192956
[pid=28113] ppid=28111 vsize=322052 CPUtime=378.8
/proc/28113/stat : 28113 (wbo1.4b) R 28111 28113 27594 0 -1 4202496 80079 0 0 0 37478 402 0 0 25 0 1 0 22879617 329781248 79954 1992294400 134512640 135752675 4290026688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28113/statm: 80513 79954 146 303 0 80208 0
Current children cumulated CPU time (s) 378.8
Current children cumulated vsize (KiB) 322052

Child status: 0
Real time (s): 378.937
CPU time (s): 378.84
CPU user time (s): 374.79
CPU system time (s): 4.05038
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 322052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 374.79
system time used= 4.05038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 777

runsolver used 0.6559 second user time and 1.76673 second system time

The end

Launcher Data 

Begin job on node084 at 2010-07-08 01:51:51
IDJOB=2702171
IDBENCH=48020
IDSOLVER=1190
FILE ID=node084/2702171-1278546711
PBS_JOBID= 11239479
Free space on /tmp= 62496 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=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-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-2702171-1278546711/watcher-2702171-1278546711 -o /tmp/evaluation-result-2702171-1278546711/solver-2702171-1278546711 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702171-1278546711.opb

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

MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb
RANDOM SEED=1390699492

node084.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.215
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.43
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.215
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	: 5999.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1723836 kB
Buffers:         56416 kB
Cached:         175528 kB
SwapCached:      22024 kB
Active:         145324 kB
Inactive:       116088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1723836 kB
SwapTotal:     4192956 kB
SwapFree:      4139448 kB
Dirty:            2628 kB
Writeback:           0 kB
AnonPages:       12028 kB
Mapped:          11932 kB
Slab:            51992 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182640 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-2702171-1278546711.opb

Free space on /tmp at the end= 62492 MiB
End job on node084 at 2010-07-08 01:58:10