Trace number 40343

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 NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.03 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUMe569a703dfec131c012510753e8401ab
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1931
Best CPU time to get the best result obtained on this benchmark11.4693
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1931
Optimality of the best value was proved YES
Number of variables3862
Total number of constraints16399
Number of constraints which are clauses16399
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint8
Number of terms in the objective function 3862
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3862
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3862
Number of bits of the biggest sum of numbers12
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.33	c Initial problem consists of 3862 variables and 16399 constraints.
0.39	c No problem reductions applied in OPT. instance.
0.39	c	preprocess terminated. Elapsed time: 0.376
0.39	c After prepocess the problem consists of 3000 variables and 10723 constraints.
0.39	c Initial Lower Bound: 431
0.73	c Restart #1 #Var: 2926 LB: 468 @ 0.718
1.37	c Restart #2 #Var: 2926 LB: 468 @ 1.356
2.04	c Restart #3 #Var: 2866 LB: 498 @ 2.027
3.01	c Restart #4 #Var: 2866 LB: 498 @ 2.995
4.48	c Restart #5 #Var: 2864 LB: 499 @ 4.466
5.90	c Restart #6 #Var: 2828 LB: 517 @ 5.886
7.17	c Restart #7 #Var: 2828 LB: 517 @ 7.155
8.84	c Restart #8 #Var: 2820 LB: 521 @ 8.826
10.12	c Restart #9 #Var: 2820 LB: 521 @ 10.101
11.75	c Restart #10 #Var: 2818 LB: 522 @ 11.732
13.51	c Restart #11 #Var: 2816 LB: 523 @ 13.49
15.83	c Restart #12 #Var: 2808 LB: 527 @ 15.813
18.15	c Restart #13 #Var: 2808 LB: 527 @ 18.127
21.11	c Restart #14 #Var: 2806 LB: 528 @ 21.089
24.89	c Restart #15 #Var: 2802 LB: 530 @ 24.868
29.39	c Restart #16 #Var: 2794 LB: 534 @ 29.365
34.07	c Restart #17 #Var: 2784 LB: 539 @ 34.043
38.53	c Restart #18 #Var: 2784 LB: 539 @ 38.508
44.14	c Restart #19 #Var: 2772 LB: 545 @ 44.117
49.83	c Restart #20 #Var: 2762 LB: 550 @ 49.806
58.47	c Restart #21 #Var: 2762 LB: 550 @ 58.436
67.69	c Restart #22 #Var: 2762 LB: 550 @ 67.657
73.59	c Restart #23 #Var: 2760 LB: 551 @ 73.551
83.94	c Restart #24 #Var: 2754 LB: 554 @ 83.895
95.36	c Restart #25 #Var: 2752 LB: 555 @ 95.319
103.71	c Restart #26 #Var: 2752 LB: 555 @ 103.66
118.08	c Restart #27 #Var: 2752 LB: 555 @ 118.03
131.19	c Restart #28 #Var: 2752 LB: 555 @ 131.14
141.18	c Restart #29 #Var: 2752 LB: 555 @ 141.12
156.52	c Restart #30 #Var: 2752 LB: 555 @ 156.47
169.31	c Restart #31 #Var: 2750 LB: 556 @ 169.25
182.77	c Restart #32 #Var: 2748 LB: 557 @ 182.7
201.47	c Restart #33 #Var: 2746 LB: 558 @ 201.4
218.65	c Restart #34 #Var: 2744 LB: 559 @ 218.57
233.72	c Restart #35 #Var: 2744 LB: 559 @ 233.64
249.93	c Restart #36 #Var: 2734 LB: 564 @ 249.85
268.28	c Restart #37 #Var: 2732 LB: 565 @ 268.19
287.01	c Restart #38 #Var: 2730 LB: 566 @ 286.91
311.65	c Restart #39 #Var: 2730 LB: 566 @ 311.55
334.15	c Restart #40 #Var: 2730 LB: 566 @ 334.04
354.37	c Restart #41 #Var: 2730 LB: 566 @ 354.26
383.87	c Restart #42 #Var: 2730 LB: 566 @ 383.75
410.12	c Restart #43 #Var: 2728 LB: 567 @ 409.99
436.86	c Restart #44 #Var: 2728 LB: 567 @ 436.72
458.91	c Restart #45 #Var: 2726 LB: 568 @ 458.77
490.24	c Restart #46 #Var: 2726 LB: 568 @ 490.09
522.10	c Restart #47 #Var: 2724 LB: 569 @ 521.95
549.78	c Restart #48 #Var: 2724 LB: 569 @ 549.62
577.97	c Restart #49 #Var: 2724 LB: 569 @ 577.8
615.74	c Restart #50 #Var: 2722 LB: 570 @ 615.56
650.53	c Restart #51 #Var: 2718 LB: 572 @ 650.34
685.32	c Restart #52 #Var: 2718 LB: 572 @ 685.12
725.80	c Restart #53 #Var: 2718 LB: 572 @ 725.59
760.70	c Restart #54 #Var: 2718 LB: 572 @ 760.48
803.02	c Restart #55 #Var: 2716 LB: 573 @ 802.79
837.23	c Restart #56 #Var: 2716 LB: 573 @ 836.98
886.14	c Restart #57 #Var: 2716 LB: 573 @ 885.88
928.65	c CHANGE Heuristic... 
928.65	c Restart #0 #Var: 2714 LB: 574 @ 928.38
929.18	c Restart #1 #Var: 2712 LB: 575 @ 928.91
930.81	c Restart #2 #Var: 2708 LB: 577 @ 930.54
933.92	c Restart #3 #Var: 2702 LB: 580 @ 933.65
937.54	c Restart #4 #Var: 2702 LB: 580 @ 937.27
943.44	c Restart #5 #Var: 2702 LB: 580 @ 943.17
948.24	c Restart #6 #Var: 2702 LB: 580 @ 947.97
953.33	c Restart #7 #Var: 2700 LB: 581 @ 953.06
959.17	c Restart #8 #Var: 2700 LB: 581 @ 958.89
970.15	c Restart #9 #Var: 2700 LB: 581 @ 969.87
978.61	c Restart #10 #Var: 2700 LB: 581 @ 978.33
986.83	c Restart #11 #Var: 2700 LB: 581 @ 986.55
1000.29	c Restart #12 #Var: 2700 LB: 581 @ 1000
1013.87	c Restart #13 #Var: 2700 LB: 581 @ 1013.6
1023.27	c Restart #14 #Var: 2700 LB: 581 @ 1023
1036.47	c Restart #15 #Var: 2700 LB: 581 @ 1036.2
1051.11	c Restart #16 #Var: 2700 LB: 581 @ 1050.8
1067.72	c Restart #17 #Var: 2698 LB: 582 @ 1067.4
1083.59	c Restart #18 #Var: 2698 LB: 582 @ 1083.3
1098.57	c Restart #19 #Var: 2698 LB: 582 @ 1098.3
1118.51	c Restart #20 #Var: 2698 LB: 582 @ 1118.2
1139.91	c Restart #21 #Var: 2698 LB: 582 @ 1139.6
1159.80	c Restart #22 #Var: 2698 LB: 582 @ 1159.5
1179.96	c Restart #23 #Var: 2698 LB: 582 @ 1179.6
1203.92	c Restart #24 #Var: 2698 LB: 582 @ 1203.6
1227.81	c Restart #25 #Var: 2696 LB: 583 @ 1227.5
1252.58	c Restart #26 #Var: 2696 LB: 583 @ 1252.2
1279.80	c Restart #27 #Var: 2696 LB: 583 @ 1279.4
1304.71	c Restart #28 #Var: 2696 LB: 583 @ 1304.3
1333.31	c Restart #29 #Var: 2696 LB: 583 @ 1332.9
1358.40	c Restart #30 #Var: 2696 LB: 583 @ 1358
1390.01	c Restart #31 #Var: 2696 LB: 583 @ 1389.6
1420.81	c Restart #32 #Var: 2696 LB: 583 @ 1420.4
1451.93	c Restart #33 #Var: 2696 LB: 583 @ 1451.5
1484.38	c Restart #34 #Var: 2696 LB: 583 @ 1484
1512.42	c Restart #35 #Var: 2696 LB: 583 @ 1512
1552.63	c Restart #36 #Var: 2696 LB: 583 @ 1552.1
1591.64	c Restart #37 #Var: 2694 LB: 584 @ 1591.1
1635.28	c Restart #38 #Var: 2694 LB: 584 @ 1634.7
1671.93	c Restart #39 #Var: 2694 LB: 584 @ 1671.4
1732.43	c Restart #40 #Var: 2694 LB: 584 @ 1731.9
1773.43	c Restart #41 #Var: 2694 LB: 584 @ 1772.9
1800.58	s UNKNOWN
1800.58	c Exit Code: 0
1800.58	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/node31/watcher-40343-1149413763 -o ROOT/results/node31/solver-40343-1149413763 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40343-1149413763/instance-40343-1149413763.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 18183
/proc/meminfo: memFree=1843328/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=4664 CPUtime=0
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 156 0 0 0 0 0 0 0 18 0 1 0 207040011 4775936 136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1141624 0 0 4096 0 0 0 0 17 1 0 0
/proc/18183/statm: 1166 136 106 55 0 46 0

[startup+10.0016 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1826256/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=21748 CPUtime=9.97
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 4679 0 0 0 994 3 0 0 25 0 1 0 207040011 22269952 4594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 5437 4594 296 55 0 4329 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 21748

[startup+20.0074 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1819408/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=28612 CPUtime=19.98
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 6392 0 0 0 1991 7 0 0 25 0 1 0 207040011 29298688 6307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540611 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 7153 6307 296 55 0 6045 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 28612

[startup+30.0132 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1814544/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=33488 CPUtime=29.98
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 7596 0 0 0 2989 9 0 0 25 0 1 0 207040011 34291712 7511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 8372 7511 296 55 0 7264 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 33488

[startup+40.0191 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1811088/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=36912 CPUtime=39.98
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 8467 0 0 0 3987 11 0 0 25 0 1 0 207040011 37797888 8382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 9228 8382 296 55 0 8120 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 36912

[startup+50.0249 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1807120/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=41000 CPUtime=49.99
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 9472 0 0 0 4985 14 0 0 25 0 1 0 207040011 41984000 9387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 10250 9387 296 55 0 9142 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 41000

[startup+60.0307 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1804752/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=43240 CPUtime=59.99
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 10055 0 0 0 5984 15 0 0 25 0 1 0 207040011 44277760 9970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 10810 9970 296 55 0 9702 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 43240

[startup+70.0366 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1803472/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=44824 CPUtime=69.99
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 10424 0 0 0 6983 16 0 0 25 0 1 0 207040011 45899776 10339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 11206 10339 296 55 0 10098 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 44824

[startup+80.0424 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1800272/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=47992 CPUtime=79.99
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 11226 0 0 0 7981 18 0 0 25 0 1 0 207040011 49143808 11141 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534953 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 11998 11141 296 55 0 10890 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 47992

[startup+90.0482 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1797840/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=50364 CPUtime=90
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 11831 0 0 0 8981 19 0 0 25 0 1 0 207040011 51572736 11746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 12591 11746 296 55 0 11483 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 50364

[startup+100.054 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1795472/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=52740 CPUtime=100
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 12421 0 0 0 9980 20 0 0 25 0 1 0 207040011 54005760 12336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 13185 12336 296 55 0 12077 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 52740

[startup+110.06 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1793424/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=54704 CPUtime=110
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 12925 0 0 0 10979 21 0 0 25 0 1 0 207040011 56016896 12840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1605110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 13676 12840 296 55 0 12568 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 54704

[startup+120.066 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1791056/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=57200 CPUtime=120
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 13521 0 0 0 11978 22 0 0 25 0 1 0 207040011 58572800 13436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 14300 13436 296 55 0 13192 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 57200

[startup+130.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1790160/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=57984 CPUtime=130.01
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 13730 0 0 0 12978 23 0 0 25 0 1 0 207040011 59375616 13645 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 14496 13645 296 55 0 13388 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 57984

[startup+140.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1787856/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=60332 CPUtime=140.01
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 14313 0 0 0 13977 24 0 0 25 0 1 0 207040011 61779968 14228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 15083 14228 296 55 0 13975 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 60332

[startup+150.083 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1786384/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=61776 CPUtime=150.02
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 14672 0 0 0 14977 25 0 0 25 0 1 0 207040011 63258624 14587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 15444 14587 296 55 0 14336 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 61776

[startup+160.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1785488/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=62696 CPUtime=160.02
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 14894 0 0 0 15976 26 0 0 25 0 1 0 207040011 64200704 14809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 15674 14809 296 55 0 14566 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 62696

[startup+170.095 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1782864/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=65184 CPUtime=170.02
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 15542 0 0 0 16975 27 0 0 25 0 1 0 207040011 66748416 15457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 16296 15457 296 55 0 15188 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 65184

[startup+180.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1782544/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=65572 CPUtime=180.02
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 15624 0 0 0 17974 28 0 0 25 0 1 0 207040011 67145728 15539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528717 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 16393 15539 296 55 0 15285 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 65572

[startup+190.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1781264/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=66892 CPUtime=190.03
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 15940 0 0 0 18974 29 0 0 25 0 1 0 207040011 68497408 15855 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 16723 15855 296 55 0 15615 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 66892

[startup+200.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1780304/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=67804 CPUtime=200.03
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 16175 0 0 0 19973 30 0 0 25 0 1 0 207040011 69431296 16090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 16951 16090 296 55 0 15843 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 67804

[startup+210.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18183
/proc/meminfo: memFree=1779856/2055920 swapFree=4181480/4192956

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

/proc/18183/statm: 37203 36355 296 55 0 36095 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 148812

[startup+1771.02 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1698000/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149076 CPUtime=1770.45
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36515 0 0 0 176927 118 0 0 25 0 1 0 207040011 152653824 36428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37269 36428 296 55 0 36161 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 149076

[startup+1781.03 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1780.45
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 177927 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 149472

[startup+1782.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1781.45
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178027 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 149472

[startup+1783.04 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1782.46
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178128 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 149472

[startup+1784.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1783.46
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178228 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 149472

[startup+1785.05 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1784.46
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178328 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 149472

[startup+1786.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1785.47
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178429 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 149472

[startup+1787.06 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1786.47
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178529 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 149472

[startup+1788.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1787.48
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178630 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 149472

[startup+1789.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1788.48
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178730 118 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 149472

[startup+1790.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1789.49
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178830 119 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 149472

[startup+1791.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1790.5
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 178931 119 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 149472

[startup+1792.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1791.5
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179031 119 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 149472

[startup+1793.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1792.51
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179132 119 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 149472

[startup+1794.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1793.51
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179232 119 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 149472

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1794.51
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179332 119 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 149472

[startup+1796.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1795.52
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179433 119 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 149472

[startup+1797.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1796.53
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179533 120 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 149472

[startup+1798.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149472 CPUtime=1797.53
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179633 120 0 0 25 0 1 0 207040011 153059328 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37368 36503 296 55 0 36260 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 149472

[startup+1799.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149392 CPUtime=1798.53
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179733 120 0 0 25 0 1 0 207040011 152977408 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37348 36503 296 55 0 36240 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 149392

[startup+1800.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 18378
/proc/meminfo: memFree=1697680/2055920 swapFree=4181480/4192956
[pid=18183] ppid=18181 vsize=149392 CPUtime=1799.54
/proc/18183/stat : 18183 (bsolo) R 18181 18183 18137 0 -1 0 36590 0 0 0 179834 120 0 0 25 0 1 0 207040011 152977408 36503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18183/statm: 37348 36503 296 55 0 36240 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 149392

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1798.8
CPU system time (s): 1.22881
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (Kb): 149472

Launcher Data (download as text)

Begin job on node31 on Sun Jun  4 09:36:03 UTC 2006


FILE ID= 40343-1149413763

PBS_JOBID= 315062

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40343-1149413763/instance-40343-1149413763.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-40343-1149413763 -o ROOT/results/node31/solver-40343-1149413763 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40343-1149413763/instance-40343-1149413763.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  e569a703dfec131c012510753e8401ab

RANDOM SEED= 391565931


/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.234
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.234
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:       1843536 kB
Buffers:         14460 kB
Cached:         129548 kB
SwapCached:       3212 kB
Active:          41184 kB
Inactive:       111512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843536 kB
SwapTotal:     4192956 kB
SwapFree:      4181480 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14964 kB
Slab:            45620 kB
Committed_AS:   447296 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Sun Jun  4 10:06:04 UTC 2006