Trace number 39603

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb
MD5SUM6bb807214e0d1b3ab69b4b6ee86db452
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 benchmark168.826
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 721
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.072
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.107
0.22	c Restart #2 #Var: 231 LB: 0 @ 0.219
0.35	c Restart #3 #Var: 231 LB: 0 @ 0.35
0.56	c Restart #4 #Var: 231 LB: 0 @ 0.557
0.75	c Restart #5 #Var: 231 LB: 0 @ 0.742
0.98	c Restart #6 #Var: 231 LB: 0 @ 0.982
1.25	c Restart #7 #Var: 231 LB: 0 @ 1.243
1.62	c Restart #8 #Var: 231 LB: 0 @ 1.617
2.10	c Restart #9 #Var: 231 LB: 0 @ 2.097
2.56	c Restart #10 #Var: 231 LB: 0 @ 2.561
3.23	c Restart #11 #Var: 231 LB: 0 @ 3.229
3.97	c Restart #12 #Var: 231 LB: 0 @ 3.967
4.92	c Restart #13 #Var: 231 LB: 0 @ 4.912
6.16	c Restart #14 #Var: 231 LB: 0 @ 6.152
7.55	c Restart #15 #Var: 231 LB: 0 @ 7.543
9.53	c Restart #16 #Var: 231 LB: 0 @ 9.517
11.11	c Restart #17 #Var: 231 LB: 0 @ 11.103
13.31	c Restart #18 #Var: 231 LB: 0 @ 13.298
15.21	c Restart #19 #Var: 231 LB: 0 @ 15.199
17.76	c Restart #20 #Var: 231 LB: 0 @ 17.745
20.18	c Restart #21 #Var: 231 LB: 0 @ 20.169
23.50	c Restart #22 #Var: 231 LB: 0 @ 23.484
27.18	c Restart #23 #Var: 231 LB: 0 @ 27.165
30.82	c Restart #24 #Var: 231 LB: 0 @ 30.804
34.62	c Restart #25 #Var: 231 LB: 0 @ 34.606
39.30	c Restart #26 #Var: 231 LB: 0 @ 39.277
45.23	c Restart #27 #Var: 231 LB: 0 @ 45.209
50.53	c Restart #28 #Var: 231 LB: 0 @ 50.508
57.41	c Restart #29 #Var: 231 LB: 0 @ 57.389
64.51	c Restart #30 #Var: 231 LB: 0 @ 64.481
72.23	c Restart #31 #Var: 231 LB: 0 @ 72.203
80.35	c Restart #32 #Var: 231 LB: 0 @ 80.313
87.88	c Restart #33 #Var: 231 LB: 0 @ 87.842
96.89	c Restart #34 #Var: 231 LB: 0 @ 96.853
107.54	c Restart #35 #Var: 231 LB: 0 @ 107.5
121.32	c Restart #36 #Var: 231 LB: 0 @ 121.27
133.52	c Restart #37 #Var: 231 LB: 0 @ 133.47
142.84	c Restart #38 #Var: 231 LB: 0 @ 142.78
157.07	c Restart #39 #Var: 231 LB: 0 @ 157.01
171.20	c Restart #40 #Var: 231 LB: 0 @ 171.13
185.77	c Restart #41 #Var: 231 LB: 0 @ 185.7
198.15	c Restart #42 #Var: 231 LB: 0 @ 198.08
215.19	c Restart #43 #Var: 231 LB: 0 @ 215.11
230.08	c Restart #44 #Var: 231 LB: 0 @ 229.99
246.77	c Restart #45 #Var: 231 LB: 0 @ 246.68
267.66	c Restart #46 #Var: 231 LB: 0 @ 267.56
294.51	c Restart #47 #Var: 231 LB: 0 @ 294.4
315.60	c Restart #48 #Var: 231 LB: 0 @ 315.48
334.02	c Restart #49 #Var: 231 LB: 0 @ 333.9
365.08	c Restart #50 #Var: 231 LB: 0 @ 364.95
393.73	c Restart #51 #Var: 231 LB: 0 @ 393.58
421.59	c Restart #52 #Var: 231 LB: 0 @ 421.44
447.75	c Restart #53 #Var: 231 LB: 0 @ 447.59
484.65	c Restart #54 #Var: 231 LB: 0 @ 484.48
516.83	c Restart #55 #Var: 231 LB: 0 @ 516.64
555.65	c Restart #56 #Var: 231 LB: 0 @ 555.45
580.22	c Restart #57 #Var: 231 LB: 0 @ 580.01
618.82	c Restart #58 #Var: 231 LB: 0 @ 618.6
658.34	c Restart #59 #Var: 231 LB: 0 @ 658.11
697.61	c Restart #60 #Var: 231 LB: 0 @ 697.36
737.85	c Restart #61 #Var: 231 LB: 0 @ 737.58
787.99	c Restart #62 #Var: 231 LB: 0 @ 787.71
843.08	c Restart #63 #Var: 231 LB: 0 @ 842.78
886.09	c Restart #64 #Var: 231 LB: 0 @ 885.77
948.33	c CHANGE Heuristic... 
948.33	c Restart #0 #Var: 231 LB: 0 @ 947.99
957.13	c Restart #1 #Var: 231 LB: 0 @ 956.79
961.25	c Restart #2 #Var: 231 LB: 0 @ 960.9
966.32	c Restart #3 #Var: 231 LB: 0 @ 965.97
973.62	c Restart #4 #Var: 231 LB: 0 @ 973.27
980.42	c Restart #5 #Var: 231 LB: 0 @ 980.07
987.70	c Restart #6 #Var: 231 LB: 0 @ 987.35
995.66	c Restart #7 #Var: 231 LB: 0 @ 995.31
1005.30	c Restart #8 #Var: 231 LB: 0 @ 1004.9
1015.92	c Restart #9 #Var: 231 LB: 0 @ 1015.6
1028.60	c Restart #10 #Var: 231 LB: 0 @ 1028.2
1043.12	c Restart #11 #Var: 231 LB: 0 @ 1042.7
1057.25	c Restart #12 #Var: 231 LB: 0 @ 1056.9
1074.69	c Restart #13 #Var: 231 LB: 0 @ 1074.3
1088.48	c Restart #14 #Var: 231 LB: 0 @ 1088.1
1107.51	c Restart #15 #Var: 231 LB: 0 @ 1107.1
1125.54	c Restart #16 #Var: 231 LB: 0 @ 1125.1
1141.03	c Restart #17 #Var: 231 LB: 0 @ 1140.6
1161.37	c Restart #18 #Var: 231 LB: 0 @ 1161
1182.46	c Restart #19 #Var: 231 LB: 0 @ 1182
1200.57	c Restart #20 #Var: 231 LB: 0 @ 1200.1
1219.63	c Restart #21 #Var: 231 LB: 0 @ 1219.2
1244.52	c Restart #22 #Var: 231 LB: 0 @ 1244.1
1259.90	c Restart #23 #Var: 231 LB: 0 @ 1259.4
1284.31	c Restart #24 #Var: 231 LB: 0 @ 1283.8
1307.42	c Restart #25 #Var: 231 LB: 0 @ 1307
1328.06	c Restart #26 #Var: 231 LB: 0 @ 1327.6
1351.62	c Restart #27 #Var: 231 LB: 0 @ 1351.1
1384.00	c Restart #28 #Var: 231 LB: 0 @ 1383.4
1409.28	c Restart #29 #Var: 231 LB: 0 @ 1408.7
1449.28	c Restart #30 #Var: 231 LB: 0 @ 1448.7
1473.63	c Restart #31 #Var: 231 LB: 0 @ 1473
1507.96	c Restart #32 #Var: 231 LB: 0 @ 1507.3
1543.44	c Restart #33 #Var: 231 LB: 0 @ 1542.8
1573.19	c Restart #34 #Var: 231 LB: 0 @ 1572.5
1600.39	c Restart #35 #Var: 231 LB: 0 @ 1599.7
1641.08	c Restart #36 #Var: 231 LB: 0 @ 1640.4
1672.25	c Restart #37 #Var: 231 LB: 0 @ 1671.6
1717.06	c Restart #38 #Var: 231 LB: 0 @ 1716.4
1776.86	c Restart #39 #Var: 231 LB: 0 @ 1776.1
1800.73	s UNKNOWN
1800.73	c Exit Code: 0
1800.73	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/node75/watcher-39603-1149223113 -o ROOT/results/node75/solver-39603-1149223113 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39603-1149223113/instance-39603-1149223113.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.93 2/64 7178
/proc/meminfo: memFree=1601096/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=4624 CPUtime=0
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 187974694 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6734628 0 0 4096 0 0 0 0 17 1 0 0
/proc/7178/statm: 1164 55 41 55 0 44 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.95 0.93 2/64 7178
/proc/meminfo: memFree=1583128/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=22432 CPUtime=9.98
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 4870 0 0 0 994 4 0 0 25 0 1 0 187974694 22970368 4785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 5608 4785 296 55 0 4500 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22432

[startup+20.0081 s]
/proc/loadavg: 0.94 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1572760/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=32860 CPUtime=19.99
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 7461 0 0 0 1990 9 0 0 25 0 1 0 187974694 33648640 7376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 8215 7376 296 55 0 7107 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 32860

[startup+30.0141 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1564888/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=40648 CPUtime=29.99
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 9425 0 0 0 2986 13 0 0 25 0 1 0 187974694 41623552 9340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 10162 9340 296 55 0 9054 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 40648

[startup+40.0201 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1557912/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=47644 CPUtime=39.99
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 11155 0 0 0 3984 15 0 0 25 0 1 0 187974694 48787456 11070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 11911 11070 296 55 0 10803 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 47644

[startup+50.0261 s]
/proc/loadavg: 0.96 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1551640/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=53848 CPUtime=50
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 12718 0 0 0 4982 18 0 0 25 0 1 0 187974694 55140352 12633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 13462 12633 296 55 0 12354 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 53848

[startup+60.0321 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1545944/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=59540 CPUtime=60
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 14134 0 0 0 5978 22 0 0 25 0 1 0 187974694 60968960 14049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 14885 14049 296 55 0 13777 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 59540

[startup+70.0381 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1541272/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=64292 CPUtime=70
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 15309 0 0 0 6975 25 0 0 25 0 1 0 187974694 65835008 15224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 16073 15224 296 55 0 14965 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 64292

[startup+80.0441 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1536088/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=69444 CPUtime=80
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 16597 0 0 0 7973 27 0 0 25 0 1 0 187974694 71110656 16512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 17361 16512 296 55 0 16253 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 69444

[startup+90.0501 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1530712/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=74868 CPUtime=90
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 17935 0 0 0 8972 28 0 0 25 0 1 0 187974694 76664832 17850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 18717 17850 296 55 0 17609 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 74868

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1525912/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=79616 CPUtime=100
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 19133 0 0 0 9970 30 0 0 25 0 1 0 187974694 81526784 19048 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 19904 19048 296 55 0 18796 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 79616

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 7178
/proc/meminfo: memFree=1521688/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=83852 CPUtime=110.01
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 20186 0 0 0 10969 32 0 0 25 0 1 0 187974694 85864448 20101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 20963 20101 296 55 0 19855 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 83852

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1518424/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=87024 CPUtime=120.01
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 20992 0 0 0 11968 33 0 0 25 0 1 0 187974694 89112576 20906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 21756 20906 296 55 0 20648 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 87024

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1515032/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=90468 CPUtime=130.02
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 21858 0 0 0 12967 35 0 0 25 0 1 0 187974694 92639232 21772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 22617 21772 296 55 0 21509 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 90468

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1509592/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=95888 CPUtime=140.02
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 23205 0 0 0 13965 37 0 0 25 0 1 0 187974694 98189312 23119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 23972 23119 296 55 0 22864 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 95888

[startup+150.091 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1504920/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=100680 CPUtime=150.02
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 24375 0 0 0 14962 40 0 0 25 0 1 0 187974694 103096320 24288 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 25170 24288 296 55 0 24062 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 100680

[startup+160.097 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1501336/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=104264 CPUtime=160.03
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 25264 0 0 0 15961 42 0 0 25 0 1 0 187974694 106766336 25176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 26066 25176 296 55 0 24958 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 104264

[startup+170.104 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1497816/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=107828 CPUtime=170.03
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 26156 0 0 0 16960 43 0 0 25 0 1 0 187974694 110415872 26068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 26957 26068 296 55 0 25849 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 107828

[startup+180.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1494424/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=111140 CPUtime=180.04
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 26987 0 0 0 17959 45 0 0 25 0 1 0 187974694 113807360 26899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 27785 26899 296 55 0 26677 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 111140

[startup+190.116 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1490712/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=114988 CPUtime=190.03
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 27917 0 0 0 18957 46 0 0 25 0 1 0 187974694 117747712 27827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 28747 27827 296 55 0 27639 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 114988

[startup+200.122 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1485784/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=119936 CPUtime=200.04
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 29156 0 0 0 19956 48 0 0 25 0 1 0 187974694 122814464 29065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 29984 29065 296 55 0 28876 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 119936

[startup+210.128 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7178
/proc/meminfo: memFree=1483224/2055920 swapFree=4182500/4192956

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

/proc/7178/statm: 99514 97917 296 55 0 98406 0
Current children cumulated CPU time (s) 1760.37
Current children cumulated vsize (Kb) 398056

[startup+1771.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1208536/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=399308 CPUtime=1770.37
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98359 0 0 0 176853 184 0 0 25 0 1 0 187974694 408891392 98176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 99827 98176 296 55 0 98719 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (Kb) 399308

[startup+1781.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1207640/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=400380 CPUtime=1780.37
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98590 0 0 0 177853 184 0 0 25 0 1 0 187974694 409989120 98405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100095 98405 296 55 0 98987 0
Current children cumulated CPU time (s) 1780.37
Current children cumulated vsize (Kb) 400380

[startup+1782.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1207512/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=400380 CPUtime=1781.38
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98613 0 0 0 177954 184 0 0 25 0 1 0 187974694 409989120 98428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100095 98428 296 55 0 98987 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 400380

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1207384/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=400512 CPUtime=1782.38
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98649 0 0 0 178054 184 0 0 25 0 1 0 187974694 410124288 98464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100128 98464 296 55 0 99020 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (Kb) 400512

[startup+1784.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1207320/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=400652 CPUtime=1783.38
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98664 0 0 0 178154 184 0 0 25 0 1 0 187974694 410267648 98479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100163 98479 296 55 0 99055 0
Current children cumulated CPU time (s) 1783.38
Current children cumulated vsize (Kb) 400652

[startup+1785.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1207256/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=400652 CPUtime=1784.39
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98674 0 0 0 178255 184 0 0 25 0 1 0 187974694 410267648 98489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100163 98489 296 55 0 99055 0
Current children cumulated CPU time (s) 1784.39
Current children cumulated vsize (Kb) 400652

[startup+1786.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1207192/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=400788 CPUtime=1785.39
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98697 0 0 0 178355 184 0 0 25 0 1 0 187974694 410406912 98512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100197 98512 296 55 0 99089 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (Kb) 400788

[startup+1787.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1207128/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=400920 CPUtime=1786.41
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98714 0 0 0 178456 185 0 0 25 0 1 0 187974694 410542080 98529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100230 98529 296 55 0 99122 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 400920

[startup+1788.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1206936/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401052 CPUtime=1787.41
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98751 0 0 0 178556 185 0 0 25 0 1 0 187974694 410677248 98566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100263 98566 296 55 0 99155 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 401052

[startup+1789.14 s]
/proc/loadavg: 0.99 0.97 0.93 3/64 7373
/proc/meminfo: memFree=1206872/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401052 CPUtime=1788.41
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98776 0 0 0 178656 185 0 0 25 0 1 0 187974694 410677248 98591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100263 98591 296 55 0 99155 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (Kb) 401052

[startup+1790.14 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1206744/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401196 CPUtime=1789.42
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98805 0 0 0 178757 185 0 0 25 0 1 0 187974694 410824704 98620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100299 98620 296 55 0 99191 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 401196

[startup+1791.15 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1206552/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401460 CPUtime=1790.42
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98853 0 0 0 178857 185 0 0 25 0 1 0 187974694 411095040 98668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100365 98668 296 55 0 99257 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (Kb) 401460

[startup+1792.15 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1206424/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401592 CPUtime=1791.43
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98884 0 0 0 178958 185 0 0 25 0 1 0 187974694 411230208 98699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100398 98699 296 55 0 99290 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 401592

[startup+1793.16 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1206360/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401592 CPUtime=1792.43
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98903 0 0 0 179058 185 0 0 25 0 1 0 187974694 411230208 98718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100398 98718 296 55 0 99290 0
Current children cumulated CPU time (s) 1792.43
Current children cumulated vsize (Kb) 401592

[startup+1794.16 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1206232/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401724 CPUtime=1793.44
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98940 0 0 0 179159 185 0 0 25 0 1 0 187974694 411365376 98755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100431 98755 296 55 0 99323 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 401724

[startup+1795.17 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1206104/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401856 CPUtime=1794.44
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 98970 0 0 0 179259 185 0 0 25 0 1 0 187974694 411500544 98785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100464 98785 296 55 0 99356 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (Kb) 401856

[startup+1796.17 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1205976/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=401988 CPUtime=1795.45
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99005 0 0 0 179360 185 0 0 25 0 1 0 187974694 411635712 98820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100497 98820 296 55 0 99389 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 401988

[startup+1797.18 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1205720/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=402252 CPUtime=1796.45
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99063 0 0 0 179460 185 0 0 25 0 1 0 187974694 411906048 98878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100563 98878 296 55 0 99455 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 402252

[startup+1798.18 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1205592/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=402384 CPUtime=1797.45
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99099 0 0 0 179560 185 0 0 25 0 1 0 187974694 412041216 98914 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100596 98914 296 55 0 99488 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (Kb) 402384

[startup+1799.19 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1205400/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=402516 CPUtime=1798.46
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99146 0 0 0 179661 185 0 0 25 0 1 0 187974694 412176384 98961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100629 98961 296 55 0 99521 0
Current children cumulated CPU time (s) 1798.46
Current children cumulated vsize (Kb) 402516

[startup+1800.19 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 7373
/proc/meminfo: memFree=1205080/2055920 swapFree=4182500/4192956
[pid=7178] ppid=7176 vsize=402912 CPUtime=1799.46
/proc/7178/stat : 7178 (bsolo) R 7176 7178 7133 0 -1 0 99223 0 0 0 179761 185 0 0 25 0 1 0 187974694 412581888 99038 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7178/statm: 100728 99038 296 55 0 99620 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (Kb) 402912

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.07
CPU user time (s): 1798.15
CPU system time (s): 1.91571
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (Kb): 402912

Launcher Data (download as text)

Begin job on node75 on Fri Jun  2 04:38:33 UTC 2006


FILE ID= 39603-1149223113

PBS_JOBID= 295591

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6bb807214e0d1b3ab69b4b6ee86db452

RANDOM SEED= 914890481


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1601304 kB
Buffers:         39508 kB
Cached:         337888 kB
SwapCached:       2452 kB
Active:         110508 kB
Inactive:       275848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1601304 kB
SwapTotal:     4192956 kB
SwapFree:      4182500 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          16020 kB
Slab:            54192 kB
Committed_AS:   236976 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node75 on Fri Jun  2 05:08:34 UTC 2006