Trace number 2701323

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.06 1800.03

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub4-22_wcsp.wbo
MD5SUM084c96587a40d0de1efffb4a052bae0f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark332745
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables444
Total number of constraints80644
Number of soft constraints80622
Number of constraints which are clauses80622
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint22
Top cost 54058235
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 6107276475
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
Number of bits of the biggest sum of numbers5
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 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.39/0.42	c constraints 22/0 clauses 0/80622 units 0
0.39/0.42	c vars 444
0.39/0.42	c Setting top cost 54058235
9.90/9.91	c 9.71452 434.367 1 161866
9.90/9.91	o 41774363
9.99/10.07	c 9.8295 445.5 1 242706
9.99/10.07	o 39714352
10.19/10.23	c 9.92949 445.5 3 318376
10.19/10.23	o 38794259
10.30/10.37	c 10.0235 445.5 4 399342
10.30/10.37	o 28764039
10.50/10.57	c 10.1395 445.5 29 504667
10.50/10.57	o 26874249
10.69/10.72	c 10.2474 445.5 29 585433
10.69/10.72	o 13763546
10.89/10.90	c 10.3714 445.723 47 651951
10.89/10.90	o 13753742
11.00/11.05	c 10.4794 445.723 48 736797
11.00/11.05	o 10783865
11.20/11.23	c 10.6004 445.723 63 829038
11.20/11.23	o 10723555
11.40/11.44	c 10.7454 445.723 108 882476
11.40/11.44	o 10723257
11.59/11.60	c 10.8553 445.723 113 961513
11.59/11.60	o 10713051
11.69/11.75	c 10.9703 445.723 113 1036807
11.69/11.75	o 9893160
12.39/12.46	c 11.4573 445.852 213 1114982
12.39/12.46	o 9734063
12.99/13.03	c 11.8472 445.98 333 1172547
12.99/13.03	o 9733259
13.10/13.18	c 11.9462 445.98 343 1248900
13.10/13.18	o 9633153
13.39/13.45	c 12.1352 446.109 414 1333126
13.39/13.45	o 7763857
13.69/13.71	c 12.3181 446.238 519 1381824
13.69/13.71	o 7753954
13.99/14.03	c 12.5491 446.238 569 1459863
13.99/14.03	o 7693853
14.39/14.42	c 12.8081 446.367 637 1503236
14.39/14.42	o 7693452
14.59/14.64	c 12.968 446.496 749 1582504
14.59/14.64	o 7693246
14.79/14.85	c 13.118 445.801 867 1666133
14.79/14.85	o 7674156
15.19/15.28	c 13.419 446.574 975 1735731
15.19/15.28	o 7673846
15.39/15.44	c 13.5289 446.574 977 1811069
15.39/15.44	o 7653352
15.59/15.61	c 13.6459 445.875 981 1887208
15.59/15.61	o 7623763
15.69/15.77	c 13.7639 446.648 983 1962568
15.69/15.77	o 7563862
16.09/16.19	c 14.0679 446.648 1098 2041512
16.09/16.19	o 7523552
16.79/16.82	c 14.5148 446.777 1399 2142770
16.79/16.82	o 6653851
16.89/16.99	c 14.6378 446.777 1418 2185981
16.89/16.99	o 6644151
18.09/18.19	c 15.4586 446.906 1923 2271793
18.09/18.19	o 5833554
18.39/18.43	c 15.6236 447.035 1958 2348165
18.39/18.43	o 5804264
18.59/18.67	c 15.8016 447.035 1976 2424796
18.59/18.67	o 5793851
18.79/18.84	c 15.9206 447.035 1989 2500595
18.79/18.84	o 5733958
18.99/19.01	c 16.0346 447.035 2003 2543496
18.99/19.01	o 5724140
19.19/19.20	c 16.1575 447.035 2018 2587587
19.19/19.20	o 5723448
19.89/20.00	c 16.6625 447.164 2196 2634196
19.89/20.00	o 5713451
20.19/20.24	c 16.8184 447.164 2234 2709976
20.19/20.24	o 5683161
20.39/20.40	c 16.9404 447.164 2239 2753418
20.39/20.40	o 5673257
20.49/20.58	c 17.0694 447.164 2247 2829285
20.49/20.58	o 5662649
20.99/21.02	c 17.3794 447.293 2458 2928188
20.99/21.02	o 5613661
21.79/21.86	c 17.9603 447.422 2940 3027408
21.79/21.86	o 5573254
22.59/22.69	c 18.5222 447.551 3476 3120235
22.59/22.69	o 4813360
22.80/22.88	c 18.6542 447.551 3485 3195844
22.80/22.88	o 4733254
23.39/23.41	c 19.0351 447.551 3573 3252060
23.39/23.41	o 4723361
23.59/23.62	c 19.1861 447.551 3590 3295495
23.59/23.62	o 4723247
23.80/23.84	c 19.3491 447.68 3703 3343308
23.80/23.84	o 4714454
24.49/24.58	c 19.855 447.68 3940 3395211
24.49/24.58	o 4713747
25.09/25.13	c 20.2349 446.98 4078 3478539
25.09/25.13	o 4683748
25.30/25.31	c 20.3739 447.754 4084 3553832
25.30/25.31	o 4553654
26.19/26.23	c 21.0338 447.184 4829 3627420
26.19/26.23	o 4553151
26.60/26.66	c 21.3518 447.258 5032 3713911
26.60/26.66	o 3753453
26.89/26.93	c 21.5717 448.031 5050 3789292
26.89/26.93	o 3663953
27.29/27.30	c 21.8627 448.16 5288 3897745
27.29/27.30	o 3653850
28.50/28.59	c 22.7655 448.289 5941 3967649
28.50/28.59	o 3653252
28.79/28.81	c 22.9305 448.289 5985 4018964
28.79/28.81	o 3643656
29.09/29.14	c 23.1595 448.418 6116 4068046
29.09/29.14	o 3633756
30.99/31.06	c 24.4793 448.676 7287 4151087
30.99/31.06	o 3633155
31.30/31.40	c 24.7032 448.676 7382 4194629
31.30/31.40	o 3624059
32.19/32.27	c 25.3002 448.805 7687 4269003
32.19/32.27	o 3623460
32.39/32.46	c 25.4341 448.805 7690 4344274
32.39/32.46	o 3553552
32.79/32.86	c 25.6941 448.805 7791 4420490
32.79/32.86	o 3493467
59.69/59.79	c 44.7912 459.008 31541 5183676
59.69/59.79	o 2684465
60.00/60.02	c 44.9752 459.008 11602 5259414
60.00/60.02	o 2673952
60.60/60.63	c 45.4081 459.008 11935 5316804
60.60/60.63	o 2673559
61.10/61.19	c 45.791 459.008 12053 5369405
61.10/61.19	o 2663564
61.39/61.47	c 45.999 459.008 12162 5416212
61.39/61.47	o 2663150
61.60/61.65	c 46.121 459.008 12170 5460445
61.60/61.65	o 2653250
61.79/61.81	c 46.238 459.008 12174 5502339
61.79/61.81	o 2643552
62.39/62.42	c 46.6709 459.008 12627 5562091
62.39/62.42	o 2633947
62.79/62.82	c 46.9549 459.008 12731 5648352
62.79/62.82	o 2623049
63.09/63.16	c 47.2088 459.008 12857 5729637
63.09/63.16	o 2603655
63.28/63.39	c 47.3648 459.008 12928 5788246
63.28/63.39	o 2603633
74.89/74.96	c 55.2996 459.008 19136 5969767
74.89/74.96	o 2603559
79.59/79.66	c 58.6571 459.008 22648 6188168
79.59/79.66	o 1884256
79.79/79.84	c 58.7911 459.008 22649 6263315
79.79/79.84	o 1743756
79.99/80.01	c 58.907 459.008 22653 6294740
79.99/80.01	o 1743657
80.09/80.18	c 59.04 459.008 22655 6369782
80.09/80.18	o 1643849
81.40/81.49	c 59.9569 459.008 23317 6425829
81.40/81.49	o 1643755
84.60/84.65	c 62.1596 459.008 25459 6568325
84.60/84.65	o 1573656
87.59/87.65	c 64.2082 459.008 26978 6705448
87.59/87.65	o 1553246
91.39/91.49	c 66.7968 459.008 12205 6807040
91.39/91.49	o 1543253
92.79/92.88	c 67.7607 459.008 13075 6905180
92.79/92.88	o 1533658
95.60/95.64	c 69.8244 459.008 17095 7039013
95.60/95.64	o 1533252
115.09/115.10	c 83.4213 459.008 32406 7564636
115.09/115.10	o 774346
115.19/115.29	c 83.5533 459.008 11670 7639942
115.19/115.29	o 763747
115.40/115.45	c 83.6693 459.008 11671 7714941
115.40/115.45	o 723954
115.60/115.61	c 83.7793 459.008 11675 7780822
115.60/115.61	o 723851
115.69/115.77	c 83.8872 459.008 3638 7806490
115.69/115.77	o 723846
115.89/115.91	c 83.9942 459.008 3639 7849192
115.89/115.91	o 714042
116.20/116.27	c 84.2442 459.008 3740 7933007
116.20/116.27	o 653643
116.39/116.42	c 84.3552 459.008 3754 7976432
116.39/116.42	o 643745
116.60/116.65	c 84.5132 459.008 3867 8024997
116.60/116.65	o 643352
116.79/116.80	c 84.6201 459.008 3871 8066908
116.79/116.80	o 634348
116.99/117.02	c 84.7871 459.008 3930 8114029
116.99/117.02	o 633744
118.19/118.25	c 85.666 459.008 4579 8180954
118.19/118.25	o 623861
118.80/118.83	c 86.0469 459.008 5008 8241698
118.80/118.83	o 623148
118.99/119.03	c 86.1829 459.008 5040 8286820
118.99/119.03	o 613555
119.09/119.19	c 86.2969 459.008 5082 8314934
119.09/119.19	o 613457
119.69/119.72	c 86.6678 459.008 5269 8363496
119.69/119.72	o 613156
119.79/119.88	c 86.7868 459.008 5271 8438546
119.79/119.88	o 603057
121.59/121.64	c 88.0386 459.008 6793 8522167
121.59/121.64	o 602639
125.30/125.34	c 90.7042 459.008 10258 8700242
125.30/125.34	o 593464
125.60/125.67	c 90.9342 459.008 10430 8762600
125.60/125.67	o 593054
126.69/126.70	c 91.6901 459.008 11260 8862075
126.69/126.70	o 592753
126.90/126.94	c 91.865 459.008 11368 8940151
126.90/126.94	o 553350
130.39/130.47	c 94.3717 459.008 14483 9149915
130.39/130.47	o 523356
171.49/171.57	c 123.138 459.008 23566 10328633
171.49/171.57	o 512944
172.09/172.13	c 123.552 459.008 24109 10393867
172.09/172.13	o 512754
177.79/177.89	c 127.602 459.008 29098 10623612
177.79/177.89	o 503563
181.29/181.32	c 130.035 459.008 32776 10782366
181.29/181.32	o 503553
225.49/225.56	c 162.517 459.008 20696 12673719
225.49/225.56	o 452548
225.68/225.73	c 162.638 459.008 20702 12715541
225.68/225.73	o 442750
266.78/266.80	c 191.477 459.008 12493 13883643
266.78/266.80	o 433052
327.99/328.07	c 234.646 459.008 30290 15757672
327.99/328.07	o 413643
332.99/333.07	c 238.129 459.008 12248 15946941
332.99/333.07	o 413055
345.39/345.48	c 246.802 459.008 24138 16341544
345.39/345.48	o 413047
346.99/347.03	c 247.904 459.008 25685 16456603
346.99/347.03	o 403955
378.60/378.64	c 270.158 459.008 14737 17243124
378.60/378.64	o 402857
416.29/416.38	c 296.514 459.008 22565 18352939
416.29/416.38	o 393154
500.00/500.01	c 355.904 459.008 30566 20877431
500.00/500.01	o 382761
533.80/533.88	c 379.618 459.008 15716 21735570
533.80/533.88	o 373063
555.20/555.26	c 394.909 459.008 19331 22395510
555.20/555.26	o 372151
1081.60/1081.62	c 713.04 461.844 21653 33857450
1081.60/1081.62	o 333454
1300.81/1300.83	c 788.409 461.844 25015 39367041
1300.81/1300.83	o 332745
1800.03/1800.00	s SATISFIABLE
1800.03/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444

Verifier Data 

OK	332745

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701323-1278539301/watcher-2701323-1278539301 -o /tmp/evaluation-result-2701323-1278539301/solver-2701323-1278539301 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701323-1278539301.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 4/196 18937
/proc/meminfo: memFree=29569544/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=2136 CPUtime=0
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 264 0 0 0 0 0 0 0 25 0 1 0 22144270 2187264 184 4089446400 134512640 136422188 4288055616 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18937/statm: 534 184 144 467 0 65 0

[startup+0.0093569 s]
/proc/loadavg: 2.00 2.00 1.98 4/196 18937
/proc/meminfo: memFree=29569544/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=2280 CPUtime=0
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 276 0 0 0 0 0 0 0 25 0 1 0 22144270 2334720 196 4089446400 134512640 136422188 4288055616 18446744073709551615 135154854 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18937/statm: 570 196 144 467 0 101 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2280

[startup+0.100315 s]
/proc/loadavg: 2.00 2.00 1.98 4/196 18937
/proc/meminfo: memFree=29569544/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=3720 CPUtime=0.09
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 677 0 0 0 9 0 0 0 25 0 1 0 22144270 3809280 499 4089446400 134512640 136422188 4288055616 18446744073709551615 135805444 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18937/statm: 930 499 144 467 0 461 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3720

[startup+0.300273 s]
/proc/loadavg: 2.00 2.00 1.98 4/196 18937
/proc/meminfo: memFree=29569544/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=5816 CPUtime=0.29
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 1377 0 0 0 29 0 0 0 25 0 1 0 22144270 5955584 1070 4089446400 134512640 136422188 4288055616 18446744073709551615 135153613 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18937/statm: 1454 1070 144 467 0 985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5816

[startup+0.700199 s]
/proc/loadavg: 2.00 2.00 1.98 4/196 18937
/proc/meminfo: memFree=29569544/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=77240 CPUtime=0.69
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 19531 0 0 0 67 2 0 0 25 0 1 0 22144270 79093760 18233 4089446400 134512640 136422188 4288055616 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18937/statm: 19310 18235 195 467 0 18841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77240

[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18938
/proc/meminfo: memFree=29427308/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=266660 CPUtime=1.49
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 69756 0 0 0 141 8 0 0 25 0 1 0 22144270 273059840 63687 4089446400 134512640 136422188 4288055616 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18937/statm: 66665 63689 195 467 0 66196 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 266660

[startup+3.10075 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18938
/proc/meminfo: memFree=29149672/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=432584 CPUtime=3.09
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 112362 0 0 0 295 14 0 0 25 0 1 0 22144270 442966016 105442 4089446400 134512640 136422188 4288055616 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18937/statm: 108146 105442 211 467 0 107677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 432584

[startup+6.30116 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18938
/proc/meminfo: memFree=29144840/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=436072 CPUtime=6.29
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 113210 0 0 0 615 14 0 0 25 0 1 0 22144270 446537728 106290 4089446400 134512640 136422188 4288055616 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18937/statm: 109018 106290 211 467 0 108549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 436072

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18938
/proc/meminfo: memFree=29135332/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=456548 CPUtime=12.69
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 118396 0 0 0 1160 109 0 0 25 0 1 0 22144270 467505152 108613 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18937/statm: 114137 108613 239 467 0 113668 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 456548

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18938
/proc/meminfo: memFree=29134464/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=458496 CPUtime=25.49
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 119469 0 0 0 2050 499 0 0 25 0 1 0 22144270 469499904 109108 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18937/statm: 114624 109108 239 467 0 114155 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 458496

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18939
/proc/meminfo: memFree=29127908/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=465664 CPUtime=51.09
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 121647 0 0 0 3855 1254 0 0 25 0 1 0 22144270 476839936 110903 4089446400 134512640 136422188 4288055616 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 116416 110903 239 467 0 115947 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 465664

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18940
/proc/meminfo: memFree=29123036/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=102.3
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122777 0 0 0 7446 2784 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 470020

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18942
/proc/meminfo: memFree=29122852/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=162.29
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122800 0 0 0 11663 4566 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 470020

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/197 18944
/proc/meminfo: memFree=29122540/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=222.29
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122804 0 0 0 16015 6214 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 470020

[startup+282.301 s]
/proc/loadavg: 2.04 2.01 1.99 3/197 18945
/proc/meminfo: memFree=29122264/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=282.29
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122807 0 0 0 20234 7995 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 470020

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 1.99 3/197 18946
/proc/meminfo: memFree=29122468/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=342.29
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122809 0 0 0 24464 9765 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135006270 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 470020

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 18948
/proc/meminfo: memFree=29121928/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=402.29
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122812 0 0 0 28672 11557 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 470020

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 18950
/proc/meminfo: memFree=29121880/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=462.3
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122813 0 0 0 32939 13291 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 470020

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 18952
/proc/meminfo: memFree=29121712/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=522.3
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122814 0 0 0 37149 15081 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 470020

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 18953
/proc/meminfo: memFree=29121788/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=582.3
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122816 0 0 0 41360 16870 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 470020

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/197 18955
/proc/meminfo: memFree=29121868/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=642.3
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122816 0 0 0 45600 18630 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 470020

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 18969
/proc/meminfo: memFree=29120828/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470020 CPUtime=822.3
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122816 0 0 0 58273 23957 0 0 25 0 1 0 22144270 481300480 112011 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18937/statm: 117505 112011 239 467 0 117036 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 470020

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18970
/proc/meminfo: memFree=29120276/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=470680 CPUtime=882.31
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 122966 0 0 0 62546 25685 0 0 25 0 1 0 22144270 481976320 112161 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18937/statm: 117670 112161 239 467 0 117201 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 470680

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18971
/proc/meminfo: memFree=29119248/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=471472 CPUtime=942.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123167 0 0 0 66752 27480 0 0 25 0 1 0 22144270 482787328 112362 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18937/statm: 117868 112362 239 467 0 117399 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 471472

[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/197 19066
/proc/meminfo: memFree=29207460/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472264 CPUtime=1002.31
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123377 0 0 0 69057 31174 0 0 25 0 1 0 22144270 483598336 112572 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18937/statm: 118066 112572 239 467 0 117597 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 472264

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/197 19068
/proc/meminfo: memFree=29184252/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1062.31
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123528 0 0 0 70613 35618 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 472924

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 19070
/proc/meminfo: memFree=29182096/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1122.31
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123529 0 0 0 72703 39528 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 472924

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 19071
/proc/meminfo: memFree=29178824/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1182.31
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123529 0 0 0 74857 43374 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 472924

[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/197 19072
/proc/meminfo: memFree=29174448/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1242.31
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123529 0 0 0 76792 47439 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 472924

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 19074
/proc/meminfo: memFree=29170936/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1302.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123530 0 0 0 78898 51334 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 472924

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 19076
/proc/meminfo: memFree=29163576/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1362.31
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123530 0 0 0 80982 55249 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 472924

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19078
/proc/meminfo: memFree=29163388/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1422.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123530 0 0 0 82882 59350 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 472924

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19079
/proc/meminfo: memFree=29162340/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1482.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123530 0 0 0 84857 63375 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 472924

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19080
/proc/meminfo: memFree=29159944/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1542.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123530 0 0 0 86922 67310 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 472924

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19082
/proc/meminfo: memFree=29152812/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1602.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123530 0 0 0 88894 71338 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 472924

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19084
/proc/meminfo: memFree=29149924/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=472924 CPUtime=1662.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123530 0 0 0 90913 75319 0 0 25 0 1 0 22144270 484274176 112723 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118231 112723 239 467 0 117762 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 472924

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19086
/proc/meminfo: memFree=29145416/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=473452 CPUtime=1722.32
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123672 0 0 0 93055 79177 0 0 25 0 1 0 22144270 484814848 112865 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118363 112865 239 467 0 117894 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 473452

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/197 19087
/proc/meminfo: memFree=29144880/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=473452 CPUtime=1782.33
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123672 0 0 0 95263 82970 0 0 25 0 1 0 22144270 484814848 112865 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118363 112865 239 467 0 117894 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 473452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.02 2.00 3/197 19088
/proc/meminfo: memFree=29137296/32950928 swapFree=67111528/67111528
[pid=18937] ppid=18935 vsize=473452 CPUtime=1800.03
/proc/18937/stat : 18937 (pbct) R 18935 18937 17495 0 -1 4202496 123677 0 0 0 95855 84148 0 0 25 0 1 0 22144270 484814848 112870 4089446400 134512640 136422188 4288055616 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18937/statm: 118363 112870 239 467 0 117894 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 473452

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

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

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 958.559
CPU system time (s): 841.505
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 473452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 958.559
system time used= 841.505
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123678
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= 1
involuntary context switches= 20157

runsolver used 3.24751 second user time and 6.30304 second system time

The end

Launcher Data 

Begin job on node113 at 2010-07-07 23:48:21
IDJOB=2701323
IDBENCH=79560
IDSOLVER=1212
FILE ID=node113/2701323-1278539301
PBS_JOBID= 11239251
Free space on /tmp= 73744 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub4-22_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701323-1278539301/watcher-2701323-1278539301 -o /tmp/evaluation-result-2701323-1278539301/solver-2701323-1278539301 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701323-1278539301.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 084c96587a40d0de1efffb4a052bae0f
RANDOM SEED=1698972095

node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.843
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29569940 kB
Buffers:        141648 kB
Cached:        2791092 kB
SwapCached:          0 kB
Active:        1870428 kB
Inactive:      1360016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29569940 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4544 kB
Writeback:           0 kB
AnonPages:      298236 kB
Mapped:          20340 kB
Slab:            86128 kB
PageTables:       5416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1652312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73744 MiB
End job on node113 at 2010-07-08 00:18:23