Trace number 39532

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.16 1800.66

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb
MD5SUM1ce0037c3d80e79a7b72360f6130d1f3
Bench CategorySATUNSAT-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark266.04
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 713
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.07	c Initial problem consists of 231 variables and 2707 constraints.
0.08	c Using non-optimization problem switches.
0.08	c No problem reductions applied in OPT. instance.
0.08	c	preprocess terminated. Elapsed time: 0.071
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.12	c Restart #1 #Var: 231 LB: 0 @ 0.111
0.24	c Restart #2 #Var: 231 LB: 0 @ 0.235
0.48	c Restart #3 #Var: 231 LB: 0 @ 0.47
0.77	c Restart #4 #Var: 231 LB: 0 @ 0.758
1.05	c Restart #5 #Var: 231 LB: 0 @ 1.045
1.34	c Restart #6 #Var: 231 LB: 0 @ 1.332
1.75	c Restart #7 #Var: 231 LB: 0 @ 1.746
2.22	c Restart #8 #Var: 231 LB: 0 @ 2.215
2.69	c Restart #9 #Var: 231 LB: 0 @ 2.685
3.29	c Restart #10 #Var: 231 LB: 0 @ 3.284
3.91	c Restart #11 #Var: 231 LB: 0 @ 3.898
4.70	c Restart #12 #Var: 231 LB: 0 @ 4.693
5.64	c Restart #13 #Var: 231 LB: 0 @ 5.631
6.65	c Restart #14 #Var: 231 LB: 0 @ 6.643
7.82	c Restart #15 #Var: 231 LB: 0 @ 7.811
9.45	c Restart #16 #Var: 231 LB: 0 @ 9.44
11.06	c Restart #17 #Var: 231 LB: 0 @ 11.052
13.11	c Restart #18 #Var: 231 LB: 0 @ 13.099
14.74	c Restart #19 #Var: 231 LB: 0 @ 14.721
17.05	c Restart #20 #Var: 231 LB: 0 @ 17.035
19.29	c Restart #21 #Var: 231 LB: 0 @ 19.277
22.35	c Restart #22 #Var: 231 LB: 0 @ 22.336
24.50	c Restart #23 #Var: 231 LB: 0 @ 24.487
27.92	c Restart #24 #Var: 231 LB: 0 @ 27.899
31.67	c Restart #25 #Var: 231 LB: 0 @ 31.65
36.98	c Restart #26 #Var: 231 LB: 0 @ 36.963
40.76	c Restart #27 #Var: 231 LB: 0 @ 40.738
46.17	c Restart #28 #Var: 231 LB: 0 @ 46.144
52.39	c Restart #29 #Var: 231 LB: 0 @ 52.367
58.27	c Restart #30 #Var: 231 LB: 0 @ 58.24
66.28	c Restart #31 #Var: 231 LB: 0 @ 66.25
73.83	c Restart #32 #Var: 231 LB: 0 @ 73.802
81.61	c Restart #33 #Var: 231 LB: 0 @ 81.58
89.78	c Restart #34 #Var: 231 LB: 0 @ 89.74
95.80	c Restart #35 #Var: 231 LB: 0 @ 95.758
106.58	c Restart #36 #Var: 231 LB: 0 @ 106.54
116.09	c Restart #37 #Var: 231 LB: 0 @ 116.04
127.75	c Restart #38 #Var: 231 LB: 0 @ 127.71
139.94	c Restart #39 #Var: 231 LB: 0 @ 139.89
150.87	c Restart #40 #Var: 231 LB: 0 @ 150.82
163.19	c Restart #41 #Var: 231 LB: 0 @ 163.13
172.31	c Restart #42 #Var: 231 LB: 0 @ 172.25
189.27	c Restart #43 #Var: 231 LB: 0 @ 189.21
204.60	c Restart #44 #Var: 231 LB: 0 @ 204.54
217.49	c Restart #45 #Var: 231 LB: 0 @ 217.42
233.63	c Restart #46 #Var: 231 LB: 0 @ 233.56
249.50	c Restart #47 #Var: 231 LB: 0 @ 249.42
273.06	c Restart #48 #Var: 231 LB: 0 @ 272.98
291.09	c Restart #49 #Var: 231 LB: 0 @ 291
313.51	c Restart #50 #Var: 231 LB: 0 @ 313.42
339.05	c Restart #51 #Var: 231 LB: 0 @ 338.95
365.82	c Restart #52 #Var: 231 LB: 0 @ 365.71
386.17	c Restart #53 #Var: 231 LB: 0 @ 386.05
410.58	c Restart #54 #Var: 231 LB: 0 @ 410.46
431.86	c Restart #55 #Var: 231 LB: 0 @ 431.73
453.36	c Restart #56 #Var: 231 LB: 0 @ 453.22
486.57	c Restart #57 #Var: 231 LB: 0 @ 486.43
525.54	c Restart #58 #Var: 231 LB: 0 @ 525.39
557.84	c Restart #59 #Var: 231 LB: 0 @ 557.68
603.26	c Restart #60 #Var: 231 LB: 0 @ 603.09
651.72	c Restart #61 #Var: 231 LB: 0 @ 651.54
689.66	c Restart #62 #Var: 231 LB: 0 @ 689.47
727.45	c Restart #63 #Var: 231 LB: 0 @ 727.25
767.26	c Restart #64 #Var: 231 LB: 0 @ 767.04
814.88	c Restart #65 #Var: 231 LB: 0 @ 814.65
867.93	c Restart #66 #Var: 231 LB: 0 @ 867.69
923.81	c CHANGE Heuristic... 
923.81	c Restart #0 #Var: 231 LB: 0 @ 923.55
931.97	c Restart #1 #Var: 231 LB: 0 @ 931.71
944.20	c Restart #2 #Var: 231 LB: 0 @ 943.94
954.33	c Restart #3 #Var: 231 LB: 0 @ 954.06
961.68	c Restart #4 #Var: 231 LB: 0 @ 961.41
969.70	c Restart #5 #Var: 231 LB: 0 @ 969.43
980.63	c Restart #6 #Var: 231 LB: 0 @ 980.35
986.45	c Restart #7 #Var: 231 LB: 0 @ 986.17
995.22	c Restart #8 #Var: 231 LB: 0 @ 994.95
999.30	c Restart #9 #Var: 231 LB: 0 @ 999.02
1009.58	c Restart #10 #Var: 231 LB: 0 @ 1009.3
1016.84	c Restart #11 #Var: 231 LB: 0 @ 1016.6
1027.86	c Restart #12 #Var: 231 LB: 0 @ 1027.6
1040.36	c Restart #13 #Var: 231 LB: 0 @ 1040.1
1054.61	c Restart #14 #Var: 231 LB: 0 @ 1054.3
1074.96	c Restart #15 #Var: 231 LB: 0 @ 1074.7
1090.38	c Restart #16 #Var: 231 LB: 0 @ 1090.1
1105.11	c Restart #17 #Var: 231 LB: 0 @ 1104.8
1124.68	c Restart #18 #Var: 231 LB: 0 @ 1124.4
1145.80	c Restart #19 #Var: 231 LB: 0 @ 1145.5
1166.18	c Restart #20 #Var: 231 LB: 0 @ 1165.9
1188.86	c Restart #21 #Var: 231 LB: 0 @ 1188.5
1209.64	c Restart #22 #Var: 231 LB: 0 @ 1209.3
1226.16	c Restart #23 #Var: 231 LB: 0 @ 1225.8
1254.11	c Restart #24 #Var: 231 LB: 0 @ 1253.8
1275.85	c Restart #25 #Var: 231 LB: 0 @ 1275.5
1298.09	c Restart #26 #Var: 231 LB: 0 @ 1297.7
1316.74	c Restart #27 #Var: 231 LB: 0 @ 1316.4
1335.38	c Restart #28 #Var: 231 LB: 0 @ 1335
1368.42	c Restart #29 #Var: 231 LB: 0 @ 1368
1396.82	c Restart #30 #Var: 231 LB: 0 @ 1396.4
1433.44	c Restart #31 #Var: 231 LB: 0 @ 1433
1469.68	c Restart #32 #Var: 231 LB: 0 @ 1469.3
1507.04	c Restart #33 #Var: 231 LB: 0 @ 1506.6
1535.44	c Restart #34 #Var: 231 LB: 0 @ 1535
1569.00	c Restart #35 #Var: 231 LB: 0 @ 1568.6
1600.13	c Restart #36 #Var: 231 LB: 0 @ 1599.7
1638.86	c Restart #37 #Var: 231 LB: 0 @ 1638.4
1658.24	c Restart #38 #Var: 231 LB: 0 @ 1657.8
1697.18	c Restart #39 #Var: 231 LB: 0 @ 1696.7
1745.62	c Restart #40 #Var: 231 LB: 0 @ 1745.1
1800.58	s UNKNOWN
1800.58	c Exit Code: 0
1800.58	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/node90/watcher-39532-1149215127 -o ROOT/results/node90/solver-39532-1149215127 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node90/39532-1149215127/instance-39532-1149215127.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.92 0.90 2/67 10347
/proc/meminfo: memFree=1623776/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=4932 CPUtime=0
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 347 0 0 0 0 0 0 0 19 0 1 0 187151712 5050368 313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159459024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 1234 325 221 55 0 125 0

[startup+10.0025 s]
/proc/loadavg: 0.87 0.92 0.90 2/67 10347
/proc/meminfo: memFree=1605168/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=23096 CPUtime=9.98
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 5041 0 0 0 995 3 0 0 25 0 1 0 187151712 23650304 4957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 5774 4957 293 55 0 4665 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 23096

[startup+20.0086 s]
/proc/loadavg: 0.89 0.93 0.90 2/67 10347
/proc/meminfo: memFree=1593144/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=35108 CPUtime=19.98
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 8040 0 0 0 1991 7 0 0 25 0 1 0 187151712 35950592 7956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 8777 7956 293 55 0 7668 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 35108

[startup+30.0147 s]
/proc/loadavg: 0.90 0.93 0.90 2/67 10347
/proc/meminfo: memFree=1583608/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=44612 CPUtime=29.98
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 10423 0 0 0 2987 11 0 0 25 0 1 0 187151712 45682688 10339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 11153 10339 293 55 0 10044 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 44612

[startup+40.0197 s]
/proc/loadavg: 0.92 0.93 0.90 2/67 10347
/proc/meminfo: memFree=1576248/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=52004 CPUtime=39.99
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 12250 0 0 0 3985 14 0 0 25 0 1 0 187151712 53252096 12166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 13001 12166 293 55 0 11892 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 52004

[startup+50.0258 s]
/proc/loadavg: 0.93 0.93 0.90 2/67 10347
/proc/meminfo: memFree=1569272/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=59000 CPUtime=49.99
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 13988 0 0 0 4984 15 0 0 25 0 1 0 187151712 60416000 13904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 14750 13904 293 55 0 13641 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 59000

[startup+60.0319 s]
/proc/loadavg: 0.94 0.93 0.90 2/67 10347
/proc/meminfo: memFree=1562808/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=65488 CPUtime=60
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 15607 0 0 0 5982 18 0 0 25 0 1 0 187151712 67059712 15523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533972 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 16372 15523 293 55 0 15263 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 65488

[startup+70.038 s]
/proc/loadavg: 0.95 0.93 0.91 2/67 10347
/proc/meminfo: memFree=1558136/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=70100 CPUtime=70
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 16764 0 0 0 6980 20 0 0 25 0 1 0 187151712 71782400 16680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 17525 16680 293 55 0 16416 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 70100

[startup+80.0441 s]
/proc/loadavg: 0.96 0.94 0.91 2/67 10347
/proc/meminfo: memFree=1552248/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=76056 CPUtime=80.01
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 18245 0 0 0 7979 22 0 0 25 0 1 0 187151712 77881344 18161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 19014 18161 293 55 0 17905 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 76056

[startup+90.0502 s]
/proc/loadavg: 0.96 0.94 0.91 2/67 10347
/proc/meminfo: memFree=1547000/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=81204 CPUtime=90.01
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 19550 0 0 0 8977 24 0 0 25 0 1 0 187151712 83152896 19465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 20301 19465 293 55 0 19192 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 81204

[startup+100.055 s]
/proc/loadavg: 0.97 0.94 0.91 2/67 10347
/proc/meminfo: memFree=1540536/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=87692 CPUtime=100.01
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 21156 0 0 0 9976 25 0 0 25 0 1 0 187151712 89796608 21071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529245 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 21923 21071 293 55 0 20814 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 87692

[startup+110.061 s]
/proc/loadavg: 0.97 0.94 0.91 2/67 10347
/proc/meminfo: memFree=1535992/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=92188 CPUtime=110.01
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 22284 0 0 0 10973 28 0 0 25 0 1 0 187151712 94400512 22199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 23047 22199 293 55 0 21938 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 92188

[startup+120.067 s]
/proc/loadavg: 0.98 0.94 0.91 2/67 10347
/proc/meminfo: memFree=1531128/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=97212 CPUtime=120.01
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 23502 0 0 0 11972 29 0 0 25 0 1 0 187151712 99545088 23417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 24303 23417 293 55 0 23194 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 97212

[startup+130.074 s]
/proc/loadavg: 0.98 0.94 0.91 2/67 10347
/proc/meminfo: memFree=1526584/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=101708 CPUtime=130.02
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 24632 0 0 0 12970 32 0 0 25 0 1 0 187151712 104148992 24547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 25427 24547 293 55 0 24318 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 101708

[startup+140.08 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1521208/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=106988 CPUtime=140.02
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 25968 0 0 0 13968 34 0 0 25 0 1 0 187151712 109555712 25883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 26747 25883 293 55 0 25638 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 106988

[startup+150.086 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1516024/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=112268 CPUtime=150.03
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 27265 0 0 0 14967 36 0 0 25 0 1 0 187151712 114962432 27180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 28067 27180 293 55 0 26958 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 112268

[startup+160.091 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1512056/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=116228 CPUtime=160.03
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 28255 0 0 0 15965 38 0 0 25 0 1 0 187151712 119017472 28170 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 29057 28170 293 55 0 27948 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 116228

[startup+170.097 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1506232/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=122052 CPUtime=170.03
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 29712 0 0 0 16963 40 0 0 25 0 1 0 187151712 124981248 29627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 30513 29627 293 55 0 29404 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 122052

[startup+180.103 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1501944/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=126424 CPUtime=180.04
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 30783 0 0 0 17962 42 0 0 25 0 1 0 187151712 129458176 30698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 31606 30698 293 55 0 30497 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 126424

[startup+190.109 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1498360/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=129984 CPUtime=190.04
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 31677 0 0 0 18961 43 0 0 25 0 1 0 187151712 133103616 31592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 32496 31592 293 55 0 31387 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 129984

[startup+200.115 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1494840/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=133416 CPUtime=200.04
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 32560 0 0 0 19959 45 0 0 25 0 1 0 187151712 136617984 32475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 33354 32475 293 55 0 32245 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 133416

[startup+210.121 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 10347
/proc/meminfo: memFree=1489976/2055888 swapFree=4085308/4096564

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

/proc/10347/statm: 111956 110320 293 55 0 110847 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (Kb) 447824

[startup+1771.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1181688/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=448484 CPUtime=1770.55
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110691 0 0 0 176871 184 0 0 25 0 1 0 187151712 459247616 110507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112121 110507 293 55 0 111012 0
Current children cumulated CPU time (s) 1770.55
Current children cumulated vsize (Kb) 448484

[startup+1781.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180984/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449340 CPUtime=1780.56
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110876 0 0 0 177872 184 0 0 25 0 1 0 187151712 460124160 110689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112335 110689 293 55 0 111226 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 449340

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180984/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449340 CPUtime=1781.56
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110876 0 0 0 177972 184 0 0 25 0 1 0 187151712 460124160 110689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112335 110689 293 55 0 111226 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 449340

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180920/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449472 CPUtime=1782.57
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110885 0 0 0 178073 184 0 0 25 0 1 0 187151712 460259328 110698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112368 110698 293 55 0 111259 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 449472

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180792/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449472 CPUtime=1783.57
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110915 0 0 0 178173 184 0 0 25 0 1 0 187151712 460259328 110728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112368 110728 293 55 0 111259 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 449472

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180728/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449604 CPUtime=1784.57
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110936 0 0 0 178273 184 0 0 25 0 1 0 187151712 460394496 110749 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112401 110749 293 55 0 111292 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 449604

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180664/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449736 CPUtime=1785.58
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110954 0 0 0 178374 184 0 0 25 0 1 0 187151712 460529664 110767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112434 110767 293 55 0 111325 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 449736

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180600/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449736 CPUtime=1786.58
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110959 0 0 0 178474 184 0 0 25 0 1 0 187151712 460529664 110772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112434 110772 293 55 0 111325 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 449736

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180536/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449736 CPUtime=1787.58
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 110981 0 0 0 178574 184 0 0 25 0 1 0 187151712 460529664 110794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112434 110794 293 55 0 111325 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 449736

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180408/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=449868 CPUtime=1788.59
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111009 0 0 0 178675 184 0 0 25 0 1 0 187151712 460664832 110822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112467 110822 293 55 0 111358 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 449868

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180216/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=450132 CPUtime=1789.59
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111061 0 0 0 178775 184 0 0 25 0 1 0 187151712 460935168 110874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112533 110874 293 55 0 111424 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 450132

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1180152/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=450132 CPUtime=1790.6
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111075 0 0 0 178876 184 0 0 25 0 1 0 187151712 460935168 110888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112533 110888 293 55 0 111424 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 450132

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1179960/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=450396 CPUtime=1791.6
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111129 0 0 0 178976 184 0 0 25 0 1 0 187151712 461205504 110942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112599 110942 293 55 0 111490 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 450396

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1179896/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=450396 CPUtime=1792.61
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111148 0 0 0 179077 184 0 0 25 0 1 0 187151712 461205504 110961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112599 110961 293 55 0 111490 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 450396

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1179704/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=450528 CPUtime=1793.61
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111184 0 0 0 179177 184 0 0 25 0 1 0 187151712 461340672 110997 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112632 110997 293 55 0 111523 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 450528

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1179576/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=450792 CPUtime=1794.62
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111226 0 0 0 179277 185 0 0 25 0 1 0 187151712 461611008 111039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112698 111039 293 55 0 111589 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 450792

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1179320/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=451056 CPUtime=1795.63
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111291 0 0 0 179378 185 0 0 25 0 1 0 187151712 461881344 111104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112764 111104 293 55 0 111655 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 451056

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1178872/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=451452 CPUtime=1796.63
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111392 0 0 0 179478 185 0 0 25 0 1 0 187151712 462286848 111205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112863 111205 293 55 0 111754 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 451452

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1178616/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=451716 CPUtime=1797.64
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111458 0 0 0 179579 185 0 0 25 0 1 0 187151712 462557184 111271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112929 111271 293 55 0 111820 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 451716

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1178360/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=451980 CPUtime=1798.64
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111523 0 0 0 179679 185 0 0 25 0 1 0 187151712 462827520 111336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112995 111336 293 55 0 111886 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 451980

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 10349
/proc/meminfo: memFree=1178296/2055888 swapFree=4085308/4096564
[pid=10347] ppid=10345 vsize=451980 CPUtime=1799.64
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10302 0 -1 0 111532 0 0 0 179779 185 0 0 25 0 1 0 187151712 462827520 111345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112995 111345 293 55 0 111886 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 451980

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.16
CPU user time (s): 1798.24
CPU system time (s): 1.92071
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (Kb): 451980

Launcher Data (download as text)

Begin job on node90 on Fri Jun  2 02:25:27 UTC 2006


FILE ID= 39532-1149215127

PBS_JOBID= 294662

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  1ce0037c3d80e79a7b72360f6130d1f3

RANDOM SEED= 508879046


/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.227
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	: 6006.17
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.227
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1623984 kB
Buffers:         22700 kB
Cached:         342680 kB
SwapCached:       2568 kB
Active:          88812 kB
Inactive:       285380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1623984 kB
SwapTotal:     4096564 kB
SwapFree:      4085308 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          16048 kB
Slab:            44488 kB
Committed_AS:   246888 kB
PageTables:       1268 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node90 on Fri Jun  2 02:55:28 UTC 2006