Trace number 39596

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.69

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
MD5SUMad2f2eb73d6b7e5f546be528b10bc762
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 benchmark133.997
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 745
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.06	c Initial problem consists of 231 variables and 2707 constraints.
0.07	c Using non-optimization problem switches.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.06
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.096
0.22	c Restart #2 #Var: 231 LB: 0 @ 0.204
0.37	c Restart #3 #Var: 231 LB: 0 @ 0.36
0.59	c Restart #4 #Var: 231 LB: 0 @ 0.575
0.74	c Restart #5 #Var: 231 LB: 0 @ 0.726
1.00	c Restart #6 #Var: 231 LB: 0 @ 0.991
1.38	c Restart #7 #Var: 231 LB: 0 @ 1.361
1.72	c Restart #8 #Var: 231 LB: 0 @ 1.707
2.18	c Restart #9 #Var: 231 LB: 0 @ 2.17
2.75	c Restart #10 #Var: 231 LB: 0 @ 2.731
3.45	c Restart #11 #Var: 231 LB: 0 @ 3.433
4.20	c Restart #12 #Var: 231 LB: 0 @ 4.187
5.48	c Restart #13 #Var: 231 LB: 0 @ 5.468
6.61	c Restart #14 #Var: 231 LB: 0 @ 6.592
7.76	c Restart #15 #Var: 231 LB: 0 @ 7.739
9.37	c Restart #16 #Var: 231 LB: 0 @ 9.345
11.11	c Restart #17 #Var: 231 LB: 0 @ 11.085
12.83	c Restart #18 #Var: 231 LB: 0 @ 12.81
15.51	c Restart #19 #Var: 231 LB: 0 @ 15.485
18.39	c Restart #20 #Var: 231 LB: 0 @ 18.369
21.21	c Restart #21 #Var: 231 LB: 0 @ 21.187
24.44	c Restart #22 #Var: 231 LB: 0 @ 24.417
29.01	c Restart #23 #Var: 231 LB: 0 @ 28.987
34.48	c Restart #24 #Var: 231 LB: 0 @ 34.454
38.78	c Restart #25 #Var: 231 LB: 0 @ 38.747
45.04	c Restart #26 #Var: 231 LB: 0 @ 45.004
50.38	c Restart #27 #Var: 231 LB: 0 @ 50.351
58.34	c Restart #28 #Var: 231 LB: 0 @ 58.3
65.23	c Restart #29 #Var: 231 LB: 0 @ 65.191
73.62	c Restart #30 #Var: 231 LB: 0 @ 73.574
80.07	c Restart #31 #Var: 231 LB: 0 @ 80.021
89.30	c Restart #32 #Var: 231 LB: 0 @ 89.253
99.36	c Restart #33 #Var: 231 LB: 0 @ 99.312
108.11	c Restart #34 #Var: 231 LB: 0 @ 108.05
120.39	c Restart #35 #Var: 231 LB: 0 @ 120.33
132.10	c Restart #36 #Var: 231 LB: 0 @ 132.04
140.28	c Restart #37 #Var: 231 LB: 0 @ 140.21
155.97	c Restart #38 #Var: 231 LB: 0 @ 155.9
170.77	c Restart #39 #Var: 231 LB: 0 @ 170.69
186.10	c Restart #40 #Var: 231 LB: 0 @ 186.02
203.90	c Restart #41 #Var: 231 LB: 0 @ 203.82
221.70	c Restart #42 #Var: 231 LB: 0 @ 221.61
247.37	c Restart #43 #Var: 231 LB: 0 @ 247.27
268.97	c Restart #44 #Var: 231 LB: 0 @ 268.87
292.05	c Restart #45 #Var: 231 LB: 0 @ 291.94
319.40	c Restart #46 #Var: 231 LB: 0 @ 319.27
344.94	c Restart #47 #Var: 231 LB: 0 @ 344.81
375.25	c Restart #48 #Var: 231 LB: 0 @ 375.11
402.90	c Restart #49 #Var: 231 LB: 0 @ 402.75
434.46	c Restart #50 #Var: 231 LB: 0 @ 434.3
468.09	c Restart #51 #Var: 231 LB: 0 @ 467.92
511.26	c Restart #52 #Var: 231 LB: 0 @ 511.07
540.79	c Restart #53 #Var: 231 LB: 0 @ 540.59
574.59	c Restart #54 #Var: 231 LB: 0 @ 574.38
609.33	c Restart #55 #Var: 231 LB: 0 @ 609.11
651.76	c Restart #56 #Var: 231 LB: 0 @ 651.53
691.93	c Restart #57 #Var: 231 LB: 0 @ 691.69
726.40	c Restart #58 #Var: 231 LB: 0 @ 726.14
770.01	c Restart #59 #Var: 231 LB: 0 @ 769.74
812.71	c Restart #60 #Var: 231 LB: 0 @ 812.42
853.12	c Restart #61 #Var: 231 LB: 0 @ 852.82
921.51	c CHANGE Heuristic... 
921.51	c Restart #0 #Var: 231 LB: 0 @ 921.18
927.55	c Restart #1 #Var: 231 LB: 0 @ 927.22
931.04	c Restart #2 #Var: 231 LB: 0 @ 930.71
935.44	c Restart #3 #Var: 231 LB: 0 @ 935.11
942.05	c Restart #4 #Var: 231 LB: 0 @ 941.72
947.62	c Restart #5 #Var: 231 LB: 0 @ 947.29
954.09	c Restart #6 #Var: 231 LB: 0 @ 953.75
961.31	c Restart #7 #Var: 231 LB: 0 @ 960.97
971.23	c Restart #8 #Var: 231 LB: 0 @ 970.89
979.05	c Restart #9 #Var: 231 LB: 0 @ 978.71
992.08	c Restart #10 #Var: 231 LB: 0 @ 991.74
1003.26	c Restart #11 #Var: 231 LB: 0 @ 1002.9
1013.99	c Restart #12 #Var: 231 LB: 0 @ 1013.6
1030.52	c Restart #13 #Var: 231 LB: 0 @ 1030.2
1042.15	c Restart #14 #Var: 231 LB: 0 @ 1041.8
1058.15	c Restart #15 #Var: 231 LB: 0 @ 1057.8
1070.94	c Restart #16 #Var: 231 LB: 0 @ 1070.6
1085.12	c Restart #17 #Var: 231 LB: 0 @ 1084.7
1100.01	c Restart #18 #Var: 231 LB: 0 @ 1099.6
1119.03	c Restart #19 #Var: 231 LB: 0 @ 1118.6
1144.50	c Restart #20 #Var: 231 LB: 0 @ 1144.1
1166.53	c Restart #21 #Var: 231 LB: 0 @ 1166.1
1183.23	c Restart #22 #Var: 231 LB: 0 @ 1182.8
1209.12	c Restart #23 #Var: 231 LB: 0 @ 1208.7
1236.76	c Restart #24 #Var: 231 LB: 0 @ 1236.3
1262.35	c Restart #25 #Var: 231 LB: 0 @ 1261.9
1279.17	c Restart #26 #Var: 231 LB: 0 @ 1278.7
1331.18	c Restart #27 #Var: 231 LB: 0 @ 1330.7
1354.14	c Restart #28 #Var: 231 LB: 0 @ 1353.7
1382.69	c Restart #29 #Var: 231 LB: 0 @ 1382.2
1410.83	c Restart #30 #Var: 231 LB: 0 @ 1410.3
1433.26	c Restart #31 #Var: 231 LB: 0 @ 1432.8
1467.83	c Restart #32 #Var: 231 LB: 0 @ 1467.3
1499.85	c Restart #33 #Var: 230 LB: 0 @ 1499.3
1556.54	c Restart #34 #Var: 229 LB: 0 @ 1556
1589.20	c Restart #35 #Var: 229 LB: 0 @ 1588.7
1623.10	c Restart #36 #Var: 229 LB: 0 @ 1622.5
1655.08	c Restart #37 #Var: 229 LB: 0 @ 1654.5
1698.77	c Restart #38 #Var: 229 LB: 0 @ 1698.2
1745.54	c Restart #39 #Var: 229 LB: 0 @ 1744.9
1781.18	c Restart #40 #Var: 229 LB: 0 @ 1780.6
1800.62	s UNKNOWN
1800.62	c Exit Code: 0
1800.62	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/node60/watcher-39596-1149222245 -o ROOT/results/node60/solver-39596-1149222245 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/39596-1149222245/instance-39596-1149222245.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.86 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1587928/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=4664 CPUtime=0
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 187892337 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5504276 0 0 4096 0 0 0 0 17 1 0 0
/proc/10856/statm: 1166 136 106 55 0 46 0

[startup+10.002 s]
/proc/loadavg: 0.88 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1569944/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=22428 CPUtime=9.98
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 4885 0 0 0 994 4 0 0 25 0 1 0 187892337 22966272 4800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 5607 4800 296 55 0 4499 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22428

[startup+20.0078 s]
/proc/loadavg: 0.90 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1560160/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=32328 CPUtime=19.98
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 7332 0 0 0 1990 8 0 0 25 0 1 0 187892337 33103872 7247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 8082 7247 296 55 0 6974 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 32328

[startup+30.0137 s]
/proc/loadavg: 0.91 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1552544/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=39864 CPUtime=29.98
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 9228 0 0 0 2987 11 0 0 25 0 1 0 187892337 40820736 9143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 9966 9143 296 55 0 8858 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 39864

[startup+40.0195 s]
/proc/loadavg: 0.92 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1546528/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=45940 CPUtime=39.98
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 10736 0 0 0 3985 13 0 0 25 0 1 0 187892337 47042560 10651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 11485 10651 296 55 0 10377 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 45940

[startup+50.0253 s]
/proc/loadavg: 0.94 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1540768/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=51752 CPUtime=49.99
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 12182 0 0 0 4983 16 0 0 25 0 1 0 187892337 52994048 12097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 12938 12097 296 55 0 11830 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 51752

[startup+60.0311 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1535648/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=56916 CPUtime=59.98
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 13464 0 0 0 5980 18 0 0 25 0 1 0 187892337 58281984 13379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 14229 13379 296 55 0 13121 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 56916

[startup+70.0369 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1530848/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=61676 CPUtime=69.99
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 14661 0 0 0 6979 20 0 0 25 0 1 0 187892337 63156224 14576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 15419 14576 296 55 0 14311 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 61676

[startup+80.0427 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1524704/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=67752 CPUtime=79.99
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 16192 0 0 0 7976 23 0 0 25 0 1 0 187892337 69378048 16107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 16938 16107 296 55 0 15830 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 67752

[startup+90.0485 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1520032/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=72516 CPUtime=89.99
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 17359 0 0 0 8973 26 0 0 25 0 1 0 187892337 74256384 17274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 18129 17274 296 55 0 17021 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 72516

[startup+100.054 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1516064/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=76476 CPUtime=99.99
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 18357 0 0 0 9972 27 0 0 25 0 1 0 187892337 78311424 18272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 19119 18272 296 55 0 18011 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 76476

[startup+110.06 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1510880/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=81632 CPUtime=110
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 19639 0 0 0 10970 30 0 0 25 0 1 0 187892337 83591168 19554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 20408 19554 296 55 0 19300 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 81632

[startup+120.066 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1506976/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=85596 CPUtime=120
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 20620 0 0 0 11968 32 0 0 25 0 1 0 187892337 87650304 20535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 21399 20535 296 55 0 20291 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 85596

[startup+130.072 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1502944/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=89704 CPUtime=130.01
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 21623 0 0 0 12967 34 0 0 25 0 1 0 187892337 91856896 21538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 22426 21538 296 55 0 21318 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 89704

[startup+140.079 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1496800/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=95792 CPUtime=140.01
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 23155 0 0 0 13965 36 0 0 25 0 1 0 187892337 98091008 23069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 23948 23069 296 55 0 22840 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 95792

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1493856/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=98700 CPUtime=150.01
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 23884 0 0 0 14964 37 0 0 25 0 1 0 187892337 101068800 23798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 24675 23798 296 55 0 23567 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 98700

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1489504/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=103056 CPUtime=160.02
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 24981 0 0 0 15962 40 0 0 25 0 1 0 187892337 105529344 24895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 25764 24895 296 55 0 24656 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 103056

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1485472/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=107152 CPUtime=170.01
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 25990 0 0 0 16960 41 0 0 25 0 1 0 187892337 109723648 25903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 26788 25903 296 55 0 25680 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 107152

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1482144/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=110496 CPUtime=180.02
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 26819 0 0 0 17958 44 0 0 25 0 1 0 187892337 113147904 26732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 27624 26732 296 55 0 26516 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 110496

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1478496/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=114248 CPUtime=190.02
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 27727 0 0 0 18957 45 0 0 25 0 1 0 187892337 116989952 27638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 28562 27638 296 55 0 27454 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 114248

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1475424/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=117288 CPUtime=200.03
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 28486 0 0 0 19956 47 0 0 25 0 1 0 187892337 120102912 28397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 29322 28397 296 55 0 28214 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 117288

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10856
/proc/meminfo: memFree=1471200/2055920 swapFree=4181460/4192956

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

/proc/10856/statm: 101123 99584 296 55 0 100015 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 404492

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1188832/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=405548 CPUtime=1770.44
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100053 0 0 0 176857 187 0 0 25 0 1 0 187892337 415281152 99872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 101387 99872 296 55 0 100279 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 405548

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1186144/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=408188 CPUtime=1780.44
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100718 0 0 0 177856 188 0 0 25 0 1 0 187892337 417984512 100537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102047 100537 296 55 0 100939 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (Kb) 408188

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1186080/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=408320 CPUtime=1781.45
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100732 0 0 0 177957 188 0 0 25 0 1 0 187892337 418119680 100551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102080 100551 296 55 0 100972 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 408320

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1185952/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=408452 CPUtime=1782.45
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100768 0 0 0 178057 188 0 0 25 0 1 0 187892337 418254848 100587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102113 100587 296 55 0 101005 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 408452

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1185824/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=408584 CPUtime=1783.46
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100799 0 0 0 178158 188 0 0 25 0 1 0 187892337 418390016 100618 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102146 100618 296 55 0 101038 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 408584

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1185760/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=408584 CPUtime=1784.46
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100809 0 0 0 178258 188 0 0 25 0 1 0 187892337 418390016 100628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102146 100628 296 55 0 101038 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 408584

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1185632/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=408716 CPUtime=1785.47
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100845 0 0 0 178358 189 0 0 25 0 1 0 187892337 418525184 100664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102179 100664 296 55 0 101071 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 408716

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1185504/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=408848 CPUtime=1786.48
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100879 0 0 0 178459 189 0 0 25 0 1 0 187892337 418660352 100698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102212 100698 296 55 0 101104 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 408848

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1185248/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=409112 CPUtime=1787.48
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100948 0 0 0 178559 189 0 0 25 0 1 0 187892337 418930688 100767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102278 100767 296 55 0 101170 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 409112

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1185120/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=409244 CPUtime=1788.49
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 100970 0 0 0 178660 189 0 0 25 0 1 0 187892337 419065856 100789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102311 100789 296 55 0 101203 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 409244

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1184928/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=409508 CPUtime=1789.49
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101029 0 0 0 178760 189 0 0 25 0 1 0 187892337 419336192 100848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102377 100848 296 55 0 101269 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 409508

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1184800/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=409640 CPUtime=1790.49
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101059 0 0 0 178860 189 0 0 25 0 1 0 187892337 419471360 100878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102410 100878 296 55 0 101302 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 409640

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1184672/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=409772 CPUtime=1791.49
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101091 0 0 0 178960 189 0 0 25 0 1 0 187892337 419606528 100910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102443 100910 296 55 0 101335 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 409772

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1184480/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=409904 CPUtime=1792.5
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101135 0 0 0 179061 189 0 0 25 0 1 0 187892337 419741696 100954 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102476 100954 296 55 0 101368 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 409904

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1184352/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=410036 CPUtime=1793.5
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101173 0 0 0 179161 189 0 0 25 0 1 0 187892337 419876864 100992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102509 100992 296 55 0 101401 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 410036

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1184160/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=410168 CPUtime=1794.51
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101211 0 0 0 179262 189 0 0 25 0 1 0 187892337 420012032 101030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102542 101030 296 55 0 101434 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 410168

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1184032/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=410300 CPUtime=1795.52
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101245 0 0 0 179362 190 0 0 25 0 1 0 187892337 420147200 101064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102575 101064 296 55 0 101467 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 410300

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1183840/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=410564 CPUtime=1796.52
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101301 0 0 0 179462 190 0 0 25 0 1 0 187892337 420417536 101120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102641 101120 296 55 0 101533 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 410564

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1183712/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=410696 CPUtime=1797.53
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101332 0 0 0 179563 190 0 0 25 0 1 0 187892337 420552704 101151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102674 101151 296 55 0 101566 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 410696

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1183520/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=410828 CPUtime=1798.53
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101375 0 0 0 179663 190 0 0 25 0 1 0 187892337 420687872 101194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102707 101194 296 55 0 101599 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 410828

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 10858
/proc/meminfo: memFree=1183328/2055920 swapFree=4181460/4192956
[pid=10856] ppid=10854 vsize=411092 CPUtime=1799.53
/proc/10856/stat : 10856 (bsolo) R 10854 10856 10811 0 -1 0 101423 0 0 0 179763 190 0 0 25 0 1 0 187892337 420958208 101242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10856/statm: 102773 101242 296 55 0 101665 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 411092

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.07
CPU user time (s): 1798.1
CPU system time (s): 1.9687
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (Kb): 411092

Launcher Data (download as text)

Begin job on node60 on Fri Jun  2 04:24:05 UTC 2006


FILE ID= 39596-1149222245

PBS_JOBID= 295502

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  ad2f2eb73d6b7e5f546be528b10bc762

RANDOM SEED= 928873012


/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.257
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.257
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:       1588136 kB
Buffers:         36156 kB
Cached:         355740 kB
SwapCached:       3320 kB
Active:         110292 kB
Inactive:       290440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1588136 kB
SwapTotal:     4192956 kB
SwapFree:      4181460 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            53028 kB
Committed_AS:   196376 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node60 on Fri Jun  2 04:54:06 UTC 2006