Trace number 39910

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.1 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-capri.opb
MD5SUM045a73dda564043a5f702f829082d89b
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 variables7817
Total number of constraints402
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 constraints402
Minimum length of a constraint11
Maximum length of a constraint647
Number of terms in the objective function 580
Biggest coefficient in the objective function 32953
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524724
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 524837
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.01	c INFO: OSL Context initialized.
0.24	c Initial problem consists of 7817 variables and 544 constraints.
0.26	c No problem reductions applied in OPT. instance.
0.26	c	preprocess terminated. Elapsed time: 0.253
0.26	c After prepocess the problem consists of 6067 variables and 544 constraints.
0.26	c Initial Lower Bound: -252
0.45	c Restart #1 #Var: 6067 LB: -252 @ 0.438
0.89	c Restart #2 #Var: 6067 LB: -252 @ 0.882
1.60	c Restart #3 #Var: 6067 LB: -252 @ 1.589
2.58	c Restart #4 #Var: 6067 LB: -252 @ 2.573
3.95	c Restart #5 #Var: 6067 LB: -252 @ 3.937
5.45	c Restart #6 #Var: 6067 LB: -252 @ 5.434
7.23	c Restart #7 #Var: 6067 LB: -252 @ 7.212
9.55	c Restart #8 #Var: 6067 LB: -252 @ 9.537
12.51	c Restart #9 #Var: 6067 LB: -252 @ 12.498
12.90	c Restart #10 #Var: 6067 LB: -252 @ 12.886
17.66	c Restart #11 #Var: 6062 LB: -252 @ 17.64
18.56	c Restart #12 #Var: 6062 LB: -252 @ 18.537
19.18	c Restart #13 #Var: 6062 LB: -252 @ 19.16
19.94	c Restart #14 #Var: 6062 LB: -252 @ 19.923
21.10	c Restart #15 #Var: 6039 LB: -247 @ 21.08
22.58	c Restart #16 #Var: 5997 LB: -237 @ 22.556
24.37	c Restart #17 #Var: 5990 LB: -235 @ 24.352
32.09	c Restart #18 #Var: 5990 LB: -235 @ 32.069
32.94	c Restart #19 #Var: 5990 LB: -235 @ 32.914
33.63	c Restart #20 #Var: 5971 LB: -235 @ 33.608
34.04	c Restart #21 #Var: 5969 LB: -235 @ 34.012
35.14	c Restart #22 #Var: 5969 LB: -235 @ 35.113
35.54	c Restart #23 #Var: 5968 LB: -235 @ 35.517
36.90	c Restart #24 #Var: 5968 LB: -235 @ 36.877
42.16	c Restart #25 #Var: 5968 LB: -235 @ 42.136
44.03	c Restart #26 #Var: 5968 LB: -235 @ 43.999
45.35	c Restart #27 #Var: 5968 LB: -235 @ 45.322
46.79	c Restart #28 #Var: 5968 LB: -235 @ 46.761
48.60	c Restart #29 #Var: 5968 LB: -235 @ 48.569
50.17	c Restart #30 #Var: 5968 LB: -235 @ 50.135
52.23	c Restart #31 #Var: 5968 LB: -235 @ 52.199
54.78	c Restart #32 #Var: 5968 LB: -235 @ 54.746
58.57	c Restart #33 #Var: 5968 LB: -235 @ 58.536
65.35	c Restart #34 #Var: 5968 LB: -235 @ 65.316
65.85	c Restart #35 #Var: 5968 LB: -235 @ 65.819
83.08	c Restart #36 #Var: 5966 LB: -235 @ 83.034
86.02	c Restart #37 #Var: 5966 LB: -235 @ 85.976
88.93	c Restart #38 #Var: 5965 LB: -235 @ 88.891
91.41	c Restart #39 #Var: 5965 LB: -235 @ 91.366
97.32	c Restart #40 #Var: 5964 LB: -234 @ 97.277
101.58	c Restart #41 #Var: 5964 LB: -234 @ 101.53
114.09	c Restart #42 #Var: 5964 LB: -234 @ 114.04
148.45	c Restart #43 #Var: 5964 LB: -234 @ 148.39
160.54	c Restart #44 #Var: 5964 LB: -234 @ 160.47
165.49	c Restart #45 #Var: 5964 LB: -234 @ 165.42
215.80	c Restart #46 #Var: 5964 LB: -234 @ 215.71
222.89	c Restart #47 #Var: 5964 LB: -234 @ 222.81
252.21	c Restart #48 #Var: 5964 LB: -234 @ 252.11
304.17	c Restart #49 #Var: 5964 LB: -234 @ 304.06
318.68	c Restart #50 #Var: 5923 LB: -234 @ 318.55
321.87	c Restart #51 #Var: 5923 LB: -234 @ 321.75
326.94	c Restart #52 #Var: 5922 LB: -234 @ 326.81
532.69	c Restart #53 #Var: 5922 LB: -234 @ 532.49
556.38	c Restart #54 #Var: 5920 LB: -234 @ 556.18
564.85	c Restart #55 #Var: 5920 LB: -234 @ 564.64
649.06	c Restart #56 #Var: 5920 LB: -234 @ 648.82
662.03	c Restart #57 #Var: 5920 LB: -234 @ 661.79
711.87	c Restart #58 #Var: 5919 LB: -234 @ 711.61
737.49	c Restart #59 #Var: 5915 LB: -233 @ 737.22
790.02	c Restart #60 #Var: 5915 LB: -233 @ 789.73
878.06	c Restart #61 #Var: 5915 LB: -233 @ 877.75
923.65	c CHANGE Heuristic... 
923.65	c Restart #0 #Var: 5915 LB: -233 @ 923.32
923.67	c Restart #1 #Var: 5912 LB: -233 @ 923.33
923.83	c Restart #2 #Var: 5901 LB: -232 @ 923.5
924.48	c Restart #3 #Var: 5865 LB: -227 @ 924.15
924.76	c Restart #4 #Var: 5864 LB: -227 @ 924.42
924.97	c Restart #5 #Var: 5864 LB: -227 @ 924.64
925.46	c Restart #6 #Var: 5862 LB: -227 @ 925.13
926.17	c Restart #7 #Var: 5862 LB: -227 @ 925.84
931.87	c Restart #8 #Var: 5862 LB: -227 @ 931.54
935.89	c Restart #9 #Var: 5862 LB: -227 @ 935.56
946.16	c Restart #10 #Var: 5862 LB: -227 @ 945.82
952.74	c Restart #11 #Var: 5862 LB: -227 @ 952.4
967.93	c Restart #12 #Var: 5862 LB: -227 @ 967.58
988.98	c Restart #13 #Var: 5862 LB: -227 @ 988.63
992.88	c Restart #14 #Var: 5862 LB: -227 @ 992.53
995.44	c Restart #15 #Var: 5862 LB: -227 @ 995.09
997.80	c Restart #16 #Var: 5862 LB: -227 @ 997.45
1004.71	c Restart #17 #Var: 5853 LB: -226 @ 1004.3
1013.23	c Restart #18 #Var: 5853 LB: -226 @ 1012.9
1022.42	c Restart #19 #Var: 5853 LB: -226 @ 1022.1
1025.34	c Restart #20 #Var: 5853 LB: -226 @ 1025
1071.34	c Restart #21 #Var: 5853 LB: -226 @ 1071
1073.53	c Restart #22 #Var: 5853 LB: -226 @ 1073.1
1080.98	c Restart #23 #Var: 5853 LB: -226 @ 1080.6
1104.53	c Restart #24 #Var: 5853 LB: -226 @ 1104.1
1117.29	c Restart #25 #Var: 5853 LB: -226 @ 1116.9
1121.59	c Restart #26 #Var: 5853 LB: -226 @ 1121.2
1128.14	c Restart #27 #Var: 5853 LB: -226 @ 1127.7
1136.47	c Restart #28 #Var: 5853 LB: -226 @ 1136.1
1162.93	c Restart #29 #Var: 5853 LB: -226 @ 1162.5
1167.05	c Restart #30 #Var: 5852 LB: -225 @ 1166.6
1174.57	c Restart #31 #Var: 5852 LB: -225 @ 1174.2
1208.45	c Restart #32 #Var: 5852 LB: -225 @ 1208
1211.64	c Restart #33 #Var: 5852 LB: -225 @ 1211.2
1226.30	c Restart #34 #Var: 5852 LB: -225 @ 1225.9
1257.06	c Restart #35 #Var: 5852 LB: -225 @ 1256.6
1286.55	c Restart #36 #Var: 5852 LB: -225 @ 1286.1
1290.08	c Restart #37 #Var: 5852 LB: -225 @ 1289.6
1292.33	c Restart #38 #Var: 5852 LB: -225 @ 1291.9
1294.25	c Restart #39 #Var: 5852 LB: -225 @ 1293.8
1338.40	c Restart #40 #Var: 5852 LB: -225 @ 1337.9
1410.39	c Restart #41 #Var: 5852 LB: -225 @ 1409.9
1411.73	c Restart #42 #Var: 5852 LB: -225 @ 1411.2
1422.55	c Restart #43 #Var: 5852 LB: -225 @ 1422
1435.84	c Restart #44 #Var: 5852 LB: -225 @ 1435.3
1439.95	c Restart #45 #Var: 5852 LB: -225 @ 1439.4
1456.33	c Restart #46 #Var: 5852 LB: -225 @ 1455.8
1458.91	c Restart #47 #Var: 5852 LB: -225 @ 1458.4
1471.20	c Restart #48 #Var: 5852 LB: -225 @ 1470.7
1491.55	c Restart #49 #Var: 5852 LB: -225 @ 1491
1504.12	c Restart #50 #Var: 5852 LB: -225 @ 1503.6
1514.57	c Restart #51 #Var: 5852 LB: -225 @ 1514
1777.04	c Restart #52 #Var: 5852 LB: -225 @ 1776.4
1780.26	c Restart #53 #Var: 5852 LB: -225 @ 1779.6
1800.64	s UNKNOWN
1800.64	c Exit Code: 0
1800.64	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/node59/watcher-39910-1149329428 -o ROOT/results/node59/solver-39910-1149329428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39910-1149329428/instance-39910-1149329428.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.96 3/64 5785
/proc/meminfo: memFree=1718224/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=4664 CPUtime=0
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 142 0 0 0 0 0 0 0 19 0 1 0 198611068 4775936 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9249984 0 0 4096 0 0 0 0 17 1 0 0
/proc/5785/statm: 1166 123 103 55 0 46 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1699160/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=23876 CPUtime=9.98
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 5162 0 0 0 956 42 0 0 25 0 1 0 198611068 24449024 5072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 5969 5072 297 55 0 4861 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 23876

[startup+20.0097 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1689560/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=33376 CPUtime=19.98
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 7555 0 0 0 1943 55 0 0 25 0 1 0 198611068 34177024 7465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 8344 7465 297 55 0 7236 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 33376

[startup+30.0166 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1680280/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=42620 CPUtime=29.98
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 9875 0 0 0 2940 58 0 0 25 0 1 0 198611068 43642880 9785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 10655 9785 297 55 0 9547 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 42620

[startup+40.0235 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1656984/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=65864 CPUtime=39.99
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 15679 0 0 0 3935 64 0 0 25 0 1 0 198611068 67444736 15589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 16466 15589 297 55 0 15358 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 65864

[startup+50.0304 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1640920/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=81972 CPUtime=49.99
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 19689 0 0 0 4931 68 0 0 25 0 1 0 198611068 83939328 19599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 20493 19599 297 55 0 19385 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 81972

[startup+60.0364 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1620056/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=102832 CPUtime=60
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 24892 0 0 0 5927 73 0 0 25 0 1 0 198611068 105299968 24802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 25708 24802 297 55 0 24600 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 102832

[startup+70.0463 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1604440/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=118416 CPUtime=70
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 28783 0 0 0 6924 76 0 0 25 0 1 0 198611068 121257984 28693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 29604 28693 297 55 0 28496 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 118416

[startup+80.0532 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1602520/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=120264 CPUtime=80
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 29260 0 0 0 7923 77 0 0 25 0 1 0 198611068 123150336 29170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 30066 29170 297 55 0 28958 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 120264

[startup+90.0592 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1584408/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=138476 CPUtime=90.01
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 33789 0 0 0 8920 81 0 0 25 0 1 0 198611068 141799424 33698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 34619 33698 297 55 0 33511 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 138476

[startup+100.065 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1571032/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=151828 CPUtime=100.01
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 37123 0 0 0 9915 86 0 0 25 0 1 0 198611068 155471872 37032 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 37957 37032 297 55 0 36849 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 151828

[startup+110.072 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1562904/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=160012 CPUtime=110.01
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 39152 0 0 0 10913 88 0 0 25 0 1 0 198611068 163852288 39061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528671 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 40003 39061 297 55 0 38895 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 160012

[startup+120.078 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1559256/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=163592 CPUtime=120.01
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 40059 0 0 0 11912 89 0 0 25 0 1 0 198611068 167518208 39968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 40898 39968 297 55 0 39790 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 163592

[startup+130.084 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1557464/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=165440 CPUtime=130.02
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 40498 0 0 0 12912 90 0 0 25 0 1 0 198611068 169410560 40407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 41360 40407 297 55 0 40252 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 165440

[startup+140.09 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1554456/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=168344 CPUtime=140.02
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 41250 0 0 0 13911 91 0 0 25 0 1 0 198611068 172384256 41159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 42086 41159 297 55 0 40978 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 168344

[startup+150.096 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1551320/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=171524 CPUtime=150.02
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 42028 0 0 0 14910 92 0 0 25 0 1 0 198611068 175640576 41937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 42881 41937 297 55 0 41773 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 171524

[startup+160.102 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1542488/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=180372 CPUtime=160.02
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 44243 0 0 0 15907 95 0 0 25 0 1 0 198611068 184700928 44152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535002 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 45093 44152 297 55 0 43985 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 180372

[startup+170.108 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1530264/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=192700 CPUtime=170.03
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 47292 0 0 0 16905 98 0 0 25 0 1 0 198611068 197324800 47199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 48175 47199 297 55 0 47067 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 192700

[startup+180.114 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1528216/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=194680 CPUtime=180.03
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 47794 0 0 0 17904 99 0 0 25 0 1 0 198611068 199352320 47701 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 48670 47701 297 55 0 47562 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 194680

[startup+190.119 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1526680/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=196268 CPUtime=190.03
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 48174 0 0 0 18903 100 0 0 25 0 1 0 198611068 200978432 48081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 49067 48081 297 55 0 47959 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 196268

[startup+200.125 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1525080/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=197852 CPUtime=200.04
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 48582 0 0 0 19903 101 0 0 25 0 1 0 198611068 202600448 48489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 49463 48489 297 55 0 48355 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 197852

[startup+210.131 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5785
/proc/meminfo: memFree=1523544/2055920 swapFree=4180876/4192956

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

/proc/5785/statm: 139246 137917 297 55 0 138138 0
Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (Kb) 556984

[startup+1771.15 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1165784/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=557380 CPUtime=1770.52
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138175 0 0 0 176794 258 0 0 25 0 1 0 198611068 570757120 138032 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 139345 138032 297 55 0 138237 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 557380

[startup+1781.15 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1165208/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=558040 CPUtime=1780.52
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138327 0 0 0 177792 260 0 0 25 0 1 0 198611068 571432960 138184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 139510 138184 297 55 0 138402 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (Kb) 558040

[startup+1782.16 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1164824/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=558436 CPUtime=1781.52
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138422 0 0 0 177892 260 0 0 25 0 1 0 198611068 571838464 138279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 139609 138279 297 55 0 138501 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 558436

[startup+1783.16 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1164376/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=558832 CPUtime=1782.53
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138528 0 0 0 177993 260 0 0 25 0 1 0 198611068 572243968 138385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 139708 138385 297 55 0 138600 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 558832

[startup+1784.17 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1163928/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=559228 CPUtime=1783.53
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138646 0 0 0 178093 260 0 0 25 0 1 0 198611068 572649472 138503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 139807 138503 297 55 0 138699 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 559228

[startup+1785.17 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1163608/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=559624 CPUtime=1784.53
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138725 0 0 0 178193 260 0 0 25 0 1 0 198611068 573054976 138582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 139906 138582 297 55 0 138798 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 559624

[startup+1786.18 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1163224/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=559888 CPUtime=1785.54
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138812 0 0 0 178294 260 0 0 25 0 1 0 198611068 573325312 138669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 139972 138669 297 55 0 138864 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 559888

[startup+1787.18 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1162904/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=560284 CPUtime=1786.54
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138894 0 0 0 178394 260 0 0 25 0 1 0 198611068 573730816 138751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140071 138751 297 55 0 138963 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (Kb) 560284

[startup+1788.19 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1162584/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=560548 CPUtime=1787.55
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 138970 0 0 0 178495 260 0 0 25 0 1 0 198611068 574001152 138827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140137 138827 297 55 0 139029 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 560548

[startup+1789.19 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1162264/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=560940 CPUtime=1788.56
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139060 0 0 0 178595 261 0 0 25 0 1 0 198611068 574402560 138917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140235 138917 297 55 0 139127 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 560940

[startup+1790.2 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1161880/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=561336 CPUtime=1789.56
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139147 0 0 0 178695 261 0 0 25 0 1 0 198611068 574808064 139004 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140334 139004 297 55 0 139226 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 561336

[startup+1791.2 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1161560/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=561600 CPUtime=1790.57
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139229 0 0 0 178796 261 0 0 25 0 1 0 198611068 575078400 139086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140400 139086 297 55 0 139292 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 561600

[startup+1792.21 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1161240/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=561864 CPUtime=1791.57
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139309 0 0 0 178896 261 0 0 25 0 1 0 198611068 575348736 139166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140466 139166 297 55 0 139358 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 561864

[startup+1793.21 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1160920/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=562260 CPUtime=1792.57
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139387 0 0 0 178996 261 0 0 25 0 1 0 198611068 575754240 139244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140565 139244 297 55 0 139457 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 562260

[startup+1794.22 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1160600/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=562524 CPUtime=1793.57
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139465 0 0 0 179096 261 0 0 25 0 1 0 198611068 576024576 139322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140631 139322 297 55 0 139523 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 562524

[startup+1795.22 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1160280/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=562920 CPUtime=1794.58
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139545 0 0 0 179197 261 0 0 25 0 1 0 198611068 576430080 139402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140730 139402 297 55 0 139622 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 562920

[startup+1796.23 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1159960/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=563184 CPUtime=1795.59
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139623 0 0 0 179297 262 0 0 25 0 1 0 198611068 576700416 139480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140796 139480 297 55 0 139688 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 563184

[startup+1797.23 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1159640/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=563448 CPUtime=1796.59
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139701 0 0 0 179397 262 0 0 25 0 1 0 198611068 576970752 139558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140862 139558 297 55 0 139754 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 563448

[startup+1798.24 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1159384/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=563844 CPUtime=1797.6
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139777 0 0 0 179498 262 0 0 25 0 1 0 198611068 577376256 139634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 140961 139634 297 55 0 139853 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 563844

[startup+1799.24 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1159064/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=564108 CPUtime=1798.6
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139847 0 0 0 179598 262 0 0 25 0 1 0 198611068 577646592 139704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 141027 139704 297 55 0 139919 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 564108

[startup+1800.25 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 5787
/proc/meminfo: memFree=1158808/2055920 swapFree=4180876/4192956
[pid=5785] ppid=5783 vsize=564372 CPUtime=1799.6
/proc/5785/stat : 5785 (bsolo) R 5783 5785 5739 0 -1 0 139915 0 0 0 179698 262 0 0 25 0 1 0 198611068 577916928 139772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551610 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5785/statm: 141093 139772 297 55 0 139985 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 564372

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.1
CPU user time (s): 1797.38
CPU system time (s): 2.71559
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (Kb): 564372

Launcher Data (download as text)

Begin job on node59 on Sat Jun  3 10:10:28 UTC 2006


FILE ID= 39910-1149329428

PBS_JOBID= 309785

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-capri.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39910-1149329428/instance-39910-1149329428.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-39910-1149329428 -o ROOT/results/node59/solver-39910-1149329428 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39910-1149329428/instance-39910-1149329428.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  045a73dda564043a5f702f829082d89b

RANDOM SEED= 927780632


/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.272
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.272
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:       1718432 kB
Buffers:         16324 kB
Cached:         250708 kB
SwapCached:       3744 kB
Active:          41392 kB
Inactive:       234264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1718432 kB
SwapTotal:     4192956 kB
SwapFree:      4180876 kB
Dirty:             224 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            47832 kB
Committed_AS:   327572 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Sat Jun  3 10:40:29 UTC 2006