Trace number 39871

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, and are wall clock time (not CPU 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
bsolo 2006/05? 1800.09 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
MD5SUMcc797868c6f9cb3811b8dc2300ad7f9f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
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 constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 612
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 556800
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 556800
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
15.92	c Initial problem consists of 107808 variables and 5184 constraints.
16.21	c No problem reductions applied in OPT. instance.
16.21	c	preprocess terminated. Elapsed time: 16.151
16.21	c After prepocess the problem consists of 73780 variables and 5184 constraints.
16.21	c Initial Lower Bound: 0
16.55	c Restart #1 #Var: 73780 LB: 0 @ 16.482
17.05	c Restart #2 #Var: 73780 LB: 0 @ 16.988
17.66	c Restart #3 #Var: 73780 LB: 0 @ 17.595
18.99	c Restart #4 #Var: 73780 LB: 0 @ 18.926
20.44	c Restart #5 #Var: 73780 LB: 0 @ 20.37
22.48	c Restart #6 #Var: 73780 LB: 0 @ 22.413
24.46	c Restart #7 #Var: 73780 LB: 0 @ 24.388
26.65	c Restart #8 #Var: 73780 LB: 0 @ 26.58
29.92	c Restart #9 #Var: 73779 LB: 0 @ 29.848
31.17	c Restart #10 #Var: 73775 LB: 0 @ 31.103
32.93	c Restart #11 #Var: 73774 LB: 0 @ 32.855
34.26	c Restart #12 #Var: 73772 LB: 0 @ 34.19
35.62	c Restart #13 #Var: 73771 LB: 0 @ 35.548
36.88	c Restart #14 #Var: 73770 LB: 0 @ 36.808
39.51	c Restart #15 #Var: 73769 LB: 0 @ 39.431
41.12	c Restart #16 #Var: 73769 LB: 0 @ 41.044
42.49	c Restart #17 #Var: 73769 LB: 0 @ 42.413
45.15	c Restart #18 #Var: 73768 LB: 0 @ 45.076
48.19	c Restart #19 #Var: 73768 LB: 0 @ 48.113
52.75	c Restart #20 #Var: 73768 LB: 0 @ 52.665
56.86	c Restart #21 #Var: 73767 LB: 0 @ 56.781
60.43	c Restart #22 #Var: 73767 LB: 0 @ 60.352
65.30	c Restart #23 #Var: 73766 LB: 0 @ 65.218
69.90	c Restart #24 #Var: 73766 LB: 0 @ 69.811
85.91	c Restart #25 #Var: 73766 LB: 0 @ 85.816
91.95	c Restart #26 #Var: 73766 LB: 0 @ 91.859
99.54	c Restart #27 #Var: 73766 LB: 0 @ 99.447
108.11	c Restart #28 #Var: 73764 LB: 0 @ 108.01
114.27	c Restart #29 #Var: 73764 LB: 0 @ 114.17
126.89	c Restart #30 #Var: 73764 LB: 0 @ 126.78
129.16	c Restart #31 #Var: 73764 LB: 0 @ 129.05
138.16	c Restart #32 #Var: 73764 LB: 0 @ 138.05
157.49	c Restart #33 #Var: 73764 LB: 0 @ 157.38
163.46	c Restart #34 #Var: 73763 LB: 0 @ 163.34
165.52	c Restart #35 #Var: 73763 LB: 0 @ 165.4
170.61	c Restart #36 #Var: 73763 LB: 0 @ 170.49
185.74	c Restart #37 #Var: 73763 LB: 0 @ 185.61
210.06	c Restart #38 #Var: 73763 LB: 0 @ 209.92
214.35	c Restart #39 #Var: 73763 LB: 0 @ 214.21
218.35	c Restart #40 #Var: 73763 LB: 0 @ 218.21
224.64	c Restart #41 #Var: 73763 LB: 0 @ 224.5
232.63	c Restart #42 #Var: 73763 LB: 0 @ 232.49
257.55	c Restart #43 #Var: 73763 LB: 0 @ 257.39
284.42	c Restart #44 #Var: 73763 LB: 0 @ 284.25
310.67	c Restart #45 #Var: 73763 LB: 0 @ 310.5
316.49	c Restart #46 #Var: 73763 LB: 0 @ 316.31
320.26	c Restart #47 #Var: 73763 LB: 0 @ 320.09
352.16	c Restart #48 #Var: 73763 LB: 0 @ 351.97
397.95	c Restart #49 #Var: 73763 LB: 0 @ 397.75
421.38	c Restart #50 #Var: 73763 LB: 0 @ 421.16
431.54	c Restart #51 #Var: 73763 LB: 0 @ 431.32
497.33	c Restart #52 #Var: 73763 LB: 0 @ 497.09
557.69	c Restart #53 #Var: 73763 LB: 0 @ 557.43
617.28	c Restart #54 #Var: 73763 LB: 0 @ 616.99
681.25	c Restart #55 #Var: 73763 LB: 0 @ 680.94
713.15	c Restart #56 #Var: 73763 LB: 0 @ 712.83
797.34	c Restart #57 #Var: 73763 LB: 0 @ 796.99
904.70	c CHANGE Heuristic... 
904.70	c Restart #0 #Var: 73763 LB: 0 @ 904.31
907.16	c Restart #1 #Var: 73755 LB: 0 @ 906.77
910.70	c Restart #2 #Var: 73754 LB: 0 @ 910.3
914.25	c Restart #3 #Var: 73695 LB: 0 @ 913.85
918.31	c Restart #4 #Var: 73680 LB: 0 @ 917.91
922.90	c Restart #5 #Var: 73680 LB: 0 @ 922.5
926.57	c Restart #6 #Var: 73680 LB: 0 @ 926.17
949.19	c Restart #7 #Var: 73658 LB: 0 @ 948.77
978.79	c Restart #8 #Var: 73658 LB: 0 @ 978.36
982.47	c Restart #9 #Var: 73651 LB: 0 @ 982.04
986.55	c Restart #10 #Var: 73648 LB: 0 @ 986.12
994.60	c Restart #11 #Var: 73641 LB: 0 @ 994.17
997.40	c Restart #12 #Var: 73633 LB: 0 @ 996.97
1001.16	c Restart #13 #Var: 73632 LB: 0 @ 1000.7
1003.80	c Restart #14 #Var: 73628 LB: 0 @ 1003.4
1008.25	c Restart #15 #Var: 73628 LB: 0 @ 1007.8
1029.73	c Restart #16 #Var: 73628 LB: 0 @ 1029.3
1063.63	c Restart #17 #Var: 73628 LB: 0 @ 1063.2
1070.61	c Restart #18 #Var: 73627 LB: 0 @ 1070.2
1103.70	c Restart #19 #Var: 73627 LB: 0 @ 1103.2
1155.77	c Restart #20 #Var: 73626 LB: 0 @ 1155.3
1195.98	c Restart #21 #Var: 73625 LB: 0 @ 1195.5
1242.64	c Restart #22 #Var: 73625 LB: 0 @ 1242.1
1271.22	c Restart #23 #Var: 73625 LB: 0 @ 1270.7
1287.59	c Restart #24 #Var: 73625 LB: 0 @ 1287.1
1317.20	c Restart #25 #Var: 73625 LB: 0 @ 1316.7
1370.80	c Restart #26 #Var: 73625 LB: 0 @ 1370.2
1386.62	c Restart #27 #Var: 73625 LB: 0 @ 1386.1
1401.59	c Restart #28 #Var: 73625 LB: 0 @ 1401
1445.48	c Restart #29 #Var: 73625 LB: 0 @ 1444.9
1519.69	c Restart #30 #Var: 73625 LB: 0 @ 1519.1
1609.98	c Restart #31 #Var: 73625 LB: 0 @ 1609.3
1740.33	c Restart #32 #Var: 73625 LB: 0 @ 1739.6
1790.64	c Restart #33 #Var: 73625 LB: 0 @ 1789.9
1800.73	s UNKNOWN
1800.73	c Exit Code: 0
1800.73	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node58/watcher-39871-1149268388 -o ROOT/results/node58/solver-39871-1149268388 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/39871-1149268388/instance-39871-1149268388.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1384408/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=436 CPUtime=0
/proc/28562/stat : 28562 (bsolo) D 28560 28562 28516 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 28885645 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4870948 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/28562/statm: 109 23 18 55 0 18 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1321504/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=67720 CPUtime=9.94
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 1768635 0 0 0 519 475 0 0 25 0 1 0 28885645 69345280 15946 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 16930 15954 281 55 0 15822 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 67720

[startup+20.0098 s]
/proc/loadavg: 0.94 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1258344/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=134376 CPUtime=19.94
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2981793 0 0 0 1198 796 0 0 25 0 1 0 28885645 137601024 31791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 33594 31791 297 55 0 32486 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 134376

[startup+30.0167 s]
/proc/loadavg: 0.95 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1257512/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=135424 CPUtime=29.93
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2982049 0 0 0 2176 817 0 0 25 0 1 0 28885645 138674176 32047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 33856 32047 297 55 0 32748 0
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 135424

[startup+40.0227 s]
/proc/loadavg: 0.96 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1243368/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=149544 CPUtime=39.93
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2985577 0 0 0 3168 825 0 0 25 0 1 0 28885645 153133056 35575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 37386 35575 297 55 0 36278 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 149544

[startup+50.0286 s]
/proc/loadavg: 0.96 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1228968/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=163928 CPUtime=49.94
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2989175 0 0 0 4163 831 0 0 25 0 1 0 28885645 167862272 39173 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 40982 39173 297 55 0 39874 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 163928

[startup+60.0345 s]
/proc/loadavg: 0.97 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1220136/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=172768 CPUtime=59.94
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2991380 0 0 0 5159 835 0 0 25 0 1 0 28885645 176914432 41378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 43192 41378 297 55 0 42084 0
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 172768

[startup+70.0404 s]
/proc/loadavg: 0.97 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1210344/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=182536 CPUtime=69.94
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2993829 0 0 0 6154 840 0 0 25 0 1 0 28885645 186916864 43827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 45634 43827 297 55 0 44526 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 182536

[startup+80.0464 s]
/proc/loadavg: 0.98 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1207784/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=185044 CPUtime=79.94
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2994473 0 0 0 7153 841 0 0 25 0 1 0 28885645 189485056 44471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 46261 44471 297 55 0 45153 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 185044

[startup+90.0523 s]
/proc/loadavg: 0.98 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1202088/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=190716 CPUtime=89.95
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2995889 0 0 0 8151 844 0 0 25 0 1 0 28885645 195293184 45887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 47679 45887 297 55 0 46571 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 190716

[startup+100.058 s]
/proc/loadavg: 0.98 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1196712/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=196104 CPUtime=99.95
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2997232 0 0 0 9150 845 0 0 25 0 1 0 28885645 200810496 47230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 49026 47230 297 55 0 47918 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 196104

[startup+110.064 s]
/proc/loadavg: 0.98 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1189928/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=202836 CPUtime=109.95
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 2998917 0 0 0 10148 847 0 0 25 0 1 0 28885645 207704064 48915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 50709 48915 297 55 0 49601 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 202836

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1184104/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=208712 CPUtime=119.95
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3000370 0 0 0 11145 850 0 0 25 0 1 0 28885645 213721088 50368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 52178 50368 297 55 0 51070 0
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 208712

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1175080/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=217688 CPUtime=129.95
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3002640 0 0 0 12142 853 0 0 25 0 1 0 28885645 222912512 52638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 54422 52638 297 55 0 53314 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 217688

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1167272/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=225476 CPUtime=139.96
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3004582 0 0 0 13141 855 0 0 25 0 1 0 28885645 230887424 54580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 56369 54580 297 55 0 55261 0
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 225476

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1167016/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=225740 CPUtime=149.96
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3004637 0 0 0 14140 856 0 0 25 0 1 0 28885645 231157760 54635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 56435 54635 297 55 0 55327 0
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 225740

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1161896/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=230888 CPUtime=159.97
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3005926 0 0 0 15138 859 0 0 25 0 1 0 28885645 236429312 55924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 57722 55924 297 55 0 56614 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 230888

[startup+170.1 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1145320/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=247392 CPUtime=169.96
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3010044 0 0 0 16129 867 0 0 25 0 1 0 28885645 253329408 60042 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 61848 60042 297 55 0 60740 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 247392

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1139944/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=252808 CPUtime=179.97
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3011394 0 0 0 17126 871 0 0 25 0 1 0 28885645 258875392 61392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 63202 61392 297 55 0 62094 0
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 252808

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1135912/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=256760 CPUtime=189.97
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3012405 0 0 0 18124 873 0 0 25 0 1 0 28885645 262922240 62403 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 64190 62403 297 55 0 63082 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 256760

[startup+200.117 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1133032/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=259660 CPUtime=199.97
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3013125 0 0 0 19121 876 0 0 25 0 1 0 28885645 265891840 63123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533922 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 64915 63123 297 55 0 63807 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 259660

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.94 2/64 28562
/proc/meminfo: memFree=1130408/2055920 swapFree=4192956/4192956

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

/proc/28562/statm: 132987 131089 297 55 0 131879 0
Current children cumulated CPU time (s) 1760.35
Current children cumulated vsize (Kb) 531948

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=859120/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=533136 CPUtime=1770.35
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082071 0 0 0 175987 1048 0 0 25 0 1 0 28885645 545931264 131393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133284 131393 297 55 0 132176 0
Current children cumulated CPU time (s) 1770.35
Current children cumulated vsize (Kb) 533136

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=857392/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=534984 CPUtime=1780.36
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082512 0 0 0 176986 1050 0 0 25 0 1 0 28885645 547823616 131834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133746 131834 297 55 0 132638 0
Current children cumulated CPU time (s) 1780.36
Current children cumulated vsize (Kb) 534984

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=857136/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=535116 CPUtime=1781.36
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082570 0 0 0 177086 1050 0 0 25 0 1 0 28885645 547958784 131892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133779 131892 297 55 0 132671 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (Kb) 535116

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=857072/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=535248 CPUtime=1782.36
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082605 0 0 0 177186 1050 0 0 25 0 1 0 28885645 548093952 131927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133812 131927 297 55 0 132704 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 535248

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=856880/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=535512 CPUtime=1783.37
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082651 0 0 0 177287 1050 0 0 25 0 1 0 28885645 548364288 131973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133878 131973 297 55 0 132770 0
Current children cumulated CPU time (s) 1783.37
Current children cumulated vsize (Kb) 535512

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=856688/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=535644 CPUtime=1784.37
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082697 0 0 0 177387 1050 0 0 25 0 1 0 28885645 548499456 132019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133911 132019 297 55 0 132803 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (Kb) 535644

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=856496/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=535908 CPUtime=1785.38
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082742 0 0 0 177487 1051 0 0 25 0 1 0 28885645 548769792 132064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133977 132064 297 55 0 132869 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (Kb) 535908

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=856432/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=535908 CPUtime=1786.38
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082754 0 0 0 177587 1051 0 0 25 0 1 0 28885645 548769792 132076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 133977 132076 297 55 0 132869 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (Kb) 535908

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=856240/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=536040 CPUtime=1787.39
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082805 0 0 0 177688 1051 0 0 25 0 1 0 28885645 548904960 132127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134010 132127 297 55 0 132902 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (Kb) 536040

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=856048/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=536304 CPUtime=1788.39
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082857 0 0 0 177788 1051 0 0 25 0 1 0 28885645 549175296 132179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134076 132179 297 55 0 132968 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (Kb) 536304

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=855920/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=536436 CPUtime=1789.39
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082892 0 0 0 177888 1051 0 0 25 0 1 0 28885645 549310464 132214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134109 132214 297 55 0 133001 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (Kb) 536436

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=855728/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=536700 CPUtime=1790.4
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3082940 0 0 0 177989 1051 0 0 25 0 1 0 28885645 549580800 132262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134175 132262 297 55 0 133067 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (Kb) 536700

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=855152/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=537228 CPUtime=1791.4
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083078 0 0 0 178089 1051 0 0 25 0 1 0 28885645 550121472 132400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134307 132400 297 55 0 133199 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (Kb) 537228

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=854768/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=537624 CPUtime=1792.41
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083167 0 0 0 178189 1052 0 0 25 0 1 0 28885645 550526976 132489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134406 132489 297 55 0 133298 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (Kb) 537624

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=854384/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=538020 CPUtime=1793.41
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083270 0 0 0 178289 1052 0 0 25 0 1 0 28885645 550932480 132592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134505 132592 297 55 0 133397 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 538020

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=854064/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=538284 CPUtime=1794.41
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083346 0 0 0 178389 1052 0 0 25 0 1 0 28885645 551202816 132668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134571 132668 297 55 0 133463 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (Kb) 538284

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=853680/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=538680 CPUtime=1795.42
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083437 0 0 0 178490 1052 0 0 25 0 1 0 28885645 551608320 132759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134670 132759 297 55 0 133562 0
Current children cumulated CPU time (s) 1795.42
Current children cumulated vsize (Kb) 538680

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=853488/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=538944 CPUtime=1796.43
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083500 0 0 0 178590 1053 0 0 25 0 1 0 28885645 551878656 132822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134736 132822 297 55 0 133628 0
Current children cumulated CPU time (s) 1796.43
Current children cumulated vsize (Kb) 538944

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=853232/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=539076 CPUtime=1797.43
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083550 0 0 0 178690 1053 0 0 25 0 1 0 28885645 552013824 132872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134769 132872 297 55 0 133661 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 539076

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=853040/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=539336 CPUtime=1798.44
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083610 0 0 0 178791 1053 0 0 25 0 1 0 28885645 552280064 132932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134834 132932 297 55 0 133726 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (Kb) 539336

[startup+1800.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 28562
/proc/meminfo: memFree=852720/2055920 swapFree=4192956/4192956
[pid=28562] ppid=28560 vsize=539600 CPUtime=1799.44
/proc/28562/stat : 28562 (bsolo) R 28560 28562 28516 0 -1 0 3083687 0 0 0 178891 1053 0 0 25 0 1 0 28885645 552550400 133009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28562/statm: 134900 133010 297 55 0 133792 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 539600

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.09
CPU user time (s): 1789.47
CPU system time (s): 10.6174
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (Kb): 539600

Launcher Data (download as text)

Begin job on node58 on Fri Jun  2 17:13:08 UTC 2006


FILE ID= 39871-1149268388

PBS_JOBID= 298938

BENCH NAME= ROOT/tmp/node58/39871-1149268388/instance-39871-1149268388.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/39871-1149268388/instance-39871-1149268388.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-39871-1149268388 -o ROOT/results/node58/solver-39871-1149268388 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node58/39871-1149268388/instance-39871-1149268388.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  cc797868c6f9cb3811b8dc2300ad7f9f

RANDOM SEED= 113590043


/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.276
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.276
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1384616 kB
Buffers:         33444 kB
Cached:         559380 kB
SwapCached:          0 kB
Active:         107160 kB
Inactive:       500180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1384616 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          24928 kB
Slab:            50088 kB
Committed_AS:   181592 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node58 on Fri Jun  2 17:43:08 UTC 2006