Trace number 355227

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
PBS4 2007-03-23No Cert. 1800.11 1800.64

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 benchmark131.899
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb ......
18.49/18.55	c done parsing opb.
18.49/18.55	o 176
18.49/18.57	o 175
18.49/18.59	o 174
18.59/18.61	o 173
18.59/18.63	o 172
18.59/18.65	o 171
18.59/18.67	o 170
18.59/18.69	o 169
18.69/18.71	o 168
18.69/18.73	o 167
18.69/18.75	o 166
18.69/18.77	o 165
18.69/18.78	o 164
18.78/18.80	o 163
18.78/18.82	o 162
18.78/18.84	o 161
18.78/18.86	o 160
18.78/18.88	o 159
18.89/18.90	o 158
18.89/18.92	o 157
18.89/18.94	o 156
18.89/18.96	o 155
18.89/18.98	o 154
18.98/19.00	o 153
18.98/19.02	o 152
18.98/19.04	o 151
18.98/19.06	o 150
18.98/19.08	o 149
19.08/19.10	o 148
19.08/19.12	o 147
19.08/19.14	o 146
19.08/19.16	o 145
19.08/19.18	o 144
19.18/19.20	o 143
19.18/19.22	o 142
19.18/19.24	o 141
19.18/19.26	o 140
19.18/19.28	o 139
19.18/19.30	o 138
19.29/19.31	o 137
19.29/19.33	o 136
19.29/19.36	o 135
19.29/19.38	o 134
19.29/19.39	o 133
19.39/19.41	o 132
19.39/19.43	o 131
19.39/19.45	o 130
19.39/19.47	o 129
19.39/19.49	o 128
19.49/19.51	o 127
19.49/19.53	o 126
19.49/19.55	o 125
19.49/19.57	o 124
19.49/19.59	o 123
19.58/19.61	o 122
19.58/19.63	o 121
19.58/19.65	o 120
19.58/19.67	o 119
19.58/19.69	o 118
19.69/19.71	o 117
19.69/19.73	o 116
19.69/19.75	o 115
19.69/19.77	o 114
19.69/19.79	o 113
19.79/19.81	o 112
19.79/19.83	o 111
19.79/19.85	o 110
19.79/19.87	o 109
19.79/19.89	o 108
19.88/19.91	o 107
19.88/19.93	o 106
19.88/19.95	o 105
19.88/19.97	o 104
19.88/19.99	o 103
19.99/20.01	o 102
19.99/20.03	o 101
19.99/20.05	o 100
19.99/20.07	o 99
19.99/20.09	o 98
20.09/20.11	o 97
20.09/20.13	o 96
20.09/20.15	o 95
20.09/20.17	o 94
21.48/21.56	o 93
21.48/21.59	o 92
21.68/21.70	o 91
21.68/21.79	o 90
21.79/21.83	o 89
21.89/21.97	o 88
21.99/22.00	o 87
22.29/22.30	o 86
22.29/22.33	o 85
22.78/22.81	o 84
23.98/24.05	o 83
24.09/24.10	o 82
24.19/24.25	o 81
25.29/25.39	o 80
25.78/25.90	o 79
28.89/28.99	o 78
31.28/31.33	o 77
293.52/293.77	o 76
595.25/595.51	o 75
1008.05/1008.44	o 74
1539.92/1540.44	o 73
1800.07/1800.60	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-355227-1176785856 -o ROOT/results/node50/solver-355227-1176785856 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355227-1176785856/PBS4 /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31850
/proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=3560 CPUtime=0
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 490 0 0 0 0 0 0 0 18 0 1 0 33430838 3645440 472 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 890 476 81 219 0 667 0

[startup+0.0963861 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31850
/proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=6068 CPUtime=0.09
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 1410 0 0 0 9 0 0 0 18 0 1 0 33430838 6213632 1294 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134596339 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 1517 1294 88 219 0 1294 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6068

[startup+0.101386 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31850
/proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=6068 CPUtime=0.09
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 1415 0 0 0 9 0 0 0 18 0 1 0 33430838 6213632 1299 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134530219 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 1517 1299 88 219 0 1294 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6068

[startup+0.301403 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31850
/proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=7648 CPUtime=0.29
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 1826 0 0 0 29 0 0 0 19 0 1 0 33430838 7831552 1564 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134636035 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 1912 1564 89 219 0 1689 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7648

[startup+0.701439 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 31850
/proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=9980 CPUtime=0.69
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 2606 0 0 0 68 1 0 0 22 0 1 0 33430838 10219520 2151 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134640335 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 2495 2151 89 219 0 2272 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9980

[startup+1.50151 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1462840/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=14224 CPUtime=1.5
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 4049 0 0 0 147 3 0 0 25 0 1 0 33430838 14565376 3209 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134797988 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 3556 3209 89 219 0 3333 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14224

[startup+3.10165 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1457016/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=23372 CPUtime=3.1
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 7055 0 0 0 305 5 0 0 25 0 1 0 33430838 23932928 5446 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135022908 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 5843 5446 89 219 0 5620 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 23372

[startup+6.30193 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1440120/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=39976 CPUtime=6.3
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 12631 0 0 0 622 8 0 0 25 0 1 0 33430838 40935424 9485 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134529912 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 9994 9486 89 219 0 9771 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 39976

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1404216/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=76088 CPUtime=12.69
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 24450 0 0 0 1254 15 0 0 25 0 1 0 33430838 77914112 18231 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134518672 0 0 4096 0 0 0 0 17 1 0 0
/proc/31850/statm: 19022 18231 89 219 0 18799 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76088

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1369848/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=139240 CPUtime=25.49
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 38409 0 0 0 2510 39 0 0 25 0 1 0 33430838 142581760 25998 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 34810 25998 104 219 0 34587 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139240

[startup+51.1029 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1363448/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=140428 CPUtime=51.08
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 40279 0 0 0 5041 67 0 0 25 0 1 0 33430838 143798272 27633 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 35107 27633 104 219 0 34884 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 140428

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1357048/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=142344 CPUtime=102.27
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 42551 0 0 0 10105 122 0 0 25 0 1 0 33430838 145760256 29200 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 35586 29200 104 219 0 35363 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 142344

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31851
/proc/meminfo: memFree=1352824/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=143436 CPUtime=162.25
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 44277 0 0 0 16049 176 0 0 25 0 1 0 33430838 146878464 30221 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 35859 30221 104 219 0 35636 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 143436

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 31959
/proc/meminfo: memFree=1348544/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=144008 CPUtime=222.19
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 45669 0 0 0 21984 235 0 0 25 0 1 0 33430838 147464192 31002 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 36002 31002 104 219 0 35779 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 144008

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32049
/proc/meminfo: memFree=1346872/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=144600 CPUtime=282.12
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 46787 0 0 0 27931 281 0 0 25 0 1 0 33430838 148070400 31650 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 36150 31650 104 219 0 35927 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 144600

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32049
/proc/meminfo: memFree=1342776/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=210576 CPUtime=342.11
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 48379 0 0 0 33888 323 0 0 25 0 1 0 33430838 215629824 32725 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 52644 32725 104 219 0 52421 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 210576

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32049
/proc/meminfo: memFree=1340600/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=210828 CPUtime=402.1
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 49397 0 0 0 39842 368 0 0 25 0 1 0 33430838 215887872 33226 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 52707 33226 104 219 0 52484 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 210828

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32049
/proc/meminfo: memFree=1339064/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=211276 CPUtime=462.09
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 50231 0 0 0 45800 409 0 0 25 0 1 0 33430838 216346624 33590 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 52819 33590 104 219 0 52596 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 211276

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32049
/proc/meminfo: memFree=1334392/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=211752 CPUtime=522.07
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 51810 0 0 0 51755 452 0 0 25 0 1 0 33430838 216834048 34840 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 52938 34840 104 219 0 52715 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 211752

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32049
/proc/meminfo: memFree=1331448/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=211868 CPUtime=582.05
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 52882 0 0 0 57716 489 0 0 25 0 1 0 33430838 216952832 35489 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 52967 35489 104 219 0 52744 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 211868

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1331064/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=212228 CPUtime=642.04
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 53395 0 0 0 63684 520 0 0 25 0 1 0 33430838 217321472 35579 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53057 35579 104 219 0 52834 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 212228


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1324664/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=212860 CPUtime=821.99
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 56195 0 0 0 81581 618 0 0 25 0 1 0 33430838 217968640 37204 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53215 37204 104 219 0 52992 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 212860

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1324344/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=212988 CPUtime=881.98
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 56601 0 0 0 87549 649 0 0 25 0 1 0 33430838 218099712 37281 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53247 37281 104 219 0 53024 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 212988

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1323960/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=213388 CPUtime=941.97
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 57065 0 0 0 93515 682 0 0 25 0 1 0 33430838 218509312 37369 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53347 37369 104 219 0 53124 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 213388

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1323000/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=213672 CPUtime=1001.95
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 57692 0 0 0 99481 714 0 0 25 0 1 0 33430838 218800128 37620 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53418 37620 104 219 0 53195 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 213672

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1318200/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=213956 CPUtime=1061.94
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 59258 0 0 0 105453 741 0 0 25 0 1 0 33430838 219090944 38810 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53489 38810 104 219 0 53266 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 213956

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1317816/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=214084 CPUtime=1121.93
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 59674 0 0 0 111425 768 0 0 25 0 1 0 33430838 219222016 38897 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53521 38897 104 219 0 53298 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 214084

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1317560/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=214220 CPUtime=1181.91
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 60063 0 0 0 117396 795 0 0 25 0 1 0 33430838 219361280 38957 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53555 38957 104 219 0 53332 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 214220

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1314360/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=214344 CPUtime=1241.9
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 61236 0 0 0 123365 825 0 0 25 0 1 0 33430838 219488256 39801 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53586 39801 104 219 0 53363 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 214344

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1309176/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=214612 CPUtime=1301.88
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 62764 0 0 0 129337 851 0 0 25 0 1 0 33430838 219762688 41047 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53653 41047 104 219 0 53430 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 214612

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32051
/proc/meminfo: memFree=1305912/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=215044 CPUtime=1361.86
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 63964 0 0 0 135309 877 0 0 25 0 1 0 33430838 220205056 41871 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53761 41871 104 219 0 53538 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 215044

[startup+1422.31 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 32051
/proc/meminfo: memFree=1305720/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=215044 CPUtime=1421.85
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 64345 0 0 0 141280 905 0 0 25 0 1 0 33430838 220205056 41923 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53761 41923 104 219 0 53538 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 215044

[startup+1482.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 32051
/proc/meminfo: memFree=1305336/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=215500 CPUtime=1481.84
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 64763 0 0 0 147254 930 0 0 25 0 1 0 33430838 220672000 42012 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53875 42012 104 219 0 53652 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 215500

[startup+1542.3 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 32051
/proc/meminfo: memFree=1305016/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=215500 CPUtime=1541.82
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 65207 0 0 0 153229 953 0 0 25 0 1 0 33430838 220672000 42080 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134548715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53875 42080 104 219 0 53652 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 215500

[startup+1602.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 32051
/proc/meminfo: memFree=1304824/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=215620 CPUtime=1601.81
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 65596 0 0 0 159201 980 0 0 25 0 1 0 33430838 220794880 42140 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53905 42140 104 219 0 53682 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 215620

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 32051
/proc/meminfo: memFree=1304440/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=215960 CPUtime=1661.79
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66008 0 0 0 165178 1001 0 0 25 0 1 0 33430838 221143040 42223 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 53990 42223 104 219 0 53767 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 215960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 32051
/proc/meminfo: memFree=1304248/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=216076 CPUtime=1721.78
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66390 0 0 0 171153 1025 0 0 25 0 1 0 33430838 221261824 42276 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 54019 42276 104 219 0 53796 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 216076

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32051
/proc/meminfo: memFree=1303992/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=216076 CPUtime=1781.76
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66717 0 0 0 177127 1049 0 0 25 0 1 0 33430838 221261824 42321 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 54019 42321 104 219 0 53796 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 216076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32051
/proc/meminfo: memFree=1303928/2055920 swapFree=4183816/4192956
[pid=31850] ppid=31848 vsize=216212 CPUtime=1800.07
/proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66831 0 0 0 178949 1058 0 0 25 0 1 0 33430838 221401088 42341 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31850/statm: 54053 42341 104 219 0 53830 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 216212

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

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.11
CPU user time (s): 1789.5
CPU system time (s): 10.6084
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 216212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.5
system time used= 10.6084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 3106

runsolver used 1.23681 second user time and 3.75143 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Apr 17 04:57:36 UTC 2007

IDJOB= 355227
IDBENCH= 2955
IDSOLVER= 157
FILE ID= node50/355227-1176785856

PBS_JOBID= 4580811

Free space on /tmp= 66498 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.14.opb
COMMAND LINE= /tmp/evaluation/355227-1176785856/PBS4 /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-355227-1176785856 -o ROOT/results/node50/conversion-355227-1176785856 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-355227-1176785856 -o ROOT/results/node50/solver-355227-1176785856 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/355227-1176785856/PBS4 /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  e81449c340a6e16e28a331cb4252cc2b

RANDOM SEED= 617453403

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.232
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.232
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:       1473240 kB
Buffers:         31804 kB
Cached:         471728 kB
SwapCached:       3272 kB
Active:         171988 kB
Inactive:       343844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1473240 kB
SwapTotal:     4192956 kB
SwapFree:      4183816 kB
Dirty:           52740 kB
Writeback:           0 kB
Mapped:          18048 kB
Slab:            52836 kB
Committed_AS:   999244 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66498 MiB

End job on node50 on Tue Apr 17 05:27:39 UTC 2007