Trace number 39557

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.13 1800.67

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
MD5SUM4a96a2353b6045ef15a9bfabac06d14b
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 benchmark93.1108
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 737
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.062
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.102
0.23	c Restart #2 #Var: 231 LB: 0 @ 0.219
0.36	c Restart #3 #Var: 231 LB: 0 @ 0.349
0.57	c Restart #4 #Var: 231 LB: 0 @ 0.558
0.77	c Restart #5 #Var: 231 LB: 0 @ 0.761
1.02	c Restart #6 #Var: 231 LB: 0 @ 1.009
1.41	c Restart #7 #Var: 231 LB: 0 @ 1.395
1.86	c Restart #8 #Var: 231 LB: 0 @ 1.85
2.31	c Restart #9 #Var: 231 LB: 0 @ 2.293
2.89	c Restart #10 #Var: 231 LB: 0 @ 2.878
3.45	c Restart #11 #Var: 231 LB: 0 @ 3.433
4.13	c Restart #12 #Var: 231 LB: 0 @ 4.113
4.87	c Restart #13 #Var: 231 LB: 0 @ 4.857
6.13	c Restart #14 #Var: 231 LB: 0 @ 6.121
7.28	c Restart #15 #Var: 231 LB: 0 @ 7.265
8.52	c Restart #16 #Var: 231 LB: 0 @ 8.504
10.32	c Restart #17 #Var: 231 LB: 0 @ 10.307
12.18	c Restart #18 #Var: 231 LB: 0 @ 12.161
14.07	c Restart #19 #Var: 231 LB: 0 @ 14.053
17.43	c Restart #20 #Var: 231 LB: 0 @ 17.409
20.93	c Restart #21 #Var: 231 LB: 0 @ 20.912
24.88	c Restart #22 #Var: 231 LB: 0 @ 24.861
28.41	c Restart #23 #Var: 231 LB: 0 @ 28.387
32.86	c Restart #24 #Var: 231 LB: 0 @ 32.841
36.93	c Restart #25 #Var: 231 LB: 0 @ 36.91
40.96	c Restart #26 #Var: 231 LB: 0 @ 40.934
47.01	c Restart #27 #Var: 231 LB: 0 @ 46.987
52.17	c Restart #28 #Var: 231 LB: 0 @ 52.14
58.76	c Restart #29 #Var: 231 LB: 0 @ 58.731
67.12	c Restart #30 #Var: 231 LB: 0 @ 67.09
74.84	c Restart #31 #Var: 231 LB: 0 @ 74.805
85.64	c Restart #32 #Var: 231 LB: 0 @ 85.6
96.40	c Restart #33 #Var: 231 LB: 0 @ 96.362
104.41	c Restart #34 #Var: 231 LB: 0 @ 104.37
115.60	c Restart #35 #Var: 231 LB: 0 @ 115.55
126.86	c Restart #36 #Var: 231 LB: 0 @ 126.81
138.05	c Restart #37 #Var: 231 LB: 0 @ 137.99
155.20	c Restart #38 #Var: 231 LB: 0 @ 155.15
165.52	c Restart #39 #Var: 231 LB: 0 @ 165.46
181.51	c Restart #40 #Var: 231 LB: 0 @ 181.44
199.07	c Restart #41 #Var: 231 LB: 0 @ 199
215.43	c Restart #42 #Var: 231 LB: 0 @ 215.36
237.37	c Restart #43 #Var: 231 LB: 0 @ 237.29
250.89	c Restart #44 #Var: 231 LB: 0 @ 250.8
278.45	c Restart #45 #Var: 231 LB: 0 @ 278.35
293.12	c Restart #46 #Var: 231 LB: 0 @ 293.02
314.12	c Restart #47 #Var: 231 LB: 0 @ 314.02
343.79	c Restart #48 #Var: 231 LB: 0 @ 343.68
370.23	c Restart #49 #Var: 231 LB: 0 @ 370.11
388.39	c Restart #50 #Var: 231 LB: 0 @ 388.26
415.57	c Restart #51 #Var: 231 LB: 0 @ 415.44
442.22	c Restart #52 #Var: 231 LB: 0 @ 442.08
472.22	c Restart #53 #Var: 231 LB: 0 @ 472.07
502.08	c Restart #54 #Var: 231 LB: 0 @ 501.92
530.46	c Restart #55 #Var: 231 LB: 0 @ 530.3
562.66	c Restart #56 #Var: 231 LB: 0 @ 562.48
597.70	c Restart #57 #Var: 231 LB: 0 @ 597.52
630.68	c Restart #58 #Var: 231 LB: 0 @ 630.48
677.95	c Restart #59 #Var: 231 LB: 0 @ 677.74
723.23	c Restart #60 #Var: 231 LB: 0 @ 723.01
764.05	c Restart #61 #Var: 231 LB: 0 @ 763.81
803.56	c Restart #62 #Var: 231 LB: 0 @ 803.31
840.22	c Restart #63 #Var: 231 LB: 0 @ 839.96
887.17	c Restart #64 #Var: 231 LB: 0 @ 886.9
936.55	c CHANGE Heuristic... 
936.55	c Restart #0 #Var: 231 LB: 0 @ 936.27
943.94	c Restart #1 #Var: 231 LB: 0 @ 943.65
947.92	c Restart #2 #Var: 231 LB: 0 @ 947.63
953.00	c Restart #3 #Var: 231 LB: 0 @ 952.71
956.27	c Restart #4 #Var: 231 LB: 0 @ 955.98
963.37	c Restart #5 #Var: 231 LB: 0 @ 963.08
968.61	c Restart #6 #Var: 231 LB: 0 @ 968.31
979.60	c Restart #7 #Var: 231 LB: 0 @ 979.3
986.82	c Restart #8 #Var: 231 LB: 0 @ 986.52
996.05	c Restart #9 #Var: 231 LB: 0 @ 995.74
1008.40	c Restart #10 #Var: 231 LB: 0 @ 1008.1
1019.84	c Restart #11 #Var: 231 LB: 0 @ 1019.5
1029.66	c Restart #12 #Var: 231 LB: 0 @ 1029.3
1039.01	c Restart #13 #Var: 231 LB: 0 @ 1038.7
1052.87	c Restart #14 #Var: 231 LB: 0 @ 1052.6
1068.32	c Restart #15 #Var: 231 LB: 0 @ 1068
1092.09	c Restart #16 #Var: 231 LB: 0 @ 1091.8
1111.30	c Restart #17 #Var: 231 LB: 0 @ 1111
1136.73	c Restart #18 #Var: 231 LB: 0 @ 1136.4
1154.48	c Restart #19 #Var: 231 LB: 0 @ 1154.1
1169.77	c Restart #20 #Var: 231 LB: 0 @ 1169.4
1192.78	c Restart #21 #Var: 231 LB: 0 @ 1192.4
1218.01	c Restart #22 #Var: 231 LB: 0 @ 1217.6
1234.13	c Restart #23 #Var: 231 LB: 0 @ 1233.8
1251.45	c Restart #24 #Var: 231 LB: 0 @ 1251.1
1272.52	c Restart #25 #Var: 231 LB: 0 @ 1272.1
1298.66	c Restart #26 #Var: 231 LB: 0 @ 1298.3
1326.56	c Restart #27 #Var: 231 LB: 0 @ 1326.2
1350.59	c Restart #28 #Var: 231 LB: 0 @ 1350.2
1375.56	c Restart #29 #Var: 231 LB: 0 @ 1375.1
1395.42	c Restart #30 #Var: 231 LB: 0 @ 1395
1435.02	c Restart #31 #Var: 231 LB: 0 @ 1434.6
1463.03	c Restart #32 #Var: 231 LB: 0 @ 1462.6
1491.42	c Restart #33 #Var: 231 LB: 0 @ 1491
1518.65	c Restart #34 #Var: 231 LB: 0 @ 1518.2
1559.49	c Restart #35 #Var: 231 LB: 0 @ 1559
1600.09	c Restart #36 #Var: 231 LB: 0 @ 1599.6
1623.89	c Restart #37 #Var: 231 LB: 0 @ 1623.4
1664.28	c Restart #38 #Var: 231 LB: 0 @ 1663.8
1703.49	c Restart #39 #Var: 231 LB: 0 @ 1703
1743.50	c Restart #40 #Var: 231 LB: 0 @ 1743
1799.57	c Restart #41 #Var: 231 LB: 0 @ 1799
1800.60	s UNKNOWN
1800.60	c Exit Code: 0
1800.60	c Total time: 1800.1 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/node53/watcher-39557-1149218113 -o ROOT/results/node53/solver-39557-1149218113 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node53/39557-1149218113/instance-39557-1149218113.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.92 2/64 12592
/proc/meminfo: memFree=1298432/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=4928 CPUtime=0
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 324 0 0 0 0 0 0 0 19 0 1 0 187478751 5046272 293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9180795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 1232 298 201 55 0 124 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.92 2/64 12592
/proc/meminfo: memFree=1279504/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=23364 CPUtime=9.98
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 5098 0 0 0 993 5 0 0 25 0 1 0 187478751 23924736 5013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 5841 5013 296 55 0 4733 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 23364

[startup+20.0087 s]
/proc/loadavg: 0.94 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1270352/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=32468 CPUtime=19.98
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 7387 0 0 0 1990 8 0 0 25 0 1 0 187478751 33247232 7302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9180795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 8117 7302 296 55 0 7009 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 32468

[startup+30.0148 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1263056/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=39732 CPUtime=29.98
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 9207 0 0 0 2987 11 0 0 25 0 1 0 187478751 40685568 9122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 9933 9122 296 55 0 8825 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 39732

[startup+40.02 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1255440/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=47396 CPUtime=39.98
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 11100 0 0 0 3985 13 0 0 25 0 1 0 187478751 48533504 11015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 11849 11015 296 55 0 10741 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 47396

[startup+50.0261 s]
/proc/loadavg: 0.96 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1249616/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=53204 CPUtime=49.99
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 12550 0 0 0 4982 17 0 0 25 0 1 0 187478751 54480896 12465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 13301 12465 296 55 0 12193 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 53204

[startup+60.0322 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1243856/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=59012 CPUtime=59.99
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 13988 0 0 0 5980 19 0 0 25 0 1 0 187478751 60428288 13903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 14753 13903 296 55 0 13645 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 59012

[startup+70.0384 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1239056/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=63772 CPUtime=70
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 15184 0 0 0 6979 21 0 0 25 0 1 0 187478751 65302528 15099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 15943 15099 296 55 0 14835 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 63772

[startup+80.0445 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1233744/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=69052 CPUtime=80
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 16507 0 0 0 7977 23 0 0 25 0 1 0 187478751 70709248 16422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 17263 16422 296 55 0 16155 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 69052

[startup+90.0506 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1230480/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=72356 CPUtime=90
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 17337 0 0 0 8976 24 0 0 25 0 1 0 187478751 74092544 17251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 18089 17251 296 55 0 16981 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 72356

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1226448/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=76332 CPUtime=100
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 18330 0 0 0 9974 26 0 0 25 0 1 0 187478751 78163968 18243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 19083 18243 296 55 0 17975 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 76332

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 12592
/proc/meminfo: memFree=1221264/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=81624 CPUtime=110.01
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 19637 0 0 0 10971 30 0 0 25 0 1 0 187478751 83582976 19550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 20406 19550 296 55 0 19298 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 81624

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1217104/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=85736 CPUtime=120.02
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 20663 0 0 0 11970 32 0 0 25 0 1 0 187478751 87793664 20575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 21434 20575 296 55 0 20326 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 85736

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1212304/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=90656 CPUtime=130.06
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 21867 0 0 0 12972 34 0 0 25 0 1 0 187478751 92831744 21777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 22664 21777 296 55 0 21556 0
Current children cumulated CPU time (s) 130.06
Current children cumulated vsize (Kb) 90656

[startup+140.122 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1208016/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=94896 CPUtime=140.06
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 22934 0 0 0 13971 35 0 0 25 0 1 0 187478751 97173504 22844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 23724 22844 296 55 0 22616 0
Current children cumulated CPU time (s) 140.06
Current children cumulated vsize (Kb) 94896

[startup+150.128 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1205136/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=97824 CPUtime=150.07
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 23649 0 0 0 14970 37 0 0 25 0 1 0 187478751 100171776 23557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 24456 23557 296 55 0 23348 0
Current children cumulated CPU time (s) 150.07
Current children cumulated vsize (Kb) 97824

[startup+160.134 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1201872/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=101148 CPUtime=160.07
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 24468 0 0 0 15969 38 0 0 25 0 1 0 187478751 103575552 24375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 25287 24375 296 55 0 24179 0
Current children cumulated CPU time (s) 160.07
Current children cumulated vsize (Kb) 101148

[startup+170.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1197712/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=105280 CPUtime=170.07
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 25510 0 0 0 16967 40 0 0 25 0 1 0 187478751 107806720 25415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 26320 25415 296 55 0 25212 0
Current children cumulated CPU time (s) 170.07
Current children cumulated vsize (Kb) 105280

[startup+180.146 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1193872/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=109136 CPUtime=180.07
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 26470 0 0 0 17965 42 0 0 25 0 1 0 187478751 111755264 26375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 27284 26375 296 55 0 26176 0
Current children cumulated CPU time (s) 180.07
Current children cumulated vsize (Kb) 109136

[startup+190.152 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1190480/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=112448 CPUtime=190.08
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 27309 0 0 0 18965 43 0 0 25 0 1 0 187478751 115146752 27214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 28112 27214 296 55 0 27004 0
Current children cumulated CPU time (s) 190.08
Current children cumulated vsize (Kb) 112448

[startup+200.158 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1187536/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=115484 CPUtime=200.08
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 28050 0 0 0 19964 44 0 0 25 0 1 0 187478751 118255616 27955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 28871 27955 296 55 0 27763 0
Current children cumulated CPU time (s) 200.08
Current children cumulated vsize (Kb) 115484

[startup+210.165 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12592
/proc/meminfo: memFree=1184848/2055920 swapFree=4181356/4192956

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

/proc/12592/statm: 105893 104066 296 55 0 104785 0
Current children cumulated CPU time (s) 1760.58
Current children cumulated vsize (Kb) 423572

[startup+1771.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=881360/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=424496 CPUtime=1770.58
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104547 0 0 0 176875 183 0 0 25 0 1 0 187478751 434683904 104296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533663 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106124 104296 296 55 0 105016 0
Current children cumulated CPU time (s) 1770.58
Current children cumulated vsize (Kb) 424496

[startup+1781.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=880272/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=425456 CPUtime=1780.59
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104817 0 0 0 177875 184 0 0 25 0 1 0 187478751 435666944 104566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106364 104566 296 55 0 105256 0
Current children cumulated CPU time (s) 1780.59
Current children cumulated vsize (Kb) 425456

[startup+1782.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=880208/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=425588 CPUtime=1781.59
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104828 0 0 0 177975 184 0 0 25 0 1 0 187478751 435802112 104577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106397 104577 296 55 0 105289 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (Kb) 425588

[startup+1783.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=880144/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=425720 CPUtime=1782.6
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104854 0 0 0 178076 184 0 0 25 0 1 0 187478751 435937280 104603 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106430 104603 296 55 0 105322 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 425720

[startup+1784.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=880080/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=425720 CPUtime=1783.6
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104865 0 0 0 178176 184 0 0 25 0 1 0 187478751 435937280 104614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106430 104614 296 55 0 105322 0
Current children cumulated CPU time (s) 1783.6
Current children cumulated vsize (Kb) 425720

[startup+1785.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879824/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426180 CPUtime=1784.61
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104941 0 0 0 178277 184 0 0 25 0 1 0 187478751 436408320 104681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106545 104681 296 55 0 105437 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (Kb) 426180

[startup+1786.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879760/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426180 CPUtime=1785.61
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104946 0 0 0 178377 184 0 0 25 0 1 0 187478751 436408320 104686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106545 104686 296 55 0 105437 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (Kb) 426180

[startup+1787.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879696/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426180 CPUtime=1786.62
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104972 0 0 0 178478 184 0 0 25 0 1 0 187478751 436408320 104712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106545 104712 296 55 0 105437 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 426180

[startup+1788.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879568/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426312 CPUtime=1787.62
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104993 0 0 0 178578 184 0 0 25 0 1 0 187478751 436543488 104733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106578 104733 296 55 0 105470 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 426312

[startup+1789.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879440/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426444 CPUtime=1788.63
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105025 0 0 0 178679 184 0 0 25 0 1 0 187478751 436678656 104765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106611 104765 296 55 0 105503 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 426444

[startup+1790.18 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879312/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426576 CPUtime=1789.63
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105054 0 0 0 178779 184 0 0 25 0 1 0 187478751 436813824 104794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106644 104794 296 55 0 105536 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (Kb) 426576

[startup+1791.18 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879248/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426708 CPUtime=1790.64
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105078 0 0 0 178880 184 0 0 25 0 1 0 187478751 436948992 104818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106677 104818 296 55 0 105569 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 426708

[startup+1792.19 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=879120/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426840 CPUtime=1791.64
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105114 0 0 0 178980 184 0 0 25 0 1 0 187478751 437084160 104854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106710 104854 296 55 0 105602 0
Current children cumulated CPU time (s) 1791.64
Current children cumulated vsize (Kb) 426840

[startup+1793.19 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=878928/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=426972 CPUtime=1792.64
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105162 0 0 0 179080 184 0 0 25 0 1 0 187478751 437219328 104902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106743 104902 296 55 0 105635 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 426972

[startup+1794.2 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=878736/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=427104 CPUtime=1793.65
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105198 0 0 0 179181 184 0 0 25 0 1 0 187478751 437354496 104938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106776 104938 296 55 0 105668 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (Kb) 427104

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=878672/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=427236 CPUtime=1794.65
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105218 0 0 0 179281 184 0 0 25 0 1 0 187478751 437489664 104958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106809 104958 296 55 0 105701 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 427236

[startup+1796.21 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=878544/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=427368 CPUtime=1795.65
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105250 0 0 0 179381 184 0 0 25 0 1 0 187478751 437624832 104990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718505 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106842 104990 296 55 0 105734 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 427368

[startup+1797.21 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=878288/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=427500 CPUtime=1796.67
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105305 0 0 0 179482 185 0 0 25 0 1 0 187478751 437760000 105045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106875 105045 296 55 0 105767 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 427500

[startup+1798.22 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=878160/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=427764 CPUtime=1797.67
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105344 0 0 0 179582 185 0 0 25 0 1 0 187478751 438030336 105084 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106941 105084 296 55 0 105833 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (Kb) 427764

[startup+1799.22 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=878032/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=427764 CPUtime=1798.67
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105372 0 0 0 179682 185 0 0 25 0 1 0 187478751 438030336 105112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106941 105112 296 55 0 105833 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 427764

[startup+1800.23 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 12594
/proc/meminfo: memFree=877968/2055920 swapFree=4181356/4192956
[pid=12592] ppid=12590 vsize=427968 CPUtime=1799.68
/proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105400 0 0 0 179783 185 0 0 25 0 1 0 187478751 438239232 105138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12592/statm: 106992 105138 296 55 0 105884 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 427968

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.13
CPU user time (s): 1798.21
CPU system time (s): 1.91871
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (Kb): 427968

Launcher Data (download as text)

Begin job on node53 on Fri Jun  2 03:15:13 UTC 2006


FILE ID= 39557-1149218113

PBS_JOBID= 294997

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  4a96a2353b6045ef15a9bfabac06d14b

RANDOM SEED= 439533506


/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.249
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.249
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:       1298640 kB
Buffers:         36368 kB
Cached:         647888 kB
SwapCached:       3632 kB
Active:         350824 kB
Inactive:       342540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1298640 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            50004 kB
Committed_AS:   232432 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node53 on Fri Jun  2 03:45:14 UTC 2006