Trace number 39616

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.08 1801.16

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb
MD5SUM0626939ca6144a564c8e59fb048e3266
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 benchmark93.7857
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 705
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.068
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.12	c Restart #1 #Var: 231 LB: 0 @ 0.112
0.25	c Restart #2 #Var: 231 LB: 0 @ 0.249
0.50	c Restart #3 #Var: 231 LB: 0 @ 0.49
0.82	c Restart #4 #Var: 231 LB: 0 @ 0.818
1.02	c Restart #5 #Var: 231 LB: 0 @ 1.016
1.24	c Restart #6 #Var: 231 LB: 0 @ 1.229
1.57	c Restart #7 #Var: 231 LB: 0 @ 1.565
2.09	c Restart #8 #Var: 231 LB: 0 @ 2.086
2.52	c Restart #9 #Var: 231 LB: 0 @ 2.513
3.08	c Restart #10 #Var: 231 LB: 0 @ 3.073
3.78	c Restart #11 #Var: 231 LB: 0 @ 3.776
4.43	c Restart #12 #Var: 231 LB: 0 @ 4.421
5.25	c Restart #13 #Var: 231 LB: 0 @ 5.243
6.24	c Restart #14 #Var: 231 LB: 0 @ 6.233
7.15	c Restart #15 #Var: 231 LB: 0 @ 7.141
8.61	c Restart #16 #Var: 231 LB: 0 @ 8.596
9.86	c Restart #17 #Var: 231 LB: 0 @ 9.853
11.49	c Restart #18 #Var: 231 LB: 0 @ 11.477
13.19	c Restart #19 #Var: 231 LB: 0 @ 13.18
15.54	c Restart #20 #Var: 231 LB: 0 @ 15.531
17.54	c Restart #21 #Var: 231 LB: 0 @ 17.532
19.49	c Restart #22 #Var: 231 LB: 0 @ 19.475
23.42	c Restart #23 #Var: 231 LB: 0 @ 23.405
26.63	c Restart #24 #Var: 231 LB: 0 @ 26.614
31.75	c Restart #25 #Var: 231 LB: 0 @ 31.733
35.93	c Restart #26 #Var: 231 LB: 0 @ 35.903
40.37	c Restart #27 #Var: 231 LB: 0 @ 40.343
49.90	c Restart #28 #Var: 231 LB: 0 @ 49.862
54.27	c Restart #29 #Var: 231 LB: 0 @ 54.234
57.73	c Restart #30 #Var: 231 LB: 0 @ 57.697
61.93	c Restart #31 #Var: 231 LB: 0 @ 61.892
66.95	c Restart #32 #Var: 231 LB: 0 @ 66.91
73.55	c Restart #33 #Var: 231 LB: 0 @ 73.504
80.12	c Restart #34 #Var: 231 LB: 0 @ 80.073
87.68	c Restart #35 #Var: 231 LB: 0 @ 87.632
94.93	c Restart #36 #Var: 231 LB: 0 @ 94.876
101.92	c Restart #37 #Var: 231 LB: 0 @ 101.86
111.09	c Restart #38 #Var: 231 LB: 0 @ 111.03
120.30	c Restart #39 #Var: 231 LB: 0 @ 120.23
132.24	c Restart #40 #Var: 231 LB: 0 @ 132.15
143.45	c Restart #41 #Var: 231 LB: 0 @ 143.36
151.47	c Restart #42 #Var: 231 LB: 0 @ 151.38
164.86	c Restart #43 #Var: 231 LB: 0 @ 164.76
193.16	c Restart #44 #Var: 231 LB: 0 @ 193.04
205.51	c Restart #45 #Var: 231 LB: 0 @ 205.39
219.05	c Restart #46 #Var: 231 LB: 0 @ 218.92
235.33	c Restart #47 #Var: 231 LB: 0 @ 235.19
262.23	c Restart #48 #Var: 231 LB: 0 @ 262.07
279.99	c Restart #49 #Var: 231 LB: 0 @ 279.82
293.40	c Restart #50 #Var: 231 LB: 0 @ 293.23
310.38	c Restart #51 #Var: 231 LB: 0 @ 310.19
332.39	c Restart #52 #Var: 231 LB: 0 @ 332.19
368.15	c Restart #53 #Var: 231 LB: 0 @ 367.93
395.80	c Restart #54 #Var: 231 LB: 0 @ 395.56
416.39	c Restart #55 #Var: 231 LB: 0 @ 416.14
442.15	c Restart #56 #Var: 231 LB: 0 @ 441.89
462.13	c Restart #57 #Var: 231 LB: 0 @ 461.86
496.27	c Restart #58 #Var: 231 LB: 0 @ 495.98
532.88	c Restart #59 #Var: 231 LB: 0 @ 532.57
555.45	c Restart #60 #Var: 231 LB: 0 @ 555.12
606.15	c Restart #61 #Var: 231 LB: 0 @ 605.8
638.20	c Restart #62 #Var: 231 LB: 0 @ 637.83
680.22	c Restart #63 #Var: 231 LB: 0 @ 679.83
707.80	c Restart #64 #Var: 231 LB: 0 @ 707.39
743.91	c Restart #65 #Var: 231 LB: 0 @ 743.48
779.13	c Restart #66 #Var: 231 LB: 0 @ 778.67
823.40	c Restart #67 #Var: 231 LB: 0 @ 822.92
863.84	c Restart #68 #Var: 231 LB: 0 @ 863.34
902.76	c CHANGE Heuristic... 
902.76	c Restart #0 #Var: 231 LB: 0 @ 902.24
912.72	c Restart #1 #Var: 231 LB: 0 @ 912.18
916.59	c Restart #2 #Var: 231 LB: 0 @ 916.05
921.01	c Restart #3 #Var: 231 LB: 0 @ 920.47
924.66	c Restart #4 #Var: 231 LB: 0 @ 924.11
933.52	c Restart #5 #Var: 231 LB: 0 @ 932.97
940.41	c Restart #6 #Var: 231 LB: 0 @ 939.85
945.38	c Restart #7 #Var: 231 LB: 0 @ 944.82
951.71	c Restart #8 #Var: 231 LB: 0 @ 951.15
958.60	c Restart #9 #Var: 231 LB: 0 @ 958.04
984.46	c Restart #10 #Var: 231 LB: 0 @ 983.88
993.69	c Restart #11 #Var: 231 LB: 0 @ 993.11
1006.70	c Restart #12 #Var: 231 LB: 0 @ 1006.1
1018.00	c Restart #13 #Var: 231 LB: 0 @ 1017.4
1025.02	c Restart #14 #Var: 231 LB: 0 @ 1024.4
1039.25	c Restart #15 #Var: 231 LB: 0 @ 1038.6
1051.20	c Restart #16 #Var: 231 LB: 0 @ 1050.6
1069.09	c Restart #17 #Var: 231 LB: 0 @ 1068.5
1081.85	c Restart #18 #Var: 231 LB: 0 @ 1081.2
1094.27	c Restart #19 #Var: 231 LB: 0 @ 1093.6
1112.07	c Restart #20 #Var: 231 LB: 0 @ 1111.4
1127.64	c Restart #21 #Var: 231 LB: 0 @ 1127
1145.46	c Restart #22 #Var: 231 LB: 0 @ 1144.8
1159.02	c Restart #23 #Var: 231 LB: 0 @ 1158.3
1179.07	c Restart #24 #Var: 231 LB: 0 @ 1178.4
1194.38	c Restart #25 #Var: 231 LB: 0 @ 1193.7
1215.67	c Restart #26 #Var: 231 LB: 0 @ 1214.9
1236.09	c Restart #27 #Var: 231 LB: 0 @ 1235.3
1303.41	c Restart #28 #Var: 231 LB: 0 @ 1302.6
1327.34	c Restart #29 #Var: 231 LB: 0 @ 1326.5
1348.76	c Restart #30 #Var: 231 LB: 0 @ 1347.9
1377.95	c Restart #31 #Var: 231 LB: 0 @ 1377.1
1411.23	c Restart #32 #Var: 231 LB: 0 @ 1410.4
1441.06	c Restart #33 #Var: 231 LB: 0 @ 1440.2
1468.62	c Restart #34 #Var: 231 LB: 0 @ 1467.7
1508.92	c Restart #35 #Var: 231 LB: 0 @ 1508
1530.60	c Restart #36 #Var: 231 LB: 0 @ 1529.7
1574.61	c Restart #37 #Var: 231 LB: 0 @ 1573.7
1594.97	c Restart #38 #Var: 231 LB: 0 @ 1594
1621.74	c Restart #39 #Var: 231 LB: 0 @ 1620.8
1649.16	c Restart #40 #Var: 231 LB: 0 @ 1648.2
1682.63	c Restart #41 #Var: 231 LB: 0 @ 1681.6
1733.73	c Restart #42 #Var: 231 LB: 0 @ 1732.7
1785.46	c Restart #43 #Var: 230 LB: 0 @ 1784.4
1801.07	s UNKNOWN
1801.07	c Exit Code: 0
1801.07	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/node23/watcher-39616-1149224887 -o ROOT/results/node23/solver-39616-1149224887 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/39616-1149224887/instance-39616-1149224887.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.94 0.90 2/64 8306
/proc/meminfo: memFree=1392008/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=4932 CPUtime=0
/proc/8306/stat : 8306 (bsolo) D 8304 8306 8261 0 -1 0 370 0 0 0 0 0 0 0 19 0 1 0 188152396 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0
/proc/8306/statm: 1241 332 227 55 0 133 0

[startup+10.0025 s]
/proc/loadavg: 0.87 0.94 0.90 2/64 8306
/proc/meminfo: memFree=1372848/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=23748 CPUtime=9.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 5183 0 0 0 994 5 0 0 25 0 1 0 188152396 24317952 5098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 5937 5098 296 55 0 4829 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 23748

[startup+20.0096 s]
/proc/loadavg: 0.89 0.94 0.90 2/64 8306
/proc/meminfo: memFree=1361328/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=35232 CPUtime=19.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 8083 0 0 0 1988 11 0 0 25 0 1 0 188152396 36077568 7998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 8808 7998 296 55 0 7700 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 35232

[startup+30.0168 s]
/proc/loadavg: 0.91 0.94 0.90 2/64 8306
/proc/meminfo: memFree=1354480/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=42088 CPUtime=29.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 9787 0 0 0 2984 15 0 0 25 0 1 0 188152396 43098112 9702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633162 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 10522 9702 296 55 0 9414 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 42088

[startup+40.0229 s]
/proc/loadavg: 0.92 0.94 0.90 2/64 8306
/proc/meminfo: memFree=1346672/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=49876 CPUtime=39.98
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 11739 0 0 0 3980 18 0 0 25 0 1 0 188152396 51073024 11654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 12469 11654 296 55 0 11361 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 49876

[startup+50.029 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 8306
/proc/meminfo: memFree=1342960/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=53708 CPUtime=49.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 12677 0 0 0 4979 20 0 0 25 0 1 0 188152396 54996992 12592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 13427 12592 296 55 0 12319 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 53708

[startup+60.0352 s]
/proc/loadavg: 0.94 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1333296/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=63352 CPUtime=59.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 15095 0 0 0 5975 24 0 0 25 0 1 0 188152396 64872448 15010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 15838 15010 296 55 0 14730 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 63352

[startup+70.0413 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1326384/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=70216 CPUtime=69.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 16802 0 0 0 6972 27 0 0 25 0 1 0 188152396 71901184 16717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 17554 16717 296 55 0 16446 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 70216

[startup+80.0485 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1319472/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=77080 CPUtime=80
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 18519 0 0 0 7970 30 0 0 25 0 1 0 188152396 78929920 18434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8306/statm: 19270 18434 296 55 0 18162 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 77080

[startup+90.0556 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1313456/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=83168 CPUtime=89.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 20030 0 0 0 8967 32 0 0 25 0 1 0 188152396 85164032 19944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 20792 19944 296 55 0 19684 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 83168

[startup+100.062 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1307632/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=89108 CPUtime=99.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 21490 0 0 0 9964 35 0 0 25 0 1 0 188152396 91246592 21404 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529227 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 22277 21404 296 55 0 21169 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 89108

[startup+110.068 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1301168/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=95572 CPUtime=110
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 23104 0 0 0 10963 37 0 0 25 0 1 0 188152396 97865728 23017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 23893 23017 296 55 0 22785 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 95572

[startup+120.074 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1295664/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=100996 CPUtime=119.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 24469 0 0 0 11959 40 0 0 25 0 1 0 188152396 103419904 24382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 25249 24382 296 55 0 24141 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 100996

[startup+130.081 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1291824/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=104840 CPUtime=129.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 25423 0 0 0 12957 42 0 0 25 0 1 0 188152396 107356160 25335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8306/statm: 26210 25335 296 55 0 25102 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 104840

[startup+140.088 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1287280/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=109372 CPUtime=139.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 26551 0 0 0 13955 44 0 0 25 0 1 0 188152396 111996928 26463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 27343 26463 296 55 0 26235 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 109372

[startup+150.095 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8306
/proc/meminfo: memFree=1279600/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=117160 CPUtime=150
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 28497 0 0 0 14953 47 0 0 25 0 1 0 188152396 119971840 28409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 29290 28409 296 55 0 28182 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 117160

[startup+160.101 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8306
/proc/meminfo: memFree=1274992/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=121784 CPUtime=160
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 29665 0 0 0 15951 49 0 0 25 0 1 0 188152396 124706816 29577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 30446 29577 296 55 0 29338 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 121784

[startup+170.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8306
/proc/meminfo: memFree=1271664/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=125108 CPUtime=170
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 30488 0 0 0 16950 50 0 0 25 0 1 0 188152396 128110592 30400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 31277 30400 296 55 0 30169 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 125108

[startup+180.115 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8306
/proc/meminfo: memFree=1270320/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=126564 CPUtime=180
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 30820 0 0 0 17949 51 0 0 25 0 1 0 188152396 129601536 30731 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8306/statm: 31641 30731 296 55 0 30533 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 126564

[startup+190.122 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8306
/proc/meminfo: memFree=1267952/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=128944 CPUtime=189.99
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 31414 0 0 0 18947 52 0 0 25 0 1 0 188152396 132038656 31325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 32236 31325 296 55 0 31128 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 128944

[startup+200.129 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8306
/proc/meminfo: memFree=1263216/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=133704 CPUtime=200
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 32606 0 0 0 19946 54 0 0 25 0 1 0 188152396 136912896 32517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 33426 32517 296 55 0 32318 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 133704

[startup+210.136 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8306
/proc/meminfo: memFree=1258480/2055920 swapFree=4180892/4192956

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

/proc/8306/statm: 126373 124728 296 55 0 125265 0
Current children cumulated CPU time (s) 1760.14
Current children cumulated vsize (Kb) 505492

[startup+1771.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=893040/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=506020 CPUtime=1770.14
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 124992 0 0 0 176796 218 0 0 25 0 1 0 188152396 518164480 124845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126505 124845 296 55 0 125397 0
Current children cumulated CPU time (s) 1770.14
Current children cumulated vsize (Kb) 506020

[startup+1781.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891888/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507208 CPUtime=1780.15
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125276 0 0 0 177796 219 0 0 25 0 1 0 188152396 519380992 125129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126802 125129 296 55 0 125694 0
Current children cumulated CPU time (s) 1780.15
Current children cumulated vsize (Kb) 507208

[startup+1782.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891888/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507208 CPUtime=1781.16
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125283 0 0 0 177897 219 0 0 25 0 1 0 188152396 519380992 125136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126802 125136 296 55 0 125694 0
Current children cumulated CPU time (s) 1781.16
Current children cumulated vsize (Kb) 507208

[startup+1783.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891824/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507208 CPUtime=1782.15
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125299 0 0 0 177996 219 0 0 25 0 1 0 188152396 519380992 125152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126802 125152 296 55 0 125694 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (Kb) 507208

[startup+1784.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891760/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507340 CPUtime=1783.15
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125313 0 0 0 178096 219 0 0 25 0 1 0 188152396 519516160 125166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126835 125166 296 55 0 125727 0
Current children cumulated CPU time (s) 1783.15
Current children cumulated vsize (Kb) 507340

[startup+1785.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891760/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507340 CPUtime=1784.16
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125319 0 0 0 178197 219 0 0 25 0 1 0 188152396 519516160 125172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126835 125172 296 55 0 125727 0
Current children cumulated CPU time (s) 1784.16
Current children cumulated vsize (Kb) 507340

[startup+1786.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891696/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507340 CPUtime=1785.16
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125334 0 0 0 178297 219 0 0 25 0 1 0 188152396 519516160 125187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126835 125187 296 55 0 125727 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (Kb) 507340

[startup+1787.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891632/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507340 CPUtime=1786.16
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125348 0 0 0 178397 219 0 0 25 0 1 0 188152396 519516160 125201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126835 125201 296 55 0 125727 0
Current children cumulated CPU time (s) 1786.16
Current children cumulated vsize (Kb) 507340

[startup+1788.23 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891568/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507472 CPUtime=1787.17
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125359 0 0 0 178498 219 0 0 25 0 1 0 188152396 519651328 125212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126868 125212 296 55 0 125760 0
Current children cumulated CPU time (s) 1787.17
Current children cumulated vsize (Kb) 507472

[startup+1789.23 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891504/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507472 CPUtime=1788.17
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125378 0 0 0 178598 219 0 0 25 0 1 0 188152396 519651328 125231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126868 125231 296 55 0 125760 0
Current children cumulated CPU time (s) 1788.17
Current children cumulated vsize (Kb) 507472

[startup+1790.24 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891440/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507604 CPUtime=1789.18
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125396 0 0 0 178699 219 0 0 25 0 1 0 188152396 519786496 125249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126901 125249 296 55 0 125793 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (Kb) 507604

[startup+1791.24 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=891184/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=507868 CPUtime=1790.18
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125449 0 0 0 178799 219 0 0 25 0 1 0 188152396 520056832 125302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 126967 125302 296 55 0 125859 0
Current children cumulated CPU time (s) 1790.18
Current children cumulated vsize (Kb) 507868

[startup+1792.25 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=890928/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=508000 CPUtime=1791.19
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125511 0 0 0 178900 219 0 0 25 0 1 0 188152396 520192000 125364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127000 125364 296 55 0 125892 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (Kb) 508000

[startup+1793.26 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=890800/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=508132 CPUtime=1792.19
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125544 0 0 0 179000 219 0 0 25 0 1 0 188152396 520327168 125397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127033 125397 296 55 0 125925 0
Current children cumulated CPU time (s) 1792.19
Current children cumulated vsize (Kb) 508132

[startup+1794.26 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=890736/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=508264 CPUtime=1793.19
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125563 0 0 0 179100 219 0 0 25 0 1 0 188152396 520462336 125416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127066 125416 296 55 0 125958 0
Current children cumulated CPU time (s) 1793.19
Current children cumulated vsize (Kb) 508264

[startup+1795.27 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=890608/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=508396 CPUtime=1794.2
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125595 0 0 0 179201 219 0 0 25 0 1 0 188152396 520597504 125448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127099 125448 296 55 0 125991 0
Current children cumulated CPU time (s) 1794.2
Current children cumulated vsize (Kb) 508396

[startup+1796.27 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=890288/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=508660 CPUtime=1795.21
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125671 0 0 0 179301 220 0 0 25 0 1 0 188152396 520867840 125524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127165 125524 296 55 0 126057 0
Current children cumulated CPU time (s) 1795.21
Current children cumulated vsize (Kb) 508660

[startup+1797.28 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=890160/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=508792 CPUtime=1796.21
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125707 0 0 0 179401 220 0 0 25 0 1 0 188152396 521003008 125560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127198 125560 296 55 0 126090 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (Kb) 508792

[startup+1798.28 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=890032/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=508924 CPUtime=1797.22
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125741 0 0 0 179502 220 0 0 25 0 1 0 188152396 521138176 125594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127231 125594 296 55 0 126123 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (Kb) 508924

[startup+1799.29 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=889840/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=509188 CPUtime=1798.22
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125792 0 0 0 179602 220 0 0 25 0 1 0 188152396 521408512 125645 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127297 125645 296 55 0 126189 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (Kb) 509188

[startup+1800.29 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8308
/proc/meminfo: memFree=889584/2055920 swapFree=4180892/4192956
[pid=8306] ppid=8304 vsize=509452 CPUtime=1799.22
/proc/8306/stat : 8306 (bsolo) R 8304 8306 8261 0 -1 0 125846 0 0 0 179702 220 0 0 25 0 1 0 188152396 521678848 125699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533895 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8306/statm: 127363 125699 296 55 0 126255 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (Kb) 509452

Child status: 0
Real time (s): 1801.16
CPU time (s): 1800.08
CPU user time (s): 1797.8
CPU system time (s): 2.27965
CPU usage (%): 99.94
Max. virtual memory (cumulated for all children) (Kb): 509452

Launcher Data (download as text)

Begin job on node23 on Fri Jun  2 05:08:07 UTC 2006


FILE ID= 39616-1149224887

PBS_JOBID= 295753

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  0626939ca6144a564c8e59fb048e3266

RANDOM SEED= 155961599


/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.213
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	: 5931.00
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.213
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:       1392216 kB
Buffers:         40056 kB
Cached:         547264 kB
SwapCached:       3872 kB
Active:         167488 kB
Inactive:       428568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1392216 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             272 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            53652 kB
Committed_AS:   220676 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Fri Jun  2 05:38:09 UTC 2006