Trace number 50582

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
MD5SUMe81449c340a6e16e28a331cb4252cc2b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark128.584
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 42
Optimality of the best value was proved YES
Number of variables23848
Total number of constraints1451912
Number of constraints which are clauses1447776
Number of constraints which are cardinality constraints (but not clauses)4136
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint176
Number of terms in the objective function 176
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 176
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 174
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 350
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/node60/50582-1154116606/instance-50582-1154116606.opb ......
16.47	c done parsing opb.
16.47	o 176
16.49	o 175
16.51	o 174
16.53	o 173
16.55	o 172
16.57	o 171
16.59	o 170
16.61	o 169
16.63	o 168
16.65	o 167
16.67	o 166
16.70	o 165
16.72	o 164
16.74	o 163
16.76	o 162
16.78	o 161
16.80	o 160
16.82	o 159
16.84	o 158
16.86	o 157
16.88	o 156
16.90	o 155
16.92	o 154
16.94	o 153
16.96	o 152
16.98	o 151
17.00	o 150
17.03	o 149
17.05	o 148
17.07	o 147
17.09	o 146
17.11	o 145
17.13	o 144
17.15	o 143
17.17	o 142
17.19	o 141
17.21	o 140
17.23	o 139
17.25	o 138
17.27	o 137
17.29	o 136
17.32	o 135
17.34	o 134
17.36	o 133
17.38	o 132
17.40	o 131
17.42	o 130
17.44	o 129
17.46	o 128
17.48	o 127
17.50	o 126
17.52	o 125
17.54	o 124
17.56	o 123
17.59	o 122
17.61	o 121
17.63	o 120
17.65	o 119
17.67	o 118
17.69	o 117
17.71	o 116
17.73	o 115
17.75	o 114
17.77	o 113
17.79	o 112
17.81	o 111
17.84	o 110
17.86	o 109
17.88	o 108
17.90	o 107
17.92	o 106
17.94	o 105
17.96	o 104
17.98	o 103
18.00	o 102
18.02	o 101
18.04	o 100
18.06	o 99
18.08	o 98
18.11	o 97
18.13	o 96
18.15	o 95
18.17	o 94
19.62	o 93
19.65	o 92
19.76	o 91
19.85	o 90
19.89	o 89
20.03	o 88
20.07	o 87
20.38	o 86
20.41	o 85
20.90	o 84
22.20	o 83
22.25	o 82
22.40	o 81
23.58	o 80
24.11	o 79
27.32	o 78
29.75	o 77
302.90	o 76
619.41	o 75
1054.37	o 74
1617.02	o 73

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/node60/watcher-50582-1154116606 -o ROOT/results/node60/solver-50582-1154116606 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node60/50582-1154116606/instance-50582-1154116606.opb 562811103 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1319032/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=3636 CPUtime=0
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 158530588 3723264 141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 909 142 90 232 0 674 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1252480/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=75240 CPUtime=9.99
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 22970 0 0 0 988 11 0 0 25 0 1 0 158530588 77045760 16752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134537040 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 18810 16752 100 232 0 18575 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 75240

[startup+20.009 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1216512/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=138800 CPUtime=19.99
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 38199 0 0 0 1969 30 0 0 25 0 1 0 158530588 142131200 25781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 34700 25781 108 232 0 34465 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 138800

[startup+30.0159 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1214208/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=139420 CPUtime=29.99
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 38787 0 0 0 2959 40 0 0 25 0 1 0 158530588 142766080 26369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 34855 26369 108 232 0 34620 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 139420

[startup+40.0209 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1212352/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=140084 CPUtime=40
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 39408 0 0 0 3946 54 0 0 25 0 1 0 158530588 143446016 26849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549939 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35021 26849 108 232 0 34786 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 140084

[startup+50.0269 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1209216/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=140476 CPUtime=50
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 40278 0 0 0 4934 66 0 0 25 0 1 0 158530588 143847424 27625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35119 27625 108 232 0 34884 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 140476

[startup+60.0329 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1208512/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=140732 CPUtime=60
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 40586 0 0 0 5923 77 0 0 25 0 1 0 158530588 144109568 27792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35183 27792 108 232 0 34948 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 140732

[startup+70.0389 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1207744/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=141148 CPUtime=70.04
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 40897 0 0 0 6916 88 0 0 25 0 1 0 158530588 144535552 27962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35287 27962 108 232 0 35052 0
Current children cumulated CPU time (s) 70.04
Current children cumulated vsize (Kb) 141148

[startup+80.0809 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1207360/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=141544 CPUtime=80.05
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 41197 0 0 0 7907 98 0 0 25 0 1 0 158530588 144941056 28074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35386 28074 108 232 0 35151 0
Current children cumulated CPU time (s) 80.05
Current children cumulated vsize (Kb) 141544

[startup+90.0869 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1205888/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=141680 CPUtime=90.05
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 41628 0 0 0 8898 107 0 0 25 0 1 0 158530588 145080320 28458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35420 28458 108 232 0 35185 0
Current children cumulated CPU time (s) 90.05
Current children cumulated vsize (Kb) 141680

[startup+100.092 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1203904/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=142256 CPUtime=100.05
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 42273 0 0 0 9887 118 0 0 25 0 1 0 158530588 145670144 28962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35564 28962 108 232 0 35329 0
Current children cumulated CPU time (s) 100.05
Current children cumulated vsize (Kb) 142256

[startup+110.098 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1202048/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=142392 CPUtime=110.06
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 42813 0 0 0 10879 127 0 0 25 0 1 0 158530588 145809408 29361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35598 29361 108 232 0 35363 0
Current children cumulated CPU time (s) 110.06
Current children cumulated vsize (Kb) 142392

[startup+120.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1201856/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=142672 CPUtime=120.06
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 42985 0 0 0 11868 138 0 0 25 0 1 0 158530588 146096128 29439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35668 29439 108 232 0 35433 0
Current children cumulated CPU time (s) 120.06
Current children cumulated vsize (Kb) 142672

[startup+130.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1201600/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=142816 CPUtime=130.06
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 43185 0 0 0 12859 147 0 0 25 0 1 0 158530588 146243584 29498 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35704 29498 108 232 0 35469 0
Current children cumulated CPU time (s) 130.06
Current children cumulated vsize (Kb) 142816

[startup+140.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1201152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=143056 CPUtime=140.06
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 43428 0 0 0 13850 156 0 0 25 0 1 0 158530588 146489344 29647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35764 29647 108 232 0 35529 0
Current children cumulated CPU time (s) 140.06
Current children cumulated vsize (Kb) 143056

[startup+150.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1198976/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=143348 CPUtime=150.06
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44030 0 0 0 14843 163 0 0 25 0 1 0 158530588 146788352 30155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35837 30155 108 232 0 35602 0
Current children cumulated CPU time (s) 150.06
Current children cumulated vsize (Kb) 143348

[startup+160.128 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1198784/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=143348 CPUtime=160.07
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44164 0 0 0 15834 173 0 0 25 0 1 0 158530588 146788352 30195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35837 30195 108 232 0 35602 0
Current children cumulated CPU time (s) 160.07
Current children cumulated vsize (Kb) 143348

[startup+170.134 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1198592/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=143484 CPUtime=170.08
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44346 0 0 0 16826 182 0 0 25 0 1 0 158530588 146927616 30236 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35871 30236 108 232 0 35636 0
Current children cumulated CPU time (s) 170.08
Current children cumulated vsize (Kb) 143484

[startup+180.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1198464/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=143624 CPUtime=180.07
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44496 0 0 0 17815 192 0 0 25 0 1 0 158530588 147070976 30292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35906 30292 108 232 0 35671 0
Current children cumulated CPU time (s) 180.07
Current children cumulated vsize (Kb) 143624

[startup+190.146 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1197632/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=143756 CPUtime=190.08
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44814 0 0 0 18808 200 0 0 25 0 1 0 158530588 147206144 30516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35939 30516 108 232 0 35704 0
Current children cumulated CPU time (s) 190.08
Current children cumulated vsize (Kb) 143756

[startup+200.152 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151
/proc/meminfo: memFree=1197312/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=143756 CPUtime=200.09
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44951 0 0 0 19799 210 0 0 25 0 1 0 158530588 147206144 30559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 35939 30559 108 232 0 35704 0
Current children cumulated CPU time (s) 200.09
Current children cumulated vsize (Kb) 143756

[startup+210.159 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2151

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

/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66237 0 0 0 177116 1037 0 0 25 0 1 0 158530588 221319168 42257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42257 108 232 0 53798 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 216132

[startup+1783.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1782.53
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66237 0 0 0 177216 1037 0 0 25 0 1 0 158530588 221319168 42257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42257 108 232 0 53798 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 216132

[startup+1784.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1783.54
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66238 0 0 0 177316 1038 0 0 25 0 1 0 158530588 221319168 42258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42258 108 232 0 53798 0
Current children cumulated CPU time (s) 1783.54
Current children cumulated vsize (Kb) 216132

[startup+1785.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1784.54
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66238 0 0 0 177416 1038 0 0 25 0 1 0 158530588 221319168 42258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550346 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42258 108 232 0 53798 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 216132

[startup+1786.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1785.55
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66286 0 0 0 177516 1039 0 0 25 0 1 0 158530588 221319168 42259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42259 108 232 0 53798 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 216132

[startup+1787.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1786.55
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66286 0 0 0 177616 1039 0 0 25 0 1 0 158530588 221319168 42259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42259 108 232 0 53798 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 216132

[startup+1788.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1787.55
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66287 0 0 0 177716 1039 0 0 25 0 1 0 158530588 221319168 42260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42260 108 232 0 53798 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 216132

[startup+1789.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1788.56
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66287 0 0 0 177816 1040 0 0 25 0 1 0 158530588 221319168 42260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42260 108 232 0 53798 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 216132

[startup+1790.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1789.57
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66287 0 0 0 177916 1041 0 0 25 0 1 0 158530588 221319168 42260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42260 108 232 0 53798 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 216132

[startup+1791.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1790.57
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66290 0 0 0 178016 1041 0 0 25 0 1 0 158530588 221319168 42263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42263 108 232 0 53798 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 216132

[startup+1792.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1791.58
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66290 0 0 0 178116 1042 0 0 25 0 1 0 158530588 221319168 42263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42263 108 232 0 53798 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 216132

[startup+1793.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1792.59
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66291 0 0 0 178217 1042 0 0 25 0 1 0 158530588 221319168 42264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42264 108 232 0 53798 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 216132

[startup+1794.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1793.58
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66291 0 0 0 178316 1042 0 0 25 0 1 0 158530588 221319168 42264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552269 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42264 108 232 0 53798 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 216132

[startup+1795.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1794.6
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66292 0 0 0 178417 1043 0 0 25 0 1 0 158530588 221319168 42265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42265 108 232 0 53798 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 216132

[startup+1796.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1795.6
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66292 0 0 0 178517 1043 0 0 25 0 1 0 158530588 221319168 42265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42265 108 232 0 53798 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (Kb) 216132

[startup+1797.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1796.6
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66339 0 0 0 178617 1043 0 0 25 0 1 0 158530588 221319168 42265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42265 108 232 0 53798 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (Kb) 216132

[startup+1798.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1797.6
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66340 0 0 0 178717 1043 0 0 25 0 1 0 158530588 221319168 42266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42266 108 232 0 53798 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 216132

[startup+1799.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1798.61
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66341 0 0 0 178817 1044 0 0 25 0 1 0 158530588 221319168 42267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42267 108 232 0 53798 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (Kb) 216132

[startup+1800.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1799.62
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66344 0 0 0 178917 1045 0 0 25 0 1 0 158530588 221319168 42270 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42270 108 232 0 53798 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 216132

[startup+1801.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1800.62
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66345 0 0 0 179017 1045 0 0 25 0 1 0 158530588 221319168 42271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42271 108 232 0 53798 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (Kb) 216132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2349
/proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956
[pid=2151] ppid=2149 vsize=216132 CPUtime=1800.62
/proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66345 0 0 0 179017 1045 0 0 25 0 1 0 158530588 221319168 42271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2151/statm: 54033 42271 108 232 0 53798 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (Kb) 216132

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.66
CPU user time (s): 1790.18
CPU system time (s): 10.4844
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (Kb): 216132
The end

Launcher Data (download as text)

Begin job on node60 on Fri Jul 28 19:56:47 UTC 2006


FILE ID= 50582-1154116606

PBS_JOBID= 886736

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  e81449c340a6e16e28a331cb4252cc2b

RANDOM SEED= 562811103

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.231
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.231
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:       1319304 kB
Buffers:         32804 kB
Cached:         628844 kB
SwapCached:       2576 kB
Active:         108456 kB
Inactive:       561780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1319304 kB
SwapTotal:     4192956 kB
SwapFree:      4184148 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14584 kB
Slab:            52408 kB
Committed_AS:  1124704 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node60 on Fri Jul 28 20:26:49 UTC 2006