Trace number 39921

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/05UNSAT 946.165 946.51

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-czprob.opb
MD5SUMc15e03ab07153a4c6592115aff440072
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 benchmark20.6829
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables98820
Total number of constraints927
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 constraints927
Minimum length of a constraint30
Maximum length of a constraint11190
Number of terms in the objective function 98250
Biggest coefficient in the objective function 259
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 608626
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 608626
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.
5.46	c Initial problem consists of 98820 variables and 1777 constraints.
5.73	c No problem reductions applied in OPT. instance.
5.73	c	preprocess terminated. Elapsed time: 5.715
5.73	c After prepocess the problem consists of 47135 variables and 1727 constraints.
5.73	c Initial Lower Bound: -22204
5.83	c Restart #1 #Var: 47135 LB: -22204 @ 5.811
6.00	c Restart #2 #Var: 47135 LB: -22204 @ 5.987
6.25	c Restart #3 #Var: 47135 LB: -22204 @ 6.23
6.58	c Restart #4 #Var: 47135 LB: -22204 @ 6.56
7.02	c Restart #5 #Var: 47135 LB: -22204 @ 7.002
7.54	c Restart #6 #Var: 47135 LB: -22204 @ 7.524
8.31	c Restart #7 #Var: 47135 LB: -22204 @ 8.293
9.09	c Restart #8 #Var: 47135 LB: -22204 @ 9.073
9.95	c Restart #9 #Var: 47135 LB: -22204 @ 9.927
11.33	c Restart #10 #Var: 47135 LB: -22204 @ 11.305
12.86	c Restart #11 #Var: 47135 LB: -22204 @ 12.839
14.64	c Restart #12 #Var: 47135 LB: -22204 @ 14.621
16.44	c Restart #13 #Var: 47135 LB: -22204 @ 16.414
18.42	c Restart #14 #Var: 47135 LB: -22204 @ 18.396
20.43	c Restart #15 #Var: 47135 LB: -22204 @ 20.401
22.68	c Restart #16 #Var: 47135 LB: -22204 @ 22.654
25.09	c Restart #17 #Var: 47135 LB: -22204 @ 25.061
27.91	c Restart #18 #Var: 47135 LB: -22204 @ 27.881
31.40	c Restart #19 #Var: 47135 LB: -22204 @ 31.374
34.25	c Restart #20 #Var: 47135 LB: -22204 @ 34.217
37.28	c Restart #21 #Var: 47135 LB: -22204 @ 37.254
40.93	c Restart #22 #Var: 47135 LB: -22204 @ 40.899
44.15	c Restart #23 #Var: 47135 LB: -22204 @ 44.118
47.95	c Restart #24 #Var: 47135 LB: -22204 @ 47.916
52.42	c Restart #25 #Var: 47135 LB: -22204 @ 52.383
56.85	c Restart #26 #Var: 47135 LB: -22204 @ 56.815
62.46	c Restart #27 #Var: 47135 LB: -22204 @ 62.428
73.66	c Restart #28 #Var: 47135 LB: -22204 @ 73.625
79.92	c Restart #29 #Var: 47135 LB: -22204 @ 79.881
87.36	c Restart #30 #Var: 47135 LB: -22204 @ 87.322
91.79	c Restart #31 #Var: 47135 LB: -22204 @ 91.745
100.92	c Restart #32 #Var: 47135 LB: -22204 @ 100.87
106.24	c Restart #33 #Var: 47135 LB: -22204 @ 106.19
112.82	c Restart #34 #Var: 47135 LB: -22204 @ 112.77
119.25	c Restart #35 #Var: 47135 LB: -22204 @ 119.2
126.67	c Restart #36 #Var: 47135 LB: -22204 @ 126.62
132.18	c Restart #37 #Var: 47135 LB: -22204 @ 132.12
142.16	c Restart #38 #Var: 47135 LB: -22204 @ 142.1
148.29	c Restart #39 #Var: 47135 LB: -22204 @ 148.23
156.92	c Restart #40 #Var: 47135 LB: -22204 @ 156.86
162.89	c Restart #41 #Var: 47135 LB: -22204 @ 162.83
177.16	c Restart #42 #Var: 47135 LB: -22204 @ 177.09
191.31	c Restart #43 #Var: 47135 LB: -22204 @ 191.24
205.76	c Restart #44 #Var: 47135 LB: -22204 @ 205.68
223.37	c Restart #45 #Var: 47135 LB: -22204 @ 223.29
233.61	c Restart #46 #Var: 47135 LB: -22204 @ 233.52
247.77	c Restart #47 #Var: 47135 LB: -22204 @ 247.69
262.95	c Restart #48 #Var: 47135 LB: -22204 @ 262.86
277.76	c Restart #49 #Var: 47135 LB: -22204 @ 277.66
291.06	c Restart #50 #Var: 47135 LB: -22204 @ 290.96
305.80	c Restart #51 #Var: 47135 LB: -22204 @ 305.7
315.90	c Restart #52 #Var: 47135 LB: -22204 @ 315.79
343.32	c Restart #53 #Var: 47135 LB: -22204 @ 343.21
352.68	c Restart #54 #Var: 47135 LB: -22204 @ 352.56
379.78	c Restart #55 #Var: 47135 LB: -22204 @ 379.65
399.28	c Restart #56 #Var: 47135 LB: -22204 @ 399.15
415.91	c Restart #57 #Var: 47135 LB: -22204 @ 415.78
450.96	c Restart #58 #Var: 47135 LB: -22204 @ 450.82
494.70	c Restart #59 #Var: 47135 LB: -22204 @ 494.55
525.10	c Restart #60 #Var: 47135 LB: -22204 @ 524.94
556.65	c Restart #61 #Var: 47135 LB: -22204 @ 556.48
587.32	c Restart #62 #Var: 47135 LB: -22204 @ 587.14
641.26	c Restart #63 #Var: 47135 LB: -22204 @ 641.07
663.67	c Restart #64 #Var: 47135 LB: -22204 @ 663.48
691.68	c Restart #65 #Var: 47135 LB: -22204 @ 691.47
761.76	c Restart #66 #Var: 47135 LB: -22204 @ 761.54
815.47	c Restart #67 #Var: 47135 LB: -22204 @ 815.23
870.66	c Restart #68 #Var: 47135 LB: -22204 @ 870.4
899.79	c Restart #69 #Var: 47135 LB: -22204 @ 899.52
937.54	c CHANGE Heuristic... 
937.54	c Restart #0 #Var: 47135 LB: -22204 @ 937.2
937.86	c Restart #1 #Var: 47135 LB: -22204 @ 937.52
938.26	c Restart #2 #Var: 47135 LB: -22204 @ 937.92
939.07	c Restart #3 #Var: 47132 LB: -22203 @ 938.74
941.02	c Restart #4 #Var: 47132 LB: -22203 @ 940.68
942.61	c Restart #5 #Var: 47132 LB: -22203 @ 942.27
944.26	c Restart #6 #Var: 47120 LB: -22202 @ 943.92
946.43	s UNSATISFIABLE
946.43	c Exit Code: 20
946.43	c Total time: 946.09 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/node11/watcher-39921-1149331565 -o ROOT/results/node11/solver-39921-1149331565 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/39921-1149331565/instance-39921-1149331565.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1642144/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=4616 CPUtime=0
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 191 0 0 0 0 0 0 0 18 0 1 0 198819066 4726784 161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9352724 0 0 4096 0 0 0 0 17 1 0 0
/proc/5303/statm: 1154 170 128 55 0 46 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1520992/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=131104 CPUtime=9.97
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 34772 0 0 0 979 18 0 0 25 0 1 0 198819066 134250496 30541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 32776 30541 297 55 0 31668 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 131104

[startup+20.0084 s]
/proc/loadavg: 0.94 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1511272/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=140876 CPUtime=19.97
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 37217 0 0 0 1973 24 0 0 25 0 1 0 198819066 144257024 32986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 35219 32986 297 55 0 34111 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 140876

[startup+30.0146 s]
/proc/loadavg: 0.95 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1502184/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=149988 CPUtime=29.97
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 39507 0 0 0 2969 28 0 0 25 0 1 0 198819066 153587712 35276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 37497 35276 297 55 0 36389 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 149988

[startup+40.0208 s]
/proc/loadavg: 0.95 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1493352/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=158836 CPUtime=39.98
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 41705 0 0 0 3965 33 0 0 25 0 1 0 198819066 162648064 37474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 39709 37474 297 55 0 38601 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 158836

[startup+50.0279 s]
/proc/loadavg: 0.96 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1484456/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=167816 CPUtime=49.98
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 43937 0 0 0 4962 36 0 0 25 0 1 0 198819066 171843584 39706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 41954 39706 297 55 0 40846 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 167816

[startup+60.0331 s]
/proc/loadavg: 0.97 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1477096/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=175092 CPUtime=59.98
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 45778 0 0 0 5959 39 0 0 25 0 1 0 198819066 179294208 41547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 43773 41547 297 55 0 42665 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 175092

[startup+70.0393 s]
/proc/loadavg: 0.97 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1473064/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=179188 CPUtime=69.99
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 46775 0 0 0 6958 41 0 0 25 0 1 0 198819066 183488512 42544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 44797 42544 297 55 0 43689 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 179188

[startup+80.0455 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1467816/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=184336 CPUtime=80
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 48076 0 0 0 7955 45 0 0 25 0 1 0 198819066 188760064 43845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 46084 43845 297 55 0 44976 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 184336

[startup+90.0517 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1461416/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=190832 CPUtime=90
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 49687 0 0 0 8951 49 0 0 25 0 1 0 198819066 195411968 45456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 47708 45456 297 55 0 46600 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 190832

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1455976/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=196272 CPUtime=100
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 51044 0 0 0 9949 51 0 0 25 0 1 0 198819066 200982528 46813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542170 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 49068 46813 297 55 0 47960 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 196272

[startup+110.065 s]
/proc/loadavg: 0.98 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1447976/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=204364 CPUtime=110.01
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 53038 0 0 0 10946 55 0 0 25 0 1 0 198819066 209268736 48806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 51091 48806 297 55 0 49983 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 204364

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1441320/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=211104 CPUtime=120.01
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 54705 0 0 0 11942 59 0 0 25 0 1 0 198819066 216170496 50473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 52776 50473 297 55 0 51668 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 211104

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1434088/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=218272 CPUtime=130.01
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 56512 0 0 0 12936 65 0 0 25 0 1 0 198819066 223510528 52277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 54568 52277 297 55 0 53460 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 218272

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1428392/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=223968 CPUtime=140.01
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 57920 0 0 0 13933 68 0 0 25 0 1 0 198819066 229343232 53685 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 55992 53685 297 55 0 54884 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 223968

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1420392/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=232020 CPUtime=150.02
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 59927 0 0 0 14929 73 0 0 25 0 1 0 198819066 237588480 55692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 58005 55692 297 55 0 56897 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 232020

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1413288/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=239164 CPUtime=160.03
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 61697 0 0 0 15927 76 0 0 25 0 1 0 198819066 244903936 57462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 59791 57462 297 55 0 58683 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 239164

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1408232/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=244176 CPUtime=170.02
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 62947 0 0 0 16924 78 0 0 25 0 1 0 198819066 250036224 58712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 61044 58712 297 55 0 59936 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 244176

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1404008/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=248428 CPUtime=180.03
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 64009 0 0 0 17921 82 0 0 25 0 1 0 198819066 254390272 59772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 62107 59772 297 55 0 60999 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 248428

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1399784/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=252784 CPUtime=190.04
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 65065 0 0 0 18920 84 0 0 25 0 1 0 198819066 258850816 60826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 63196 60826 297 55 0 62088 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 252784

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1395624/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=256904 CPUtime=200.04
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 66094 0 0 0 19918 86 0 0 25 0 1 0 198819066 263069696 61854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 64226 61854 297 55 0 63118 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 256904

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1392040/2055920 swapFree=4181380/4192956

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

/proc/5303/statm: 108217 105426 297 55 0 107109 0
Current children cumulated CPU time (s) 730.22
Current children cumulated vsize (Kb) 432868

[startup+740.458 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1219688/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=433924 CPUtime=740.23
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 110015 0 0 0 73840 183 0 0 25 0 1 0 198819066 444338176 105707 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 108481 105707 297 55 0 107373 0
Current children cumulated CPU time (s) 740.23
Current children cumulated vsize (Kb) 433924

[startup+750.465 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1218408/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=435336 CPUtime=750.23
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 110345 0 0 0 74839 184 0 0 25 0 1 0 198819066 445784064 106033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 108834 106033 297 55 0 107726 0
Current children cumulated CPU time (s) 750.23
Current children cumulated vsize (Kb) 435336

[startup+760.471 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1217128/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=436556 CPUtime=760.23
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 110658 0 0 0 75838 185 0 0 25 0 1 0 198819066 447033344 106344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 109139 106344 297 55 0 108031 0
Current children cumulated CPU time (s) 760.23
Current children cumulated vsize (Kb) 436556

[startup+770.477 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1216168/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=437704 CPUtime=770.24
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 110903 0 0 0 76838 186 0 0 25 0 1 0 198819066 448208896 106583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 109426 106583 297 55 0 108318 0
Current children cumulated CPU time (s) 770.24
Current children cumulated vsize (Kb) 437704

[startup+780.483 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1213672/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=440212 CPUtime=780.25
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 111529 0 0 0 77837 188 0 0 25 0 1 0 198819066 450777088 107209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 110053 107209 297 55 0 108945 0
Current children cumulated CPU time (s) 780.25
Current children cumulated vsize (Kb) 440212

[startup+790.489 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1212008/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=441796 CPUtime=790.25
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 111938 0 0 0 78836 189 0 0 25 0 1 0 198819066 452399104 107618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 110449 107618 297 55 0 109341 0
Current children cumulated CPU time (s) 790.25
Current children cumulated vsize (Kb) 441796

[startup+800.495 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1210792/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=442984 CPUtime=800.25
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 112236 0 0 0 79836 189 0 0 25 0 1 0 198819066 453615616 107915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 110746 107915 297 55 0 109638 0
Current children cumulated CPU time (s) 800.25
Current children cumulated vsize (Kb) 442984

[startup+810.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1208616/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=445228 CPUtime=810.25
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 112803 0 0 0 80835 190 0 0 25 0 1 0 198819066 455913472 108482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 111307 108482 297 55 0 110199 0
Current children cumulated CPU time (s) 810.25
Current children cumulated vsize (Kb) 445228

[startup+820.508 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1205864/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=447868 CPUtime=820.26
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 113484 0 0 0 81834 192 0 0 25 0 1 0 198819066 458616832 109163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 111967 109163 297 55 0 110859 0
Current children cumulated CPU time (s) 820.26
Current children cumulated vsize (Kb) 447868

[startup+830.514 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1202664/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=451036 CPUtime=830.26
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 114271 0 0 0 82833 193 0 0 25 0 1 0 198819066 461860864 109950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 112759 109950 297 55 0 111651 0
Current children cumulated CPU time (s) 830.26
Current children cumulated vsize (Kb) 451036

[startup+840.52 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1201512/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=452224 CPUtime=840.26
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 114560 0 0 0 83832 194 0 0 25 0 1 0 198819066 463077376 110239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 113056 110239 297 55 0 111948 0
Current children cumulated CPU time (s) 840.26
Current children cumulated vsize (Kb) 452224

[startup+850.526 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1200168/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=453544 CPUtime=850.27
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 114898 0 0 0 84832 195 0 0 25 0 1 0 198819066 464429056 110577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 113386 110577 297 55 0 112278 0
Current children cumulated CPU time (s) 850.27
Current children cumulated vsize (Kb) 453544

[startup+860.533 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1199080/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=454600 CPUtime=860.27
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 115168 0 0 0 85831 196 0 0 25 0 1 0 198819066 465510400 110847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 113650 110847 297 55 0 112542 0
Current children cumulated CPU time (s) 860.27
Current children cumulated vsize (Kb) 454600

[startup+870.539 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1197928/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=455788 CPUtime=870.27
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 115445 0 0 0 86830 197 0 0 25 0 1 0 198819066 466726912 111124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 113947 111124 297 55 0 112839 0
Current children cumulated CPU time (s) 870.27
Current children cumulated vsize (Kb) 455788

[startup+880.545 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1195304/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=458296 CPUtime=880.28
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 116099 0 0 0 87829 199 0 0 25 0 1 0 198819066 469295104 111778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 114574 111778 297 55 0 113466 0
Current children cumulated CPU time (s) 880.28
Current children cumulated vsize (Kb) 458296

[startup+890.551 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5303
/proc/meminfo: memFree=1192360/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=461200 CPUtime=890.28
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 116840 0 0 0 88827 201 0 0 25 0 1 0 198819066 472268800 112519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 115300 112519 297 55 0 114192 0
Current children cumulated CPU time (s) 890.28
Current children cumulated vsize (Kb) 461200

[startup+900.557 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 5358
/proc/meminfo: memFree=1185976/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=466388 CPUtime=900.28
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 118138 0 0 0 89821 207 0 0 25 0 1 0 198819066 477581312 113816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 116597 113816 297 55 0 115489 0
Current children cumulated CPU time (s) 900.28
Current children cumulated vsize (Kb) 466388

[startup+910.565 s]
/proc/loadavg: 0.99 0.97 0.98 2/70 5402
/proc/meminfo: memFree=1182576/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=469788 CPUtime=910.26
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 118954 0 0 0 90818 208 0 0 25 0 1 0 198819066 481062912 114628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 117447 114628 297 55 0 116339 0
Current children cumulated CPU time (s) 910.26
Current children cumulated vsize (Kb) 469788

[startup+920.572 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5498
/proc/meminfo: memFree=1180504/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=472848 CPUtime=920.23
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 119709 0 0 0 91813 210 0 0 25 0 1 0 198819066 484196352 115381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 118212 115381 297 55 0 117104 0
Current children cumulated CPU time (s) 920.23
Current children cumulated vsize (Kb) 472848

[startup+930.579 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5498
/proc/meminfo: memFree=1178208/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=475300 CPUtime=930.23
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 120332 0 0 0 92812 211 0 0 25 0 1 0 198819066 486707200 116001 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 118825 116001 297 55 0 117717 0
Current children cumulated CPU time (s) 930.23
Current children cumulated vsize (Kb) 475300

[startup+940.585 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 5498
/proc/meminfo: memFree=1174312/2055920 swapFree=4181380/4192956
[pid=5303] ppid=5301 vsize=479084 CPUtime=940.23
/proc/5303/stat : 5303 (bsolo) R 5301 5303 5257 0 -1 0 121845 0 0 0 93808 215 0 0 25 0 1 0 198819066 490582016 116934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5303/statm: 119771 116934 297 55 0 118663 0
Current children cumulated CPU time (s) 940.23
Current children cumulated vsize (Kb) 479084

Child status: 20
Real time (s): 946.51
CPU time (s): 946.165
CPU user time (s): 943.864
CPU system time (s): 2.30165
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (Kb): 479084

Launcher Data (download as text)

Begin job on node11 on Sat Jun  3 10:46:05 UTC 2006


FILE ID= 39921-1149331565

PBS_JOBID= 309925

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-czprob.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/39921-1149331565/instance-39921-1149331565.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-39921-1149331565 -o ROOT/results/node11/solver-39921-1149331565 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/39921-1149331565/instance-39921-1149331565.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c15e03ab07153a4c6592115aff440072

RANDOM SEED= 136417649


/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.222
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	: 5931.00
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.222
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:       1642416 kB
Buffers:         17860 kB
Cached:         327652 kB
SwapCached:       3260 kB
Active:          48096 kB
Inactive:       306112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1642416 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            45332 kB
Committed_AS:   371096 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node11 on Sat Jun  3 11:01:52 UTC 2006