Trace number 39594

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 1800.53

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb
MD5SUM23d2095f3ee13b7452c309e9137df723
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 benchmark240.165
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 649
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.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.064
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.099
0.22	c Restart #2 #Var: 231 LB: 0 @ 0.212
0.34	c Restart #3 #Var: 231 LB: 0 @ 0.326
0.49	c Restart #4 #Var: 231 LB: 0 @ 0.48
0.66	c Restart #5 #Var: 231 LB: 0 @ 0.649
0.92	c Restart #6 #Var: 231 LB: 0 @ 0.912
1.24	c Restart #7 #Var: 231 LB: 0 @ 1.231
1.63	c Restart #8 #Var: 231 LB: 0 @ 1.615
2.10	c Restart #9 #Var: 231 LB: 0 @ 2.083
2.70	c Restart #10 #Var: 231 LB: 0 @ 2.69
3.20	c Restart #11 #Var: 231 LB: 0 @ 3.183
4.12	c Restart #12 #Var: 231 LB: 0 @ 4.102
4.90	c Restart #13 #Var: 231 LB: 0 @ 4.89
6.31	c Restart #14 #Var: 231 LB: 0 @ 6.299
7.30	c Restart #15 #Var: 231 LB: 0 @ 7.28
9.14	c Restart #16 #Var: 231 LB: 0 @ 9.122
10.39	c Restart #17 #Var: 231 LB: 0 @ 10.371
11.88	c Restart #18 #Var: 231 LB: 0 @ 11.867
13.48	c Restart #19 #Var: 231 LB: 0 @ 13.467
15.77	c Restart #20 #Var: 231 LB: 0 @ 15.749
17.55	c Restart #21 #Var: 231 LB: 0 @ 17.534
21.12	c Restart #22 #Var: 231 LB: 0 @ 21.099
23.71	c Restart #23 #Var: 231 LB: 0 @ 23.691
27.55	c Restart #24 #Var: 231 LB: 0 @ 27.531
32.25	c Restart #25 #Var: 231 LB: 0 @ 32.225
35.95	c Restart #26 #Var: 231 LB: 0 @ 35.928
40.48	c Restart #27 #Var: 231 LB: 0 @ 40.453
44.27	c Restart #28 #Var: 231 LB: 0 @ 44.244
49.67	c Restart #29 #Var: 231 LB: 0 @ 49.649
55.15	c Restart #30 #Var: 231 LB: 0 @ 55.121
60.06	c Restart #31 #Var: 231 LB: 0 @ 60.035
65.84	c Restart #32 #Var: 231 LB: 0 @ 65.807
73.48	c Restart #33 #Var: 231 LB: 0 @ 73.444
80.48	c Restart #34 #Var: 231 LB: 0 @ 80.444
88.73	c Restart #35 #Var: 231 LB: 0 @ 88.695
97.77	c Restart #36 #Var: 231 LB: 0 @ 97.737
107.12	c Restart #37 #Var: 231 LB: 0 @ 107.08
119.43	c Restart #38 #Var: 231 LB: 0 @ 119.39
130.58	c Restart #39 #Var: 231 LB: 0 @ 130.54
141.63	c Restart #40 #Var: 231 LB: 0 @ 141.59
154.13	c Restart #41 #Var: 231 LB: 0 @ 154.08
171.71	c Restart #42 #Var: 231 LB: 0 @ 171.66
185.85	c Restart #43 #Var: 231 LB: 0 @ 185.79
200.62	c Restart #44 #Var: 231 LB: 0 @ 200.56
218.72	c Restart #45 #Var: 231 LB: 0 @ 218.66
236.10	c Restart #46 #Var: 231 LB: 0 @ 236.03
256.33	c Restart #47 #Var: 231 LB: 0 @ 256.26
275.06	c Restart #48 #Var: 231 LB: 0 @ 274.98
295.94	c Restart #49 #Var: 231 LB: 0 @ 295.85
329.34	c Restart #50 #Var: 231 LB: 0 @ 329.25
349.14	c Restart #51 #Var: 231 LB: 0 @ 349.04
375.24	c Restart #52 #Var: 231 LB: 0 @ 375.13
403.37	c Restart #53 #Var: 231 LB: 0 @ 403.25
430.00	c Restart #54 #Var: 231 LB: 0 @ 429.88
467.32	c Restart #55 #Var: 231 LB: 0 @ 467.2
495.02	c Restart #56 #Var: 231 LB: 0 @ 494.89
525.51	c Restart #57 #Var: 231 LB: 0 @ 525.37
559.94	c Restart #58 #Var: 231 LB: 0 @ 559.79
601.90	c Restart #59 #Var: 231 LB: 0 @ 601.74
637.31	c Restart #60 #Var: 231 LB: 0 @ 637.14
674.16	c Restart #61 #Var: 231 LB: 0 @ 673.98
723.53	c Restart #62 #Var: 231 LB: 0 @ 723.34
778.65	c Restart #63 #Var: 231 LB: 0 @ 778.44
829.42	c Restart #64 #Var: 231 LB: 0 @ 829.2
898.88	c Restart #65 #Var: 231 LB: 0 @ 898.64
950.12	c CHANGE Heuristic... 
950.12	c Restart #0 #Var: 231 LB: 0 @ 949.87
956.32	c Restart #1 #Var: 231 LB: 0 @ 956.07
961.46	c Restart #2 #Var: 231 LB: 0 @ 961.21
967.45	c Restart #3 #Var: 231 LB: 0 @ 967.2
971.74	c Restart #4 #Var: 231 LB: 0 @ 971.49
980.02	c Restart #5 #Var: 231 LB: 0 @ 979.76
986.00	c Restart #6 #Var: 231 LB: 0 @ 985.74
995.80	c Restart #7 #Var: 231 LB: 0 @ 995.54
1007.13	c Restart #8 #Var: 231 LB: 0 @ 1006.9
1021.04	c Restart #9 #Var: 231 LB: 0 @ 1020.8
1035.85	c Restart #10 #Var: 231 LB: 0 @ 1035.6
1044.83	c Restart #11 #Var: 231 LB: 0 @ 1044.6
1059.23	c Restart #12 #Var: 231 LB: 0 @ 1059
1069.73	c Restart #13 #Var: 231 LB: 0 @ 1069.5
1092.97	c Restart #14 #Var: 231 LB: 0 @ 1092.7
1105.74	c Restart #15 #Var: 231 LB: 0 @ 1105.5
1121.30	c Restart #16 #Var: 231 LB: 0 @ 1121
1140.89	c Restart #17 #Var: 231 LB: 0 @ 1140.6
1160.99	c Restart #18 #Var: 231 LB: 0 @ 1160.7
1179.13	c Restart #19 #Var: 231 LB: 0 @ 1178.8
1207.01	c Restart #20 #Var: 231 LB: 0 @ 1206.7
1230.22	c Restart #21 #Var: 231 LB: 0 @ 1229.9
1262.31	c Restart #22 #Var: 231 LB: 0 @ 1262
1286.46	c Restart #23 #Var: 231 LB: 0 @ 1286.1
1320.13	c Restart #24 #Var: 231 LB: 0 @ 1319.8
1346.31	c Restart #25 #Var: 231 LB: 0 @ 1346
1377.32	c Restart #26 #Var: 231 LB: 0 @ 1377
1408.97	c Restart #27 #Var: 231 LB: 0 @ 1408.6
1445.65	c Restart #28 #Var: 231 LB: 0 @ 1445.3
1470.00	c Restart #29 #Var: 231 LB: 0 @ 1469.6
1498.82	c Restart #30 #Var: 231 LB: 0 @ 1498.4
1531.19	c Restart #31 #Var: 231 LB: 0 @ 1530.8
1567.57	c Restart #32 #Var: 231 LB: 0 @ 1567.2
1593.85	c Restart #33 #Var: 231 LB: 0 @ 1593.4
1655.32	c Restart #34 #Var: 231 LB: 0 @ 1654.9
1694.12	c Restart #35 #Var: 231 LB: 0 @ 1693.7
1735.47	c Restart #36 #Var: 231 LB: 0 @ 1735
1770.18	c Restart #37 #Var: 231 LB: 0 @ 1769.7
1800.46	s UNKNOWN
1800.46	c Exit Code: 0
1800.46	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/node8/watcher-39594-1149222022 -o ROOT/results/node8/solver-39594-1149222022 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node8/39594-1149222022/instance-39594-1149222022.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.98 0.97 1/64 15758
/proc/meminfo: memFree=1440360/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=4664 CPUtime=0
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 187864425 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10591508 0 0 4096 0 0 0 0 17 1 0 0
/proc/15758/statm: 1166 136 106 55 0 46 0

[startup+10.0022 s]
/proc/loadavg: 0.94 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1420392/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=24416 CPUtime=9.97
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 5362 0 0 0 993 4 0 0 25 0 1 0 187864425 25001984 5277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 6104 5277 296 55 0 4996 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 24416

[startup+20.0081 s]
/proc/loadavg: 0.95 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1408168/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=36560 CPUtime=19.98
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 8418 0 0 0 1990 8 0 0 25 0 1 0 187864425 37437440 8333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 9140 8333 296 55 0 8032 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 36560

[startup+30.0141 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1399784/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=45008 CPUtime=29.99
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 10525 0 0 0 2987 12 0 0 25 0 1 0 187864425 46088192 10440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 11252 10440 296 55 0 10144 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 45008

[startup+40.02 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1391400/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=53464 CPUtime=39.99
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 12611 0 0 0 3985 14 0 0 25 0 1 0 187864425 54747136 12526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 13366 12526 296 55 0 12258 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 53464

[startup+50.0259 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1383848/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=61124 CPUtime=49.99
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 14518 0 0 0 4981 18 0 0 25 0 1 0 187864425 62590976 14433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 15281 14433 296 55 0 14173 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 61124

[startup+60.0318 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1375848/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=69040 CPUtime=59.99
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 16506 0 0 0 5979 20 0 0 25 0 1 0 187864425 70696960 16421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 17260 16421 296 55 0 16152 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 69040

[startup+70.0377 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1369128/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=75916 CPUtime=70
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 18192 0 0 0 6977 23 0 0 25 0 1 0 187864425 77737984 18107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 18979 18107 296 55 0 17871 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 75916

[startup+80.0437 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1362728/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=82136 CPUtime=80
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 19776 0 0 0 7975 25 0 0 25 0 1 0 187864425 84107264 19690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 20534 19690 296 55 0 19426 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 82136

[startup+90.0496 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1357224/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=87680 CPUtime=90
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 21159 0 0 0 8974 26 0 0 25 0 1 0 187864425 89784320 21073 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 21920 21073 296 55 0 20812 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 87680

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1351656/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=93364 CPUtime=100.01
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 22553 0 0 0 9972 29 0 0 25 0 1 0 187864425 95604736 22466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 23341 22466 296 55 0 22233 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 93364

[startup+110.061 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1347176/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=97724 CPUtime=110.01
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 23660 0 0 0 10971 30 0 0 25 0 1 0 187864425 100069376 23573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 24431 23573 296 55 0 23323 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 97724

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1342760/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=102236 CPUtime=120.02
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 24768 0 0 0 11970 32 0 0 25 0 1 0 187864425 104689664 24681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 25559 24681 296 55 0 24451 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 102236

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1337896/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=106992 CPUtime=130.02
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 25974 0 0 0 12967 35 0 0 25 0 1 0 187864425 109559808 25887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 26748 25887 296 55 0 25640 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 106992

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1332520/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=112404 CPUtime=140.03
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 27316 0 0 0 13966 37 0 0 25 0 1 0 187864425 115101696 27229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 28101 27229 296 55 0 26993 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 112404

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1327848/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=117024 CPUtime=150.03
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 28481 0 0 0 14964 39 0 0 25 0 1 0 187864425 119832576 28394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 29256 28394 296 55 0 28148 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 117024

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1324008/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=120984 CPUtime=160.03
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 29437 0 0 0 15962 41 0 0 25 0 1 0 187864425 123887616 29350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 30246 29350 296 55 0 29138 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 120984

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1320168/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=124812 CPUtime=170.03
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 30397 0 0 0 16961 42 0 0 25 0 1 0 187864425 127807488 30310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 31203 30310 296 55 0 30095 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 124812

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1315368/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=129724 CPUtime=180.04
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 31615 0 0 0 17959 45 0 0 25 0 1 0 187864425 132837376 31527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 32431 31527 296 55 0 31323 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 129724

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1311720/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=133320 CPUtime=190.04
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 32507 0 0 0 18958 46 0 0 25 0 1 0 187864425 136519680 32419 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 33330 32419 296 55 0 32222 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 133320

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1307048/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=138072 CPUtime=200.04
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 33678 0 0 0 19957 47 0 0 25 0 1 0 187864425 141385728 33589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 34518 33589 296 55 0 33410 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 138072

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 15758
/proc/meminfo: memFree=1303848/2055920 swapFree=4181412/4192956

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

/proc/15758/statm: 106058 104447 296 55 0 104950 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 424232

[startup+1771.05 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1021352/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=425552 CPUtime=1770.6
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 104967 0 0 0 176884 176 0 0 25 0 1 0 187864425 435765248 104792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106388 104792 296 55 0 105280 0
Current children cumulated CPU time (s) 1770.6
Current children cumulated vsize (Kb) 425552

[startup+1781.06 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1020520/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=426480 CPUtime=1780.6
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105180 0 0 0 177884 176 0 0 25 0 1 0 187864425 436715520 105005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106620 105005 296 55 0 105512 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 426480

[startup+1782.06 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1020456/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=426480 CPUtime=1781.61
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105199 0 0 0 177985 176 0 0 25 0 1 0 187864425 436715520 105024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106620 105024 296 55 0 105512 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 426480

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1020328/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=426612 CPUtime=1782.61
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105220 0 0 0 178085 176 0 0 25 0 1 0 187864425 436850688 105045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548490 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106653 105045 296 55 0 105545 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 426612

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1020264/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=426744 CPUtime=1783.62
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105246 0 0 0 178186 176 0 0 25 0 1 0 187864425 436985856 105071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106686 105071 296 55 0 105578 0
Current children cumulated CPU time (s) 1783.62
Current children cumulated vsize (Kb) 426744

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1020136/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=426876 CPUtime=1784.62
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105273 0 0 0 178286 176 0 0 25 0 1 0 187864425 437121024 105098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106719 105098 296 55 0 105611 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 426876

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1020072/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=426876 CPUtime=1785.63
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105292 0 0 0 178387 176 0 0 25 0 1 0 187864425 437121024 105117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106719 105117 296 55 0 105611 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (Kb) 426876

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1019944/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=427008 CPUtime=1786.63
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105320 0 0 0 178487 176 0 0 25 0 1 0 187864425 437256192 105145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106752 105145 296 55 0 105644 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (Kb) 427008

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1019688/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=427272 CPUtime=1787.63
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105380 0 0 0 178587 176 0 0 25 0 1 0 187864425 437526528 105205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106818 105205 296 55 0 105710 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 427272

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1019560/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=427404 CPUtime=1788.64
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105417 0 0 0 178688 176 0 0 25 0 1 0 187864425 437661696 105242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106851 105242 296 55 0 105743 0
Current children cumulated CPU time (s) 1788.64
Current children cumulated vsize (Kb) 427404

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1019368/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=427536 CPUtime=1789.64
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105459 0 0 0 178788 176 0 0 25 0 1 0 187864425 437796864 105284 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106884 105284 296 55 0 105776 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 427536

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1019176/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=427800 CPUtime=1790.65
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105507 0 0 0 178889 176 0 0 25 0 1 0 187864425 438067200 105332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106950 105332 296 55 0 105842 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (Kb) 427800

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1019112/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=427800 CPUtime=1791.65
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105528 0 0 0 178989 176 0 0 25 0 1 0 187864425 438067200 105353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11056763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 106950 105353 296 55 0 105842 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 427800

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018920/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428064 CPUtime=1792.65
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105572 0 0 0 179089 176 0 0 25 0 1 0 187864425 438337536 105397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107016 105397 296 55 0 105908 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (Kb) 428064

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018856/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428252 CPUtime=1793.66
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105603 0 0 0 179190 176 0 0 25 0 1 0 187864425 438530048 105425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107063 105425 296 55 0 105955 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 428252

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018792/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428252 CPUtime=1794.67
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105616 0 0 0 179290 177 0 0 25 0 1 0 187864425 438530048 105438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533972 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107063 105438 296 55 0 105955 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (Kb) 428252

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018664/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428384 CPUtime=1795.68
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105650 0 0 0 179391 177 0 0 25 0 1 0 187864425 438665216 105472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107096 105473 296 55 0 105988 0
Current children cumulated CPU time (s) 1795.68
Current children cumulated vsize (Kb) 428384

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018536/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428516 CPUtime=1796.68
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105672 0 0 0 179491 177 0 0 25 0 1 0 187864425 438800384 105494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107129 105494 296 55 0 106021 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (Kb) 428516

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018408/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428648 CPUtime=1797.68
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105707 0 0 0 179591 177 0 0 25 0 1 0 187864425 438935552 105529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107162 105529 296 55 0 106054 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 428648

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018216/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428780 CPUtime=1798.69
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105760 0 0 0 179692 177 0 0 25 0 1 0 187864425 439070720 105582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107195 105582 296 55 0 106087 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (Kb) 428780

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 15760
/proc/meminfo: memFree=1018088/2055920 swapFree=4181412/4192956
[pid=15758] ppid=15756 vsize=428944 CPUtime=1799.69
/proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105786 0 0 0 179792 177 0 0 25 0 1 0 187864425 439238656 105608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15758/statm: 107236 105608 296 55 0 106128 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (Kb) 428944

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1798.23
CPU system time (s): 1.83872
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (Kb): 428944

Launcher Data (download as text)

Begin job on node8 on Fri Jun  2 04:20:22 UTC 2006


FILE ID= 39594-1149222022

PBS_JOBID= 295476

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  23d2095f3ee13b7452c309e9137df723

RANDOM SEED= 662979790


/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.220
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.220
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:       1440568 kB
Buffers:         16448 kB
Cached:         529636 kB
SwapCached:       3424 kB
Active:         163716 kB
Inactive:       391300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1440568 kB
SwapTotal:     4192956 kB
SwapFree:      4181412 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14860 kB
Slab:            46264 kB
Committed_AS:   197412 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node8 on Fri Jun  2 04:50:23 UTC 2006