Trace number 39605

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.07 1801.15

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
MD5SUMd36c8f083b4352ee7b6379767e1c28ad
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 benchmark113.471
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 727
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.073
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.108
0.22	c Restart #2 #Var: 231 LB: 0 @ 0.217
0.37	c Restart #3 #Var: 231 LB: 0 @ 0.366
0.57	c Restart #4 #Var: 231 LB: 0 @ 0.564
0.81	c Restart #5 #Var: 231 LB: 0 @ 0.809
1.11	c Restart #6 #Var: 231 LB: 0 @ 1.103
1.40	c Restart #7 #Var: 231 LB: 0 @ 1.396
1.72	c Restart #8 #Var: 231 LB: 0 @ 1.714
2.15	c Restart #9 #Var: 231 LB: 0 @ 2.147
2.59	c Restart #10 #Var: 231 LB: 0 @ 2.584
3.25	c Restart #11 #Var: 231 LB: 0 @ 3.241
3.88	c Restart #12 #Var: 231 LB: 0 @ 3.875
4.53	c Restart #13 #Var: 231 LB: 0 @ 4.52
5.53	c Restart #14 #Var: 231 LB: 0 @ 5.522
6.91	c Restart #15 #Var: 231 LB: 0 @ 6.899
8.26	c Restart #16 #Var: 231 LB: 0 @ 8.253
9.64	c Restart #17 #Var: 231 LB: 0 @ 9.631
11.46	c Restart #18 #Var: 231 LB: 0 @ 11.456
13.14	c Restart #19 #Var: 231 LB: 0 @ 13.131
15.06	c Restart #20 #Var: 231 LB: 0 @ 15.046
17.66	c Restart #21 #Var: 231 LB: 0 @ 17.648
20.65	c Restart #22 #Var: 231 LB: 0 @ 20.634
23.98	c Restart #23 #Var: 231 LB: 0 @ 23.965
27.60	c Restart #24 #Var: 231 LB: 0 @ 27.58
31.32	c Restart #25 #Var: 231 LB: 0 @ 31.294
35.51	c Restart #26 #Var: 231 LB: 0 @ 35.482
39.98	c Restart #27 #Var: 231 LB: 0 @ 39.951
47.68	c Restart #28 #Var: 231 LB: 0 @ 47.652
55.54	c Restart #29 #Var: 231 LB: 0 @ 55.506
63.99	c Restart #30 #Var: 231 LB: 0 @ 63.954
71.28	c Restart #31 #Var: 231 LB: 0 @ 71.236
77.58	c Restart #32 #Var: 231 LB: 0 @ 77.528
87.28	c Restart #33 #Var: 231 LB: 0 @ 87.219
95.82	c Restart #34 #Var: 231 LB: 0 @ 95.763
106.79	c Restart #35 #Var: 231 LB: 0 @ 106.73
118.28	c Restart #36 #Var: 231 LB: 0 @ 118.21
131.39	c Restart #37 #Var: 231 LB: 0 @ 131.31
148.77	c Restart #38 #Var: 231 LB: 0 @ 148.69
162.33	c Restart #39 #Var: 231 LB: 0 @ 162.24
172.71	c Restart #40 #Var: 231 LB: 0 @ 172.6
185.20	c Restart #41 #Var: 231 LB: 0 @ 185.09
199.57	c Restart #42 #Var: 231 LB: 0 @ 199.46
212.39	c Restart #43 #Var: 231 LB: 0 @ 212.26
228.20	c Restart #44 #Var: 231 LB: 0 @ 228.07
248.21	c Restart #45 #Var: 231 LB: 0 @ 248.06
266.63	c Restart #46 #Var: 231 LB: 0 @ 266.47
281.56	c Restart #47 #Var: 231 LB: 0 @ 281.4
300.77	c Restart #48 #Var: 231 LB: 0 @ 300.6
318.96	c Restart #49 #Var: 231 LB: 0 @ 318.78
336.41	c Restart #50 #Var: 231 LB: 0 @ 336.22
357.97	c Restart #51 #Var: 231 LB: 0 @ 357.77
382.36	c Restart #52 #Var: 231 LB: 0 @ 382.15
407.27	c Restart #53 #Var: 231 LB: 0 @ 407.04
429.43	c Restart #54 #Var: 231 LB: 0 @ 429.19
461.85	c Restart #55 #Var: 231 LB: 0 @ 461.59
483.75	c Restart #56 #Var: 231 LB: 0 @ 483.49
518.64	c Restart #57 #Var: 231 LB: 0 @ 518.36
557.13	c Restart #58 #Var: 231 LB: 0 @ 556.84
585.96	c Restart #59 #Var: 231 LB: 0 @ 585.65
628.27	c Restart #60 #Var: 231 LB: 0 @ 627.94
671.82	c Restart #61 #Var: 231 LB: 0 @ 671.47
700.37	c Restart #62 #Var: 231 LB: 0 @ 700
737.64	c Restart #63 #Var: 231 LB: 0 @ 737.26
765.35	c Restart #64 #Var: 231 LB: 0 @ 764.95
821.95	c Restart #65 #Var: 231 LB: 0 @ 821.52
859.36	c Restart #66 #Var: 231 LB: 0 @ 858.91
914.28	c CHANGE Heuristic... 
914.28	c Restart #0 #Var: 231 LB: 0 @ 913.8
921.32	c Restart #1 #Var: 231 LB: 0 @ 920.84
926.42	c Restart #2 #Var: 231 LB: 0 @ 925.93
932.26	c Restart #3 #Var: 231 LB: 0 @ 931.77
940.40	c Restart #4 #Var: 231 LB: 0 @ 939.9
945.46	c Restart #5 #Var: 231 LB: 0 @ 944.96
954.20	c Restart #6 #Var: 231 LB: 0 @ 953.7
963.06	c Restart #7 #Var: 231 LB: 0 @ 962.55
978.74	c Restart #8 #Var: 231 LB: 0 @ 978.23
993.67	c Restart #9 #Var: 231 LB: 0 @ 993.14
1005.72	c Restart #10 #Var: 231 LB: 0 @ 1005.2
1016.41	c Restart #11 #Var: 231 LB: 0 @ 1015.9
1029.35	c Restart #12 #Var: 231 LB: 0 @ 1028.8
1042.76	c Restart #13 #Var: 231 LB: 0 @ 1042.1
1054.84	c Restart #14 #Var: 231 LB: 0 @ 1054.2
1070.57	c Restart #15 #Var: 231 LB: 0 @ 1069.9
1084.79	c Restart #16 #Var: 231 LB: 0 @ 1084.2
1113.04	c Restart #17 #Var: 231 LB: 0 @ 1112.4
1133.80	c Restart #18 #Var: 231 LB: 0 @ 1133.1
1150.26	c Restart #19 #Var: 231 LB: 0 @ 1149.6
1164.25	c Restart #20 #Var: 231 LB: 0 @ 1163.6
1182.65	c Restart #21 #Var: 231 LB: 0 @ 1182
1204.72	c Restart #22 #Var: 231 LB: 0 @ 1204
1230.98	c Restart #23 #Var: 231 LB: 0 @ 1230.3
1260.89	c Restart #24 #Var: 231 LB: 0 @ 1260.1
1280.43	c Restart #25 #Var: 231 LB: 0 @ 1279.7
1306.48	c Restart #26 #Var: 231 LB: 0 @ 1305.7
1331.34	c Restart #27 #Var: 231 LB: 0 @ 1330.5
1354.97	c Restart #28 #Var: 231 LB: 0 @ 1354.2
1378.46	c Restart #29 #Var: 231 LB: 0 @ 1377.6
1410.19	c Restart #30 #Var: 231 LB: 0 @ 1409.3
1437.10	c Restart #31 #Var: 231 LB: 0 @ 1436.2
1459.10	c Restart #32 #Var: 231 LB: 0 @ 1458.2
1488.68	c Restart #33 #Var: 231 LB: 0 @ 1487.8
1515.52	c Restart #34 #Var: 231 LB: 0 @ 1514.6
1553.75	c Restart #35 #Var: 231 LB: 0 @ 1552.8
1601.02	c Restart #36 #Var: 231 LB: 0 @ 1600.1
1629.35	c Restart #37 #Var: 231 LB: 0 @ 1628.4
1677.63	c Restart #38 #Var: 231 LB: 0 @ 1676.6
1718.01	c Restart #39 #Var: 231 LB: 0 @ 1717
1771.68	c Restart #40 #Var: 231 LB: 0 @ 1770.6
1801.08	s UNKNOWN
1801.08	c Exit Code: 0
1801.08	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/node81/watcher-39605-1149223433 -o ROOT/results/node81/solver-39605-1149223433 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39605-1149223433/instance-39605-1149223433.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1312200/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=4936 CPUtime=0
/proc/19376/stat : 19376 (bsolo) D 19374 19376 19331 0 -1 0 365 0 0 0 0 0 0 0 19 0 1 0 187982752 5054464 328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072100015398 0 0 17 0 0 0
/proc/19376/statm: 1234 328 224 55 0 125 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1291920/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=24812 CPUtime=9.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 5458 0 0 0 993 5 0 0 25 0 1 0 187982752 25407488 5374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718481 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 6203 5374 293 55 0 5094 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 24812

[startup+20.0085 s]
/proc/loadavg: 0.94 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1280216/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=36568 CPUtime=19.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 8400 0 0 0 1990 8 0 0 25 0 1 0 187982752 37445632 8316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 9142 8316 293 55 0 8033 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 36568

[startup+30.0146 s]
/proc/loadavg: 0.95 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1271256/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=45552 CPUtime=29.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 10644 0 0 0 2987 11 0 0 25 0 1 0 187982752 46645248 10560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 11388 10560 293 55 0 10279 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 45552

[startup+40.0207 s]
/proc/loadavg: 0.95 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1263128/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=53608 CPUtime=39.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 12667 0 0 0 3984 14 0 0 25 0 1 0 187982752 54894592 12583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 13402 12583 293 55 0 12293 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 53608

[startup+50.0278 s]
/proc/loadavg: 0.96 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1258712/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=58108 CPUtime=49.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 13770 0 0 0 4982 17 0 0 25 0 1 0 187982752 59502592 13686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10537003 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 14527 13686 293 55 0 13418 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 58108

[startup+60.0329 s]
/proc/loadavg: 0.97 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1253720/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=63128 CPUtime=59.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 15034 0 0 0 5981 18 0 0 25 0 1 0 187982752 64643072 14950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 15782 14950 293 55 0 14673 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 63128

[startup+70.0381 s]
/proc/loadavg: 0.97 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1248408/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=68408 CPUtime=69.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 16345 0 0 0 6979 19 0 0 25 0 1 0 187982752 70049792 16261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 17102 16261 293 55 0 15993 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 68408

[startup+80.0442 s]
/proc/loadavg: 0.98 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1242008/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=74748 CPUtime=79.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 17941 0 0 0 7977 21 0 0 25 0 1 0 187982752 76541952 17856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533920 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 18687 17856 293 55 0 17578 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 74748

[startup+90.0503 s]
/proc/loadavg: 0.98 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1236888/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=80028 CPUtime=89.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 19233 0 0 0 8974 24 0 0 25 0 1 0 187982752 81948672 19148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 20007 19148 293 55 0 18898 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 80028

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1232664/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=84152 CPUtime=99.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 20277 0 0 0 9974 25 0 0 25 0 1 0 187982752 86171648 20192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 21038 20192 293 55 0 19929 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 84152

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1228376/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=88516 CPUtime=109.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 21347 0 0 0 10971 27 0 0 25 0 1 0 187982752 90640384 21261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19376/statm: 22129 21261 293 55 0 21020 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 88516

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1224152/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=92760 CPUtime=119.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 22399 0 0 0 11969 30 0 0 25 0 1 0 187982752 94986240 22313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 23190 22313 293 55 0 22081 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 92760

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1220632/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=96356 CPUtime=129.98
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 23291 0 0 0 12967 31 0 0 25 0 1 0 187982752 98668544 23205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 24089 23205 293 55 0 22980 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 96356

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1218008/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=99000 CPUtime=139.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 23946 0 0 0 13966 33 0 0 25 0 1 0 187982752 101376000 23860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 24750 23860 293 55 0 23641 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 99000

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1215064/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=101904 CPUtime=150
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 24690 0 0 0 14965 35 0 0 25 0 1 0 187982752 104349696 24604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 25476 24604 293 55 0 24367 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 101904

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1210968/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=105996 CPUtime=159.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 25697 0 0 0 15963 36 0 0 25 0 1 0 187982752 108539904 25611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 26499 25611 293 55 0 25390 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 105996

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1206040/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=110896 CPUtime=169.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 26924 0 0 0 16961 38 0 0 25 0 1 0 187982752 113557504 26838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19376/statm: 27724 26838 293 55 0 26615 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 110896

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1202200/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=114856 CPUtime=179.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 27881 0 0 0 17960 39 0 0 25 0 1 0 187982752 117612544 27795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 28714 27795 293 55 0 27605 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 114856

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1197720/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=119380 CPUtime=189.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 29005 0 0 0 18959 40 0 0 25 0 1 0 187982752 122245120 28917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 29845 28917 293 55 0 28736 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 119380

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1192856/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=124304 CPUtime=199.99
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 30223 0 0 0 19956 43 0 0 25 0 1 0 187982752 127287296 30133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 31076 30133 293 55 0 29967 0
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 124304

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.96 2/68 19376
/proc/meminfo: memFree=1188248/2055892 swapFree=4085344/4096564

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

/proc/19376/statm: 110661 109089 293 55 0 109552 0
Current children cumulated CPU time (s) 1760.01
Current children cumulated vsize (Kb) 442644

[startup+1771.07 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=875096/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=443700 CPUtime=1770.01
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109559 0 0 0 176808 193 0 0 25 0 1 0 187982752 454348800 109358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 110925 109358 293 55 0 109816 0
Current children cumulated CPU time (s) 1770.01
Current children cumulated vsize (Kb) 443700

[startup+1781.08 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874520/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444228 CPUtime=1780.01
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109702 0 0 0 177808 193 0 0 25 0 1 0 187982752 454889472 109501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111057 109501 293 55 0 109948 0
Current children cumulated CPU time (s) 1780.01
Current children cumulated vsize (Kb) 444228

[startup+1782.08 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874520/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444228 CPUtime=1781.01
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109711 0 0 0 177908 193 0 0 25 0 1 0 187982752 454889472 109510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111057 109510 293 55 0 109948 0
Current children cumulated CPU time (s) 1781.01
Current children cumulated vsize (Kb) 444228

[startup+1783.09 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874392/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444360 CPUtime=1782.01
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109730 0 0 0 178008 193 0 0 25 0 1 0 187982752 455024640 109529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111090 109529 293 55 0 109981 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (Kb) 444360

[startup+1784.09 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874392/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444492 CPUtime=1783.02
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109743 0 0 0 178109 193 0 0 25 0 1 0 187982752 455159808 109542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111123 109542 293 55 0 110014 0
Current children cumulated CPU time (s) 1783.02
Current children cumulated vsize (Kb) 444492

[startup+1785.1 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874328/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444492 CPUtime=1784.02
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109758 0 0 0 178209 193 0 0 25 0 1 0 187982752 455159808 109557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111123 109557 293 55 0 110014 0
Current children cumulated CPU time (s) 1784.02
Current children cumulated vsize (Kb) 444492

[startup+1786.1 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874264/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444492 CPUtime=1785.02
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109771 0 0 0 178309 193 0 0 25 0 1 0 187982752 455159808 109570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111123 109570 293 55 0 110014 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (Kb) 444492

[startup+1787.11 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874200/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444624 CPUtime=1786.03
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109791 0 0 0 178410 193 0 0 25 0 1 0 187982752 455294976 109590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111156 109590 293 55 0 110047 0
Current children cumulated CPU time (s) 1786.03
Current children cumulated vsize (Kb) 444624

[startup+1788.11 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=874008/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444756 CPUtime=1787.03
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109827 0 0 0 178510 193 0 0 25 0 1 0 187982752 455430144 109626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111189 109626 293 55 0 110080 0
Current children cumulated CPU time (s) 1787.03
Current children cumulated vsize (Kb) 444756

[startup+1789.12 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873880/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=444888 CPUtime=1788.04
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109860 0 0 0 178611 193 0 0 25 0 1 0 187982752 455565312 109659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111222 109659 293 55 0 110113 0
Current children cumulated CPU time (s) 1788.04
Current children cumulated vsize (Kb) 444888

[startup+1790.12 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873752/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445020 CPUtime=1789.04
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109890 0 0 0 178711 193 0 0 25 0 1 0 187982752 455700480 109689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111255 109689 293 55 0 110146 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (Kb) 445020

[startup+1791.13 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873624/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445152 CPUtime=1790.05
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109923 0 0 0 178812 193 0 0 25 0 1 0 187982752 455835648 109722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111288 109722 293 55 0 110179 0
Current children cumulated CPU time (s) 1790.05
Current children cumulated vsize (Kb) 445152

[startup+1792.13 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873496/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445284 CPUtime=1791.05
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109957 0 0 0 178912 193 0 0 25 0 1 0 187982752 455970816 109756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111321 109756 293 55 0 110212 0
Current children cumulated CPU time (s) 1791.05
Current children cumulated vsize (Kb) 445284

[startup+1793.14 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873368/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445416 CPUtime=1792.05
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109994 0 0 0 179012 193 0 0 25 0 1 0 187982752 456105984 109793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111354 109793 293 55 0 110245 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (Kb) 445416

[startup+1794.14 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873240/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445548 CPUtime=1793.06
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110017 0 0 0 179113 193 0 0 25 0 1 0 187982752 456241152 109816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111387 109816 293 55 0 110278 0
Current children cumulated CPU time (s) 1793.06
Current children cumulated vsize (Kb) 445548

[startup+1795.15 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873048/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445876 CPUtime=1794.06
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110065 0 0 0 179213 193 0 0 25 0 1 0 187982752 456577024 109863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111469 109863 293 55 0 110360 0
Current children cumulated CPU time (s) 1794.06
Current children cumulated vsize (Kb) 445876

[startup+1796.15 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=873048/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445876 CPUtime=1795.07
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110066 0 0 0 179314 193 0 0 25 0 1 0 187982752 456577024 109864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111469 109864 293 55 0 110360 0
Current children cumulated CPU time (s) 1795.07
Current children cumulated vsize (Kb) 445876

[startup+1797.16 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=872920/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=445876 CPUtime=1796.07
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110097 0 0 0 179414 193 0 0 25 0 1 0 187982752 456577024 109895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111469 109895 293 55 0 110360 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (Kb) 445876

[startup+1798.16 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=872792/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=446140 CPUtime=1797.07
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110145 0 0 0 179514 193 0 0 25 0 1 0 187982752 456847360 109943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10537003 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111535 109943 293 55 0 110426 0
Current children cumulated CPU time (s) 1797.07
Current children cumulated vsize (Kb) 446140

[startup+1799.17 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=872600/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=446272 CPUtime=1798.08
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110180 0 0 0 179615 193 0 0 25 0 1 0 187982752 456982528 109978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111568 109978 293 55 0 110459 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (Kb) 446272

[startup+1800.17 s]
/proc/loadavg: 1.00 0.99 0.96 2/68 19571
/proc/meminfo: memFree=872536/2055892 swapFree=4085344/4096564
[pid=19376] ppid=19374 vsize=446404 CPUtime=1799.08
/proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110202 0 0 0 179715 193 0 0 25 0 1 0 187982752 457117696 110000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/19376/statm: 111601 110000 293 55 0 110492 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (Kb) 446404

Child status: 0
Real time (s): 1801.15
CPU time (s): 1800.07
CPU user time (s): 1798.07
CPU system time (s): 2.00369
CPU usage (%): 99.94
Max. virtual memory (cumulated for all children) (Kb): 446404

Launcher Data (download as text)

Begin job on node81 on Fri Jun  2 04:43:53 UTC 2006


FILE ID= 39605-1149223433

PBS_JOBID= 295611

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d36c8f083b4352ee7b6379767e1c28ad

RANDOM SEED= 67963651


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1312472 kB
Buffers:         43604 kB
Cached:         622112 kB
SwapCached:       2656 kB
Active:         160108 kB
Inactive:       514484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1312472 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:          16508 kB
Slab:            55440 kB
Committed_AS:   212556 kB
PageTables:       1288 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node81 on Fri Jun  2 05:13:54 UTC 2006