Trace number 40403

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.06 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM2b1f0bdf934439fa3364f5fdf4570849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints3150
Number of constraints which are clauses3150
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 constraint2
Maximum length of a constraint3
Number of terms in the objective function 1200
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 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
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.07	c Initial problem consists of 1200 variables and 3150 constraints.
0.08	c No problem reductions applied in OPT. instance.
0.08	c	preprocess terminated. Elapsed time: 0.07
0.08	c After prepocess the problem consists of 1197 variables and 3147 constraints.
0.08	c Initial Lower Bound: 0
0.17	c Restart #1 #Var: 1197 LB: 0 @ 0.161
0.38	c Restart #2 #Var: 1197 LB: 0 @ 0.367
0.68	c Restart #3 #Var: 1197 LB: 0 @ 0.663
1.13	c Restart #4 #Var: 1197 LB: 0 @ 1.118
1.77	c Restart #5 #Var: 1197 LB: 0 @ 1.756
2.61	c Restart #6 #Var: 1197 LB: 0 @ 2.593
3.69	c Restart #7 #Var: 1197 LB: 0 @ 3.674
5.08	c Restart #8 #Var: 1197 LB: 0 @ 5.065
7.05	c Restart #9 #Var: 1197 LB: 0 @ 7.039
9.15	c Restart #10 #Var: 1197 LB: 0 @ 9.136
11.77	c Restart #11 #Var: 1197 LB: 0 @ 11.754
15.41	c Restart #12 #Var: 1197 LB: 0 @ 15.386
19.55	c Restart #13 #Var: 1197 LB: 0 @ 19.526
25.21	c Restart #14 #Var: 1197 LB: 0 @ 25.183
31.82	c Restart #15 #Var: 1197 LB: 0 @ 31.796
39.14	c Restart #16 #Var: 1197 LB: 0 @ 39.113
47.74	c Restart #17 #Var: 1197 LB: 0 @ 47.709
58.05	c Restart #18 #Var: 1197 LB: 0 @ 58.017
70.87	c Restart #19 #Var: 1197 LB: 0 @ 70.836
85.69	c Restart #20 #Var: 1197 LB: 0 @ 85.655
100.70	c Restart #21 #Var: 1197 LB: 0 @ 100.66
117.72	c Restart #22 #Var: 1197 LB: 0 @ 117.67
138.47	c Restart #23 #Var: 1197 LB: 0 @ 138.42
161.23	c Restart #24 #Var: 1197 LB: 0 @ 161.17
187.76	c Restart #25 #Var: 1197 LB: 0 @ 187.69
217.88	c Restart #26 #Var: 1197 LB: 0 @ 217.81
249.51	c Restart #27 #Var: 1197 LB: 0 @ 249.44
281.94	c Restart #28 #Var: 1197 LB: 0 @ 281.86
320.58	c Restart #29 #Var: 1197 LB: 0 @ 320.48
360.02	c Restart #30 #Var: 1197 LB: 0 @ 359.92
405.02	c Restart #31 #Var: 1197 LB: 0 @ 404.9
457.22	c Restart #32 #Var: 1197 LB: 0 @ 457.1
522.84	c Restart #33 #Var: 1197 LB: 0 @ 522.7
579.93	c Restart #34 #Var: 1197 LB: 0 @ 579.77
656.24	c Restart #35 #Var: 1197 LB: 0 @ 656.06
723.97	c Restart #36 #Var: 1197 LB: 0 @ 723.78
806.16	c Restart #37 #Var: 1197 LB: 0 @ 805.95
883.41	c Restart #38 #Var: 1197 LB: 0 @ 883.17
972.54	c CHANGE Heuristic... 
972.54	c Restart #0 #Var: 1197 LB: 0 @ 972.29
975.40	c Restart #1 #Var: 1197 LB: 0 @ 975.15
981.34	c Restart #2 #Var: 1197 LB: 0 @ 981.08
989.57	c Restart #3 #Var: 1197 LB: 0 @ 989.32
999.13	c Restart #4 #Var: 1197 LB: 0 @ 998.87
1011.91	c Restart #5 #Var: 1197 LB: 0 @ 1011.6
1028.01	c Restart #6 #Var: 1197 LB: 0 @ 1027.7
1046.65	c Restart #7 #Var: 1197 LB: 0 @ 1046.4
1067.30	c Restart #8 #Var: 1197 LB: 0 @ 1067
1090.49	c Restart #9 #Var: 1197 LB: 0 @ 1090.2
1119.72	c Restart #10 #Var: 1197 LB: 0 @ 1119.4
1147.00	c Restart #11 #Var: 1197 LB: 0 @ 1146.7
1177.34	c Restart #12 #Var: 1197 LB: 0 @ 1177
1212.76	c Restart #13 #Var: 1197 LB: 0 @ 1212.4
1248.80	c Restart #14 #Var: 1197 LB: 0 @ 1248.5
1291.38	c Restart #15 #Var: 1197 LB: 0 @ 1291.1
1330.98	c Restart #16 #Var: 1197 LB: 0 @ 1330.6
1378.19	c Restart #17 #Var: 1197 LB: 0 @ 1377.8
1430.57	c Restart #18 #Var: 1197 LB: 0 @ 1430.2
1485.57	c Restart #19 #Var: 1197 LB: 0 @ 1485.2
1544.74	c Restart #20 #Var: 1197 LB: 0 @ 1544.3
1609.15	c Restart #21 #Var: 1197 LB: 0 @ 1608.7
1673.85	c Restart #22 #Var: 1197 LB: 0 @ 1673.4
1748.29	c Restart #23 #Var: 1197 LB: 0 @ 1747.8
1800.53	s UNKNOWN
1800.53	c Exit Code: 0
1800.53	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/node25/watcher-40403-1149420783 -o ROOT/results/node25/solver-40403-1149420783 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/40403-1149420783/instance-40403-1149420783.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.95 0.96 2/64 31554
/proc/meminfo: memFree=1602928/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=4664 CPUtime=0
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 207741688 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3768415 0 0 4096 0 0 0 0 17 1 0 0
/proc/31554/statm: 1166 136 106 55 0 46 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1588856/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=18684 CPUtime=9.98
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 3937 0 0 0 994 4 0 0 25 0 1 0 207741688 19132416 3852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 4671 3852 296 55 0 3563 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 18684

[startup+20.0079 s]
/proc/loadavg: 0.94 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1581952/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=25548 CPUtime=19.98
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 5658 0 0 0 1991 7 0 0 25 0 1 0 207741688 26161152 5573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551577 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 6387 5573 296 55 0 5279 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 25548

[startup+30.0149 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1577472/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=30036 CPUtime=29.99
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 6774 0 0 0 2990 9 0 0 25 0 1 0 207741688 30756864 6689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 7509 6689 296 55 0 6401 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 30036

[startup+40.0208 s]
/proc/loadavg: 0.96 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1573312/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=34260 CPUtime=39.98
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 7812 0 0 0 3987 11 0 0 25 0 1 0 207741688 35082240 7727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 8565 7727 296 55 0 7457 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 34260

[startup+50.0267 s]
/proc/loadavg: 0.96 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1569472/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=38088 CPUtime=49.99
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 8789 0 0 0 4987 12 0 0 25 0 1 0 207741688 39002112 8704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 9522 8704 296 55 0 8414 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 38088

[startup+60.0326 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1565952/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=41652 CPUtime=59.99
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 9668 0 0 0 5985 14 0 0 25 0 1 0 207741688 42651648 9583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 10413 9583 296 55 0 9305 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 41652

[startup+70.0385 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1563072/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=44424 CPUtime=70
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 10368 0 0 0 6984 16 0 0 25 0 1 0 207741688 45490176 10283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 11106 10283 296 55 0 9998 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 44424

[startup+80.0455 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1560256/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=47328 CPUtime=80
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 11074 0 0 0 7983 17 0 0 25 0 1 0 207741688 48463872 10989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 11832 10989 296 55 0 10724 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 47328

[startup+90.0514 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1557504/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=49968 CPUtime=90.01
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 11759 0 0 0 8983 18 0 0 25 0 1 0 207741688 51167232 11674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 12492 11674 296 55 0 11384 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 49968

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 31554
/proc/meminfo: memFree=1554560/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=53004 CPUtime=100.01
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 12496 0 0 0 9982 19 0 0 25 0 1 0 207741688 54276096 12411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 13251 12411 296 55 0 12143 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 53004

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 31555
/proc/meminfo: memFree=1551808/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=55776 CPUtime=110.01
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 13193 0 0 0 10981 20 0 0 25 0 1 0 207741688 57114624 13108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 13944 13108 296 55 0 12836 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 55776

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1549312/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=58284 CPUtime=120.01
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 13822 0 0 0 11981 20 0 0 25 0 1 0 207741688 59682816 13737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 14571 13737 296 55 0 13463 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 58284

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1547136/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=60396 CPUtime=130.01
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 14356 0 0 0 12980 21 0 0 25 0 1 0 207741688 61845504 14271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 15099 14271 296 55 0 13991 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 60396

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1544832/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=62640 CPUtime=140.03
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 14927 0 0 0 13980 23 0 0 25 0 1 0 207741688 64143360 14842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 15660 14842 296 55 0 14552 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 62640

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1542720/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=64752 CPUtime=150.03
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 15459 0 0 0 14979 24 0 0 25 0 1 0 207741688 66306048 15374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 16188 15374 296 55 0 15080 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 64752

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1540544/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=66996 CPUtime=160.03
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 15994 0 0 0 15978 25 0 0 25 0 1 0 207741688 68603904 15909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 16749 15909 296 55 0 15641 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 66996

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1538560/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=68976 CPUtime=170.03
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 16499 0 0 0 16978 25 0 0 25 0 1 0 207741688 70631424 16414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 17244 16414 296 55 0 16136 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 68976

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1536640/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=70824 CPUtime=180.03
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 16962 0 0 0 17977 26 0 0 25 0 1 0 207741688 72523776 16877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 17706 16877 296 55 0 16598 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 70824

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1534848/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=72672 CPUtime=190.04
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 17416 0 0 0 18977 27 0 0 25 0 1 0 207741688 74416128 17331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 18168 17331 296 55 0 17060 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 72672

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1532864/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=74520 CPUtime=200.04
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 17902 0 0 0 19976 28 0 0 25 0 1 0 207741688 76308480 17817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 18630 17817 296 55 0 17522 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 74520

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31556
/proc/meminfo: memFree=1531136/2055920 swapFree=4181452/4192956

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

/proc/31554/statm: 55661 54832 296 55 0 54553 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (Kb) 222644

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1383496/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=223304 CPUtime=1770.55
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55064 0 0 0 176954 101 0 0 25 0 1 0 207741688 228663296 54979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 55826 54979 296 55 0 54718 0
Current children cumulated CPU time (s) 1770.55
Current children cumulated vsize (Kb) 223304

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382984/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=223832 CPUtime=1780.56
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55212 0 0 0 177954 102 0 0 25 0 1 0 207741688 229203968 55127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 55958 55127 296 55 0 54850 0
Current children cumulated CPU time (s) 1780.56
Current children cumulated vsize (Kb) 223832

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382920/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=223964 CPUtime=1781.57
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55223 0 0 0 178055 102 0 0 25 0 1 0 207741688 229339136 55138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 55991 55138 296 55 0 54883 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 223964

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382920/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=223964 CPUtime=1782.57
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55234 0 0 0 178155 102 0 0 25 0 1 0 207741688 229339136 55149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 55991 55149 296 55 0 54883 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 223964

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382792/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=223964 CPUtime=1783.58
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55254 0 0 0 178256 102 0 0 25 0 1 0 207741688 229339136 55169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 55991 55169 296 55 0 54883 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 223964

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382728/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224096 CPUtime=1784.58
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55271 0 0 0 178356 102 0 0 25 0 1 0 207741688 229474304 55186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56024 55186 296 55 0 54916 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 224096

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382664/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224096 CPUtime=1785.58
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55286 0 0 0 178456 102 0 0 25 0 1 0 207741688 229474304 55201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56024 55201 296 55 0 54916 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 224096

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382664/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224228 CPUtime=1786.59
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55297 0 0 0 178557 102 0 0 25 0 1 0 207741688 229609472 55212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56057 55212 296 55 0 54949 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 224228

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382600/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224228 CPUtime=1787.59
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55307 0 0 0 178657 102 0 0 25 0 1 0 207741688 229609472 55222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56057 55222 296 55 0 54949 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 224228

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382536/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224360 CPUtime=1788.6
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55322 0 0 0 178758 102 0 0 25 0 1 0 207741688 229744640 55237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56090 55237 296 55 0 54982 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 224360

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382472/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224360 CPUtime=1789.6
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55334 0 0 0 178858 102 0 0 25 0 1 0 207741688 229744640 55249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56090 55249 296 55 0 54982 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 224360

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382408/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224360 CPUtime=1790.61
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55348 0 0 0 178959 102 0 0 25 0 1 0 207741688 229744640 55263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56090 55263 296 55 0 54982 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 224360

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382408/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224492 CPUtime=1791.61
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55362 0 0 0 179059 102 0 0 25 0 1 0 207741688 229879808 55277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56123 55277 296 55 0 55015 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 224492

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382344/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224492 CPUtime=1792.61
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55375 0 0 0 179159 102 0 0 25 0 1 0 207741688 229879808 55290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56123 55290 296 55 0 55015 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 224492

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382280/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224492 CPUtime=1793.62
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55387 0 0 0 179260 102 0 0 25 0 1 0 207741688 229879808 55302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56123 55302 296 55 0 55015 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 224492

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382216/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224624 CPUtime=1794.62
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55398 0 0 0 179360 102 0 0 25 0 1 0 207741688 230014976 55313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56156 55313 296 55 0 55048 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 224624

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382216/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224624 CPUtime=1795.63
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55407 0 0 0 179461 102 0 0 25 0 1 0 207741688 230014976 55322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56156 55322 296 55 0 55048 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 224624

[startup+1797.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382152/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224756 CPUtime=1796.63
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55422 0 0 0 179561 102 0 0 25 0 1 0 207741688 230150144 55337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56189 55337 296 55 0 55081 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 224756

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382088/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224756 CPUtime=1797.64
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55438 0 0 0 179662 102 0 0 25 0 1 0 207741688 230150144 55353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56189 55353 296 55 0 55081 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 224756

[startup+1799.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1382024/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224756 CPUtime=1798.64
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55451 0 0 0 179762 102 0 0 25 0 1 0 207741688 230150144 55366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56189 55366 296 55 0 55081 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 224756

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 31751
/proc/meminfo: memFree=1381960/2055920 swapFree=4181452/4192956
[pid=31554] ppid=31552 vsize=224888 CPUtime=1799.65
/proc/31554/stat : 31554 (bsolo) R 31552 31554 31508 0 -1 0 55466 0 0 0 179863 102 0 0 25 0 1 0 207741688 230285312 55381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31554/statm: 56222 55381 296 55 0 55114 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 224888

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.06
CPU user time (s): 1799
CPU system time (s): 1.05984
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (Kb): 224888

Launcher Data (download as text)

Begin job on node25 on Sun Jun  4 11:33:03 UTC 2006


FILE ID= 40403-1149420783

PBS_JOBID= 315796

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2b1f0bdf934439fa3364f5fdf4570849

RANDOM SEED= 532839219


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1603136 kB
Buffers:         29680 kB
Cached:         361572 kB
SwapCached:       3080 kB
Active:         113324 kB
Inactive:       286560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1603136 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            38872 kB
Committed_AS:   399136 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Sun Jun  4 12:03:04 UTC 2006