Trace number 41802

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.63 1801.2

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
MD5SUM6b951c6d49e982acf32855913d424a2d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark945
Best CPU time to get the best result obtained on this benchmark1782.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 945
Optimality of the best value was proved NO
Number of variables2460
Total number of constraints17131
Number of constraints which are clauses17131
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16
Number of terms in the objective function 2460
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 2460
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2460
Number of bits of the biggest sum of numbers12
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/node81/41802-1149417377/instance-41802-1149417377.opb ......
0.32	c done parsing opb.
0.32	o 1230
0.34	o 1229
0.41	o 1228
0.47	o 1226
0.50	o 1225
0.57	o 1224
0.73	o 1223
0.77	o 1219
0.85	o 1218
1.97	o 1217
2.10	o 1216
2.39	o 1215
3.71	o 1214
3.84	o 1213
3.87	o 1209
3.91	o 1208
5.12	o 1207
5.22	o 1206
5.45	o 1205
7.66	o 1204
8.24	o 1203
9.66	o 1198
9.83	o 1197
13.88	o 1196
17.34	o 1195
18.41	o 1194
21.88	o 1193
22.84	o 1192
24.99	o 1191
28.74	o 1190
29.91	o 1189
32.53	o 1188
35.13	o 1187
36.77	o 1186
41.10	o 1185
43.52	o 1184
44.37	o 1183
45.14	o 1182
49.87	o 1181
50.07	o 1180
50.37	o 1179
166.03	o 1178
658.36	o 1177
705.21	o 1176
776.65	o 1175
789.31	o 1174
800.56	o 1173
903.60	o 1172
1002.48	o 1171
1133.62	o 1170
1301.90	o 1169
1483.03	o 1168
1519.84	o 1167
1646.47	o 1166

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node81/watcher-41802-1149417377 -o ROOT/results/node81/solver-41802-1149417377 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41802-1149417377/instance-41802-1149417377.opb 915081762 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.98 0.99 3/68 11956
/proc/meminfo: memFree=1169688/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=1368 CPUtime=0
/proc/11956/stat : 11956 (PBS4L) D 11954 11956 11910 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 207377169 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0
/proc/11956/statm: 342 95 84 232 0 107 0

[startup+10.002 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1128296/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=69232 CPUtime=9.99
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 10608 0 0 0 994 5 0 0 25 0 1 0 207377169 70893568 10432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552771 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 17308 10432 108 232 0 17073 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 69232

[startup+20.0081 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1121064/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=69892 CPUtime=19.99
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 12451 0 0 0 1992 7 0 0 25 0 1 0 207377169 71569408 12275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 17473 12275 108 232 0 17238 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 69892

[startup+30.0142 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1120360/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=71200 CPUtime=29.99
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 12826 0 0 0 2991 8 0 0 25 0 1 0 207377169 72908800 12457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 17800 12457 108 232 0 17565 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 71200

[startup+40.0203 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1104872/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=71592 CPUtime=40
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 16689 0 0 0 3988 12 0 0 25 0 1 0 207377169 73310208 16320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 17898 16320 108 232 0 17663 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 71592

[startup+50.0264 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1099304/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=71900 CPUtime=50
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18084 0 0 0 4985 15 0 0 25 0 1 0 207377169 73625600 17715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 17975 17715 108 232 0 17740 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 71900

[startup+60.0325 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1098984/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=72156 CPUtime=60
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18170 0 0 0 5984 16 0 0 25 0 1 0 207377169 73887744 17801 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18039 17801 108 232 0 17804 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 72156

[startup+70.0386 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1098856/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=72272 CPUtime=70.01
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18216 0 0 0 6983 18 0 0 25 0 1 0 207377169 74006528 17847 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18068 17847 108 232 0 17833 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 72272

[startup+80.0447 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1098664/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=72388 CPUtime=80.02
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18261 0 0 0 7982 20 0 0 25 0 1 0 207377169 74125312 17892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18097 17892 108 232 0 17862 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 72388

[startup+90.0508 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1098408/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=72520 CPUtime=90.02
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18315 0 0 0 8979 23 0 0 25 0 1 0 207377169 74260480 17946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18130 17946 108 232 0 17895 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 72520

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1098280/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=72640 CPUtime=100.02
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18353 0 0 0 9979 23 0 0 25 0 1 0 207377169 74383360 17984 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18160 17984 108 232 0 17925 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 72640

[startup+110.063 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1098088/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=72772 CPUtime=110.02
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18392 0 0 0 10978 24 0 0 25 0 1 0 207377169 74518528 18023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18193 18023 108 232 0 17958 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 72772

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1097704/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=74428 CPUtime=120.02
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18826 0 0 0 11976 26 0 0 25 0 1 0 207377169 76214272 18072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18607 18072 108 232 0 18372 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 74428

[startup+130.075 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1097768/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=74544 CPUtime=130.03
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18876 0 0 0 12974 29 0 0 25 0 1 0 207377169 76333056 18122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18636 18122 108 232 0 18401 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 74544

[startup+140.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1097640/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=74544 CPUtime=140.03
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18890 0 0 0 13974 29 0 0 25 0 1 0 207377169 76333056 18136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563428 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18636 18136 108 232 0 18401 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 74544

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1097640/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=74544 CPUtime=150.04
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18901 0 0 0 14974 30 0 0 25 0 1 0 207377169 76333056 18147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18636 18147 108 232 0 18401 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 74544

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1097448/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=74736 CPUtime=160.04
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18935 0 0 0 15973 31 0 0 25 0 1 0 207377169 76529664 18181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18684 18181 108 232 0 18449 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 74736

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1097320/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=74736 CPUtime=170.05
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18965 0 0 0 16973 32 0 0 25 0 1 0 207377169 76529664 18211 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18684 18211 108 232 0 18449 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 74736

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11956
/proc/meminfo: memFree=1097128/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=74960 CPUtime=180.05
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 19020 0 0 0 17972 33 0 0 25 0 1 0 207377169 76759040 18266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18740 18266 108 232 0 18505 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 74960

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11957
/proc/meminfo: memFree=1096936/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=75088 CPUtime=190.05
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 19056 0 0 0 18970 35 0 0 25 0 1 0 207377169 76890112 18302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18772 18302 108 232 0 18537 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 75088

[startup+200.117 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11958
/proc/meminfo: memFree=1096744/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=75264 CPUtime=200.05
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 19109 0 0 0 19969 36 0 0 25 0 1 0 207377169 77070336 18355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 18816 18355 108 232 0 18581 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 75264

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11958
/proc/meminfo: memFree=1096616/2055892 swapFree=4085344/4096564

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

/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26767 0 0 0 177980 171 0 0 25 0 1 0 207377169 98983936 23707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23707 108 232 0 23931 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 96664

[startup+1783.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1782.51
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26768 0 0 0 178080 171 0 0 25 0 1 0 207377169 98983936 23708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23708 108 232 0 23931 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (Kb) 96664

[startup+1784.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1783.52
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26769 0 0 0 178181 171 0 0 25 0 1 0 207377169 98983936 23709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23709 108 232 0 23931 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 96664

[startup+1785.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1784.52
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26770 0 0 0 178281 171 0 0 25 0 1 0 207377169 98983936 23710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23710 108 232 0 23931 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 96664

[startup+1786.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1785.52
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26771 0 0 0 178381 171 0 0 25 0 1 0 207377169 98983936 23711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23711 108 232 0 23931 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (Kb) 96664

[startup+1787.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1786.53
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26772 0 0 0 178482 171 0 0 25 0 1 0 207377169 98983936 23712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23712 108 232 0 23931 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 96664

[startup+1788.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1787.54
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26781 0 0 0 178582 172 0 0 25 0 1 0 207377169 98983936 23721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134635044 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23721 108 232 0 23931 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 96664

[startup+1789.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1788.54
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26782 0 0 0 178682 172 0 0 25 0 1 0 207377169 98983936 23722 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23722 108 232 0 23931 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 96664

[startup+1790.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1789.55
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26785 0 0 0 178783 172 0 0 25 0 1 0 207377169 98983936 23725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23725 108 232 0 23931 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 96664

[startup+1791.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1790.55
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26786 0 0 0 178883 172 0 0 25 0 1 0 207377169 98983936 23726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23726 108 232 0 23931 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 96664

[startup+1792.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1791.56
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26787 0 0 0 178984 172 0 0 25 0 1 0 207377169 98983936 23727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23727 108 232 0 23931 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 96664

[startup+1793.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1792.56
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26788 0 0 0 179084 172 0 0 25 0 1 0 207377169 98983936 23728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23728 108 232 0 23931 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 96664

[startup+1794.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1793.57
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26790 0 0 0 179185 172 0 0 25 0 1 0 207377169 98983936 23730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23730 108 232 0 23931 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 96664

[startup+1795.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1794.57
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26796 0 0 0 179285 172 0 0 25 0 1 0 207377169 98983936 23736 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23736 108 232 0 23931 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 96664

[startup+1796.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1795.57
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26797 0 0 0 179385 172 0 0 25 0 1 0 207377169 98983936 23737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23737 108 232 0 23931 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 96664

[startup+1797.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1796.58
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26799 0 0 0 179486 172 0 0 25 0 1 0 207377169 98983936 23739 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23739 108 232 0 23931 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 96664

[startup+1798.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1797.58
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26804 0 0 0 179586 172 0 0 25 0 1 0 207377169 98983936 23744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23744 108 232 0 23931 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 96664

[startup+1799.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1798.58
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26805 0 0 0 179686 172 0 0 25 0 1 0 207377169 98983936 23745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23745 108 232 0 23931 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 96664

[startup+1800.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1799.59
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26807 0 0 0 179787 172 0 0 25 0 1 0 207377169 98983936 23747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23747 108 232 0 23931 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (Kb) 96664

[startup+1801.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1800.59
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26808 0 0 0 179887 172 0 0 25 0 1 0 207377169 98983936 23748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23748 108 232 0 23931 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 96664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12153
/proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564
[pid=11956] ppid=11954 vsize=96664 CPUtime=1800.6
/proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26808 0 0 0 179888 172 0 0 25 0 1 0 207377169 98983936 23748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24166 23748 108 232 0 23931 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 96664

Sending SIGTERM to -11956
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.63
CPU user time (s): 1798.88
CPU system time (s): 1.74273
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (Kb): 96664
The end

Launcher Data (download as text)

Begin job on node81 on Sun Jun  4 10:36:17 UTC 2006


FILE ID= 41802-1149417377

PBS_JOBID= 315442

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41802-1149417377/instance-41802-1149417377.opb 915081762
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node81/watcher-41802-1149417377 -o ROOT/results/node81/solver-41802-1149417377 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41802-1149417377/instance-41802-1149417377.opb 915081762

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  6b951c6d49e982acf32855913d424a2d

RANDOM SEED= 915081762


/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.248
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	: 6006.19
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.248
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1169896 kB
Buffers:         39492 kB
Cached:         767520 kB
SwapCached:       2732 kB
Active:         124456 kB
Inactive:       691536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1169896 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          16580 kB
Slab:            56592 kB
Committed_AS:   358580 kB
PageTables:       1288 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node81 on Sun Jun  4 11:06:18 UTC 2006