Trace number 39572

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
MD5SUM490d573a1d39845890b306c349815f34
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 benchmark136.072
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 749
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.062
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.101
0.27	c Restart #2 #Var: 231 LB: 0 @ 0.254
0.52	c Restart #3 #Var: 231 LB: 0 @ 0.506
0.77	c Restart #4 #Var: 231 LB: 0 @ 0.753
0.96	c Restart #5 #Var: 231 LB: 0 @ 0.948
1.18	c Restart #6 #Var: 231 LB: 0 @ 1.168
1.47	c Restart #7 #Var: 231 LB: 0 @ 1.456
1.83	c Restart #8 #Var: 231 LB: 0 @ 1.821
2.28	c Restart #9 #Var: 231 LB: 0 @ 2.269
2.73	c Restart #10 #Var: 231 LB: 0 @ 2.715
3.41	c Restart #11 #Var: 231 LB: 0 @ 3.391
4.16	c Restart #12 #Var: 231 LB: 0 @ 4.145
5.20	c Restart #13 #Var: 231 LB: 0 @ 5.188
7.05	c Restart #14 #Var: 231 LB: 0 @ 7.036
8.46	c Restart #15 #Var: 231 LB: 0 @ 8.445
9.95	c Restart #16 #Var: 231 LB: 0 @ 9.934
12.03	c Restart #17 #Var: 231 LB: 0 @ 12.015
14.42	c Restart #18 #Var: 231 LB: 0 @ 14.403
17.29	c Restart #19 #Var: 231 LB: 0 @ 17.269
19.63	c Restart #20 #Var: 231 LB: 0 @ 19.609
23.73	c Restart #21 #Var: 231 LB: 0 @ 23.706
27.64	c Restart #22 #Var: 231 LB: 0 @ 27.617
32.07	c Restart #23 #Var: 231 LB: 0 @ 32.046
36.97	c Restart #24 #Var: 231 LB: 0 @ 36.942
42.87	c Restart #25 #Var: 231 LB: 0 @ 42.837
48.87	c Restart #26 #Var: 231 LB: 0 @ 48.835
54.76	c Restart #27 #Var: 231 LB: 0 @ 54.726
60.10	c Restart #28 #Var: 231 LB: 0 @ 60.064
65.74	c Restart #29 #Var: 231 LB: 0 @ 65.707
75.13	c Restart #30 #Var: 231 LB: 0 @ 75.096
84.51	c Restart #31 #Var: 231 LB: 0 @ 84.473
93.59	c Restart #32 #Var: 231 LB: 0 @ 93.55
106.29	c Restart #33 #Var: 231 LB: 0 @ 106.24
115.35	c Restart #34 #Var: 231 LB: 0 @ 115.3
125.88	c Restart #35 #Var: 231 LB: 0 @ 125.82
136.78	c Restart #36 #Var: 231 LB: 0 @ 136.72
165.61	c Restart #37 #Var: 231 LB: 0 @ 165.54
178.83	c Restart #38 #Var: 231 LB: 0 @ 178.76
194.57	c Restart #39 #Var: 231 LB: 0 @ 194.5
212.68	c Restart #40 #Var: 231 LB: 0 @ 212.6
232.90	c Restart #41 #Var: 231 LB: 0 @ 232.82
246.19	c Restart #42 #Var: 231 LB: 0 @ 246.1
266.94	c Restart #43 #Var: 231 LB: 0 @ 266.85
291.86	c Restart #44 #Var: 231 LB: 0 @ 291.76
311.17	c Restart #45 #Var: 231 LB: 0 @ 311.06
329.74	c Restart #46 #Var: 231 LB: 0 @ 329.63
359.36	c Restart #47 #Var: 231 LB: 0 @ 359.24
389.05	c Restart #48 #Var: 231 LB: 0 @ 388.92
417.70	c Restart #49 #Var: 231 LB: 0 @ 417.56
448.91	c Restart #50 #Var: 231 LB: 0 @ 448.76
476.87	c Restart #51 #Var: 231 LB: 0 @ 476.72
506.11	c Restart #52 #Var: 231 LB: 0 @ 505.95
549.30	c Restart #53 #Var: 231 LB: 0 @ 549.12
591.08	c Restart #54 #Var: 231 LB: 0 @ 590.89
632.84	c Restart #55 #Var: 231 LB: 0 @ 632.64
672.08	c Restart #56 #Var: 231 LB: 0 @ 671.87
721.69	c Restart #57 #Var: 231 LB: 0 @ 721.46
764.58	c Restart #58 #Var: 231 LB: 0 @ 764.35
818.67	c Restart #59 #Var: 231 LB: 0 @ 818.42
865.39	c Restart #60 #Var: 231 LB: 0 @ 865.12
907.56	c CHANGE Heuristic... 
907.56	c Restart #0 #Var: 231 LB: 0 @ 907.28
915.59	c Restart #1 #Var: 231 LB: 0 @ 915.31
922.21	c Restart #2 #Var: 231 LB: 0 @ 921.93
930.90	c Restart #3 #Var: 231 LB: 0 @ 930.61
935.60	c Restart #4 #Var: 231 LB: 0 @ 935.31
945.69	c Restart #5 #Var: 231 LB: 0 @ 945.4
956.77	c Restart #6 #Var: 231 LB: 0 @ 956.48
965.31	c Restart #7 #Var: 231 LB: 0 @ 965.01
974.10	c Restart #8 #Var: 231 LB: 0 @ 973.8
983.92	c Restart #9 #Var: 231 LB: 0 @ 983.62
993.46	c Restart #10 #Var: 231 LB: 0 @ 993.15
1007.92	c Restart #11 #Var: 231 LB: 0 @ 1007.6
1019.86	c Restart #12 #Var: 231 LB: 0 @ 1019.5
1033.65	c Restart #13 #Var: 231 LB: 0 @ 1033.3
1043.76	c Restart #14 #Var: 231 LB: 0 @ 1043.4
1062.30	c Restart #15 #Var: 231 LB: 0 @ 1061.9
1075.84	c Restart #16 #Var: 231 LB: 0 @ 1075.5
1089.98	c Restart #17 #Var: 231 LB: 0 @ 1089.6
1104.10	c Restart #18 #Var: 231 LB: 0 @ 1103.7
1117.96	c Restart #19 #Var: 231 LB: 0 @ 1117.6
1143.00	c Restart #20 #Var: 231 LB: 0 @ 1142.6
1168.20	c Restart #21 #Var: 231 LB: 0 @ 1167.8
1185.58	c Restart #22 #Var: 231 LB: 0 @ 1185.2
1210.86	c Restart #23 #Var: 231 LB: 0 @ 1210.5
1229.81	c Restart #24 #Var: 231 LB: 0 @ 1229.4
1254.29	c Restart #25 #Var: 231 LB: 0 @ 1253.9
1281.93	c Restart #26 #Var: 231 LB: 0 @ 1281.5
1304.70	c Restart #27 #Var: 231 LB: 0 @ 1304.3
1329.36	c Restart #28 #Var: 231 LB: 0 @ 1328.9
1353.82	c Restart #29 #Var: 231 LB: 0 @ 1353.4
1379.10	c Restart #30 #Var: 231 LB: 0 @ 1378.6
1401.90	c Restart #31 #Var: 231 LB: 0 @ 1401.4
1429.26	c Restart #32 #Var: 231 LB: 0 @ 1428.8
1471.24	c Restart #33 #Var: 231 LB: 0 @ 1470.8
1507.27	c Restart #34 #Var: 231 LB: 0 @ 1506.8
1539.97	c Restart #35 #Var: 231 LB: 0 @ 1539.5
1571.20	c Restart #36 #Var: 231 LB: 0 @ 1570.7
1616.70	c Restart #37 #Var: 231 LB: 0 @ 1616.2
1667.19	c Restart #38 #Var: 231 LB: 0 @ 1666.6
1705.65	c Restart #39 #Var: 231 LB: 0 @ 1705.1
1744.31	c Restart #40 #Var: 231 LB: 0 @ 1743.7
1793.99	c Restart #41 #Var: 231 LB: 0 @ 1793.4
1800.59	s UNKNOWN
1800.59	c Exit Code: 0
1800.59	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/node71/watcher-39572-1149219868 -o ROOT/results/node71/solver-39572-1149219868 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node71/39572-1149219868/instance-39572-1149219868.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.77 0.92 0.90 2/64 1976
/proc/meminfo: memFree=1560176/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=3364 CPUtime=0
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 60 0 0 0 0 0 0 0 19 0 1 0 187656483 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7205668 0 0 4096 0 0 0 0 17 1 0 0
/proc/1976/statm: 857 44 32 55 0 40 0

[startup+10.0036 s]
/proc/loadavg: 0.81 0.92 0.90 2/64 1976
/proc/meminfo: memFree=1542136/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=22564 CPUtime=9.98
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 4900 0 0 0 994 4 0 0 25 0 1 0 187656483 23105536 4815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 5641 4815 296 55 0 4533 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22564

[startup+20.0099 s]
/proc/loadavg: 0.84 0.93 0.90 2/64 1976
/proc/meminfo: memFree=1532728/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=31936 CPUtime=19.98
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 7252 0 0 0 1991 7 0 0 25 0 1 0 187656483 32702464 7167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 7984 7167 296 55 0 6876 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 31936

[startup+30.0163 s]
/proc/loadavg: 0.86 0.93 0.90 2/64 1976
/proc/meminfo: memFree=1526200/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=38404 CPUtime=29.98
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 8868 0 0 0 2988 10 0 0 25 0 1 0 187656483 39325696 8783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 9601 8783 296 55 0 8493 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 38404

[startup+40.0227 s]
/proc/loadavg: 0.88 0.93 0.90 2/64 1976
/proc/meminfo: memFree=1520312/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=44220 CPUtime=39.99
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 10330 0 0 0 3986 13 0 0 25 0 1 0 187656483 45281280 10245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 11055 10245 296 55 0 9947 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 44220

[startup+50.0291 s]
/proc/loadavg: 0.90 0.93 0.90 2/64 1976
/proc/meminfo: memFree=1515384/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=49240 CPUtime=49.99
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 11570 0 0 0 4984 15 0 0 25 0 1 0 187656483 50421760 11485 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 12310 11485 296 55 0 11202 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 49240

[startup+60.0355 s]
/proc/loadavg: 0.91 0.93 0.90 2/64 1976
/proc/meminfo: memFree=1509112/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=55444 CPUtime=60
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 13134 0 0 0 5982 18 0 0 25 0 1 0 187656483 56774656 13049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 13861 13049 296 55 0 12753 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 55444

[startup+70.0428 s]
/proc/loadavg: 0.93 0.94 0.91 2/64 1976
/proc/meminfo: memFree=1503416/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=61120 CPUtime=70
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 14547 0 0 0 6981 19 0 0 25 0 1 0 187656483 62586880 14462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 15280 14462 296 55 0 14172 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 61120

[startup+80.0492 s]
/proc/loadavg: 0.94 0.94 0.91 2/64 1976
/proc/meminfo: memFree=1497592/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=66928 CPUtime=80
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 16004 0 0 0 7978 22 0 0 25 0 1 0 187656483 68534272 15919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 16732 15919 296 55 0 15624 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 66928

[startup+90.0556 s]
/proc/loadavg: 0.95 0.94 0.91 2/64 1976
/proc/meminfo: memFree=1493816/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=70760 CPUtime=90.01
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 16950 0 0 0 8977 24 0 0 25 0 1 0 187656483 72458240 16865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 17690 16865 296 55 0 16582 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 70760

[startup+100.062 s]
/proc/loadavg: 0.95 0.94 0.91 2/64 1976
/proc/meminfo: memFree=1488888/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=75644 CPUtime=100
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 18170 0 0 0 9974 26 0 0 25 0 1 0 187656483 77459456 18085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 18911 18085 296 55 0 17803 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 75644

[startup+110.068 s]
/proc/loadavg: 0.96 0.94 0.91 2/64 1976
/proc/meminfo: memFree=1486008/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=78568 CPUtime=110.01
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 18887 0 0 0 10974 27 0 0 25 0 1 0 187656483 80453632 18802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 19642 18802 296 55 0 18534 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 78568

[startup+120.075 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 1976
/proc/meminfo: memFree=1481016/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=83580 CPUtime=120.02
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 20126 0 0 0 11973 29 0 0 25 0 1 0 187656483 85585920 20041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 20895 20041 296 55 0 19787 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 83580

[startup+130.081 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 1976
/proc/meminfo: memFree=1476408/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=88208 CPUtime=130.02
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 21279 0 0 0 12970 32 0 0 25 0 1 0 187656483 90324992 21193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 22052 21193 296 55 0 20944 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 88208

[startup+140.088 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1472760/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=91772 CPUtime=140.02
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 22191 0 0 0 13970 32 0 0 25 0 1 0 187656483 93974528 22105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 22943 22105 296 55 0 21835 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 91772

[startup+150.094 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1471288/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=93356 CPUtime=150.02
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 22565 0 0 0 14969 33 0 0 25 0 1 0 187656483 95596544 22479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 23339 22479 296 55 0 22231 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 93356

[startup+160.1 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1469688/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=94808 CPUtime=160.02
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 22947 0 0 0 15968 34 0 0 25 0 1 0 187656483 97083392 22861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 23702 22861 296 55 0 22594 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 94808

[startup+170.107 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1467000/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=97588 CPUtime=170.04
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 23631 0 0 0 16968 36 0 0 25 0 1 0 187656483 99930112 23545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 24397 23545 296 55 0 23289 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 97588

[startup+180.113 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1463096/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=101444 CPUtime=180.03
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 24591 0 0 0 17966 37 0 0 25 0 1 0 187656483 103878656 24504 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 25361 24504 296 55 0 24253 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 101444

[startup+190.119 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1459320/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=105292 CPUtime=190.04
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 25527 0 0 0 18965 39 0 0 25 0 1 0 187656483 107819008 25440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 26323 25440 296 55 0 25215 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 105292

[startup+200.126 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1456568/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=108072 CPUtime=200.05
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 26230 0 0 0 19964 41 0 0 25 0 1 0 187656483 110665728 26143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 27018 26143 296 55 0 25910 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 108072

[startup+210.132 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 1976
/proc/meminfo: memFree=1453304/2055920 swapFree=4182220/4192956

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

/proc/1976/statm: 97881 96451 296 55 0 96773 0
Current children cumulated CPU time (s) 1760.54
Current children cumulated vsize (Kb) 391524

[startup+1771.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1172920/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=393240 CPUtime=1770.55
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97008 0 0 0 176878 177 0 0 25 0 1 0 187656483 402677760 96857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98310 96857 296 55 0 97202 0
Current children cumulated CPU time (s) 1770.55
Current children cumulated vsize (Kb) 393240

[startup+1781.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1171192/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=394824 CPUtime=1780.55
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97430 0 0 0 177877 178 0 0 25 0 1 0 187656483 404299776 97279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98706 97279 296 55 0 97598 0
Current children cumulated CPU time (s) 1780.55
Current children cumulated vsize (Kb) 394824

[startup+1782.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1171128/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=394956 CPUtime=1781.55
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97453 0 0 0 177977 178 0 0 25 0 1 0 187656483 404434944 97302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98739 97302 296 55 0 97631 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 394956

[startup+1783.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1171000/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=395088 CPUtime=1782.56
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97486 0 0 0 178078 178 0 0 25 0 1 0 187656483 404570112 97335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98772 97335 296 55 0 97664 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 395088

[startup+1784.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1170872/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=395220 CPUtime=1783.56
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97522 0 0 0 178178 178 0 0 25 0 1 0 187656483 404705280 97371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98805 97371 296 55 0 97697 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 395220

[startup+1785.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1170680/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=395352 CPUtime=1784.57
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97560 0 0 0 178279 178 0 0 25 0 1 0 187656483 404840448 97409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98838 97409 296 55 0 97730 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 395352

[startup+1786.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1170488/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=395616 CPUtime=1785.57
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97610 0 0 0 178379 178 0 0 25 0 1 0 187656483 405110784 97459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98904 97459 296 55 0 97796 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 395616

[startup+1787.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1170360/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=395748 CPUtime=1786.57
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97639 0 0 0 178479 178 0 0 25 0 1 0 187656483 405245952 97488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98937 97488 296 55 0 97829 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 395748

[startup+1788.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1170232/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=395880 CPUtime=1787.58
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97670 0 0 0 178580 178 0 0 25 0 1 0 187656483 405381120 97519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98970 97519 296 55 0 97862 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 395880

[startup+1789.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1170168/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=395880 CPUtime=1788.58
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97686 0 0 0 178680 178 0 0 25 0 1 0 187656483 405381120 97535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 98970 97535 296 55 0 97862 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 395880

[startup+1790.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169976/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396012 CPUtime=1789.59
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97736 0 0 0 178781 178 0 0 25 0 1 0 187656483 405516288 97585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99003 97585 296 55 0 97895 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 396012

[startup+1791.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169656/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396408 CPUtime=1790.59
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97814 0 0 0 178881 178 0 0 25 0 1 0 187656483 405921792 97663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99102 97663 296 55 0 97994 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 396408

[startup+1792.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169592/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396540 CPUtime=1791.6
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97840 0 0 0 178982 178 0 0 25 0 1 0 187656483 406056960 97689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99135 97689 296 55 0 98027 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 396540

[startup+1793.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169464/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396540 CPUtime=1792.6
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97859 0 0 0 179082 178 0 0 25 0 1 0 187656483 406056960 97708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99135 97708 296 55 0 98027 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 396540

[startup+1794.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169400/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396672 CPUtime=1793.61
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97880 0 0 0 179183 178 0 0 25 0 1 0 187656483 406192128 97729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99168 97729 296 55 0 98060 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 396672

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169400/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396672 CPUtime=1794.61
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97883 0 0 0 179283 178 0 0 25 0 1 0 187656483 406192128 97732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99168 97732 296 55 0 98060 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 396672

[startup+1796.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169336/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396672 CPUtime=1795.62
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97895 0 0 0 179384 178 0 0 25 0 1 0 187656483 406192128 97744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533641 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99168 97744 296 55 0 98060 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 396672

[startup+1797.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169272/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396804 CPUtime=1796.62
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97916 0 0 0 179484 178 0 0 25 0 1 0 187656483 406327296 97765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99201 97765 296 55 0 98093 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 396804

[startup+1798.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169144/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=396936 CPUtime=1797.62
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97948 0 0 0 179584 178 0 0 25 0 1 0 187656483 406462464 97797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99234 97797 296 55 0 98126 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 396936

[startup+1799.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1169016/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=397068 CPUtime=1798.63
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 97976 0 0 0 179685 178 0 0 25 0 1 0 187656483 406597632 97825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99267 97825 296 55 0 98159 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 397068

[startup+1800.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 2189
/proc/meminfo: memFree=1168888/2055920 swapFree=4182220/4192956
[pid=1976] ppid=1974 vsize=397200 CPUtime=1799.63
/proc/1976/stat : 1976 (bsolo) R 1974 1976 1929 0 -1 0 98004 0 0 0 179785 178 0 0 25 0 1 0 187656483 406732800 97853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1976/statm: 99300 97853 296 55 0 98192 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 397200

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.07
CPU user time (s): 1798.22
CPU system time (s): 1.84872
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 397200

Launcher Data (download as text)

Begin job on node71 on Fri Jun  2 03:44:28 UTC 2006


FILE ID= 39572-1149219868

PBS_JOBID= 295181

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  490d573a1d39845890b306c349815f34

RANDOM SEED= 999413203


/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.236
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.236
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:       1560384 kB
Buffers:         37924 kB
Cached:         381444 kB
SwapCached:       2504 kB
Active:         109408 kB
Inactive:       318656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1560384 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:             280 kB
Writeback:           0 kB
Mapped:          15088 kB
Slab:            53420 kB
Committed_AS:   213872 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node71 on Fri Jun  2 04:14:29 UTC 2006