Trace number 50579

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
PBS 4.1L? (TO) 1800.64 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
MD5SUM5f844d3fbd9d157e56bab6c09ee5f179
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark94.3017
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved YES
Number of variables21675
Total number of constraints1210400
Number of constraints which are clauses1206830
Number of constraints which are cardinality constraints (but not clauses)3570
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint170
Number of terms in the objective function 170
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 170
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 168
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 338
Number of bits of the biggest sum of numbers9
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node26/50579-1154115396/instance-50579-1154115396.opb ......
13.57	c done parsing opb.
13.57	o 170
13.59	o 169
13.60	o 168
13.62	o 167
13.64	o 166
13.66	o 165
13.68	o 164
13.70	o 163
13.72	o 162
13.74	o 161
13.75	o 160
13.77	o 159
13.79	o 158
13.81	o 157
13.83	o 156
13.85	o 155
13.87	o 154
13.88	o 153
13.90	o 152
13.92	o 151
13.94	o 150
13.96	o 149
13.98	o 148
14.00	o 147
14.02	o 146
14.03	o 145
14.05	o 144
14.07	o 143
14.09	o 142
14.11	o 141
14.13	o 140
14.15	o 139
14.17	o 138
14.18	o 137
14.20	o 136
14.22	o 135
14.24	o 134
14.26	o 133
14.28	o 132
14.30	o 131
14.32	o 130
14.34	o 129
14.36	o 128
14.37	o 127
14.39	o 126
14.41	o 125
14.43	o 124
14.45	o 123
14.47	o 122
14.49	o 121
14.51	o 120
14.52	o 119
14.54	o 118
14.56	o 117
14.58	o 116
14.60	o 115
14.62	o 114
14.64	o 113
14.66	o 112
14.68	o 111
14.70	o 110
14.71	o 109
14.73	o 108
14.75	o 107
14.77	o 106
14.79	o 105
14.81	o 104
14.83	o 103
14.85	o 102
14.87	o 101
14.88	o 100
14.90	o 99
14.92	o 98
14.94	o 97
14.96	o 96
14.98	o 95
15.00	o 94
15.02	o 93
15.04	o 92
15.06	o 91
16.23	o 90
16.54	o 89
16.85	o 88
17.05	o 87
17.12	o 86
17.38	o 85
17.41	o 84
17.83	o 83
18.23	o 82
18.51	o 81
18.66	o 80
18.80	o 79
18.89	o 78
19.07	o 77
19.91	o 76
20.26	o 75
20.31	o 74
396.38	o 73
540.88	o 72
545.61	o 71
897.22	o 70
925.25	o 69

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node26/watcher-50579-1154115396 -o ROOT/results/node26/solver-50579-1154115396 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/50579-1154115396/instance-50579-1154115396.opb 685746602 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1169880/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=3436 CPUtime=0
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 228 0 0 0 0 0 0 0 18 0 1 0 158399854 3518464 211 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 859 212 90 232 0 624 0

[startup+10.0022 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1103016/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=75204 CPUtime=9.99
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 23039 0 0 0 987 12 0 0 25 0 1 0 158399854 77008896 16811 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134868284 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 18801 16811 100 232 0 18566 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 75204

[startup+20.0082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1082152/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=136964 CPUtime=19.99
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 34524 0 0 0 1967 32 0 0 25 0 1 0 158399854 140251136 22100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34241 22100 108 232 0 34006 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 136964

[startup+30.0142 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1079784/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=137680 CPUtime=30
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 35193 0 0 0 2958 42 0 0 25 0 1 0 158399854 140984320 22726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34420 22726 108 232 0 34185 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 137680

[startup+40.0201 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1076392/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=138624 CPUtime=40
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 36121 0 0 0 3948 52 0 0 25 0 1 0 158399854 141950976 23611 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134590012 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34656 23611 108 232 0 34421 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 138624

[startup+50.0261 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1074920/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=139004 CPUtime=50
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 36571 0 0 0 4936 64 0 0 25 0 1 0 158399854 142340096 23889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34751 23889 108 232 0 34516 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 139004

[startup+60.0321 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1074792/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=139276 CPUtime=60.01
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 36748 0 0 0 5924 77 0 0 25 0 1 0 158399854 142618624 23980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34819 23980 108 232 0 34584 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 139276

[startup+70.0391 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1073960/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=139544 CPUtime=70.01
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37039 0 0 0 6914 87 0 0 25 0 1 0 158399854 142893056 24185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34886 24185 108 232 0 34651 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 139544

[startup+80.0451 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1073384/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=139812 CPUtime=80.01
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37313 0 0 0 7903 98 0 0 25 0 1 0 158399854 143167488 24330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34953 24330 108 232 0 34718 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 139812

[startup+90.0511 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1071400/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=139956 CPUtime=90.01
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37825 0 0 0 8894 107 0 0 25 0 1 0 158399854 143314944 24799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 34989 24799 108 232 0 34754 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 139956

[startup+100.057 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1071080/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=140364 CPUtime=100.02
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37974 0 0 0 9885 117 0 0 25 0 1 0 158399854 143732736 24862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35091 24862 108 232 0 34856 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 140364

[startup+110.063 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1071016/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=140364 CPUtime=110.03
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 38086 0 0 0 10876 127 0 0 25 0 1 0 158399854 143732736 24888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35091 24888 108 232 0 34856 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 140364

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1070952/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=140488 CPUtime=120.02
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 38166 0 0 0 11868 134 0 0 25 0 1 0 158399854 143859712 24925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35122 24925 108 232 0 34887 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 140488

[startup+130.075 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1069352/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=140768 CPUtime=130.03
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 38686 0 0 0 12854 149 0 0 25 0 1 0 158399854 144146432 25316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35192 25316 108 232 0 34957 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 140768

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1067048/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=141320 CPUtime=140.03
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39342 0 0 0 13841 162 0 0 25 0 1 0 158399854 144711680 25886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35330 25886 108 232 0 35095 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 141320

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1066728/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=141600 CPUtime=150.03
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39438 0 0 0 14832 171 0 0 25 0 1 0 158399854 144998400 25939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35400 25939 108 232 0 35165 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 141600

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1066664/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=141744 CPUtime=160.04
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39547 0 0 0 15822 182 0 0 25 0 1 0 158399854 145145856 26005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35436 26005 108 232 0 35201 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 141744

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1065896/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=142044 CPUtime=170.05
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39831 0 0 0 16814 191 0 0 25 0 1 0 158399854 145453056 26160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35511 26160 108 232 0 35276 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 142044

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1065768/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=142044 CPUtime=180.04
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39938 0 0 0 17805 199 0 0 25 0 1 0 158399854 145453056 26181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134593964 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35511 26181 108 232 0 35276 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 142044

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1065704/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=142044 CPUtime=190.05
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 40045 0 0 0 18797 208 0 0 25 0 1 0 158399854 145453056 26202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35511 26202 108 232 0 35276 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 142044

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225
/proc/meminfo: memFree=1065512/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=142308 CPUtime=200.05
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 40208 0 0 0 19789 216 0 0 25 0 1 0 158399854 145723392 26279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 35577 26279 108 232 0 35342 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 142308

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28225

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

/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59677 0 0 0 177082 1069 0 0 25 0 1 0 158399854 219922432 36288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36288 108 232 0 53457 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 214768

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1782.52
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59677 0 0 0 177182 1070 0 0 25 0 1 0 158399854 219922432 36288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36288 108 232 0 53457 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 214768

[startup+1784.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1783.52
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59678 0 0 0 177282 1070 0 0 25 0 1 0 158399854 219922432 36289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36289 108 232 0 53457 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 214768

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1784.52
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59678 0 0 0 177382 1070 0 0 25 0 1 0 158399854 219922432 36289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36289 108 232 0 53457 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 214768

[startup+1786.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1785.53
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59679 0 0 0 177482 1071 0 0 25 0 1 0 158399854 219922432 36290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36290 108 232 0 53457 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 214768

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1786.53
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59680 0 0 0 177582 1071 0 0 25 0 1 0 158399854 219922432 36291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36291 108 232 0 53457 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 214768

[startup+1788.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1787.54
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59680 0 0 0 177683 1071 0 0 25 0 1 0 158399854 219922432 36291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36291 108 232 0 53457 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 214768

[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1788.55
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59724 0 0 0 177783 1072 0 0 25 0 1 0 158399854 219922432 36292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36292 108 232 0 53457 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 214768

[startup+1790.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1789.55
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59724 0 0 0 177883 1072 0 0 25 0 1 0 158399854 219922432 36292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36292 108 232 0 53457 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 214768

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1790.56
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59725 0 0 0 177983 1073 0 0 25 0 1 0 158399854 219922432 36293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36293 108 232 0 53457 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 214768

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1791.56
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59726 0 0 0 178083 1073 0 0 25 0 1 0 158399854 219922432 36294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36294 108 232 0 53457 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 214768

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1792.57
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59726 0 0 0 178183 1074 0 0 25 0 1 0 158399854 219922432 36294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36294 108 232 0 53457 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 214768

[startup+1794.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1793.57
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59728 0 0 0 178283 1074 0 0 25 0 1 0 158399854 219922432 36296 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36296 108 232 0 53457 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 214768

[startup+1795.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1794.57
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59729 0 0 0 178383 1074 0 0 25 0 1 0 158399854 219922432 36297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546948 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36297 108 232 0 53457 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 214768

[startup+1796.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1795.58
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59729 0 0 0 178483 1075 0 0 25 0 1 0 158399854 219922432 36297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36297 108 232 0 53457 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 214768

[startup+1797.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1796.58
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59730 0 0 0 178583 1075 0 0 25 0 1 0 158399854 219922432 36298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36298 108 232 0 53457 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 214768

[startup+1798.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1797.58
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59730 0 0 0 178683 1075 0 0 25 0 1 0 158399854 219922432 36298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36298 108 232 0 53457 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 214768

[startup+1799.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214768 CPUtime=1798.59
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59773 0 0 0 178783 1076 0 0 25 0 1 0 158399854 219922432 36298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53692 36298 108 232 0 53457 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 214768

[startup+1800.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214896 CPUtime=1799.59
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59775 0 0 0 178883 1076 0 0 25 0 1 0 158399854 220053504 36300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53724 36300 108 232 0 53489 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 214896

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214896 CPUtime=1800.61
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59776 0 0 0 178984 1077 0 0 25 0 1 0 158399854 220053504 36301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53724 36301 108 232 0 53489 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 214896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 28425
/proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956
[pid=28225] ppid=28223 vsize=214896 CPUtime=1800.61
/proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59776 0 0 0 178984 1077 0 0 25 0 1 0 158399854 220053504 36301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0
/proc/28225/statm: 53724 36301 108 232 0 53489 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 214896

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.21
CPU time (s): 1800.64
CPU user time (s): 1789.84
CPU system time (s): 10.7944
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (Kb): 214896
The end

Launcher Data (download as text)

Begin job on node26 on Fri Jul 28 19:36:37 UTC 2006


FILE ID= 50579-1154115396

PBS_JOBID= 886697

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.11.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/50579-1154115396/instance-50579-1154115396.opb 685746602
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-50579-1154115396 -o ROOT/results/node26/solver-50579-1154115396 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/50579-1154115396/instance-50579-1154115396.opb 685746602

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  5f844d3fbd9d157e56bab6c09ee5f179

RANDOM SEED= 685746602

TIMEOUT= 1800 seconds


/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.225
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.225
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:       1170088 kB
Buffers:         39508 kB
Cached:         762452 kB
SwapCached:       8804 kB
Active:         184268 kB
Inactive:       631764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1170088 kB
SwapTotal:     4192956 kB
SwapFree:      4177816 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14468 kB
Slab:            55876 kB
Committed_AS:   732140 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node26 on Fri Jul 28 20:06:39 UTC 2006