Trace number 39547

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
MD5SUM6281627dc4c435fe3011d1036bb94900
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 benchmark82.7284
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 695
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.07
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.12	c Restart #1 #Var: 231 LB: 0 @ 0.113
0.25	c Restart #2 #Var: 231 LB: 0 @ 0.251
0.51	c Restart #3 #Var: 231 LB: 0 @ 0.511
0.68	c Restart #4 #Var: 231 LB: 0 @ 0.68
0.89	c Restart #5 #Var: 231 LB: 0 @ 0.889
1.15	c Restart #6 #Var: 231 LB: 0 @ 1.144
1.46	c Restart #7 #Var: 231 LB: 0 @ 1.454
1.84	c Restart #8 #Var: 231 LB: 0 @ 1.833
2.23	c Restart #9 #Var: 231 LB: 0 @ 2.23
2.80	c Restart #10 #Var: 231 LB: 0 @ 2.792
3.45	c Restart #11 #Var: 231 LB: 0 @ 3.445
4.28	c Restart #12 #Var: 231 LB: 0 @ 4.281
5.13	c Restart #13 #Var: 231 LB: 0 @ 5.127
6.18	c Restart #14 #Var: 231 LB: 0 @ 6.178
7.40	c Restart #15 #Var: 231 LB: 0 @ 7.39
8.64	c Restart #16 #Var: 231 LB: 0 @ 8.636
9.97	c Restart #17 #Var: 231 LB: 0 @ 9.963
11.48	c Restart #18 #Var: 231 LB: 0 @ 11.473
13.21	c Restart #19 #Var: 231 LB: 0 @ 13.2
15.16	c Restart #20 #Var: 231 LB: 0 @ 15.152
17.30	c Restart #21 #Var: 231 LB: 0 @ 17.293
20.04	c Restart #22 #Var: 231 LB: 0 @ 20.024
22.56	c Restart #23 #Var: 231 LB: 0 @ 22.544
25.29	c Restart #24 #Var: 231 LB: 0 @ 25.273
28.03	c Restart #25 #Var: 231 LB: 0 @ 28.018
31.47	c Restart #26 #Var: 231 LB: 0 @ 31.457
36.77	c Restart #27 #Var: 231 LB: 0 @ 36.754
41.05	c Restart #28 #Var: 231 LB: 0 @ 41.027
46.17	c Restart #29 #Var: 231 LB: 0 @ 46.153
51.26	c Restart #30 #Var: 231 LB: 0 @ 51.235
55.45	c Restart #31 #Var: 231 LB: 0 @ 55.429
61.59	c Restart #32 #Var: 231 LB: 0 @ 61.563
69.91	c Restart #33 #Var: 231 LB: 0 @ 69.88
77.40	c Restart #34 #Var: 231 LB: 0 @ 77.366
85.12	c Restart #35 #Var: 231 LB: 0 @ 85.083
92.69	c Restart #36 #Var: 231 LB: 0 @ 92.655
101.11	c Restart #37 #Var: 231 LB: 0 @ 101.07
112.06	c Restart #38 #Var: 231 LB: 0 @ 112.02
119.91	c Restart #39 #Var: 231 LB: 0 @ 119.86
134.31	c Restart #40 #Var: 231 LB: 0 @ 134.26
146.29	c Restart #41 #Var: 231 LB: 0 @ 146.23
161.14	c Restart #42 #Var: 231 LB: 0 @ 161.08
181.28	c Restart #43 #Var: 231 LB: 0 @ 181.21
194.46	c Restart #44 #Var: 231 LB: 0 @ 194.38
207.97	c Restart #45 #Var: 231 LB: 0 @ 207.89
224.38	c Restart #46 #Var: 231 LB: 0 @ 224.29
241.15	c Restart #47 #Var: 231 LB: 0 @ 241.06
258.95	c Restart #48 #Var: 231 LB: 0 @ 258.85
278.60	c Restart #49 #Var: 231 LB: 0 @ 278.49
301.42	c Restart #50 #Var: 231 LB: 0 @ 301.3
325.31	c Restart #51 #Var: 231 LB: 0 @ 325.19
346.46	c Restart #52 #Var: 231 LB: 0 @ 346.33
372.40	c Restart #53 #Var: 231 LB: 0 @ 372.26
399.54	c Restart #54 #Var: 231 LB: 0 @ 399.39
424.26	c Restart #55 #Var: 231 LB: 0 @ 424.11
452.42	c Restart #56 #Var: 231 LB: 0 @ 452.26
486.31	c Restart #57 #Var: 231 LB: 0 @ 486.13
510.73	c Restart #58 #Var: 231 LB: 0 @ 510.54
554.95	c Restart #59 #Var: 231 LB: 0 @ 554.74
587.04	c Restart #60 #Var: 231 LB: 0 @ 586.81
614.26	c Restart #61 #Var: 231 LB: 0 @ 614.02
650.97	c Restart #62 #Var: 231 LB: 0 @ 650.72
695.44	c Restart #63 #Var: 231 LB: 0 @ 695.17
737.31	c Restart #64 #Var: 231 LB: 0 @ 737.03
783.80	c Restart #65 #Var: 231 LB: 0 @ 783.5
820.75	c Restart #66 #Var: 231 LB: 0 @ 820.43
861.10	c Restart #67 #Var: 231 LB: 0 @ 860.77
910.94	c CHANGE Heuristic... 
910.94	c Restart #0 #Var: 231 LB: 0 @ 910.59
918.11	c Restart #1 #Var: 231 LB: 0 @ 917.76
923.46	c Restart #2 #Var: 231 LB: 0 @ 923.11
931.72	c Restart #3 #Var: 231 LB: 0 @ 931.36
940.94	c Restart #4 #Var: 231 LB: 0 @ 940.58
948.51	c Restart #5 #Var: 231 LB: 0 @ 948.15
960.02	c Restart #6 #Var: 231 LB: 0 @ 959.66
967.22	c Restart #7 #Var: 231 LB: 0 @ 966.86
974.18	c Restart #8 #Var: 231 LB: 0 @ 973.81
985.50	c Restart #9 #Var: 231 LB: 0 @ 985.13
995.46	c Restart #10 #Var: 231 LB: 0 @ 995.09
1004.97	c Restart #11 #Var: 231 LB: 0 @ 1004.6
1012.42	c Restart #12 #Var: 231 LB: 0 @ 1012
1028.90	c Restart #13 #Var: 231 LB: 0 @ 1028.5
1040.51	c Restart #14 #Var: 231 LB: 0 @ 1040.1
1053.41	c Restart #15 #Var: 231 LB: 0 @ 1053
1073.28	c Restart #16 #Var: 231 LB: 0 @ 1072.9
1092.86	c Restart #17 #Var: 231 LB: 0 @ 1092.4
1107.81	c Restart #18 #Var: 231 LB: 0 @ 1107.4
1135.68	c Restart #19 #Var: 231 LB: 0 @ 1135.3
1156.71	c Restart #20 #Var: 231 LB: 0 @ 1156.3
1176.58	c Restart #21 #Var: 231 LB: 0 @ 1176.1
1196.62	c Restart #22 #Var: 231 LB: 0 @ 1196.2
1216.49	c Restart #23 #Var: 231 LB: 0 @ 1216
1251.83	c Restart #24 #Var: 231 LB: 0 @ 1251.4
1269.22	c Restart #25 #Var: 231 LB: 0 @ 1268.7
1295.96	c Restart #26 #Var: 231 LB: 0 @ 1295.5
1324.17	c Restart #27 #Var: 231 LB: 0 @ 1323.7
1355.41	c Restart #28 #Var: 231 LB: 0 @ 1354.9
1377.85	c Restart #29 #Var: 231 LB: 0 @ 1377.3
1402.92	c Restart #30 #Var: 231 LB: 0 @ 1402.4
1433.73	c Restart #31 #Var: 231 LB: 0 @ 1433.2
1457.28	c Restart #32 #Var: 231 LB: 0 @ 1456.7
1499.76	c Restart #33 #Var: 231 LB: 0 @ 1499.2
1539.93	c Restart #34 #Var: 231 LB: 0 @ 1539.4
1590.51	c Restart #35 #Var: 231 LB: 0 @ 1589.9
1623.44	c Restart #36 #Var: 231 LB: 0 @ 1622.8
1657.30	c Restart #37 #Var: 231 LB: 0 @ 1656.7
1699.70	c Restart #38 #Var: 231 LB: 0 @ 1699.1
1741.00	c Restart #39 #Var: 231 LB: 0 @ 1740.4
1776.08	c Restart #40 #Var: 231 LB: 0 @ 1775.4
1800.69	s UNKNOWN
1800.69	c Exit Code: 0
1800.69	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/node70/watcher-39547-1149216694 -o ROOT/results/node70/solver-39547-1149216694 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39547-1149216694/instance-39547-1149216694.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.91 2/64 27869
/proc/meminfo: memFree=1600128/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=4928 CPUtime=0
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 297 0 0 0 0 0 0 0 18 0 1 0 187339020 5046272 267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 1232 277 184 55 0 124 0

[startup+10.0022 s]
/proc/loadavg: 0.87 0.94 0.91 2/64 27869
/proc/meminfo: memFree=1580632/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=24148 CPUtime=9.99
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 5309 0 0 0 993 6 0 0 25 0 1 0 187339020 24727552 5224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534929 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 6037 5224 296 55 0 4929 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 24148

[startup+20.009 s]
/proc/loadavg: 0.89 0.94 0.91 2/64 27869
/proc/meminfo: memFree=1568344/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=36424 CPUtime=19.98
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 8374 0 0 0 1988 10 0 0 25 0 1 0 187339020 37298176 8289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 9106 8290 296 55 0 7998 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 36424

[startup+30.0148 s]
/proc/loadavg: 0.90 0.94 0.91 2/64 27869
/proc/meminfo: memFree=1557080/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=47780 CPUtime=29.99
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 11187 0 0 0 2985 14 0 0 25 0 1 0 187339020 48926720 11102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 11945 11102 296 55 0 10837 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 47780

[startup+40.0207 s]
/proc/loadavg: 0.92 0.94 0.91 2/64 27869
/proc/meminfo: memFree=1549272/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=55436 CPUtime=40
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 13122 0 0 0 3984 16 0 0 25 0 1 0 187339020 56766464 13037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 13859 13037 296 55 0 12751 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 55436

[startup+50.0265 s]
/proc/loadavg: 0.93 0.94 0.91 2/64 27869
/proc/meminfo: memFree=1541976/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=62832 CPUtime=49.99
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 14948 0 0 0 4981 18 0 0 25 0 1 0 187339020 64339968 14863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529291 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 15708 14863 296 55 0 14600 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 62832

[startup+60.0323 s]
/proc/loadavg: 0.94 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1533272/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=71420 CPUtime=59.99
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 17116 0 0 0 5978 21 0 0 25 0 1 0 187339020 73134080 17031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 17855 17031 296 55 0 16747 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 71420

[startup+70.0381 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1527128/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=77636 CPUtime=70
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 18649 0 0 0 6976 24 0 0 25 0 1 0 187339020 79499264 18563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 19409 18563 296 55 0 18301 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 77636

[startup+80.0439 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1520984/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=83712 CPUtime=80
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 20184 0 0 0 7973 27 0 0 25 0 1 0 187339020 85721088 20097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 20928 20097 296 55 0 19820 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 83712

[startup+90.0497 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1515544/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=89268 CPUtime=90
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 21546 0 0 0 8971 29 0 0 25 0 1 0 187339020 91410432 21458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 22317 21458 296 55 0 21209 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 89268

[startup+100.056 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1509656/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=95088 CPUtime=100
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 23015 0 0 0 9969 31 0 0 25 0 1 0 187339020 97370112 22927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 23772 22927 296 55 0 22664 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 95088

[startup+110.061 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1504472/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=100364 CPUtime=110
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 24321 0 0 0 10967 33 0 0 25 0 1 0 187339020 102772736 24233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 25091 24233 296 55 0 23983 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 100364

[startup+120.067 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1497560/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=107236 CPUtime=120.01
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 26033 0 0 0 11965 36 0 0 25 0 1 0 187339020 109809664 25945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 26809 25945 296 55 0 25701 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 107236

[startup+130.073 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1493720/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=111208 CPUtime=130.01
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 26988 0 0 0 12963 38 0 0 25 0 1 0 187339020 113876992 26900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 27802 26900 296 55 0 26694 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 111208

[startup+140.079 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1489560/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=115304 CPUtime=140.01
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 28026 0 0 0 13961 40 0 0 25 0 1 0 187339020 118071296 27938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 28826 27938 296 55 0 27718 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 115304

[startup+150.085 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 27869
/proc/meminfo: memFree=1485016/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=119808 CPUtime=150.02
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 29157 0 0 0 14959 43 0 0 25 0 1 0 187339020 122683392 29069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 29952 29069 296 55 0 28844 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 119808

[startup+160.09 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 27869
/proc/meminfo: memFree=1480536/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=124428 CPUtime=160.02
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 30279 0 0 0 15958 44 0 0 25 0 1 0 187339020 127414272 30190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 31107 30190 296 55 0 29999 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 124428

[startup+170.096 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 27869
/proc/meminfo: memFree=1477208/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=127768 CPUtime=170.02
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 31113 0 0 0 16956 46 0 0 25 0 1 0 187339020 130834432 31024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 31942 31024 296 55 0 30834 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 127768

[startup+180.102 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 27869
/proc/meminfo: memFree=1474264/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=130692 CPUtime=180.02
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 31843 0 0 0 17954 48 0 0 25 0 1 0 187339020 133828608 31753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 32673 31753 296 55 0 31565 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 130692

[startup+190.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 27869
/proc/meminfo: memFree=1470104/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=134928 CPUtime=190.02
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 32897 0 0 0 18953 49 0 0 25 0 1 0 187339020 138166272 32807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 33732 32807 296 55 0 32624 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 134928

[startup+200.114 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 27869
/proc/meminfo: memFree=1466392/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=138624 CPUtime=200.03
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 33821 0 0 0 19952 51 0 0 25 0 1 0 187339020 141950976 33730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 34656 33730 296 55 0 33548 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 138624

[startup+210.121 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 27869
/proc/meminfo: memFree=1460888/2055920 swapFree=4182240/4192956

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

/proc/27869/statm: 114629 112791 296 55 0 113521 0
Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (Kb) 458516

[startup+1771.09 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1146776/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=460892 CPUtime=1770.43
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 113611 0 0 0 176837 206 0 0 25 0 1 0 187339020 471953408 113405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534898 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115223 113405 296 55 0 114115 0
Current children cumulated CPU time (s) 1770.43
Current children cumulated vsize (Kb) 460892

[startup+1781.09 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1144920/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=462608 CPUtime=1780.42
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114069 0 0 0 177836 206 0 0 25 0 1 0 187339020 473710592 113863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115652 113863 296 55 0 114544 0
Current children cumulated CPU time (s) 1780.42
Current children cumulated vsize (Kb) 462608

[startup+1782.1 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1144856/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=462740 CPUtime=1781.44
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114093 0 0 0 177937 207 0 0 25 0 1 0 187339020 473845760 113887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115685 113887 296 55 0 114577 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 462740

[startup+1783.1 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1144600/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=463004 CPUtime=1782.44
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114148 0 0 0 178037 207 0 0 25 0 1 0 187339020 474116096 113942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115751 113942 296 55 0 114643 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 463004

[startup+1784.11 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1144344/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=463320 CPUtime=1783.45
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114221 0 0 0 178138 207 0 0 25 0 1 0 187339020 474439680 114014 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115830 114014 296 55 0 114722 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 463320

[startup+1785.11 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1144280/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=463320 CPUtime=1784.45
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114227 0 0 0 178238 207 0 0 25 0 1 0 187339020 474439680 114020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115830 114020 296 55 0 114722 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 463320

[startup+1786.12 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1144216/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=463452 CPUtime=1785.45
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114249 0 0 0 178338 207 0 0 25 0 1 0 187339020 474574848 114042 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115863 114042 296 55 0 114755 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 463452

[startup+1787.12 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1144088/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=463584 CPUtime=1786.46
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114281 0 0 0 178439 207 0 0 25 0 1 0 187339020 474710016 114074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115896 114074 296 55 0 114788 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 463584

[startup+1788.13 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1143768/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=463848 CPUtime=1787.46
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114356 0 0 0 178539 207 0 0 25 0 1 0 187339020 474980352 114149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115962 114149 296 55 0 114854 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 463848

[startup+1789.13 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1143640/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=463980 CPUtime=1788.46
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114387 0 0 0 178639 207 0 0 25 0 1 0 187339020 475115520 114180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 115995 114180 296 55 0 114887 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (Kb) 463980

[startup+1790.14 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1143512/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=464112 CPUtime=1789.47
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114428 0 0 0 178740 207 0 0 25 0 1 0 187339020 475250688 114221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116028 114221 296 55 0 114920 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 464112

[startup+1791.14 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1143256/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=464376 CPUtime=1790.47
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114490 0 0 0 178840 207 0 0 25 0 1 0 187339020 475521024 114283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116094 114283 296 55 0 114986 0
Current children cumulated CPU time (s) 1790.47
Current children cumulated vsize (Kb) 464376

[startup+1792.15 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1142872/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=464772 CPUtime=1791.47
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114580 0 0 0 178940 207 0 0 25 0 1 0 187339020 475926528 114373 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116193 114373 296 55 0 115085 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (Kb) 464772

[startup+1793.15 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1142744/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=464904 CPUtime=1792.48
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114621 0 0 0 179041 207 0 0 25 0 1 0 187339020 476061696 114414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116226 114414 296 55 0 115118 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 464904

[startup+1794.16 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1142616/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=465036 CPUtime=1793.48
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114639 0 0 0 179141 207 0 0 25 0 1 0 187339020 476196864 114432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116259 114432 296 55 0 115151 0
Current children cumulated CPU time (s) 1793.48
Current children cumulated vsize (Kb) 465036

[startup+1795.16 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1142552/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=465036 CPUtime=1794.5
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114665 0 0 0 179242 208 0 0 25 0 1 0 187339020 476196864 114458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116259 114458 296 55 0 115151 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 465036

[startup+1796.17 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1142424/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=465168 CPUtime=1795.5
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114699 0 0 0 179342 208 0 0 25 0 1 0 187339020 476332032 114492 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116292 114492 296 55 0 115184 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (Kb) 465168

[startup+1797.17 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1142232/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=465432 CPUtime=1796.5
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114745 0 0 0 179442 208 0 0 25 0 1 0 187339020 476602368 114538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116358 114538 296 55 0 115250 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (Kb) 465432

[startup+1798.18 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1141912/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=465696 CPUtime=1797.51
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114817 0 0 0 179543 208 0 0 25 0 1 0 187339020 476872704 114610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116424 114610 296 55 0 115316 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (Kb) 465696

[startup+1799.18 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1141784/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=465828 CPUtime=1798.51
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114854 0 0 0 179643 208 0 0 25 0 1 0 187339020 477007872 114647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116457 114647 296 55 0 115349 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (Kb) 465828

[startup+1800.19 s]
/proc/loadavg: 1.00 0.99 0.92 2/64 28064
/proc/meminfo: memFree=1141528/2055920 swapFree=4182240/4192956
[pid=27869] ppid=27867 vsize=466092 CPUtime=1799.51
/proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114910 0 0 0 179743 208 0 0 25 0 1 0 187339020 477278208 114703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27869/statm: 116523 114703 296 55 0 115415 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (Kb) 466092

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.1
CPU user time (s): 1797.95
CPU system time (s): 2.15567
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (Kb): 466092

Launcher Data (download as text)

Begin job on node70 on Fri Jun  2 02:51:34 UTC 2006


FILE ID= 39547-1149216694

PBS_JOBID= 294863

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6281627dc4c435fe3011d1036bb94900

RANDOM SEED= 653271014


/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.265
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.265
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:       1600464 kB
Buffers:         35948 kB
Cached:         346272 kB
SwapCached:       2456 kB
Active:         111236 kB
Inactive:       279660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600464 kB
SwapTotal:     4192956 kB
SwapFree:      4182240 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15400 kB
Slab:            50584 kB
Committed_AS:   163828 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 node70 on Fri Jun  2 03:21:35 UTC 2006