Trace number 41504

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.78 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb
MD5SUM08913f3dd730f4c3a659694fd4c06001
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3591
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3591
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 10575
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 524466
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 20152
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 524466
Number of bits of the biggest sum of numbers20
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/node43/41504-1149272829/instance-41504-1149272829.opb ......
0.01	c done parsing opb.
0.01	o 48513
0.03	o 48386
0.09	o 46812
0.26	o 43835
0.28	o 38334
0.38	o 38170
0.57	o 38138
0.74	o 38003
0.97	o 37844
1.00	o 37583
1.13	o 37532
1.34	o 37517
1.36	o 37502
1.45	o 28086
1.47	o 28049
1.54	o 28044
2.25	o 27930
2.46	o 27887
3.01	o 27870
3.11	o 27720
3.70	o 27659
3.99	o 27651
4.53	o 27565
5.11	o 27553
5.99	o 27443
6.88	o 27442
7.15	o 27393
7.90	o 27325
8.65	o 27292
9.38	o 27245
11.21	o 27214
11.44	o 27032
12.85	o 27029
13.18	o 26952
13.97	o 26865
14.83	o 26761
16.24	o 26590
16.25	o 26554
17.88	o 26358
20.48	o 26300
21.71	o 26100
24.60	o 26090
25.70	o 26079
27.30	o 25893
30.11	o 25846
31.94	o 25752
33.96	o 25618
35.65	o 25600
38.78	o 25477
40.29	o 25411
42.29	o 25383
43.39	o 25348
43.81	o 25278
44.98	o 25257
45.53	o 25091
47.04	o 25036
47.45	o 24947
48.71	o 24849
49.36	o 24777
49.83	o 24706
51.49	o 24605
52.43	o 24561
54.25	o 24556
54.92	o 24383
55.64	o 24331
56.46	o 24279
56.52	o 24204
57.07	o 24172
58.68	o 24148
59.75	o 24044
62.11	o 24031
63.97	o 24021
66.39	o 24000
66.56	o 23829
67.92	o 23784
69.54	o 23758
71.52	o 23580
73.29	o 23489
74.10	o 23332
74.20	o 23276
75.73	o 23206
76.61	o 23190
78.73	o 23108
80.80	o 23086
81.50	o 23027
81.61	o 22958
82.54	o 22907
82.67	o 22875
84.28	o 22840
88.25	o 22817
89.25	o 22680
90.43	o 22631
92.62	o 22519
93.25	o 22423
93.54	o 22223
94.99	o 22196
95.88	o 21993
96.23	o 21979
96.82	o 21974
97.25	o 21850
97.49	o 21815
97.67	o 21788
98.22	o 21729
99.49	o 21727
99.94	o 21706
100.57	o 21515
100.75	o 21442
100.91	o 21399
101.08	o 21340
101.29	o 21309
101.46	o 21279
101.56	o 21081
101.65	o 21076
102.07	o 21065
102.73	o 21044
103.01	o 21021
103.95	o 20913
104.05	o 20864
104.63	o 20835
106.73	o 20804
110.19	o 20796
110.42	o 20646
110.82	o 20529
111.16	o 20472
111.49	o 20292
112.22	o 20256
112.49	o 20219
113.05	o 20159
113.64	o 20068
113.82	o 20047
114.15	o 19957
114.49	o 19944
114.79	o 19877
116.58	o 19735
116.78	o 19725
117.48	o 19714
118.39	o 19693
118.49	o 19618
119.04	o 19578
119.06	o 19531
119.46	o 19339
119.46	o 19307
119.96	o 19180
120.36	o 19087
120.90	o 18935
122.57	o 18894
122.76	o 18846
123.63	o 18724
124.08	o 18595
124.44	o 18556
125.19	o 18496
126.38	o 18311
126.81	o 18251
127.54	o 18056
128.04	o 18030
129.26	o 18013
129.27	o 17986
130.17	o 17905
131.10	o 17778
133.46	o 17734
135.56	o 17605
136.50	o 17603
137.46	o 17527
137.90	o 17451
139.43	o 17428
140.40	o 17237
141.33	o 17115
144.78	o 17024
146.73	o 16834
149.35	o 16822
152.12	o 16761
153.31	o 16661
153.33	o 16640
156.91	o 16612
158.91	o 16473
159.16	o 16389
159.31	o 16277
161.20	o 16209
163.63	o 16190
165.41	o 16093
166.13	o 15994
167.80	o 15961
168.39	o 15825
170.07	o 15783
170.35	o 15733
172.62	o 15692
172.81	o 15551
175.80	o 15457
176.27	o 15441
177.25	o 15406
179.92	o 15365
180.91	o 15363
181.99	o 15350
183.33	o 15213
185.60	o 15123
187.71	o 15067
188.70	o 15007
189.59	o 14970
189.80	o 14910
192.18	o 14880
193.51	o 14852
193.99	o 14652
195.74	o 14629
199.40	o 14622
202.60	o 14503
202.90	o 14392
205.57	o 14224
205.97	o 14159
207.33	o 14150
210.07	o 14046
211.46	o 13987
214.33	o 13961
214.51	o 13902
216.01	o 13875
218.00	o 13860
218.50	o 13842
223.82	o 13804
224.26	o 13608
225.16	o 13432
225.49	o 13426
227.59	o 13309
227.97	o 13307
228.52	o 13290
230.85	o 13248
231.04	o 13187
232.47	o 12995
233.36	o 12929
233.95	o 12818
234.26	o 12782
239.38	o 12594
243.83	o 12558
245.11	o 12497
252.60	o 12431
255.39	o 12366
257.80	o 12330
258.77	o 12149
260.80	o 12063
263.54	o 12017
271.64	o 12001
276.47	o 11808
277.43	o 11794
282.34	o 11735
301.80	o 11658
302.66	o 11597
333.72	o 11539
334.42	o 11506
352.22	o 11462
367.72	o 11385
391.19	o 11265
397.77	o 11202
402.73	o 11187
405.28	o 11091
411.50	o 11074
428.50	o 10954
431.72	o 10884
434.02	o 10828
442.63	o 10816
449.49	o 10644
453.52	o 10634
459.16	o 10476
463.19	o 10424
471.74	o 10412
473.38	o 10290
474.88	o 10221
478.76	o 10201
481.99	o 10194
485.86	o 10129
486.70	o 10060
498.07	o 9895
502.70	o 9821
506.70	o 9754
509.37	o 9624
513.14	o 9592
534.09	o 9403
554.11	o 9310
565.07	o 9175
604.09	o 9111
636.92	o 8947
665.41	o 8933
687.13	o 8852
692.33	o 8820
709.99	o 8784
719.47	o 8778
729.24	o 8754
811.48	o 8675
818.99	o 8654
819.76	o 8608
822.57	o 8526
901.04	o 8334
904.01	o 8258
924.88	o 8204
1044.86	o 8179
1057.95	o 7998
1138.46	o 7928
1213.81	o 7845
1282.12	o 7840
1312.56	o 7714
1387.68	o 7671
1460.02	o 7580
1493.39	o 7475

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/node43/watcher-41504-1149272829 -o ROOT/results/node43/solver-41504-1149272829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb 533953951 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.96 2/64 1316
/proc/meminfo: memFree=1844280/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=1400 CPUtime=0
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 192949712 1433600 143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615395 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 350 145 99 232 0 115 0

[startup+10.0026 s]
/proc/loadavg: 0.87 0.94 0.96 2/64 1316
/proc/meminfo: memFree=1834432/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=11720 CPUtime=9.99
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 2755 0 0 0 994 5 0 0 25 0 1 0 192949712 12001280 2580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 2930 2580 108 232 0 2695 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 11720

[startup+20.0085 s]
/proc/loadavg: 0.89 0.94 0.96 2/64 1316
/proc/meminfo: memFree=1829248/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=21496 CPUtime=19.99
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 4228 0 0 0 1990 9 0 0 25 0 1 0 192949712 22011904 3860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 5374 3860 108 232 0 5139 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 21496

[startup+30.0153 s]
/proc/loadavg: 0.90 0.94 0.96 2/64 1316
/proc/meminfo: memFree=1825664/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=22296 CPUtime=30
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 5131 0 0 0 2988 12 0 0 25 0 1 0 192949712 22831104 4763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 5574 4763 108 232 0 5339 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 22296

[startup+40.0212 s]
/proc/loadavg: 0.92 0.94 0.96 2/64 1316
/proc/meminfo: memFree=1824192/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=22884 CPUtime=40
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 5500 0 0 0 3985 15 0 0 25 0 1 0 192949712 23433216 5132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 5721 5132 108 232 0 5486 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22884

[startup+50.0271 s]
/proc/loadavg: 0.93 0.94 0.96 2/64 1316
/proc/meminfo: memFree=1820288/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=41868 CPUtime=50.01
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 6845 0 0 0 4982 19 0 0 25 0 1 0 192949712 42872832 6092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 10467 6092 108 232 0 10232 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 41868

[startup+60.0329 s]
/proc/loadavg: 0.94 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1815424/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=42504 CPUtime=60.01
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8062 0 0 0 5980 21 0 0 25 0 1 0 192949712 43524096 7309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 10626 7309 108 232 0 10391 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 42504

[startup+70.0388 s]
/proc/loadavg: 0.95 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1814912/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=42804 CPUtime=70.01
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8196 0 0 0 6978 23 0 0 25 0 1 0 192949712 43831296 7443 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 10701 7443 108 232 0 10466 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 42804

[startup+80.0447 s]
/proc/loadavg: 0.96 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1814464/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=43156 CPUtime=80.02
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8304 0 0 0 7977 25 0 0 25 0 1 0 192949712 44191744 7551 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 10789 7551 108 232 0 10554 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 43156

[startup+90.0505 s]
/proc/loadavg: 0.96 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1814080/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=43428 CPUtime=90.02
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8389 0 0 0 8976 26 0 0 25 0 1 0 192949712 44470272 7636 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 10857 7636 108 232 0 10622 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 43428

[startup+100.055 s]
/proc/loadavg: 0.97 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1813632/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=43560 CPUtime=100.02
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 8505 0 0 0 9973 29 0 0 25 0 1 0 192949712 44605440 7752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 10890 7752 108 232 0 10655 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 43560

[startup+110.061 s]
/proc/loadavg: 0.97 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1812864/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=47068 CPUtime=110.03
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 9411 0 0 0 10970 33 0 0 25 0 1 0 192949712 48197632 7889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 11767 7889 108 232 0 11532 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 47068

[startup+120.067 s]
/proc/loadavg: 0.98 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1812032/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=47360 CPUtime=120.03
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 9667 0 0 0 11968 35 0 0 25 0 1 0 192949712 48496640 8145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 11840 8145 108 232 0 11605 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 47360

[startup+130.073 s]
/proc/loadavg: 0.98 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1804928/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=47832 CPUtime=130.03
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 11436 0 0 0 12965 38 0 0 25 0 1 0 192949712 48979968 9914 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 11958 9914 108 232 0 11723 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 47832

[startup+140.08 s]
/proc/loadavg: 0.98 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1804160/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=48436 CPUtime=140.04
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 11622 0 0 0 13964 40 0 0 25 0 1 0 192949712 49598464 10100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 12109 10100 108 232 0 11874 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 48436

[startup+150.087 s]
/proc/loadavg: 0.98 0.95 0.96 2/64 1316
/proc/meminfo: memFree=1802880/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=49260 CPUtime=150.05
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 11941 0 0 0 14962 43 0 0 25 0 1 0 192949712 50442240 10419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 12315 10419 108 232 0 12080 0
Current children cumulated CPU time (s) 150.05
Current children cumulated vsize (Kb) 49260

[startup+160.092 s]
/proc/loadavg: 0.99 0.96 0.96 2/64 1316
/proc/meminfo: memFree=1802112/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=50004 CPUtime=160.05
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12136 0 0 0 15960 45 0 0 25 0 1 0 192949712 51204096 10614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 12501 10614 108 232 0 12266 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 50004

[startup+170.097 s]
/proc/loadavg: 0.99 0.96 0.96 2/64 1316
/proc/meminfo: memFree=1801280/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=50388 CPUtime=170.05
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12341 0 0 0 16957 48 0 0 25 0 1 0 192949712 51597312 10819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 12597 10819 108 232 0 12362 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 50388

[startup+180.103 s]
/proc/loadavg: 0.99 0.96 0.96 2/64 1316
/proc/meminfo: memFree=1800512/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=50916 CPUtime=180.05
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12538 0 0 0 17954 51 0 0 25 0 1 0 192949712 52137984 11016 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 12729 11016 108 232 0 12494 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 50916

[startup+190.109 s]
/proc/loadavg: 0.99 0.96 0.96 2/64 1316
/proc/meminfo: memFree=1799872/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=51204 CPUtime=190.05
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12693 0 0 0 18952 53 0 0 25 0 1 0 192949712 52432896 11171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 12801 11171 108 232 0 12566 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 51204

[startup+200.115 s]
/proc/loadavg: 0.99 0.96 0.96 2/64 1316
/proc/meminfo: memFree=1799168/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=51512 CPUtime=200.06
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 12873 0 0 0 19949 57 0 0 25 0 1 0 192949712 52748288 11351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 12878 11351 108 232 0 12643 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 51512

[startup+210.122 s]
/proc/loadavg: 0.99 0.96 0.96 2/64 1316
/proc/meminfo: memFree=1798464/2055920 swapFree=4180880/4192956

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

/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49146 0 0 0 177727 439 0 0 25 0 1 0 192949712 178974720 36869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43695 36869 108 232 0 43460 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (Kb) 174780

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1696448/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1782.66
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49167 0 0 0 177827 439 0 0 25 0 1 0 192949712 179109888 36890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 36890 108 232 0 43493 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (Kb) 174912

[startup+1784.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1696192/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1783.67
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49223 0 0 0 177928 439 0 0 25 0 1 0 192949712 179109888 36946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 36946 108 232 0 43493 0
Current children cumulated CPU time (s) 1783.67
Current children cumulated vsize (Kb) 174912

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1696064/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1784.67
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49264 0 0 0 178028 439 0 0 25 0 1 0 192949712 179109888 36987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 36987 108 232 0 43493 0
Current children cumulated CPU time (s) 1784.67
Current children cumulated vsize (Kb) 174912

[startup+1786.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1696000/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1785.67
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49269 0 0 0 178128 439 0 0 25 0 1 0 192949712 179109888 36992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 36992 108 232 0 43493 0
Current children cumulated CPU time (s) 1785.67
Current children cumulated vsize (Kb) 174912

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1696000/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1786.67
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49279 0 0 0 178228 439 0 0 25 0 1 0 192949712 179109888 37002 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 37002 108 232 0 43493 0
Current children cumulated CPU time (s) 1786.67
Current children cumulated vsize (Kb) 174912

[startup+1788.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695936/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1787.69
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49285 0 0 0 178329 440 0 0 25 0 1 0 192949712 179109888 37008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 37008 108 232 0 43493 0
Current children cumulated CPU time (s) 1787.69
Current children cumulated vsize (Kb) 174912

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695936/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1788.69
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49291 0 0 0 178429 440 0 0 25 0 1 0 192949712 179109888 37014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 37014 108 232 0 43493 0
Current children cumulated CPU time (s) 1788.69
Current children cumulated vsize (Kb) 174912

[startup+1790.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695936/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=174912 CPUtime=1789.69
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49296 0 0 0 178529 440 0 0 25 0 1 0 192949712 179109888 37019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43728 37019 108 232 0 43493 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (Kb) 174912

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695808/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1790.7
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49325 0 0 0 178630 440 0 0 25 0 1 0 192949712 179245056 37048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37048 108 232 0 43526 0
Current children cumulated CPU time (s) 1790.7
Current children cumulated vsize (Kb) 175044

[startup+1792.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695744/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1791.7
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49333 0 0 0 178730 440 0 0 25 0 1 0 192949712 179245056 37056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37056 108 232 0 43526 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (Kb) 175044

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695744/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1792.71
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49342 0 0 0 178830 441 0 0 25 0 1 0 192949712 179245056 37065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37065 108 232 0 43526 0
Current children cumulated CPU time (s) 1792.71
Current children cumulated vsize (Kb) 175044

[startup+1794.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695552/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1793.71
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49379 0 0 0 178930 441 0 0 25 0 1 0 192949712 179245056 37102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37102 108 232 0 43526 0
Current children cumulated CPU time (s) 1793.71
Current children cumulated vsize (Kb) 175044

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695552/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1794.71
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49383 0 0 0 179030 441 0 0 25 0 1 0 192949712 179245056 37106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37106 108 232 0 43526 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (Kb) 175044

[startup+1796.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695552/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1795.72
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49388 0 0 0 179131 441 0 0 25 0 1 0 192949712 179245056 37111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37111 108 232 0 43526 0
Current children cumulated CPU time (s) 1795.72
Current children cumulated vsize (Kb) 175044

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695488/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1796.72
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49399 0 0 0 179231 441 0 0 25 0 1 0 192949712 179245056 37122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37122 108 232 0 43526 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (Kb) 175044

[startup+1798.17 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695488/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1797.73
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49404 0 0 0 179332 441 0 0 25 0 1 0 192949712 179245056 37127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549050 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37127 108 232 0 43526 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (Kb) 175044

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1798.74
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49410 0 0 0 179432 442 0 0 25 0 1 0 192949712 179245056 37133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37133 108 232 0 43526 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (Kb) 175044

[startup+1800.18 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1799.74
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49417 0 0 0 179532 442 0 0 25 0 1 0 192949712 179245056 37140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37140 108 232 0 43526 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (Kb) 175044

[startup+1801.18 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1800.75
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49421 0 0 0 179633 442 0 0 25 0 1 0 192949712 179245056 37144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549573 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37144 108 232 0 43526 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (Kb) 175044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 1318
/proc/meminfo: memFree=1695424/2055920 swapFree=4180880/4192956
[pid=1316] ppid=1314 vsize=175044 CPUtime=1800.75
/proc/1316/stat : 1316 (PBS4L) R 1314 1316 1270 0 -1 4194304 49421 0 0 0 179633 442 0 0 25 0 1 0 192949712 179245056 37144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/1316/statm: 43761 37144 108 232 0 43526 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (Kb) 175044

Sending SIGTERM to -1316
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.78
CPU user time (s): 1796.33
CPU system time (s): 4.44832
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (Kb): 175044
The end

Launcher Data (download as text)

Begin job on node43 on Fri Jun  2 18:27:10 UTC 2006


FILE ID= 41504-1149272829

PBS_JOBID= 301567

BENCH NAME= ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb 533953951
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-41504-1149272829 -o ROOT/results/node43/solver-41504-1149272829 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41504-1149272829/instance-41504-1149272829.opb 533953951

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  08913f3dd730f4c3a659694fd4c06001

RANDOM SEED= 533953951


/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.216
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.216
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:       1844488 kB
Buffers:         15752 kB
Cached:         135028 kB
SwapCached:       3716 kB
Active:          27048 kB
Inactive:       132356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1844488 kB
SwapTotal:     4192956 kB
SwapFree:      4180880 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            38040 kB
Committed_AS:   260120 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node43 on Fri Jun  2 18:57:11 UTC 2006