Trace number 40053

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.07 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
MD5SUM8e26f63addeab9c605a48fae9909490e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11.2703
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables107520
Total number of constraints3312
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 constraints3312
Minimum length of a constraint50
Maximum length of a constraint820
Number of terms in the objective function 41280
Biggest coefficient in the objective function 2704
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 560432
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261600
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 560432
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.10	c INFO: OSL Context initialized.
2.45	c Initial problem consists of 107520 variables and 4560 constraints.
2.82	c No problem reductions applied in OPT. instance.
2.82	c	preprocess terminated. Elapsed time: 2.721
2.82	c After prepocess the problem consists of 80089 variables and 4560 constraints.
2.82	c Initial Lower Bound: 0
5.05	c Restart #1 #Var: 80089 LB: 0 @ 4.954
9.92	c Restart #2 #Var: 80089 LB: 0 @ 9.824
17.14	c Restart #3 #Var: 80089 LB: 0 @ 17.04
25.83	c Restart #4 #Var: 80089 LB: 0 @ 25.729
37.91	c Restart #5 #Var: 80089 LB: 0 @ 37.806
51.05	c Restart #6 #Var: 80089 LB: 0 @ 50.935
64.68	c Restart #7 #Var: 80089 LB: 0 @ 64.558
74.65	c Restart #8 #Var: 80089 LB: 0 @ 74.527
84.03	c Restart #9 #Var: 80089 LB: 0 @ 83.888
87.20	c Restart #10 #Var: 80078 LB: 0 @ 87.064
88.44	c Restart #11 #Var: 80078 LB: 0 @ 88.3
89.54	c Restart #12 #Var: 80078 LB: 0 @ 89.401
90.64	c Restart #13 #Var: 80078 LB: 0 @ 90.495
92.55	c Restart #14 #Var: 80075 LB: 0 @ 92.403
92.98	c Restart #15 #Var: 80075 LB: 0 @ 92.834
93.87	c Restart #16 #Var: 80075 LB: 0 @ 93.727
94.80	c Restart #17 #Var: 80074 LB: 0 @ 94.657
95.94	c Restart #18 #Var: 80074 LB: 0 @ 95.8
99.68	c Restart #19 #Var: 80074 LB: 0 @ 99.534
101.10	c Restart #20 #Var: 80074 LB: 0 @ 100.95
103.08	c Restart #21 #Var: 80074 LB: 0 @ 102.94
105.03	c Restart #22 #Var: 80074 LB: 0 @ 104.88
115.02	c Restart #23 #Var: 80074 LB: 0 @ 114.87
116.21	c Restart #24 #Var: 80074 LB: 0 @ 116.06
121.35	c Restart #25 #Var: 80074 LB: 0 @ 121.2
128.50	c Restart #26 #Var: 80074 LB: 0 @ 128.35
132.65	c Restart #27 #Var: 80074 LB: 0 @ 132.49
137.74	c Restart #28 #Var: 80074 LB: 0 @ 137.58
146.74	c Restart #29 #Var: 80073 LB: 0 @ 146.57
149.61	c Restart #30 #Var: 80073 LB: 0 @ 149.44
165.40	c Restart #31 #Var: 80073 LB: 0 @ 165.23
172.70	c Restart #32 #Var: 80073 LB: 0 @ 172.52
186.98	c Restart #33 #Var: 80061 LB: 0 @ 186.79
191.19	c Restart #34 #Var: 80061 LB: 0 @ 191.01
201.82	c Restart #35 #Var: 80060 LB: 0 @ 201.63
212.26	c Restart #36 #Var: 80059 LB: 0 @ 212.07
246.84	c Restart #37 #Var: 80059 LB: 0 @ 246.64
255.40	c Restart #38 #Var: 80059 LB: 0 @ 255.19
265.27	c Restart #39 #Var: 80059 LB: 0 @ 265.05
285.26	c Restart #40 #Var: 80047 LB: 0 @ 285.03
320.28	c Restart #41 #Var: 80047 LB: 0 @ 320.04
357.20	c Restart #42 #Var: 80046 LB: 0 @ 356.93
382.19	c Restart #43 #Var: 80045 LB: 0 @ 381.91
384.65	c Restart #44 #Var: 80045 LB: 0 @ 384.37
404.51	c Restart #45 #Var: 80044 LB: 0 @ 404.22
425.57	c Restart #46 #Var: 80043 LB: 0 @ 425.27
462.24	c Restart #47 #Var: 80043 LB: 0 @ 461.92
484.60	c Restart #48 #Var: 80040 LB: 0 @ 484.27
497.73	c Restart #49 #Var: 80039 LB: 0 @ 497.39
565.67	c Restart #50 #Var: 80039 LB: 0 @ 565.29
599.55	c Restart #51 #Var: 80039 LB: 0 @ 599.15
633.56	c Restart #52 #Var: 80017 LB: 0 @ 633.13
656.96	c Restart #53 #Var: 80017 LB: 0 @ 656.53
676.82	c Restart #54 #Var: 80017 LB: 0 @ 676.37
717.61	c Restart #55 #Var: 80017 LB: 0 @ 717.14
814.93	c Restart #56 #Var: 80006 LB: 0 @ 814.39
934.16	c CHANGE Heuristic... 
934.16	c Restart #0 #Var: 80005 LB: 0 @ 933.55
935.01	c Restart #1 #Var: 79965 LB: 0 @ 934.41
937.99	c Restart #2 #Var: 79917 LB: 0 @ 937.39
941.72	c Restart #3 #Var: 79904 LB: 0 @ 941.12
948.68	c Restart #4 #Var: 79904 LB: 0 @ 948.07
954.96	c Restart #5 #Var: 79902 LB: 0 @ 954.34
962.81	c Restart #6 #Var: 79902 LB: 0 @ 962.19
970.49	c Restart #7 #Var: 79902 LB: 0 @ 969.86
982.20	c Restart #8 #Var: 79902 LB: 0 @ 981.56
988.85	c Restart #9 #Var: 79896 LB: 0 @ 988.21
991.32	c Restart #10 #Var: 79896 LB: 0 @ 990.67
1015.93	c Restart #11 #Var: 79896 LB: 0 @ 1015.3
1051.23	c Restart #12 #Var: 79896 LB: 0 @ 1050.5
1063.03	c Restart #13 #Var: 79895 LB: 0 @ 1062.3
1085.13	c Restart #14 #Var: 79895 LB: 0 @ 1084.4
1094.27	c Restart #15 #Var: 79890 LB: 0 @ 1093.6
1109.80	c Restart #16 #Var: 79890 LB: 0 @ 1109.1
1124.12	c Restart #17 #Var: 79887 LB: 0 @ 1123.4
1140.62	c Restart #18 #Var: 79881 LB: 0 @ 1139.9
1148.14	c Restart #19 #Var: 79881 LB: 0 @ 1147.4
1166.81	c Restart #20 #Var: 79881 LB: 0 @ 1166.1
1189.66	c Restart #21 #Var: 79881 LB: 0 @ 1188.9
1216.72	c Restart #22 #Var: 79881 LB: 0 @ 1215.9
1259.57	c Restart #23 #Var: 79880 LB: 0 @ 1258.8
1306.77	c Restart #24 #Var: 79880 LB: 0 @ 1305.9
1353.27	c Restart #25 #Var: 79880 LB: 0 @ 1352.4
1385.12	c Restart #26 #Var: 79877 LB: 0 @ 1384.2
1411.90	c Restart #27 #Var: 79877 LB: 0 @ 1411
1419.17	c Restart #28 #Var: 79877 LB: 0 @ 1418.3
1464.46	c Restart #29 #Var: 79877 LB: 0 @ 1463.5
1486.36	c Restart #30 #Var: 79877 LB: 0 @ 1485.4
1527.60	c Restart #31 #Var: 79877 LB: 0 @ 1526.6
1572.43	c Restart #32 #Var: 79876 LB: 0 @ 1571.4
1662.44	c Restart #33 #Var: 79874 LB: 0 @ 1661.4
1697.53	c Restart #34 #Var: 79874 LB: 0 @ 1696.5
1733.12	c Restart #35 #Var: 79874 LB: 0 @ 1732
1801.14	s UNKNOWN
1801.14	c Exit Code: 0
1801.14	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/node35/watcher-40053-1149363259 -o ROOT/results/node35/solver-40053-1149363259 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40053-1149363259/instance-40053-1149363259.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.96 1/64 9317
/proc/meminfo: memFree=1413056/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=4932 CPUtime=0
/proc/9317/stat : 9317 (bsolo) D 9315 9317 9271 0 -1 0 370 0 0 0 0 0 0 0 19 0 1 0 201989792 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0
/proc/9317/statm: 1233 331 227 55 0 125 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.97 0.96 2/64 9317
/proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134004 CPUtime=9.89
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115609 0 0 0 912 77 0 0 25 0 1 0 201989792 137220096 31710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 33501 31710 297 55 0 32393 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 134004

[startup+20.0088 s]
/proc/loadavg: 0.94 0.97 0.96 2/64 9317
/proc/meminfo: memFree=1287184/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134136 CPUtime=19.9
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115643 0 0 0 1852 138 0 0 25 0 1 0 201989792 137355264 31744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 33534 31744 297 55 0 32426 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 134136

[startup+30.015 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 9317
/proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134384 CPUtime=29.91
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115712 0 0 0 2796 195 0 0 25 0 1 0 201989792 137609216 31813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533955 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 33596 31813 297 55 0 32488 0
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 134384

[startup+40.0213 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 9317
/proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134384 CPUtime=39.9
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115712 0 0 0 3737 253 0 0 25 0 1 0 201989792 137609216 31813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 33596 31813 297 55 0 32488 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 134384

[startup+50.0275 s]
/proc/loadavg: 0.96 0.97 0.96 2/64 9317
/proc/meminfo: memFree=1287120/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134384 CPUtime=49.9
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115719 0 0 0 4682 308 0 0 25 0 1 0 201989792 137609216 31820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 33596 31820 297 55 0 32488 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 134384

[startup+60.0337 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 9317
/proc/meminfo: memFree=1287056/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134516 CPUtime=59.91
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115738 0 0 0 5633 358 0 0 25 0 1 0 201989792 137744384 31839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 33629 31839 297 55 0 32521 0
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 134516

[startup+70.0399 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1286864/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134492 CPUtime=69.91
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115738 0 0 0 6581 410 0 0 25 0 1 0 201989792 137719808 31839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9317/statm: 33623 31839 297 55 0 32515 0
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 134492

[startup+80.0471 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1286800/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=134624 CPUtime=79.9
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 115768 0 0 0 7559 431 0 0 25 0 1 0 201989792 137854976 31869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540569 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 33656 31869 297 55 0 32548 0
Current children cumulated CPU time (s) 79.9
Current children cumulated vsize (Kb) 134624

[startup+90.0543 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1280464/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=141088 CPUtime=89.91
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 117379 0 0 0 8552 439 0 0 25 0 1 0 201989792 144474112 33480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 35272 33480 297 55 0 34164 0
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 141088

[startup+100.061 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1261840/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=159656 CPUtime=99.91
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 122026 0 0 0 9543 448 0 0 25 0 1 0 201989792 163487744 38127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 39914 38127 297 55 0 38806 0
Current children cumulated CPU time (s) 99.91
Current children cumulated vsize (Kb) 159656

[startup+110.068 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1248336/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=173124 CPUtime=109.91
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 125404 0 0 0 10537 454 0 0 25 0 1 0 201989792 177278976 41505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 43281 41505 297 55 0 42173 0
Current children cumulated CPU time (s) 109.91
Current children cumulated vsize (Kb) 173124

[startup+120.074 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1241104/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=180384 CPUtime=119.92
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 127206 0 0 0 11534 458 0 0 25 0 1 0 201989792 184713216 43307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548420 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 45096 43307 297 55 0 43988 0
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 180384

[startup+130.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1232464/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=188968 CPUtime=129.91
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 129360 0 0 0 12530 461 0 0 25 0 1 0 201989792 193503232 45461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 47242 45461 297 55 0 46134 0
Current children cumulated CPU time (s) 129.91
Current children cumulated vsize (Kb) 188968

[startup+140.087 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1223312/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=198076 CPUtime=139.92
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 131648 0 0 0 13526 466 0 0 25 0 1 0 201989792 202829824 47749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533895 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 49519 47749 297 55 0 48411 0
Current children cumulated CPU time (s) 139.92
Current children cumulated vsize (Kb) 198076

[startup+150.094 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1216208/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=205276 CPUtime=149.92
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 133426 0 0 0 14523 469 0 0 25 0 1 0 201989792 210202624 49527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718661 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 51319 49527 297 55 0 50211 0
Current children cumulated CPU time (s) 149.92
Current children cumulated vsize (Kb) 205276

[startup+160.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1211344/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=210028 CPUtime=159.92
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 134628 0 0 0 15521 471 0 0 25 0 1 0 201989792 215068672 50729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718311 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 52507 50729 297 55 0 51399 0
Current children cumulated CPU time (s) 159.92
Current children cumulated vsize (Kb) 210028

[startup+170.106 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1206160/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=215176 CPUtime=169.92
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 135926 0 0 0 16518 474 0 0 25 0 1 0 201989792 220340224 52027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718145 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 53794 52027 297 55 0 52686 0
Current children cumulated CPU time (s) 169.92
Current children cumulated vsize (Kb) 215176

[startup+180.112 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1201488/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=219932 CPUtime=179.92
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 137086 0 0 0 17516 476 0 0 25 0 1 0 201989792 225210368 53187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 54983 53187 297 55 0 53875 0
Current children cumulated CPU time (s) 179.92
Current children cumulated vsize (Kb) 219932

[startup+190.118 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1194384/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=227064 CPUtime=189.93
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 138872 0 0 0 18512 481 0 0 25 0 1 0 201989792 232513536 54973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 56766 54974 297 55 0 55658 0
Current children cumulated CPU time (s) 189.93
Current children cumulated vsize (Kb) 227064

[startup+200.125 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1187728/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=233668 CPUtime=199.92
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 140531 0 0 0 19510 482 0 0 25 0 1 0 201989792 239276032 56632 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632790 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 58417 56632 297 55 0 57309 0
Current children cumulated CPU time (s) 199.92
Current children cumulated vsize (Kb) 233668

[startup+210.132 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9319
/proc/meminfo: memFree=1181392/2055920 swapFree=4180888/4192956

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

/proc/9317/statm: 121225 119339 297 55 0 120117 0
Current children cumulated CPU time (s) 1760.04
Current children cumulated vsize (Kb) 484900

[startup+1771.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=935440/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=485692 CPUtime=1770.04
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204109 0 0 0 176372 632 0 0 25 0 1 0 201989792 497348608 119521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121423 119521 297 55 0 120315 0
Current children cumulated CPU time (s) 1770.04
Current children cumulated vsize (Kb) 485692

[startup+1781.17 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934928/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486216 CPUtime=1780.04
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204239 0 0 0 177371 633 0 0 25 0 1 0 201989792 497885184 119651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121554 119651 297 55 0 120446 0
Current children cumulated CPU time (s) 1780.04
Current children cumulated vsize (Kb) 486216

[startup+1782.17 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934928/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486216 CPUtime=1781.05
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204245 0 0 0 177472 633 0 0 25 0 1 0 201989792 497885184 119657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121554 119657 297 55 0 120446 0
Current children cumulated CPU time (s) 1781.05
Current children cumulated vsize (Kb) 486216

[startup+1783.18 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934864/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486348 CPUtime=1782.05
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204264 0 0 0 177572 633 0 0 25 0 1 0 201989792 498020352 119676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121587 119676 297 55 0 120479 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (Kb) 486348

[startup+1784.18 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934800/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486348 CPUtime=1783.05
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204266 0 0 0 177672 633 0 0 25 0 1 0 201989792 498020352 119678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121587 119678 297 55 0 120479 0
Current children cumulated CPU time (s) 1783.05
Current children cumulated vsize (Kb) 486348

[startup+1785.19 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934736/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486348 CPUtime=1784.06
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204283 0 0 0 177773 633 0 0 25 0 1 0 201989792 498020352 119695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121587 119695 297 55 0 120479 0
Current children cumulated CPU time (s) 1784.06
Current children cumulated vsize (Kb) 486348

[startup+1786.19 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934736/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486480 CPUtime=1785.06
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204297 0 0 0 177873 633 0 0 25 0 1 0 201989792 498155520 119709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524443 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121620 119709 297 55 0 120512 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (Kb) 486480

[startup+1787.2 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934672/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486480 CPUtime=1786.07
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204301 0 0 0 177974 633 0 0 25 0 1 0 201989792 498155520 119713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121620 119713 297 55 0 120512 0
Current children cumulated CPU time (s) 1786.07
Current children cumulated vsize (Kb) 486480

[startup+1788.2 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934672/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486480 CPUtime=1787.07
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204305 0 0 0 178074 633 0 0 25 0 1 0 201989792 498155520 119717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121620 119717 297 55 0 120512 0
Current children cumulated CPU time (s) 1787.07
Current children cumulated vsize (Kb) 486480

[startup+1789.21 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934608/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486480 CPUtime=1788.07
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204324 0 0 0 178174 633 0 0 25 0 1 0 201989792 498155520 119736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121620 119736 297 55 0 120512 0
Current children cumulated CPU time (s) 1788.07
Current children cumulated vsize (Kb) 486480

[startup+1790.21 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934544/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486612 CPUtime=1789.07
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204339 0 0 0 178274 633 0 0 25 0 1 0 201989792 498290688 119751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121653 119751 297 55 0 120545 0
Current children cumulated CPU time (s) 1789.07
Current children cumulated vsize (Kb) 486612

[startup+1791.22 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934480/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486612 CPUtime=1790.08
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204352 0 0 0 178375 633 0 0 25 0 1 0 201989792 498290688 119764 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121653 119764 297 55 0 120545 0
Current children cumulated CPU time (s) 1790.08
Current children cumulated vsize (Kb) 486612

[startup+1792.23 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934416/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486744 CPUtime=1791.08
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204366 0 0 0 178475 633 0 0 25 0 1 0 201989792 498425856 119778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121686 119778 297 55 0 120578 0
Current children cumulated CPU time (s) 1791.08
Current children cumulated vsize (Kb) 486744

[startup+1793.23 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934416/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486744 CPUtime=1792.09
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204377 0 0 0 178576 633 0 0 25 0 1 0 201989792 498425856 119789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121686 119789 297 55 0 120578 0
Current children cumulated CPU time (s) 1792.09
Current children cumulated vsize (Kb) 486744

[startup+1794.24 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934352/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486744 CPUtime=1793.09
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204388 0 0 0 178676 633 0 0 25 0 1 0 201989792 498425856 119800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121686 119800 297 55 0 120578 0
Current children cumulated CPU time (s) 1793.09
Current children cumulated vsize (Kb) 486744

[startup+1795.24 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934288/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486876 CPUtime=1794.1
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204398 0 0 0 178777 633 0 0 25 0 1 0 201989792 498561024 119810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121719 119810 297 55 0 120611 0
Current children cumulated CPU time (s) 1794.1
Current children cumulated vsize (Kb) 486876

[startup+1796.25 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934224/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=486876 CPUtime=1795.1
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204411 0 0 0 178877 633 0 0 25 0 1 0 201989792 498561024 119823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121719 119823 297 55 0 120611 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (Kb) 486876

[startup+1797.25 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934160/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=487008 CPUtime=1796.11
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204429 0 0 0 178978 633 0 0 25 0 1 0 201989792 498696192 119841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121752 119841 297 55 0 120644 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (Kb) 487008

[startup+1798.26 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934096/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=487008 CPUtime=1797.11
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204442 0 0 0 179078 633 0 0 25 0 1 0 201989792 498696192 119854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121752 119854 297 55 0 120644 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (Kb) 487008

[startup+1799.26 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=934032/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=487144 CPUtime=1798.12
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204466 0 0 0 179179 633 0 0 25 0 1 0 201989792 498835456 119878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548427 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121786 119878 297 55 0 120678 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (Kb) 487144

[startup+1800.27 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 9514
/proc/meminfo: memFree=933968/2055920 swapFree=4180888/4192956
[pid=9317] ppid=9315 vsize=487144 CPUtime=1799.12
/proc/9317/stat : 9317 (bsolo) R 9315 9317 9271 0 -1 0 204481 0 0 0 179279 633 0 0 25 0 1 0 201989792 498835456 119893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9317/statm: 121786 119893 297 55 0 120678 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (Kb) 487144

Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.07
CPU user time (s): 1793.66
CPU system time (s): 6.41002
CPU usage (%): 99.9367
Max. virtual memory (cumulated for all children) (Kb): 487144

Launcher Data (download as text)

Begin job on node35 on Sat Jun  3 19:34:19 UTC 2006


FILE ID= 40053-1149363259

PBS_JOBID= 311640

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40053-1149363259/instance-40053-1149363259.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-40053-1149363259 -o ROOT/results/node35/solver-40053-1149363259 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/40053-1149363259/instance-40053-1149363259.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8e26f63addeab9c605a48fae9909490e

RANDOM SEED= 94642287


/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.210
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.210
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:       1413200 kB
Buffers:         32212 kB
Cached:         541712 kB
SwapCached:       3872 kB
Active:         112264 kB
Inactive:       470436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1413200 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            46052 kB
Committed_AS:   392276 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Sat Jun  3 20:04:20 UTC 2006