Trace number 50581

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.47 1801.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
MD5SUMb1eab2cf935e923f8f1ff9f24be23d02
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark91.768
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 41
Optimality of the best value was proved YES
Number of variables25484
Total number of constraints1553328
Number of constraints which are clauses1549096
Number of constraints which are cardinality constraints (but not clauses)4232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint184
Number of terms in the objective function 184
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 184
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 182
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 366
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/node24/50581-1154116069/instance-50581-1154116069.opb ......
17.84	c done parsing opb.
17.84	o 184
17.86	o 183
17.88	o 182
17.91	o 181
17.93	o 180
17.96	o 179
17.98	o 178
18.01	o 177
18.03	o 176
18.06	o 175
18.08	o 174
18.11	o 173
18.13	o 172
18.16	o 171
18.18	o 170
18.21	o 169
18.23	o 168
18.26	o 167
18.28	o 166
18.31	o 165
18.33	o 164
18.36	o 163
18.38	o 162
18.41	o 161
18.43	o 160
18.46	o 159
18.48	o 158
18.51	o 157
18.53	o 156
18.56	o 155
18.58	o 154
18.61	o 153
18.63	o 152
18.66	o 151
18.68	o 150
18.71	o 149
18.73	o 148
18.76	o 147
18.78	o 146
18.81	o 145
18.83	o 144
18.86	o 143
18.89	o 142
18.91	o 141
18.94	o 140
18.96	o 139
18.99	o 138
19.01	o 137
19.04	o 136
19.06	o 135
19.09	o 134
19.11	o 133
19.14	o 132
19.16	o 131
19.19	o 130
19.21	o 129
19.24	o 128
19.26	o 127
19.29	o 126
19.31	o 125
19.34	o 124
19.36	o 123
19.39	o 122
19.42	o 121
19.44	o 120
19.47	o 119
19.49	o 118
19.52	o 117
19.54	o 116
19.57	o 115
19.59	o 114
19.62	o 113
19.64	o 112
19.67	o 111
19.69	o 110
19.72	o 109
19.74	o 108
19.77	o 107
19.79	o 106
19.82	o 105
19.84	o 104
19.87	o 103
19.90	o 102
19.92	o 101
19.95	o 100
19.97	o 99
20.00	o 98
20.02	o 97
20.05	o 96
20.14	o 95
20.19	o 94
20.22	o 93
20.29	o 92
22.57	o 91
23.05	o 90
23.13	o 89
23.38	o 88
23.70	o 87
23.77	o 86
26.07	o 85
26.16	o 84
29.98	o 83
30.28	o 82
30.48	o 81
35.95	o 80
40.69	o 79
45.79	o 78
254.54	o 77
399.98	o 76
848.96	o 75
912.72	o 74
1264.61	o 73
1479.32	o 72

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/node24/watcher-50581-1154116069 -o ROOT/results/node24/solver-50581-1154116069 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50581-1154116069/instance-50581-1154116069.opb 131946403 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.04 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1396096/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=3792 CPUtime=0
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 177 0 0 0 0 0 0 0 19 0 1 0 158467814 3883008 161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 948 162 90 232 0 713 0

[startup+10.0023 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1329992/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=75480 CPUtime=9.98
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 22953 0 0 0 987 11 0 0 25 0 1 0 158467814 77291520 16735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536732 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 18870 16735 100 232 0 18635 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 75480

[startup+20.0082 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1288072/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=139364 CPUtime=19.98
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 39640 0 0 0 1965 33 0 0 25 0 1 0 158467814 142708736 27219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 34841 27219 107 232 0 34606 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 139364

[startup+30.0141 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1285576/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=140848 CPUtime=29.99
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 40280 0 0 0 2954 45 0 0 25 0 1 0 158467814 144228352 27859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35212 27859 108 232 0 34977 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 140848

[startup+40.02 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1283400/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=141384 CPUtime=39.98
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 40815 0 0 0 3945 53 0 0 25 0 1 0 158467814 144777216 28394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35346 28394 108 232 0 35111 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 141384

[startup+50.0259 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1281416/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=142064 CPUtime=49.99
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 41325 0 0 0 4939 60 0 0 25 0 1 0 158467814 145473536 28904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35516 28904 108 232 0 35281 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 142064

[startup+60.0318 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1278728/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=142740 CPUtime=59.99
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42168 0 0 0 5928 71 0 0 25 0 1 0 158467814 146165760 29597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35685 29597 108 232 0 35450 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 142740

[startup+70.0377 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 6249
/proc/meminfo: memFree=1277832/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=142876 CPUtime=69.99
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42459 0 0 0 6916 83 0 0 25 0 1 0 158467814 146305024 29788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35719 29788 108 232 0 35484 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 142876

[startup+80.0436 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1277448/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=143420 CPUtime=79.99
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42670 0 0 0 7906 93 0 0 25 0 1 0 158467814 146862080 29899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552140 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35855 29899 108 232 0 35620 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 143420

[startup+90.0495 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1277256/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=143552 CPUtime=90
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42760 0 0 0 8895 105 0 0 25 0 1 0 158467814 146997248 29939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35888 29939 108 232 0 35653 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 143552

[startup+100.055 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1276296/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=143692 CPUtime=100
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43061 0 0 0 9884 116 0 0 25 0 1 0 158467814 147140608 30140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35923 30140 108 232 0 35688 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 143692

[startup+110.061 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1276104/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=143944 CPUtime=110.01
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43296 0 0 0 10873 128 0 0 25 0 1 0 158467814 147398656 30225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 35986 30225 108 232 0 35751 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 143944

[startup+120.068 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1275720/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=144076 CPUtime=120
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43426 0 0 0 11864 136 0 0 25 0 1 0 158467814 147533824 30305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36019 30305 108 232 0 35784 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 144076

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1275592/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=144196 CPUtime=130
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43565 0 0 0 12853 147 0 0 25 0 1 0 158467814 147656704 30344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36049 30344 108 232 0 35814 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 144196

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1275144/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=144496 CPUtime=140.01
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43799 0 0 0 13843 158 0 0 25 0 1 0 158467814 147963904 30478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36124 30478 108 232 0 35889 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 144496

[startup+150.088 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1273736/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=144784 CPUtime=150.01
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44190 0 0 0 14832 169 0 0 25 0 1 0 158467814 148258816 30819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36196 30819 108 232 0 35961 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 144784

[startup+160.094 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1273288/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=145060 CPUtime=160.01
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44363 0 0 0 15824 177 0 0 25 0 1 0 158467814 148541440 30892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36265 30892 108 232 0 36030 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 145060

[startup+170.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1273224/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=145376 CPUtime=170.02
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44546 0 0 0 16812 190 0 0 25 0 1 0 158467814 148865024 30975 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36344 30975 108 232 0 36109 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 145376

[startup+180.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1272776/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=145376 CPUtime=180.02
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44657 0 0 0 17804 198 0 0 25 0 1 0 158467814 148865024 31036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36344 31036 108 232 0 36109 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 145376

[startup+190.114 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1272712/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=145504 CPUtime=190.03
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44732 0 0 0 18796 207 0 0 25 0 1 0 158467814 148996096 31061 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36376 31061 108 232 0 36141 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 145504

[startup+200.119 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249
/proc/meminfo: memFree=1272136/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=145504 CPUtime=200.03
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 45009 0 0 0 19789 214 0 0 25 0 1 0 158467814 148996096 31238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 36376 31238 108 232 0 36141 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 145504

[startup+210.126 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6249

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

/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 65943 0 0 0 177008 1126 0 0 25 0 1 0 158467814 223465472 42472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54557 42472 108 232 0 54322 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 218228

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226888/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218228 CPUtime=1782.35
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 65967 0 0 0 177108 1127 0 0 25 0 1 0 158467814 223465472 42496 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54557 42496 108 232 0 54322 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 218228

[startup+1784.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226760/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218228 CPUtime=1783.35
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 65992 0 0 0 177208 1127 0 0 25 0 1 0 158467814 223465472 42521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54557 42521 108 232 0 54322 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 218228

[startup+1785.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226632/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218228 CPUtime=1784.35
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66026 0 0 0 177308 1127 0 0 25 0 1 0 158467814 223465472 42555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54557 42555 108 232 0 54322 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (Kb) 218228

[startup+1786.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1785.36
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66079 0 0 0 177409 1127 0 0 25 0 1 0 158467814 223600640 42558 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42558 108 232 0 54355 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (Kb) 218360

[startup+1787.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1786.36
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66080 0 0 0 177508 1128 0 0 25 0 1 0 158467814 223600640 42559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42559 108 232 0 54355 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (Kb) 218360

[startup+1788.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1787.36
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66081 0 0 0 177608 1128 0 0 25 0 1 0 158467814 223600640 42560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42560 108 232 0 54355 0
Current children cumulated CPU time (s) 1787.36
Current children cumulated vsize (Kb) 218360

[startup+1789.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1788.37
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66083 0 0 0 177708 1129 0 0 25 0 1 0 158467814 223600640 42562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42562 108 232 0 54355 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 218360

[startup+1790.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1789.38
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66084 0 0 0 177809 1129 0 0 25 0 1 0 158467814 223600640 42563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42563 108 232 0 54355 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 218360

[startup+1791.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1790.38
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66084 0 0 0 177909 1129 0 0 25 0 1 0 158467814 223600640 42563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42563 108 232 0 54355 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 218360

[startup+1792.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1791.39
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66085 0 0 0 178009 1130 0 0 25 0 1 0 158467814 223600640 42564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134543475 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42564 108 232 0 54355 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 218360

[startup+1793.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1792.39
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66086 0 0 0 178109 1130 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42565 108 232 0 54355 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 218360

[startup+1794.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226376/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1793.4
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66136 0 0 0 178210 1130 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42565 108 232 0 54355 0
Current children cumulated CPU time (s) 1793.4
Current children cumulated vsize (Kb) 218360

[startup+1795.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226376/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1794.4
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66136 0 0 0 178309 1131 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42565 108 232 0 54355 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 218360

[startup+1796.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1795.41
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66136 0 0 0 178410 1131 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42565 108 232 0 54355 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (Kb) 218360

[startup+1797.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1796.41
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66137 0 0 0 178509 1132 0 0 25 0 1 0 158467814 223600640 42566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42566 108 232 0 54355 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 218360

[startup+1798.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1797.41
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66137 0 0 0 178609 1132 0 0 25 0 1 0 158467814 223600640 42566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42566 108 232 0 54355 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 218360

[startup+1799.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1798.41
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66137 0 0 0 178709 1132 0 0 25 0 1 0 158467814 223600640 42566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42566 108 232 0 54355 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (Kb) 218360

[startup+1800.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1799.42
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66138 0 0 0 178809 1133 0 0 25 0 1 0 158467814 223600640 42567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42567 108 232 0 54355 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (Kb) 218360

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1800.42
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66140 0 0 0 178909 1133 0 0 25 0 1 0 158467814 223600640 42569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42569 108 232 0 54355 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (Kb) 218360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6447
/proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956
[pid=6249] ppid=6247 vsize=218360 CPUtime=1800.43
/proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66140 0 0 0 178910 1133 0 0 25 0 1 0 158467814 223600640 42569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/6249/statm: 54590 42569 108 232 0 54355 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 218360

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.47
CPU user time (s): 1789.1
CPU system time (s): 11.3703
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (Kb): 218360
The end

Launcher Data (download as text)

Begin job on node24 on Fri Jul 28 19:47:51 UTC 2006


FILE ID= 50581-1154116069

PBS_JOBID= 886723

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  b1eab2cf935e923f8f1ff9f24be23d02

RANDOM SEED= 131946403

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.266
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.266
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:       1396432 kB
Buffers:         36604 kB
Cached:         563088 kB
SwapCached:       3672 kB
Active:         111396 kB
Inactive:       497052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1396432 kB
SwapTotal:     4192956 kB
SwapFree:      4183196 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            37044 kB
Committed_AS:   626140 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node24 on Fri Jul 28 20:17:53 UTC 2006