Trace number 2701321

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.1MSAT (TO) 1800.07 1800.02

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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.39/0.41	c constraints 22/0 clauses 0/80622 units 0
0.39/0.41	c vars 444
0.39/0.41	c Setting top cost 54058235
9.80/9.82	c 9.57054 434.367 1 161866
9.80/9.82	o 41774363
9.90/9.99	c 9.61754 445.5 1 242706
9.90/9.99	o 39714352
10.09/10.14	c 9.64953 445.5 3 318376
10.09/10.14	o 38794259
10.19/10.29	c 9.69652 445.5 4 399342
10.19/10.29	o 28764039
10.39/10.49	c 9.75152 445.5 29 504667
10.39/10.49	o 26874249
10.59/10.64	c 9.78051 445.5 29 585433
10.59/10.64	o 13763546
10.79/10.83	c 9.82051 445.723 47 651951
10.79/10.83	o 13753742
10.90/10.98	c 9.8485 445.723 48 736797
10.90/10.98	o 10783865
11.09/11.16	c 9.8835 445.723 63 829038
11.09/11.16	o 10723555
11.29/11.37	c 9.93149 445.723 108 882476
11.29/11.37	o 10723257
11.49/11.53	c 9.96148 445.723 113 961513
11.49/11.53	o 10713051
11.59/11.68	c 9.99648 445.723 113 1036807
11.59/11.68	o 9893160
12.40/12.40	c 10.1575 445.852 213 1114982
12.40/12.40	o 9734063
12.89/12.97	c 10.3634 445.98 333 1172547
12.89/12.97	o 9733259
13.10/13.13	c 10.4174 445.98 343 1248900
13.10/13.13	o 9633153
13.30/13.40	c 10.5014 446.109 414 1333126
13.30/13.40	o 7763857
13.59/13.66	c 10.5964 446.238 519 1381824
13.59/13.66	o 7753954
13.89/13.98	c 10.6664 446.238 569 1459863
13.89/13.98	o 7693853
14.30/14.37	c 10.7634 446.367 637 1503236
14.30/14.37	o 7693452
14.49/14.59	c 10.8204 446.496 749 1582504
14.49/14.59	o 7693246
14.79/14.81	c 10.8923 445.801 867 1666133
14.79/14.81	o 7674156
15.20/15.23	c 11.0003 446.574 975 1735731
15.20/15.23	o 7673846
15.30/15.40	c 11.0393 446.574 977 1811069
15.30/15.40	o 7653352
15.49/15.57	c 11.0763 445.875 981 1887208
15.49/15.57	o 7623763
15.69/15.74	c 11.1093 446.648 983 1962568
15.69/15.74	o 7563862
16.09/16.16	c 11.2183 446.648 1098 2041512
16.09/16.16	o 7523552
16.69/16.79	c 11.3953 446.777 1399 2142770
16.69/16.79	o 6653851
16.89/16.96	c 11.4333 446.777 1418 2185981
16.89/16.96	o 6644151
18.10/18.16	c 11.7302 446.906 1923 2271793
18.10/18.16	o 5833554
18.39/18.40	c 11.7762 447.035 1958 2348165
18.39/18.40	o 5804264
18.59/18.65	c 11.8252 447.035 1976 2424796
18.59/18.65	o 5793851
18.79/18.82	c 11.8622 447.035 1989 2500595
18.79/18.82	o 5733958
18.90/18.99	c 11.9012 447.035 2003 2543496
18.90/18.99	o 5724140
19.09/19.18	c 11.9732 447.035 2018 2587587
19.09/19.18	o 5723448
19.89/19.98	c 12.2081 447.164 2196 2634196
19.89/19.98	o 5713451
20.19/20.22	c 12.2831 447.164 2234 2709976
20.19/20.22	o 5683161
20.29/20.39	c 12.3391 447.164 2239 2753418
20.29/20.39	o 5673257
20.49/20.57	c 12.3851 447.164 2247 2829285
20.49/20.57	o 5662649
20.99/21.01	c 12.5261 447.293 2458 2928188
20.99/21.01	o 5613661
21.79/21.85	c 12.7871 447.422 2940 3027408
21.79/21.85	o 5573254
22.59/22.69	c 13.04 447.551 3476 3120235
22.59/22.69	o 4813360
22.79/22.87	c 13.081 447.551 3485 3195844
22.79/22.87	o 4733254
23.40/23.40	c 13.209 447.551 3573 3252060
23.40/23.40	o 4723361
23.59/23.62	c 13.257 447.551 3590 3295495
23.59/23.62	o 4723247
23.79/23.84	c 13.325 447.68 3703 3343308
23.79/23.84	o 4714454
24.49/24.58	c 13.5229 447.68 3940 3395211
24.49/24.58	o 4713747
25.09/25.13	c 13.6719 446.98 4078 3478539
25.09/25.13	o 4683748
25.29/25.32	c 13.7129 447.754 4084 3553832
25.29/25.32	o 4553654
26.19/26.24	c 14.0919 447.184 4829 3627420
26.19/26.24	o 4553151
26.59/26.67	c 14.2578 447.258 5032 3713911
26.59/26.67	o 3753453
26.89/26.94	c 14.3638 448.031 5050 3789292
26.89/26.94	o 3663953
27.29/27.32	c 14.4768 448.16 5288 3897745
27.29/27.32	o 3653850
28.50/28.60	c 14.8117 448.289 5941 3967649
28.50/28.60	o 3653252
28.79/28.82	c 14.8627 448.289 5985 4018964
28.79/28.82	o 3643656
29.09/29.16	c 14.9557 448.418 6116 4068046
29.09/29.16	o 3633756
30.99/31.07	c 15.4676 448.676 7287 4151087
30.99/31.07	o 3633155
31.39/31.41	c 15.5526 448.676 7382 4194629
31.39/31.41	o 3624059
32.19/32.29	c 15.8116 448.805 7687 4269003
32.19/32.29	o 3623460
32.39/32.48	c 15.8956 448.805 7690 4344274
32.39/32.48	o 3553552
32.79/32.87	c 16.0316 448.805 7791 4420490
32.79/32.87	o 3493467
58.19/58.20	c 24.2073 459.008 31541 5183676
58.19/58.20	o 2684465
58.39/58.41	c 24.2793 459.008 11602 5259414
58.39/58.41	o 2673952
58.89/58.95	c 24.5013 459.008 11935 5316804
58.89/58.95	o 2673559
59.40/59.45	c 24.6922 459.008 12053 5369405
59.40/59.45	o 2663564
59.69/59.70	c 24.7632 459.008 12162 5416212
59.69/59.70	o 2663150
59.79/59.88	c 24.8102 459.008 12170 5460445
59.79/59.88	o 2653250
59.99/60.05	c 24.8542 459.008 12174 5502339
59.99/60.05	o 2643552
60.59/60.66	c 25.0362 459.008 12627 5562091
60.59/60.66	o 2633947
60.99/61.06	c 25.1312 459.008 12731 5648352
60.99/61.06	o 2623049
61.39/61.40	c 25.2252 459.008 12857 5729637
61.39/61.40	o 2603655
61.60/61.64	c 25.2832 459.008 12928 5788246
61.60/61.64	o 2603633
73.10/73.17	c 28.2027 459.008 19136 5969767
73.10/73.17	o 2603559
77.79/77.87	c 29.5995 459.008 22648 6188168
77.79/77.87	o 1884256
78.00/78.05	c 29.6565 459.008 22649 6263315
78.00/78.05	o 1743756
78.19/78.22	c 29.7155 459.008 22653 6294740
78.19/78.22	o 1743657
78.39/78.40	c 29.7795 459.008 22655 6369782
78.39/78.40	o 1643849
79.69/79.71	c 30.2254 459.008 23317 6425829
79.69/79.71	o 1643755
82.80/82.87	c 31.0963 459.008 25459 6568325
82.80/82.87	o 1573656
85.80/85.88	c 32.0101 459.008 26978 6705448
85.80/85.88	o 1553246
89.70/89.72	c 32.961 459.008 12205 6807040
89.70/89.72	o 1543253
91.09/91.11	c 33.4339 459.008 13075 6905180
91.09/91.11	o 1533658
93.79/93.86	c 34.6167 459.008 17095 7039013
93.79/93.86	o 1533252
113.30/113.32	c 40.1849 459.008 32406 7564636
113.30/113.32	o 774346
113.50/113.51	c 40.2409 459.008 11670 7639942
113.50/113.51	o 763747
113.59/113.68	c 40.2769 459.008 11671 7714941
113.59/113.68	o 723954
113.80/113.84	c 40.3199 459.008 11675 7780822
113.80/113.84	o 723851
113.89/113.99	c 40.3569 459.008 3638 7806490
113.89/113.99	o 723846
114.09/114.14	c 40.3909 459.008 3639 7849192
114.09/114.14	o 714042
114.50/114.50	c 40.4748 459.008 3740 7933007
114.50/114.50	o 653643
114.60/114.65	c 40.5058 459.008 3754 7976432
114.60/114.65	o 643745
114.80/114.88	c 40.5728 459.008 3867 8024997
114.80/114.88	o 643352
114.99/115.03	c 40.6128 459.008 3871 8066908
114.99/115.03	o 634348
115.20/115.25	c 40.6638 459.008 3930 8114029
115.20/115.25	o 633744
116.40/116.49	c 40.9808 459.008 4579 8180954
116.40/116.49	o 623861
116.99/117.06	c 41.1237 459.008 5008 8241698
116.99/117.07	o 623148
117.19/117.26	c 41.1637 459.008 5040 8286820
117.19/117.26	o 613555
117.39/117.43	c 41.2027 459.008 5082 8314934
117.39/117.43	o 613457
117.89/117.96	c 41.4107 459.008 5269 8363496
117.89/117.96	o 613156
118.09/118.12	c 41.4737 459.008 5271 8438546
118.09/118.12	o 603057
119.80/119.87	c 42.0386 459.008 6793 8522167
119.80/119.87	o 602639
123.49/123.56	c 43.2034 459.008 10258 8700242
123.49/123.56	o 593464
123.89/123.90	c 43.3084 459.008 10430 8762600
123.89/123.90	o 593054
124.89/124.92	c 43.7124 459.008 11260 8862075
124.89/124.92	o 592753
125.10/125.17	c 43.8013 459.008 11368 8940151
125.10/125.17	o 553350
128.70/128.70	c 44.8802 459.008 14483 9149915
128.70/128.71	o 523356
169.69/169.79	c 56.9383 459.008 23566 10328633
169.69/169.79	o 512944
170.29/170.36	c 57.1583 459.008 24109 10393867
170.29/170.36	o 512754
176.09/176.12	c 58.8251 459.008 29098 10623612
176.09/176.12	o 503563
179.50/179.55	c 59.9749 459.008 32776 10782366
179.50/179.55	o 503553
222.20/222.28	c 75.9964 459.008 20696 12673719
222.20/222.28	o 452548
222.40/222.43	c 76.0274 459.008 20702 12715541
222.40/222.43	o 442750
258.89/258.97	c 87.1268 459.008 12493 13883643
258.89/258.97	o 433052
313.40/313.49	c 104.384 459.008 30290 15757672
313.40/313.49	o 413643
317.91/317.94	c 105.687 459.008 12248 15946941
317.91/317.94	o 413055
328.91/328.97	c 109.004 459.008 24138 16341544
328.91/328.97	o 413047
330.30/330.35	c 109.442 459.008 25685 16456603
330.30/330.35	o 403955
358.30/358.38	c 118.345 459.008 14737 17243124
358.30/358.38	o 402857
391.90/391.97	c 127.905 459.008 22565 18352939
391.90/391.97	o 393154
466.10/466.19	c 153.228 459.008 30566 20877431
466.10/466.19	o 382761
496.20/496.26	c 162.351 459.008 15716 21735570
496.20/496.26	o 373063
515.20/515.25	c 169.006 459.008 19331 22395510
515.20/515.25	o 372151
1006.62/1006.65	c 314.37 461.844 21653 33857450
1006.62/1006.65	o 333454
1208.72/1208.70	c 380.501 461.844 25015 39367041
1208.72/1208.70	o 332745
1800.04/1800.00	s SATISFIABLE
1800.04/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-2701321-1278539298/watcher-2701321-1278539298 -o /tmp/evaluation-result-2701321-1278539298/solver-2701321-1278539298 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701321-1278539298.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: 1.96 2.01 2.00 3/178 19985
/proc/meminfo: memFree=27511800/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=2136 CPUtime=0
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 263 0 0 0 0 0 0 0 25 0 1 0 22143997 2187264 183 4089446400 134512640 136421960 4289053808 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19985/statm: 534 183 144 467 0 65 0

[startup+0.067038 s]
/proc/loadavg: 1.96 2.01 2.00 3/178 19985
/proc/meminfo: memFree=27511800/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=2936 CPUtime=0.06
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 479 0 0 0 6 0 0 0 25 0 1 0 22143997 3006464 366 4089446400 134512640 136421960 4289053808 18446744073709551615 135203253 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19985/statm: 734 366 144 467 0 265 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2936

[startup+0.101029 s]
/proc/loadavg: 1.96 2.01 2.00 3/178 19985
/proc/meminfo: memFree=27511800/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=3720 CPUtime=0.1
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 677 0 0 0 10 0 0 0 25 0 1 0 22143997 3809280 499 4089446400 134512640 136421960 4289053808 18446744073709551615 135818496 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19985/statm: 930 499 144 467 0 461 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3720

[startup+0.300997 s]
/proc/loadavg: 1.96 2.01 2.00 3/178 19985
/proc/meminfo: memFree=27511800/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=5816 CPUtime=0.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 1386 0 0 0 30 0 0 0 25 0 1 0 22143997 5955584 1079 4089446400 134512640 136421960 4289053808 18446744073709551615 135260654 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19985/statm: 1454 1079 144 467 0 985 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5816

[startup+0.700931 s]
/proc/loadavg: 1.96 2.01 2.00 3/178 19985
/proc/meminfo: memFree=27511800/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=78428 CPUtime=0.69
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 19850 0 0 0 67 2 0 0 25 0 1 0 22143997 80310272 18552 4089446400 134512640 136421960 4289053808 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 19607 18555 194 467 0 19138 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78428

[startup+1.50079 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 19986
/proc/meminfo: memFree=27368076/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=268112 CPUtime=1.49
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 70109 0 0 0 140 9 0 0 25 0 1 0 22143997 274546688 64040 4089446400 134512640 136421960 4289053808 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 67028 64042 194 467 0 66559 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268112

[startup+3.1005 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 19986
/proc/meminfo: memFree=27092052/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=432584 CPUtime=3.09
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 112362 0 0 0 295 14 0 0 25 0 1 0 22143997 442966016 105442 4089446400 134512640 136421960 4289053808 18446744073709551615 135017499 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 108146 105442 211 467 0 107677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 432584

[startup+6.30096 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 19987
/proc/meminfo: memFree=27087196/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=436072 CPUtime=6.29
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 113211 0 0 0 615 14 0 0 25 0 1 0 22143997 446537728 106291 4089446400 134512640 136421960 4289053808 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 109018 106291 211 467 0 108549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 436072

[startup+12.7008 s]
/proc/loadavg: 1.97 2.01 2.00 3/179 19987
/proc/meminfo: memFree=27077160/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=456548 CPUtime=12.69
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 118395 0 0 0 1025 244 0 0 25 0 1 0 22143997 467505152 108612 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 114137 108612 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: 1.97 2.01 2.00 3/179 19987
/proc/meminfo: memFree=27075144/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=458496 CPUtime=25.49
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 119468 0 0 0 1378 1171 0 0 25 0 1 0 22143997 469499904 109107 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 114624 109107 239 467 0 114155 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 458496

[startup+51.1011 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 19987
/proc/meminfo: memFree=27066424/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=465664 CPUtime=51.09
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 121651 0 0 0 2176 2933 0 0 25 0 1 0 22143997 476839936 110907 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 116416 110907 239 467 0 115947 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 465664

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 19989
/proc/meminfo: memFree=27059320/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=102.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122776 0 0 0 3691 6539 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 470020

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 19991
/proc/meminfo: memFree=27056784/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=162.29
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122799 0 0 0 5476 10753 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 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: 1.99 2.00 2.00 3/179 19992
/proc/meminfo: memFree=27053016/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=222.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122804 0 0 0 7600 14630 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 470020

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 19993
/proc/meminfo: memFree=27050368/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=282.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122806 0 0 0 9433 18797 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 470020

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 19995
/proc/meminfo: memFree=27047964/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=342.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122810 0 0 0 11309 22921 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 470020

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 19997
/proc/meminfo: memFree=27045556/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=402.3
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122812 0 0 0 13135 27095 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 470020

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 19999
/proc/meminfo: memFree=27041304/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=462.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122812 0 0 0 15225 31006 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 470020

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20000
/proc/meminfo: memFree=27037036/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=522.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122815 0 0 0 17104 35127 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 470020

[startup+582.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 20001
/proc/meminfo: memFree=27033168/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=582.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122815 0 0 0 19027 39204 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 470020

[startup+642.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20003
/proc/meminfo: memFree=27030156/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470020 CPUtime=642.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122815 0 0 0 20918 43314 0 0 25 0 1 0 22143997 481300480 112010 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117505 112010 239 467 0 117036 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 470020

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20017
/proc/meminfo: memFree=27020904/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=470680 CPUtime=822.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 122965 0 0 0 26667 55564 0 0 25 0 1 0 22143997 481976320 112160 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117670 112160 239 467 0 117201 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 470680

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20018
/proc/meminfo: memFree=27020120/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=471472 CPUtime=882.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123166 0 0 0 28426 59805 0 0 25 0 1 0 22143997 482787328 112361 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 117868 112361 239 467 0 117399 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 471472

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20020
/proc/meminfo: memFree=27018972/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472264 CPUtime=942.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123376 0 0 0 29744 64488 0 0 25 0 1 0 22143997 483598336 112571 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118066 112571 239 467 0 117597 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 472264

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20022
/proc/meminfo: memFree=27018176/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1002.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123527 0 0 0 31295 68937 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 472924

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 20024
/proc/meminfo: memFree=27018248/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1062.31
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123528 0 0 0 33324 72907 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 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.02 2.01 2.00 3/179 20025
/proc/meminfo: memFree=27018204/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1122.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123528 0 0 0 35222 77010 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 472924

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20026
/proc/meminfo: memFree=27018160/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1182.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123528 0 0 0 37199 81033 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 472924

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20028
/proc/meminfo: memFree=27017616/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1242.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123529 0 0 0 39228 85004 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 472924

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20030
/proc/meminfo: memFree=27017832/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1302.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123529 0 0 0 41019 89214 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 472924

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20032
/proc/meminfo: memFree=27017904/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1362.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123529 0 0 0 42892 93340 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 472924

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20033
/proc/meminfo: memFree=27014400/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1422.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123529 0 0 0 44723 97510 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 472924

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20034
/proc/meminfo: memFree=27010132/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1482.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123529 0 0 0 46621 101612 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 239 467 0 117762 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 472924

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20036
/proc/meminfo: memFree=27004400/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=472924 CPUtime=1542.32
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123529 0 0 0 48602 105630 0 0 25 0 1 0 22143997 484274176 112722 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118231 112722 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: 1.95 1.98 1.99 3/179 20066
/proc/meminfo: memFree=28764560/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=473452 CPUtime=1602.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123671 0 0 0 50705 109528 0 0 25 0 1 0 22143997 484814848 112864 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118363 112864 239 467 0 117894 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 473452

[startup+1662.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 20068
/proc/meminfo: memFree=28763408/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=473452 CPUtime=1662.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123676 0 0 0 52797 113436 0 0 25 0 1 0 22143997 484814848 112869 4089446400 134512640 136421960 4289053808 18446744073709551615 135686952 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118363 112869 239 467 0 117894 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 473452

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20069
/proc/meminfo: memFree=28763492/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=473584 CPUtime=1722.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123700 0 0 0 54931 117302 0 0 25 0 1 0 22143997 484950016 112893 4089446400 134512640 136421960 4289053808 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118396 112893 239 467 0 117927 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 473584

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20070
/proc/meminfo: memFree=28762720/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=474112 CPUtime=1782.33
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123820 0 0 0 56503 121730 0 0 25 0 1 0 22143997 485490688 113013 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118528 113013 239 467 0 118059 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 474112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20071
/proc/meminfo: memFree=28762836/32951124 swapFree=67111528/67111528
[pid=19985] ppid=19983 vsize=474112 CPUtime=1800.04
/proc/19985/stat : 19985 (pbct) R 19983 19985 18087 0 -1 4202496 123820 0 0 0 56951 123053 0 0 25 0 1 0 22143997 485490688 113013 4089446400 134512640 136421960 4289053808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19985/statm: 118528 113013 239 467 0 118059 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 474112

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.02
CPU time (s): 1800.07
CPU user time (s): 569.517
CPU system time (s): 1230.55
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 474112

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

runsolver used 2.92755 second user time and 6.89995 second system time

The end

Launcher Data 

Begin job on node107 at 2010-07-07 23:48:18
IDJOB=2701321
IDBENCH=79560
IDSOLVER=1208
FILE ID=node107/2701321-1278539298
PBS_JOBID= 11239264
Free space on /tmp= 73640 MiB

SOLVER NAME= PB/CT 0.1
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-2701321-1278539298/watcher-2701321-1278539298 -o /tmp/evaluation-result-2701321-1278539298/solver-2701321-1278539298 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701321-1278539298.wbo

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

MD5SUM BENCH= 084c96587a40d0de1efffb4a052bae0f
RANDOM SEED=621193998

node107.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.788
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.57
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.788
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	: 5265.21
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.788
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.75
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.788
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.82
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.788
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.788
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.83
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.788
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.74
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.788
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27512196 kB
Buffers:        137052 kB
Cached:        3372888 kB
SwapCached:          0 kB
Active:        2595928 kB
Inactive:      2679216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27512196 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4376 kB
Writeback:           0 kB
AnonPages:     1765376 kB
Mapped:          15536 kB
Slab:            96184 kB
PageTables:       8172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1990816 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= 73648 MiB
End job on node107 at 2010-07-08 00:18:20