Trace number 39578

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 NameAnswerCPU timeWall clock time
bsolo 2006/05? 1800.06 1800.78

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
MD5SUM8170439ba832b251137a16b29cd20ba3
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark101.42
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 801
Number of bits of the biggest sum of numbers10
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.06	c Initial problem consists of 231 variables and 2707 constraints.
0.07	c Using non-optimization problem switches.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.069
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.105
0.22	c Restart #2 #Var: 231 LB: 0 @ 0.214
0.38	c Restart #3 #Var: 231 LB: 0 @ 0.38
0.58	c Restart #4 #Var: 231 LB: 0 @ 0.575
0.86	c Restart #5 #Var: 231 LB: 0 @ 0.85
1.14	c Restart #6 #Var: 231 LB: 0 @ 1.13
1.40	c Restart #7 #Var: 231 LB: 0 @ 1.39
1.78	c Restart #8 #Var: 231 LB: 0 @ 1.77
2.21	c Restart #9 #Var: 231 LB: 0 @ 2.206
2.77	c Restart #10 #Var: 231 LB: 0 @ 2.764
3.48	c Restart #11 #Var: 231 LB: 0 @ 3.469
4.24	c Restart #12 #Var: 231 LB: 0 @ 4.234
5.20	c Restart #13 #Var: 231 LB: 0 @ 5.186
6.30	c Restart #14 #Var: 231 LB: 0 @ 6.291
7.51	c Restart #15 #Var: 231 LB: 0 @ 7.497
9.37	c Restart #16 #Var: 231 LB: 0 @ 9.359
11.48	c Restart #17 #Var: 231 LB: 0 @ 11.472
13.60	c Restart #18 #Var: 231 LB: 0 @ 13.585
15.70	c Restart #19 #Var: 231 LB: 0 @ 15.683
18.20	c Restart #20 #Var: 231 LB: 0 @ 18.191
21.32	c Restart #21 #Var: 231 LB: 0 @ 21.308
24.53	c Restart #22 #Var: 231 LB: 0 @ 24.514
28.03	c Restart #23 #Var: 231 LB: 0 @ 28.018
32.02	c Restart #24 #Var: 231 LB: 0 @ 32.004
36.90	c Restart #25 #Var: 231 LB: 0 @ 36.881
41.91	c Restart #26 #Var: 231 LB: 0 @ 41.892
48.18	c Restart #27 #Var: 231 LB: 0 @ 48.155
54.43	c Restart #28 #Var: 231 LB: 0 @ 54.405
61.03	c Restart #29 #Var: 231 LB: 0 @ 61.001
68.94	c Restart #30 #Var: 231 LB: 0 @ 68.918
77.87	c Restart #31 #Var: 231 LB: 0 @ 77.84
86.07	c Restart #32 #Var: 231 LB: 0 @ 86.034
94.39	c Restart #33 #Var: 231 LB: 0 @ 94.353
102.91	c Restart #34 #Var: 231 LB: 0 @ 102.88
113.25	c Restart #35 #Var: 231 LB: 0 @ 113.21
124.32	c Restart #36 #Var: 231 LB: 0 @ 124.28
134.74	c Restart #37 #Var: 231 LB: 0 @ 134.7
149.84	c Restart #38 #Var: 231 LB: 0 @ 149.79
164.80	c Restart #39 #Var: 231 LB: 0 @ 164.75
176.55	c Restart #40 #Var: 231 LB: 0 @ 176.5
195.42	c Restart #41 #Var: 231 LB: 0 @ 195.36
211.82	c Restart #42 #Var: 231 LB: 0 @ 211.75
230.65	c Restart #43 #Var: 231 LB: 0 @ 230.58
250.84	c Restart #44 #Var: 231 LB: 0 @ 250.77
271.93	c Restart #45 #Var: 231 LB: 0 @ 271.85
294.48	c Restart #46 #Var: 231 LB: 0 @ 294.39
320.67	c Restart #47 #Var: 231 LB: 0 @ 320.57
342.88	c Restart #48 #Var: 231 LB: 0 @ 342.78
365.51	c Restart #49 #Var: 231 LB: 0 @ 365.41
392.67	c Restart #50 #Var: 231 LB: 0 @ 392.56
420.37	c Restart #51 #Var: 231 LB: 0 @ 420.25
455.72	c Restart #52 #Var: 231 LB: 0 @ 455.59
483.74	c Restart #53 #Var: 231 LB: 0 @ 483.6
525.84	c Restart #54 #Var: 231 LB: 0 @ 525.63
561.12	c Restart #55 #Var: 231 LB: 0 @ 560.9
606.48	c Restart #56 #Var: 231 LB: 0 @ 606.26
650.13	c Restart #57 #Var: 230 LB: 0 @ 649.89
695.64	c Restart #58 #Var: 230 LB: 0 @ 695.39
743.92	c Restart #59 #Var: 230 LB: 0 @ 743.66
796.27	c Restart #60 #Var: 230 LB: 0 @ 796
846.25	c Restart #61 #Var: 230 LB: 0 @ 845.96
912.80	c CHANGE Heuristic... 
912.80	c Restart #0 #Var: 230 LB: 0 @ 912.49
922.07	c Restart #1 #Var: 230 LB: 0 @ 921.76
927.84	c Restart #2 #Var: 230 LB: 0 @ 927.53
935.91	c Restart #3 #Var: 230 LB: 0 @ 935.6
941.39	c Restart #4 #Var: 230 LB: 0 @ 941.07
947.21	c Restart #5 #Var: 230 LB: 0 @ 946.89
956.72	c Restart #6 #Var: 230 LB: 0 @ 956.4
966.41	c Restart #7 #Var: 230 LB: 0 @ 966.09
976.82	c Restart #8 #Var: 230 LB: 0 @ 976.49
992.86	c Restart #9 #Var: 230 LB: 0 @ 992.53
1008.88	c Restart #10 #Var: 230 LB: 0 @ 1008.6
1030.39	c Restart #11 #Var: 230 LB: 0 @ 1030.1
1044.93	c Restart #12 #Var: 230 LB: 0 @ 1044.6
1063.70	c Restart #13 #Var: 230 LB: 0 @ 1063.4
1081.66	c Restart #14 #Var: 230 LB: 0 @ 1081.3
1102.34	c Restart #15 #Var: 230 LB: 0 @ 1102
1121.58	c Restart #16 #Var: 230 LB: 0 @ 1121.2
1141.61	c Restart #17 #Var: 230 LB: 0 @ 1141.2
1166.49	c Restart #18 #Var: 230 LB: 0 @ 1166.1
1184.56	c Restart #19 #Var: 230 LB: 0 @ 1184.2
1215.38	c Restart #20 #Var: 230 LB: 0 @ 1215
1239.55	c Restart #21 #Var: 230 LB: 0 @ 1239.2
1259.49	c Restart #22 #Var: 230 LB: 0 @ 1259.1
1280.58	c Restart #23 #Var: 230 LB: 0 @ 1280.2
1306.94	c Restart #24 #Var: 230 LB: 0 @ 1306.5
1340.12	c Restart #25 #Var: 230 LB: 0 @ 1339.7
1366.18	c Restart #26 #Var: 230 LB: 0 @ 1365.8
1388.71	c Restart #27 #Var: 230 LB: 0 @ 1388.3
1419.83	c Restart #28 #Var: 230 LB: 0 @ 1419.4
1440.94	c Restart #29 #Var: 230 LB: 0 @ 1440.5
1476.01	c Restart #30 #Var: 230 LB: 0 @ 1475.5
1503.29	c Restart #31 #Var: 230 LB: 0 @ 1502.8
1544.40	c Restart #32 #Var: 230 LB: 0 @ 1543.9
1575.42	c Restart #33 #Var: 230 LB: 0 @ 1574.9
1612.28	c Restart #34 #Var: 230 LB: 0 @ 1611.8
1652.39	c Restart #35 #Var: 230 LB: 0 @ 1651.9
1686.29	c Restart #36 #Var: 230 LB: 0 @ 1685.8
1738.19	c Restart #37 #Var: 230 LB: 0 @ 1737.7
1784.26	c Restart #38 #Var: 230 LB: 0 @ 1783.7
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	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/node23/watcher-39578-1149220369 -o ROOT/results/node23/solver-39578-1149220369 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/39578-1149220369/instance-39578-1149220369.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.94 0.90 2/64 7612
/proc/meminfo: memFree=1393032/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=4964 CPUtime=0
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 368 0 0 0 0 0 0 0 19 0 1 0 187700604 5083136 332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 1233 331 227 55 0 125 0

[startup+10.0022 s]
/proc/loadavg: 0.87 0.94 0.90 2/64 7612
/proc/meminfo: memFree=1374880/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=22692 CPUtime=9.98
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 4926 0 0 0 994 4 0 0 25 0 1 0 187700604 23236608 4841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 5673 4841 296 55 0 4565 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22692

[startup+20.0083 s]
/proc/loadavg: 0.89 0.94 0.90 2/64 7612
/proc/meminfo: memFree=1364456/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=33120 CPUtime=19.99
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 7530 0 0 0 1991 8 0 0 25 0 1 0 187700604 33914880 7445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 8280 7445 296 55 0 7172 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 33120

[startup+30.0145 s]
/proc/loadavg: 0.91 0.94 0.90 2/64 7612
/proc/meminfo: memFree=1356456/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=41044 CPUtime=29.99
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 9527 0 0 0 2987 12 0 0 25 0 1 0 187700604 42029056 9442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 10261 9442 296 55 0 9153 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 41044

[startup+40.0206 s]
/proc/loadavg: 0.92 0.94 0.90 2/64 7612
/proc/meminfo: memFree=1350312/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=47252 CPUtime=39.99
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 11054 0 0 0 3985 14 0 0 25 0 1 0 187700604 48386048 10969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 11813 10969 296 55 0 10705 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 47252

[startup+50.0267 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 7612
/proc/meminfo: memFree=1344616/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=52960 CPUtime=49.99
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 12474 0 0 0 4983 16 0 0 25 0 1 0 187700604 54231040 12388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 13240 12388 296 55 0 12132 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 52960

[startup+60.0329 s]
/proc/loadavg: 0.94 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1338344/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=59176 CPUtime=60
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 14057 0 0 0 5981 19 0 0 25 0 1 0 187700604 60596224 13971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 14794 13971 296 55 0 13686 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 59176

[startup+70.039 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1333800/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=63800 CPUtime=70
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 15185 0 0 0 6979 21 0 0 25 0 1 0 187700604 65331200 15098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 15950 15098 296 55 0 14842 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 63800

[startup+80.0451 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1329320/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=68156 CPUtime=80.01
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 16293 0 0 0 7977 24 0 0 25 0 1 0 187700604 69791744 16206 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 17039 16206 296 55 0 15931 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 68156

[startup+90.0513 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1324520/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=73040 CPUtime=90.01
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 17488 0 0 0 8976 25 0 0 25 0 1 0 187700604 74792960 17401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 18260 17401 296 55 0 17152 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 73040

[startup+100.057 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1319464/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=78076 CPUtime=100.01
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 18747 0 0 0 9974 27 0 0 25 0 1 0 187700604 79949824 18659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 19519 18659 296 55 0 18411 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 78076

[startup+110.064 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1314984/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=82572 CPUtime=110.02
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 19864 0 0 0 10973 29 0 0 25 0 1 0 187700604 84553728 19776 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 20643 19776 296 55 0 19535 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 82572

[startup+120.07 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1310952/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=86680 CPUtime=120.02
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 20881 0 0 0 11971 31 0 0 25 0 1 0 187700604 88760320 20793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 21670 20793 296 55 0 20562 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86680

[startup+130.076 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1307048/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=90640 CPUtime=130.03
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 21858 0 0 0 12971 32 0 0 25 0 1 0 187700604 92815360 21770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 22660 21770 296 55 0 21552 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 90640

[startup+140.082 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1303272/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=94364 CPUtime=140.02
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 22794 0 0 0 13969 33 0 0 25 0 1 0 187700604 96628736 22706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 23591 22706 296 55 0 22483 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 94364

[startup+150.089 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 7612
/proc/meminfo: memFree=1299560/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=98060 CPUtime=150.03
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 23715 0 0 0 14968 35 0 0 25 0 1 0 187700604 100413440 23627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 24515 23627 296 55 0 23407 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 98060

[startup+160.095 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 7612
/proc/meminfo: memFree=1296424/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=101232 CPUtime=160.03
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 24502 0 0 0 15967 36 0 0 25 0 1 0 187700604 103661568 24414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 25308 24414 296 55 0 24200 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 101232

[startup+170.1 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 7612
/proc/meminfo: memFree=1292712/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=104940 CPUtime=170.04
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 25410 0 0 0 16966 38 0 0 25 0 1 0 187700604 107458560 25321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 26235 25321 296 55 0 25127 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 104940

[startup+180.106 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 7612
/proc/meminfo: memFree=1288872/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=108776 CPUtime=180.04
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 26390 0 0 0 17964 40 0 0 25 0 1 0 187700604 111386624 26301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548769 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 27194 26301 296 55 0 26086 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 108776

[startup+190.113 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 7612
/proc/meminfo: memFree=1285928/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=111836 CPUtime=190.05
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 27123 0 0 0 18963 42 0 0 25 0 1 0 187700604 114520064 27031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 27959 27031 296 55 0 26851 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 111836

[startup+200.119 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 7612
/proc/meminfo: memFree=1282920/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=114904 CPUtime=200.04
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 27878 0 0 0 19961 43 0 0 25 0 1 0 187700604 117661696 27785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 28726 27785 296 55 0 27618 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 114904

[startup+210.125 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 7612
/proc/meminfo: memFree=1279784/2055920 swapFree=4180892/4192956

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

/proc/7612/statm: 90640 89024 296 55 0 89532 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 362560

[startup+1771.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1035816/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=363880 CPUtime=1770.56
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 89581 0 0 0 176882 174 0 0 25 0 1 0 187700604 372613120 89381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960128 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 90970 89381 296 55 0 89862 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 363880

[startup+1781.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033704/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366188 CPUtime=1780.57
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90097 0 0 0 177882 175 0 0 25 0 1 0 187700604 374976512 89893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91547 89893 296 55 0 90439 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 366188

[startup+1782.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033640/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366188 CPUtime=1781.57
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90124 0 0 0 177982 175 0 0 25 0 1 0 187700604 374976512 89920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91547 89920 296 55 0 90439 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 366188

[startup+1783.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033448/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366452 CPUtime=1782.58
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90166 0 0 0 178083 175 0 0 25 0 1 0 187700604 375246848 89962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91613 89962 296 55 0 90505 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 366452

[startup+1784.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033384/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366452 CPUtime=1783.58
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90190 0 0 0 178183 175 0 0 25 0 1 0 187700604 375246848 89986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91613 89986 296 55 0 90505 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 366452

[startup+1785.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033320/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366584 CPUtime=1784.59
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90198 0 0 0 178284 175 0 0 25 0 1 0 187700604 375382016 89994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91646 89994 296 55 0 90538 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 366584

[startup+1786.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033256/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366584 CPUtime=1785.59
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90215 0 0 0 178384 175 0 0 25 0 1 0 187700604 375382016 90011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91646 90011 296 55 0 90538 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 366584

[startup+1787.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033192/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366716 CPUtime=1786.59
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90231 0 0 0 178484 175 0 0 25 0 1 0 187700604 375517184 90027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91679 90027 296 55 0 90571 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 366716

[startup+1788.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033128/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366716 CPUtime=1787.6
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90253 0 0 0 178585 175 0 0 25 0 1 0 187700604 375517184 90049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91679 90049 296 55 0 90571 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (Kb) 366716

[startup+1789.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1033064/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=366716 CPUtime=1788.6
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90263 0 0 0 178685 175 0 0 25 0 1 0 187700604 375517184 90059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91679 90059 296 55 0 90571 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 366716

[startup+1790.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1032936/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367016 CPUtime=1789.61
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90300 0 0 0 178786 175 0 0 25 0 1 0 187700604 375824384 90096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91754 90096 296 55 0 90646 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 367016

[startup+1791.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1032744/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367148 CPUtime=1790.62
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90349 0 0 0 178886 176 0 0 25 0 1 0 187700604 375959552 90145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91787 90145 296 55 0 90679 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 367148

[startup+1792.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1032680/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367148 CPUtime=1791.63
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90359 0 0 0 178987 176 0 0 25 0 1 0 187700604 375959552 90155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91787 90155 296 55 0 90679 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 367148

[startup+1793.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1032552/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367280 CPUtime=1792.63
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90392 0 0 0 179087 176 0 0 25 0 1 0 187700604 376094720 90188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91820 90188 296 55 0 90712 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 367280

[startup+1794.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1032488/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367412 CPUtime=1793.64
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90407 0 0 0 179188 176 0 0 25 0 1 0 187700604 376229888 90203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91853 90203 296 55 0 90745 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 367412

[startup+1795.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1032360/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367544 CPUtime=1794.64
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90444 0 0 0 179288 176 0 0 25 0 1 0 187700604 376365056 90240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91886 90240 296 55 0 90778 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (Kb) 367544

[startup+1796.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1032104/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367676 CPUtime=1795.64
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90499 0 0 0 179388 176 0 0 25 0 1 0 187700604 376500224 90295 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91919 90295 296 55 0 90811 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 367676

[startup+1797.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1031848/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=367940 CPUtime=1796.65
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90562 0 0 0 179489 176 0 0 25 0 1 0 187700604 376770560 90358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 91985 90358 296 55 0 90877 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (Kb) 367940

[startup+1798.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1031784/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=368072 CPUtime=1797.65
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90589 0 0 0 179589 176 0 0 25 0 1 0 187700604 376905728 90385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 92018 90385 296 55 0 90910 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 368072

[startup+1799.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1031656/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=368204 CPUtime=1798.65
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90616 0 0 0 179689 176 0 0 25 0 1 0 187700604 377040896 90412 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 92051 90412 296 55 0 90943 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 368204

[startup+1800.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7807
/proc/meminfo: memFree=1031528/2055920 swapFree=4180892/4192956
[pid=7612] ppid=7610 vsize=368336 CPUtime=1799.66
/proc/7612/stat : 7612 (bsolo) R 7610 7612 7567 0 -1 0 90644 0 0 0 179790 176 0 0 25 0 1 0 187700604 377176064 90440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7612/statm: 92084 90440 296 55 0 90976 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 368336

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.06
CPU user time (s): 1798.24
CPU system time (s): 1.82072
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (Kb): 368336

Launcher Data (download as text)

Begin job on node23 on Fri Jun  2 03:52:49 UTC 2006


FILE ID= 39578-1149220369

PBS_JOBID= 295259

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8170439ba832b251137a16b29cd20ba3

RANDOM SEED= 997710949


/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.213
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.213
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:       1393240 kB
Buffers:         39752 kB
Cached:         546684 kB
SwapCached:       3872 kB
Active:         166712 kB
Inactive:       428504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1393240 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             284 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            53456 kB
Committed_AS:   215700 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Fri Jun  2 04:22:50 UTC 2006