Trace number 458694

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_v2 2007-03-23SAT (TO)7475 1800.06 1800.53

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 benchmark1800.04
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

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/458694-1178640568/instance-458694-1178640568.opb ......
0.00/0.01	c done parsing opb.
0.00/0.01	o 48513
0.00/0.03	o 48386
0.09/0.10	o 46812
0.19/0.29	o 43835
0.29/0.31	o 38334
0.39/0.41	o 38170
0.59/0.62	o 38138
0.79/0.80	o 38003
0.99/1.06	o 37844
0.99/1.09	o 37583
1.19/1.22	o 37532
1.38/1.45	o 37517
1.38/1.47	o 37502
1.49/1.56	o 28086
1.49/1.58	o 28049
1.59/1.66	o 28044
2.39/2.40	o 27930
2.59/2.60	o 27887
3.09/3.19	o 27870
3.19/3.30	o 27720
3.89/3.93	o 27659
4.19/4.23	o 27651
4.69/4.76	o 27565
5.29/5.36	o 27553
6.19/6.29	o 27443
7.19/7.21	o 27442
7.39/7.49	o 27393
8.19/8.25	o 27325
8.99/9.00	o 27292
9.69/9.78	o 27245
11.59/11.66	o 27214
11.88/11.90	o 27032
13.29/13.34	o 27029
13.59/13.68	o 26952
14.39/14.49	o 26865
15.29/15.39	o 26761
16.79/16.87	o 26590
16.79/16.87	o 26554
18.48/18.53	o 26358
21.19/21.22	o 26300
22.38/22.45	o 26100
25.38/25.44	o 26090
26.49/26.58	o 26079
28.18/28.25	o 25893
31.09/31.12	o 25846
32.89/33.00	o 25752
35.08/35.11	o 25618
36.78/36.86	o 25600
39.98/40.04	o 25477
41.58/41.64	o 25411
43.58/43.65	o 25383
44.68/44.78	o 25348
45.18/45.22	o 25278
46.37/46.41	o 25257
46.87/46.98	o 25091
48.38/48.49	o 25036
48.87/48.91	o 24947
50.07/50.19	o 24849
50.78/50.87	o 24777
51.28/51.35	o 24706
52.98/53.03	o 24605
53.98/54.01	o 24561
55.77/55.86	o 24556
56.48/56.55	o 24383
57.18/57.28	o 24331
58.07/58.11	o 24279
58.07/58.18	o 24204
58.68/58.73	o 24172
60.38/60.41	o 24148
61.38/61.48	o 24044
63.87/63.95	o 24031
65.87/65.94	o 24021
68.37/68.46	o 24000
68.57/68.64	o 23829
70.07/70.12	o 23784
71.77/71.80	o 23758
73.87/73.90	o 23580
75.57/75.68	o 23489
76.47/76.56	o 23332
76.57/76.65	o 23276
78.17/78.21	o 23206
79.08/79.10	o 23190
81.38/81.41	o 23108
83.57/83.67	o 23086
84.37/84.43	o 23027
84.47/84.53	o 22958
85.36/85.47	o 22907
85.56/85.60	o 22875
87.17/87.24	o 22840
91.27/91.37	o 22817
92.37/92.41	o 22680
93.57/93.69	o 22631
95.97/96.00	o 22519
96.57/96.65	o 22423
96.87/96.97	o 22223
98.36/98.45	o 22196
99.26/99.37	o 21993
99.66/99.72	o 21979
100.27/100.31	o 21974
100.66/100.75	o 21850
100.86/100.99	o 21815
101.07/101.17	o 21788
101.67/101.72	o 21729
102.96/103.02	o 21727
103.37/103.49	o 21706
104.06/104.15	o 21515
104.26/104.33	o 21442
104.36/104.50	o 21399
104.56/104.67	o 21340
104.76/104.88	o 21309
104.96/105.05	o 21279
105.06/105.15	o 21081
105.16/105.24	o 21076
105.56/105.66	o 21065
106.26/106.33	o 21044
106.57/106.62	o 21021
107.47/107.56	o 20913
107.57/107.66	o 20864
108.16/108.25	o 20835
110.36/110.46	o 20804
113.96/114.05	o 20796
114.16/114.30	o 20646
114.66/114.72	o 20529
114.96/115.08	o 20472
115.36/115.42	o 20292
116.06/116.17	o 20256
116.36/116.44	o 20219
116.96/117.01	o 20159
117.56/117.60	o 20068
117.66/117.78	o 20047
118.06/118.12	o 19957
118.36/118.46	o 19944
118.67/118.77	o 19877
120.46/120.57	o 19735
120.66/120.77	o 19725
121.36/121.47	o 19714
122.26/122.38	o 19693
122.36/122.49	o 19618
122.95/123.04	o 19578
122.95/123.07	o 19531
123.35/123.46	o 19339
123.35/123.47	o 19307
123.86/123.97	o 19180
124.26/124.39	o 19087
124.86/124.95	o 18935
126.56/126.64	o 18894
126.76/126.84	o 18846
127.65/127.72	o 18724
128.06/128.17	o 18595
128.46/128.54	o 18556
129.26/129.31	o 18496
130.45/130.51	o 18311
130.86/130.96	o 18251
131.66/131.71	o 18056
132.15/132.21	o 18030
133.36/133.46	o 18013
133.36/133.47	o 17986
134.36/134.40	o 17905
135.26/135.34	o 17778
137.65/137.71	o 17734
139.75/139.83	o 17605
140.66/140.79	o 17603
141.65/141.77	o 17527
142.15/142.20	o 17451
143.65/143.74	o 17428
144.66/144.71	o 17237
145.55/145.66	o 17115
149.05/149.16	o 17024
151.05/151.13	o 16834
153.75/153.82	o 16822
156.55/156.69	o 16761
157.85/157.90	o 16661
157.85/157.93	o 16640
161.45/161.53	o 16612
163.45/163.54	o 16473
163.75/163.80	o 16389
163.85/163.95	o 16277
165.75/165.86	o 16209
168.25/168.31	o 16190
170.04/170.11	o 16093
170.74/170.83	o 15994
172.45/172.53	o 15961
173.04/173.12	o 15825
174.75/174.83	o 15783
175.04/175.12	o 15733
177.24/177.39	o 15692
177.54/177.60	o 15551
180.54/180.65	o 15457
181.04/181.12	o 15441
182.04/182.15	o 15406
184.74/184.86	o 15365
185.84/185.90	o 15363
186.94/187.01	o 15350
188.23/188.35	o 15213
190.64/190.71	o 15123
192.73/192.90	o 15067
193.84/193.92	o 15007
194.73/194.81	o 14970
194.93/195.02	o 14910
197.34/197.45	o 14880
198.73/198.80	o 14852
199.13/199.29	o 14652
200.94/201.05	o 14629
204.63/204.73	o 14622
207.94/208.05	o 14503
208.23/208.36	o 14392
210.93/211.07	o 14224
211.33/211.48	o 14159
212.74/212.88	o 14150
215.54/215.66	o 14046
216.93/217.06	o 13987
219.93/220.01	o 13961
220.03/220.19	o 13902
221.53/221.70	o 13875
223.53/223.69	o 13860
224.03/224.20	o 13842
229.43/229.59	o 13804
229.93/230.04	o 13608
230.84/230.94	o 13432
231.13/231.29	o 13426
233.33/233.45	o 13309
233.73/233.83	o 13307
234.23/234.39	o 13290
236.63/236.76	o 13248
236.83/236.96	o 13187
238.32/238.42	o 12995
239.23/239.31	o 12929
239.83/239.91	o 12818
240.12/240.23	o 12782
245.32/245.41	o 12594
249.82/249.94	o 12558
251.12/251.25	o 12497
258.72/258.85	o 12431
261.52/261.64	o 12366
263.92/264.06	o 12330
264.92/265.04	o 12149
267.02/267.16	o 12063
269.81/269.94	o 12017
278.01/278.20	o 12001
282.92/283.03	o 11808
283.81/283.97	o 11794
288.81/288.99	o 11735
308.51/308.62	o 11658
309.31/309.49	o 11597
340.70/340.82	o 11539
341.40/341.51	o 11506
359.40/359.50	o 11462
374.99/375.19	o 11385
398.78/398.92	o 11265
405.38/405.51	o 11202
410.37/410.53	o 11187
412.98/413.12	o 11091
419.28/419.45	o 11074
436.57/436.71	o 10954
439.78/439.96	o 10884
442.07/442.27	o 10828
450.88/451.09	o 10816
457.96/458.12	o 10644
461.97/462.19	o 10634
467.77/467.90	o 10476
471.86/472.04	o 10424
480.66/480.83	o 10412
482.26/482.46	o 10290
483.76/483.98	o 10221
487.66/487.88	o 10201
490.95/491.18	o 10194
495.06/495.21	o 10129
495.86/496.08	o 10060
507.45/507.62	o 9895
512.25/512.49	o 9821
516.35/516.59	o 9754
519.15/519.38	o 9624
523.05/523.25	o 9592
544.35/544.58	o 9403
564.74/564.97	o 9310
575.94/576.12	o 9175
615.53/615.74	o 9111
648.82/649.10	o 8947
677.81/678.01	o 8933
699.70/699.97	o 8852
705.00/705.29	o 8820
723.00/723.24	o 8784
732.49/732.79	o 8778
742.49/742.71	o 8754
825.88/826.11	o 8675
833.37/833.63	o 8654
834.17/834.42	o 8608
837.07/837.30	o 8526
916.65/916.98	o 8334
919.64/919.96	o 8258
940.84/941.11	o 8204
1062.31/1062.70	o 8179
1075.51/1075.87	o 7998
1156.89/1157.26	o 7928
1232.67/1233.06	o 7845
1300.95/1301.31	o 7840
1331.44/1331.86	o 7714
1406.62/1407.09	o 7671
1479.70/1480.18	o 7580
1513.49/1513.91	o 7475
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.02/1800.50	v -x118 -x119 -x12 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136
1800.02/1800.50	v -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155
1800.02/1800.50	v -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 x173 -x174
1800.02/1800.50	v x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x19 -x190 x191 -x192 -x193 -x194
1800.02/1800.50	v -x195 -x196 -x197 x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213
1800.02/1800.50	v -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232
1800.02/1800.50	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251
1800.02/1800.50	v -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x26 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270
1800.02/1800.50	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29
1800.02/1800.50	v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308
1800.02/1800.50	v -x309 x31 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x32 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328
1800.02/1800.50	v -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347
1800.02/1800.50	v -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366
1800.02/1800.50	v -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385
1800.02/1800.50	v -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x4 x40 -x400 -x401 -x402 -x403 -x404
1800.02/1800.50	v -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423
1800.02/1800.50	v -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442
1800.02/1800.50	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x46 -x460 -x461
1800.02/1800.50	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x48 -x480
1800.02/1800.50	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5
1800.02/1800.50	v -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518
1800.02/1800.50	v -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537
1800.02/1800.50	v -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556
1800.02/1800.50	v -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79
1800.02/1800.50	v -x8 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99

Verifier Data (download as text)

OK	7475

Conversion Script Data (download as text)

/tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-458694-1178640568 -o ROOT/results/node24/solver-458694-1178640568 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458694-1178640568/instance-458694-1178640568.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: 1.07 0.99 0.99 2/77 6771
/proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=1456 CPUtime=0
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 311974860 1490944 141 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134591230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 364 141 86 219 0 141 0

[startup+0.00805408 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 6771
/proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=1612 CPUtime=0
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 311974860 1650688 161 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 403 161 88 219 0 180 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1612

[startup+0.101064 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 6771
/proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=1868 CPUtime=0.09
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 291 0 0 0 9 0 0 0 18 0 1 0 311974860 1912832 273 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 467 273 102 219 0 244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.301085 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 6771
/proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=2532 CPUtime=0.29
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 311974860 2592768 392 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 633 392 102 219 0 410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2532

[startup+0.701129 s]
/proc/loadavg: 1.07 0.99 0.99 2/77 6771
/proc/meminfo: memFree=1549448/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=3704 CPUtime=0.69
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 713 0 0 0 68 1 0 0 23 0 1 0 311974860 3792896 695 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 926 695 102 219 0 703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3704

[startup+1.50122 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1546816/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=6076 CPUtime=1.49
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 1081 0 0 0 147 2 0 0 25 0 1 0 311974860 6221824 1063 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 1519 1063 102 219 0 1296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6076

[startup+3.10139 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1544512/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=6532 CPUtime=3.09
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 1402 0 0 0 306 3 0 0 25 0 1 0 311974860 6688768 1335 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 1633 1335 102 219 0 1410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6532

[startup+6.30173 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1543232/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=11280 CPUtime=6.29
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 2061 0 0 0 624 5 0 0 25 0 1 0 311974860 11550720 1897 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 2820 1897 102 219 0 2597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11280

[startup+12.7014 s]
/proc/loadavg: 1.06 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1538880/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=20132 CPUtime=12.68
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 2972 0 0 0 1261 7 0 0 25 0 1 0 311974860 20615168 2808 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 5033 2808 102 219 0 4810 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20132

[startup+25.5018 s]
/proc/loadavg: 1.05 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1530944/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=22116 CPUtime=25.48
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 5041 0 0 0 2535 13 0 0 25 0 1 0 311974860 22646784 4684 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 5529 4684 102 219 0 5306 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22116

[startup+51.1016 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1526464/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=41676 CPUtime=51.08
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 6692 0 0 0 5088 20 0 0 25 0 1 0 311974860 42676224 5950 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 10419 5951 102 219 0 10196 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41676

[startup+102.305 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1518592/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=43512 CPUtime=102.27
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 8473 0 0 0 10194 33 0 0 25 0 1 0 311974860 44556288 7731 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 10878 7731 102 219 0 10655 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43512

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1507328/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=49588 CPUtime=162.25
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 12059 0 0 0 16175 50 0 0 25 0 1 0 311974860 50778112 10548 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 12397 10548 102 219 0 12174 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49588

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1502720/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=58424 CPUtime=222.23
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 14723 0 0 0 22153 70 0 0 25 0 1 0 311974860 59826176 11675 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 14606 11675 102 219 0 14383 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58424

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1499136/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=60300 CPUtime=282.22
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 15619 0 0 0 28137 85 0 0 25 0 1 0 311974860 61747200 12571 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 15075 12571 102 219 0 14852 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60300

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1491904/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=63012 CPUtime=342.2
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 17414 0 0 0 34123 97 0 0 25 0 1 0 311974860 64524288 14366 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 15753 14366 102 219 0 15530 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 63012

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1481856/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=99028 CPUtime=402.18
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 19913 0 0 0 40107 111 0 0 25 0 1 0 311974860 101404672 16865 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 24757 16865 102 219 0 24534 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 99028

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1477952/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=113500 CPUtime=462.17
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 23948 0 0 0 46088 129 0 0 25 0 1 0 311974860 116224000 17827 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 28375 17827 102 219 0 28152 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 113500

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1474816/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=115068 CPUtime=522.15
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 24739 0 0 0 52066 149 0 0 25 0 1 0 311974860 117829632 18618 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 28767 18618 102 219 0 28544 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 115068

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1471488/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=117352 CPUtime=582.13
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 25575 0 0 0 58049 164 0 0 25 0 1 0 311974860 120168448 19454 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 29338 19454 102 219 0 29115 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 117352

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1467392/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=119508 CPUtime=642.12
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 26584 0 0 0 64031 181 0 0 25 0 1 0 311974860 122376192 20463 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 29877 20463 102 219 0 29654 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 119508


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1454336/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=126180 CPUtime=882.05
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 29849 0 0 0 87959 246 0 0 25 0 1 0 311974860 129208320 23728 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134597531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 31545 23728 102 219 0 31322 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 126180

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1451264/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=152748 CPUtime=942.04
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 36754 0 0 0 93941 263 0 0 25 0 1 0 311974860 156413952 24488 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 38187 24488 102 219 0 37964 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 152748

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1448128/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=154772 CPUtime=1002.02
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 37533 0 0 0 99924 278 0 0 25 0 1 0 311974860 158486528 25267 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 38693 25267 102 219 0 38470 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 154772

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1444416/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=156736 CPUtime=1062.01
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 38463 0 0 0 105906 295 0 0 25 0 1 0 311974860 160497664 26197 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 39184 26197 102 219 0 38961 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 156736

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1441664/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=158512 CPUtime=1122
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 39154 0 0 0 111889 311 0 0 25 0 1 0 311974860 162316288 26888 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 39628 26888 102 219 0 39405 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 158512

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1439360/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=158512 CPUtime=1181.98
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 39732 0 0 0 117873 325 0 0 25 0 1 0 311974860 162316288 27466 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 39628 27466 102 219 0 39405 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 158512

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6772
/proc/meminfo: memFree=1436672/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=160876 CPUtime=1241.96
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 40404 0 0 0 123857 339 0 0 25 0 1 0 311974860 164737024 28138 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 40219 28138 102 219 0 39996 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 160876

[startup+1302.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 6772
/proc/meminfo: memFree=1423424/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=162004 CPUtime=1301.95
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 43699 0 0 0 129840 355 0 0 25 0 1 0 311974860 165892096 31433 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 40501 31433 102 219 0 40278 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 162004

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6772
/proc/meminfo: memFree=1421248/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=164492 CPUtime=1361.93
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 44273 0 0 0 135827 366 0 0 25 0 1 0 311974860 168439808 32007 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 41123 32007 102 219 0 40900 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 164492

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6772
/proc/meminfo: memFree=1418048/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=166620 CPUtime=1421.91
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 45068 0 0 0 141812 379 0 0 25 0 1 0 311974860 170618880 32802 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 41655 32802 102 219 0 41432 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 166620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6772
/proc/meminfo: memFree=1415488/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=166812 CPUtime=1481.9
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 45706 0 0 0 147797 393 0 0 25 0 1 0 311974860 170815488 33440 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 41703 33440 102 219 0 41480 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 166812

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6772
/proc/meminfo: memFree=1412608/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=169072 CPUtime=1541.88
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 46419 0 0 0 153785 403 0 0 25 0 1 0 311974860 173129728 34153 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 42268 34153 102 219 0 42045 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 169072

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6772
/proc/meminfo: memFree=1410048/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=169072 CPUtime=1601.87
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 47061 0 0 0 159771 416 0 0 25 0 1 0 311974860 173129728 34795 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 42268 34795 102 219 0 42045 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 169072

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 6772
/proc/meminfo: memFree=1407296/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=171608 CPUtime=1661.85
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 47759 0 0 0 165754 431 0 0 25 0 1 0 311974860 175726592 35493 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 42902 35493 102 219 0 42679 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 171608

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 6772
/proc/meminfo: memFree=1404928/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=172184 CPUtime=1721.84
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 48350 0 0 0 171737 447 0 0 25 0 1 0 311974860 176316416 36084 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 43046 36084 102 219 0 42823 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 172184

[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 6772
/proc/meminfo: memFree=1402432/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=174736 CPUtime=1781.82
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 48960 0 0 0 177722 460 0 0 25 0 1 0 311974860 178929664 36694 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 43684 36694 102 219 0 43461 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 174736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 6772
/proc/meminfo: memFree=1401920/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=174736 CPUtime=1800.02
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 49087 0 0 0 179537 465 0 0 25 0 1 0 311974860 178929664 36821 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 43684 36821 102 219 0 43461 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 174736

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

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

[startup+1800.5 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 6772
/proc/meminfo: memFree=1401920/2055920 swapFree=4143684/4192956
[pid=6771] ppid=6769 vsize=174736 CPUtime=1800.02
/proc/6771/stat : 6771 (PBS4_SAT07v2) R 6769 6771 6413 0 -1 4194304 49087 0 0 0 179537 465 0 0 25 0 1 0 311974860 178929664 36821 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6771/statm: 43684 36821 102 219 0 43461 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 174736

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1795.38
CPU system time (s): 4.67629
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 174736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.38
system time used= 4.67629
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49090
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= 36093

runsolver used 1.64075 second user time and 4.32834 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue May  8 16:09:28 UTC 2007

IDJOB= 458694
IDBENCH= 1826
IDSOLVER= 200
FILE ID= node24/458694-1178640568

PBS_JOBID= 5218351

Free space on /tmp= 66503 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gt2.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-458694-1178640568 -o ROOT/results/node24/conversion-458694-1178640568 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-458694-1178640568 -o ROOT/results/node24/solver-458694-1178640568 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458694-1178640568/instance-458694-1178640568.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  08913f3dd730f4c3a659694fd4c06001

RANDOM SEED= 914687209

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1549920 kB
Buffers:         39672 kB
Cached:         319276 kB
SwapCached:      16956 kB
Active:         117620 kB
Inactive:       301936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1549920 kB
SwapTotal:     4192956 kB
SwapFree:      4143684 kB
Dirty:            2288 kB
Writeback:           0 kB
Mapped:          67780 kB
Slab:            71816 kB
Committed_AS:  7469572 kB
PageTables:       1904 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= 66503 MiB

End job on node24 on Tue May  8 16:39:31 UTC 2007