Trace number 39599

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.1 1800.75

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
MD5SUM3972d8c24730f4742ee881de3ad25c62
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 benchmark33.7979
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 707
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.13	c Restart #1 #Var: 231 LB: 0 @ 0.125
0.28	c Restart #2 #Var: 231 LB: 0 @ 0.277
0.48	c Restart #3 #Var: 231 LB: 0 @ 0.475
0.71	c Restart #4 #Var: 231 LB: 0 @ 0.703
0.92	c Restart #5 #Var: 231 LB: 0 @ 0.912
1.15	c Restart #6 #Var: 231 LB: 0 @ 1.141
1.45	c Restart #7 #Var: 231 LB: 0 @ 1.439
1.80	c Restart #8 #Var: 231 LB: 0 @ 1.79
2.25	c Restart #9 #Var: 231 LB: 0 @ 2.242
2.71	c Restart #10 #Var: 231 LB: 0 @ 2.699
3.19	c Restart #11 #Var: 231 LB: 0 @ 3.179
3.86	c Restart #12 #Var: 231 LB: 0 @ 3.854
4.82	c Restart #13 #Var: 231 LB: 0 @ 4.816
6.01	c Restart #14 #Var: 231 LB: 0 @ 6.002
6.99	c Restart #15 #Var: 231 LB: 0 @ 6.979
8.51	c Restart #16 #Var: 231 LB: 0 @ 8.505
10.49	c Restart #17 #Var: 231 LB: 0 @ 10.476
12.44	c Restart #18 #Var: 231 LB: 0 @ 12.424
14.24	c Restart #19 #Var: 231 LB: 0 @ 14.226
16.50	c Restart #20 #Var: 231 LB: 0 @ 16.487
18.78	c Restart #21 #Var: 231 LB: 0 @ 18.764
23.06	c Restart #22 #Var: 231 LB: 0 @ 23.041
26.35	c Restart #23 #Var: 231 LB: 0 @ 26.337
30.60	c Restart #24 #Var: 231 LB: 0 @ 30.582
33.94	c Restart #25 #Var: 231 LB: 0 @ 33.92
38.41	c Restart #26 #Var: 231 LB: 0 @ 38.387
44.15	c Restart #27 #Var: 231 LB: 0 @ 44.129
50.72	c Restart #28 #Var: 231 LB: 0 @ 50.7
56.41	c Restart #29 #Var: 231 LB: 0 @ 56.383
63.49	c Restart #30 #Var: 231 LB: 0 @ 63.457
74.59	c Restart #31 #Var: 231 LB: 0 @ 74.558
82.32	c Restart #32 #Var: 231 LB: 0 @ 82.285
93.08	c Restart #33 #Var: 231 LB: 0 @ 93.043
102.71	c Restart #34 #Var: 231 LB: 0 @ 102.67
116.07	c Restart #35 #Var: 231 LB: 0 @ 116.03
127.70	c Restart #36 #Var: 231 LB: 0 @ 127.65
143.15	c Restart #37 #Var: 231 LB: 0 @ 143.09
151.14	c Restart #38 #Var: 231 LB: 0 @ 151.08
164.12	c Restart #39 #Var: 231 LB: 0 @ 164.06
177.17	c Restart #40 #Var: 231 LB: 0 @ 177.11
191.88	c Restart #41 #Var: 231 LB: 0 @ 191.81
203.98	c Restart #42 #Var: 231 LB: 0 @ 203.91
217.06	c Restart #43 #Var: 231 LB: 0 @ 216.99
243.44	c Restart #44 #Var: 231 LB: 0 @ 243.36
261.87	c Restart #45 #Var: 231 LB: 0 @ 261.78
280.60	c Restart #46 #Var: 231 LB: 0 @ 280.5
299.66	c Restart #47 #Var: 231 LB: 0 @ 299.55
321.12	c Restart #48 #Var: 231 LB: 0 @ 321.01
338.16	c Restart #49 #Var: 231 LB: 0 @ 338.05
363.21	c Restart #50 #Var: 231 LB: 0 @ 363.08
386.30	c Restart #51 #Var: 231 LB: 0 @ 386.17
409.98	c Restart #52 #Var: 231 LB: 0 @ 409.85
434.07	c Restart #53 #Var: 231 LB: 0 @ 433.93
464.07	c Restart #54 #Var: 231 LB: 0 @ 463.91
491.69	c Restart #55 #Var: 231 LB: 0 @ 491.52
516.57	c Restart #56 #Var: 231 LB: 0 @ 516.4
565.28	c Restart #57 #Var: 231 LB: 0 @ 565.09
601.06	c Restart #58 #Var: 231 LB: 0 @ 600.86
630.99	c Restart #59 #Var: 231 LB: 0 @ 630.78
669.63	c Restart #60 #Var: 231 LB: 0 @ 669.41
718.80	c Restart #61 #Var: 231 LB: 0 @ 718.56
765.50	c Restart #62 #Var: 231 LB: 0 @ 765.25
814.26	c Restart #63 #Var: 231 LB: 0 @ 813.99
873.66	c Restart #64 #Var: 231 LB: 0 @ 873.38
917.05	c CHANGE Heuristic... 
917.05	c Restart #0 #Var: 231 LB: 0 @ 916.75
924.50	c Restart #1 #Var: 231 LB: 0 @ 924.19
930.30	c Restart #2 #Var: 231 LB: 0 @ 929.99
941.04	c Restart #3 #Var: 231 LB: 0 @ 940.74
947.47	c Restart #4 #Var: 231 LB: 0 @ 947.16
953.91	c Restart #5 #Var: 231 LB: 0 @ 953.6
960.34	c Restart #6 #Var: 231 LB: 0 @ 960.02
967.66	c Restart #7 #Var: 231 LB: 0 @ 967.34
975.55	c Restart #8 #Var: 231 LB: 0 @ 975.23
985.14	c Restart #9 #Var: 231 LB: 0 @ 984.82
995.87	c Restart #10 #Var: 231 LB: 0 @ 995.55
1010.63	c Restart #11 #Var: 231 LB: 0 @ 1010.3
1024.09	c Restart #12 #Var: 231 LB: 0 @ 1023.8
1034.10	c Restart #13 #Var: 231 LB: 0 @ 1033.8
1047.10	c Restart #14 #Var: 231 LB: 0 @ 1046.8
1062.34	c Restart #15 #Var: 231 LB: 0 @ 1062
1084.20	c Restart #16 #Var: 231 LB: 0 @ 1083.8
1103.04	c Restart #17 #Var: 231 LB: 0 @ 1102.7
1121.69	c Restart #18 #Var: 231 LB: 0 @ 1121.3
1145.05	c Restart #19 #Var: 231 LB: 0 @ 1144.7
1164.18	c Restart #20 #Var: 231 LB: 0 @ 1163.8
1195.76	c Restart #21 #Var: 231 LB: 0 @ 1195.4
1221.28	c Restart #22 #Var: 231 LB: 0 @ 1220.9
1240.09	c Restart #23 #Var: 231 LB: 0 @ 1239.7
1263.82	c Restart #24 #Var: 231 LB: 0 @ 1263.4
1292.07	c Restart #25 #Var: 231 LB: 0 @ 1291.7
1320.49	c Restart #26 #Var: 231 LB: 0 @ 1320.1
1342.10	c Restart #27 #Var: 231 LB: 0 @ 1341.7
1363.75	c Restart #28 #Var: 231 LB: 0 @ 1363.3
1392.14	c Restart #29 #Var: 231 LB: 0 @ 1391.7
1427.42	c Restart #30 #Var: 231 LB: 0 @ 1427
1451.49	c Restart #31 #Var: 231 LB: 0 @ 1451
1492.02	c Restart #32 #Var: 231 LB: 0 @ 1491.5
1521.08	c Restart #33 #Var: 231 LB: 0 @ 1520.6
1556.78	c Restart #34 #Var: 231 LB: 0 @ 1556.3
1597.16	c Restart #35 #Var: 231 LB: 0 @ 1596.6
1627.09	c Restart #36 #Var: 231 LB: 0 @ 1626.6
1655.56	c Restart #37 #Var: 231 LB: 0 @ 1655
1697.65	c Restart #38 #Var: 231 LB: 0 @ 1697.1
1740.64	c Restart #39 #Var: 231 LB: 0 @ 1740.1
1792.35	c Restart #40 #Var: 231 LB: 0 @ 1791.7
1800.68	s UNKNOWN
1800.68	c Exit Code: 0
1800.68	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/node22/watcher-39599-1149222689 -o ROOT/results/node22/solver-39599-1149222689 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39599-1149222689/instance-39599-1149222689.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 14181
/proc/meminfo: memFree=1468728/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=4928 CPUtime=0
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 353 0 0 0 0 0 0 0 19 0 1 0 83703236 5046272 318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159459154 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 1233 328 224 55 0 125 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 14181
/proc/meminfo: memFree=1448504/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=24804 CPUtime=9.99
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 5453 0 0 0 995 4 0 0 25 0 1 0 83703236 25399296 5368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 6201 5368 296 55 0 5093 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 24804

[startup+20.0097 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1437688/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=35628 CPUtime=19.98
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 8162 0 0 0 1991 7 0 0 25 0 1 0 83703236 36483072 8077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 8907 8077 296 55 0 7799 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 35628

[startup+30.0163 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1428856/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=44340 CPUtime=29.99
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 10352 0 0 0 2989 10 0 0 25 0 1 0 83703236 45404160 10267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 11085 10267 296 55 0 9977 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 44340

[startup+40.022 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1420664/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=52536 CPUtime=39.99
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 12398 0 0 0 3986 13 0 0 25 0 1 0 83703236 53796864 12313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 13134 12313 296 55 0 12026 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 52536

[startup+50.0287 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1414840/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=58480 CPUtime=49.99
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 13854 0 0 0 4984 15 0 0 25 0 1 0 83703236 59883520 13769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 14620 13769 296 55 0 13512 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 58480

[startup+60.0344 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1408504/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=64676 CPUtime=60
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 15424 0 0 0 5982 18 0 0 25 0 1 0 83703236 66228224 15339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 16169 15339 296 55 0 15061 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 64676

[startup+70.041 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1403960/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=69292 CPUtime=70
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 16566 0 0 0 6981 19 0 0 25 0 1 0 83703236 70955008 16481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533975 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 17323 16481 296 55 0 16215 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 69292

[startup+80.0467 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1399032/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=74176 CPUtime=80
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 17798 0 0 0 7978 22 0 0 25 0 1 0 83703236 75956224 17713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 18544 17713 296 55 0 17436 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 74176

[startup+90.0524 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1393848/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=79332 CPUtime=90
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 19081 0 0 0 8976 24 0 0 25 0 1 0 83703236 81235968 18996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 19833 18996 296 55 0 18725 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 79332

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1388920/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=84220 CPUtime=100.01
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 20309 0 0 0 9974 27 0 0 25 0 1 0 83703236 86241280 20224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 21055 20224 296 55 0 19947 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 84220

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 14181
/proc/meminfo: memFree=1384888/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=88316 CPUtime=110.01
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 21316 0 0 0 10972 29 0 0 25 0 1 0 83703236 90435584 21231 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 22079 21231 296 55 0 20971 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 88316

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1381048/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=92148 CPUtime=120.01
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 22277 0 0 0 11971 30 0 0 25 0 1 0 83703236 94359552 22192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 23037 22192 296 55 0 21929 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 92148

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1376696/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=96508 CPUtime=130.01
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 23359 0 0 0 12968 33 0 0 25 0 1 0 83703236 98824192 23274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134523619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 24127 23274 296 55 0 23019 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 96508

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1372792/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=100348 CPUtime=140.02
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 24323 0 0 0 13967 35 0 0 25 0 1 0 83703236 102756352 24237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 25087 24237 296 55 0 23979 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 100348

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1367608/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=105640 CPUtime=150.03
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 25638 0 0 0 14965 38 0 0 25 0 1 0 83703236 108175360 25552 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 26410 25552 296 55 0 25302 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 105640

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1364024/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=109216 CPUtime=160.02
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 26518 0 0 0 15963 39 0 0 25 0 1 0 83703236 111837184 26432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 27304 26432 296 55 0 26196 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 109216

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1360120/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=113184 CPUtime=170.03
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 27500 0 0 0 16962 41 0 0 25 0 1 0 83703236 115900416 27414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 28296 27414 296 55 0 27188 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 113184

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1355704/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=117552 CPUtime=180.03
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 28603 0 0 0 17959 44 0 0 25 0 1 0 83703236 120373248 28517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 29388 28517 296 55 0 28280 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 117552

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1351736/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=121512 CPUtime=190.03
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 29590 0 0 0 18958 45 0 0 25 0 1 0 83703236 124428288 29504 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 30378 29504 296 55 0 29270 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 121512

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1347256/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=126000 CPUtime=200.03
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 30698 0 0 0 19956 47 0 0 25 0 1 0 83703236 129024000 30611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 31500 30611 296 55 0 30392 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 126000

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1342200/2055920 swapFree=4183844/4192956

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

/proc/14181/statm: 108498 106961 296 55 0 107390 0
Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 433992

[startup+1771.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14181
/proc/meminfo: memFree=1040376/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=434784 CPUtime=1770.45
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107297 0 0 0 176862 183 0 0 25 0 1 0 83703236 445218816 107148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 108696 107148 296 55 0 107588 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 434784

[startup+1781.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 14252
/proc/meminfo: memFree=1037704/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=436236 CPUtime=1780.45
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107672 0 0 0 177860 185 0 0 25 0 1 0 83703236 446705664 107523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109059 107523 296 55 0 107951 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 436236

[startup+1782.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 14302
/proc/meminfo: memFree=1037440/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=436368 CPUtime=1781.43
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107693 0 0 0 177958 185 0 0 25 0 1 0 83703236 446840832 107544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109092 107544 296 55 0 107984 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (Kb) 436368

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 14302
/proc/meminfo: memFree=1037248/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=436500 CPUtime=1782.43
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107748 0 0 0 178058 185 0 0 25 0 1 0 83703236 446976000 107599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109125 107599 296 55 0 108017 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 436500

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 14302
/proc/meminfo: memFree=1036992/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=436764 CPUtime=1783.44
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107811 0 0 0 178159 185 0 0 25 0 1 0 83703236 447246336 107662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109191 107662 296 55 0 108083 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (Kb) 436764

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1037616/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=437028 CPUtime=1784.41
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107881 0 0 0 178256 185 0 0 25 0 1 0 83703236 447516672 107732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109257 107732 296 55 0 108149 0
Current children cumulated CPU time (s) 1784.41
Current children cumulated vsize (Kb) 437028

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1037616/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=437292 CPUtime=1785.41
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107927 0 0 0 178356 185 0 0 25 0 1 0 83703236 447787008 107778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109323 107778 296 55 0 108215 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 437292

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1037360/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=437424 CPUtime=1786.42
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 107986 0 0 0 178457 185 0 0 25 0 1 0 83703236 447922176 107837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109356 107837 296 55 0 108248 0
Current children cumulated CPU time (s) 1786.42
Current children cumulated vsize (Kb) 437424

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1036912/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=437952 CPUtime=1787.43
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108100 0 0 0 178557 186 0 0 25 0 1 0 83703236 448462848 107951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109488 107951 296 55 0 108380 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (Kb) 437952

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1036656/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=438216 CPUtime=1788.43
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108172 0 0 0 178657 186 0 0 25 0 1 0 83703236 448733184 108023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109554 108023 296 55 0 108446 0
Current children cumulated CPU time (s) 1788.43
Current children cumulated vsize (Kb) 438216

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1036464/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=438348 CPUtime=1789.43
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108216 0 0 0 178757 186 0 0 25 0 1 0 83703236 448868352 108067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109587 108067 296 55 0 108479 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (Kb) 438348

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1036272/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=438612 CPUtime=1790.44
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108260 0 0 0 178858 186 0 0 25 0 1 0 83703236 449138688 108111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109653 108111 296 55 0 108545 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (Kb) 438612

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1036024/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=438876 CPUtime=1791.44
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108336 0 0 0 178958 186 0 0 25 0 1 0 83703236 449409024 108187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109719 108187 296 55 0 108611 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (Kb) 438876

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035832/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439168 CPUtime=1792.45
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108371 0 0 0 179059 186 0 0 25 0 1 0 83703236 449708032 108222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109792 108222 296 55 0 108684 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (Kb) 439168

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035832/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439168 CPUtime=1793.45
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108382 0 0 0 179159 186 0 0 25 0 1 0 83703236 449708032 108233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109792 108233 296 55 0 108684 0
Current children cumulated CPU time (s) 1793.45
Current children cumulated vsize (Kb) 439168

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035768/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439168 CPUtime=1794.45
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108397 0 0 0 179259 186 0 0 25 0 1 0 83703236 449708032 108248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109792 108248 296 55 0 108684 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 439168

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035640/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439300 CPUtime=1795.46
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108418 0 0 0 179360 186 0 0 25 0 1 0 83703236 449843200 108269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109825 108269 296 55 0 108717 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (Kb) 439300

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035512/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439432 CPUtime=1796.46
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108451 0 0 0 179460 186 0 0 25 0 1 0 83703236 449978368 108302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534051 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109858 108302 296 55 0 108750 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 439432

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035448/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439564 CPUtime=1797.47
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108479 0 0 0 179561 186 0 0 25 0 1 0 83703236 450113536 108330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109891 108330 296 55 0 108783 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (Kb) 439564

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035384/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439564 CPUtime=1798.47
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108491 0 0 0 179661 186 0 0 25 0 1 0 83703236 450113536 108342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109891 108342 296 55 0 108783 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 439564

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 14376
/proc/meminfo: memFree=1035320/2055920 swapFree=4183844/4192956
[pid=14181] ppid=14179 vsize=439696 CPUtime=1799.48
/proc/14181/stat : 14181 (bsolo) R 14179 14181 14136 0 -1 0 108505 0 0 0 179762 186 0 0 25 0 1 0 83703236 450248704 108356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14181/statm: 109924 108356 296 55 0 108816 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (Kb) 439696

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.1
CPU user time (s): 1798.16
CPU system time (s): 1.9367
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (Kb): 439696

Launcher Data (download as text)

Begin job on node22 on Fri Jun  2 04:31:29 UTC 2006


FILE ID= 39599-1149222689

PBS_JOBID= 295537

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  3972d8c24730f4742ee881de3ad25c62

RANDOM SEED= 404770767


/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.261
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.261
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:       1468936 kB
Buffers:         39200 kB
Cached:         471948 kB
SwapCached:       3204 kB
Active:         168252 kB
Inactive:       351636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1468936 kB
SwapTotal:     4192956 kB
SwapFree:      4183844 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14896 kB
Slab:            53076 kB
Committed_AS:   187128 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node22 on Fri Jun  2 05:01:30 UTC 2006