Trace number 459112

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)73 1800.06 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex7.b.opb
MD5SUMa226ce89d775a348c35d29e51d9044b6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1108
Total number of constraints2313
Number of constraints which are clauses2313
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint295
Number of terms in the objective function 1108
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1108
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1108
Number of bits of the biggest sum of numbers11
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/459112-1178649169/instance-459112-1178649169.opb ......
0.19/0.21	c done parsing opb.
0.19/0.21	o 1042
0.19/0.21	o 1033
0.19/0.22	o 1032
0.19/0.23	o 1031
0.19/0.23	o 1030
0.19/0.24	o 1029
0.19/0.25	o 1028
0.19/0.25	o 1027
0.19/0.26	o 1026
0.19/0.27	o 1025
0.19/0.27	o 1024
0.19/0.28	o 1023
0.19/0.29	o 1022
0.19/0.29	o 1021
0.29/0.30	o 1020
0.29/0.31	o 1019
0.29/0.31	o 1018
0.29/0.32	o 1017
0.29/0.33	o 1016
0.29/0.34	o 919
0.29/0.34	o 911
0.29/0.35	o 910
0.29/0.36	o 907
0.29/0.36	o 906
0.29/0.37	o 905
0.29/0.37	o 904
0.29/0.38	o 903
0.29/0.39	o 902
0.29/0.39	o 901
0.29/0.40	o 900
0.39/0.40	o 899
0.39/0.41	o 898
0.39/0.41	o 897
0.39/0.42	o 896
0.39/0.43	o 895
0.39/0.43	o 894
0.39/0.44	o 893
0.39/0.44	o 892
0.39/0.45	o 891
0.39/0.46	o 890
0.39/0.46	o 889
0.39/0.47	o 888
0.39/0.47	o 887
0.39/0.48	o 886
0.39/0.48	o 885
0.39/0.49	o 884
0.39/0.50	o 883
0.49/0.50	o 882
0.49/0.51	o 881
0.49/0.51	o 880
0.49/0.52	o 879
0.49/0.52	o 878
0.49/0.53	o 877
0.49/0.53	o 876
0.49/0.54	o 875
0.49/0.55	o 874
0.49/0.55	o 873
0.49/0.56	o 872
0.49/0.56	o 871
0.49/0.57	o 870
0.49/0.57	o 869
0.49/0.58	o 868
0.49/0.59	o 867
0.49/0.59	o 866
0.49/0.60	o 865
0.59/0.60	o 864
0.59/0.61	o 863
0.59/0.61	o 862
0.59/0.62	o 861
0.59/0.63	o 860
0.59/0.63	o 859
0.59/0.64	o 858
0.59/0.64	o 857
0.59/0.65	o 856
0.59/0.65	o 855
0.59/0.66	o 854
0.59/0.67	o 853
0.59/0.67	o 852
0.59/0.68	o 851
0.59/0.68	o 850
0.59/0.69	o 849
0.59/0.70	o 783
0.69/0.70	o 782
0.69/0.71	o 775
0.69/0.71	o 774
0.69/0.72	o 773
0.69/0.72	o 772
0.69/0.73	o 770
0.69/0.73	o 768
0.69/0.74	o 767
0.69/0.74	o 766
0.69/0.75	o 765
0.69/0.75	o 764
0.69/0.76	o 763
0.69/0.76	o 762
0.69/0.77	o 761
0.69/0.77	o 760
0.69/0.78	o 759
0.69/0.78	o 758
0.69/0.79	o 757
0.69/0.79	o 756
0.79/0.80	o 755
0.79/0.80	o 754
0.79/0.81	o 753
0.79/0.81	o 752
0.79/0.82	o 751
0.79/0.82	o 750
0.79/0.83	o 749
0.79/0.83	o 748
0.79/0.84	o 747
0.79/0.84	o 746
0.79/0.85	o 745
0.79/0.85	o 744
0.79/0.86	o 743
0.79/0.86	o 742
0.79/0.87	o 741
0.79/0.87	o 740
0.79/0.88	o 739
0.79/0.88	o 738
0.79/0.89	o 737
0.79/0.89	o 736
0.89/0.90	o 735
0.89/0.90	o 734
0.89/0.91	o 733
0.89/0.91	o 732
0.89/0.92	o 731
0.89/0.92	o 730
0.89/0.92	o 729
0.89/0.93	o 728
0.89/0.93	o 727
0.89/0.94	o 726
0.89/0.94	o 725
0.89/0.95	o 724
0.89/0.95	o 723
0.89/0.96	o 722
0.89/0.96	o 721
0.89/0.97	o 720
0.89/0.97	o 719
0.89/0.98	o 718
0.89/0.98	o 717
0.89/0.99	o 523
0.89/0.99	o 522
0.99/1.00	o 521
0.99/1.00	o 520
0.99/1.00	o 519
0.99/1.01	o 518
0.99/1.01	o 517
0.99/1.01	o 514
0.99/1.02	o 513
0.99/1.02	o 512
0.99/1.03	o 511
0.99/1.03	o 510
0.99/1.04	o 407
0.99/1.04	o 397
0.99/1.04	o 396
0.99/1.05	o 395
0.99/1.05	o 394
0.99/1.05	o 393
0.99/1.05	o 392
0.99/1.06	o 391
0.99/1.06	o 390
0.99/1.06	o 389
0.99/1.07	o 388
0.99/1.07	o 387
0.99/1.07	o 386
0.99/1.08	o 385
0.99/1.08	o 384
0.99/1.08	o 383
0.99/1.08	o 382
0.99/1.09	o 381
0.99/1.09	o 380
0.99/1.09	o 379
0.99/1.10	o 378
0.99/1.10	o 377
1.09/1.10	o 376
1.09/1.10	o 375
1.09/1.11	o 374
1.09/1.11	o 373
1.09/1.11	o 372
1.09/1.12	o 371
1.09/1.12	o 370
1.09/1.12	o 369
1.09/1.12	o 368
1.09/1.13	o 367
1.09/1.13	o 366
1.09/1.13	o 365
1.09/1.14	o 364
1.09/1.14	o 363
1.09/1.14	o 362
1.09/1.16	o 361
1.09/1.16	o 214
1.09/1.16	o 213
1.09/1.17	o 212
1.09/1.17	o 211
1.09/1.17	o 207
1.09/1.17	o 206
1.09/1.18	o 205
1.09/1.18	o 204
1.09/1.18	o 203
1.09/1.19	o 202
1.09/1.19	o 201
1.09/1.19	o 200
1.09/1.19	o 199
1.09/1.20	o 198
1.19/1.20	o 197
1.19/1.21	o 159
1.19/1.21	o 158
1.19/1.22	o 157
1.19/1.22	o 140
1.19/1.22	o 139
1.19/1.23	o 138
1.19/1.23	o 137
1.19/1.23	o 136
1.19/1.23	o 135
1.19/1.23	o 134
1.19/1.24	o 133
1.19/1.24	o 132
1.19/1.25	o 131
1.19/1.25	o 88
1.19/1.25	o 85
1.19/1.25	o 80
1.19/1.26	o 79
1.19/1.26	o 78
1.19/1.26	o 77
1.19/1.26	o 76
1.19/1.26	o 75
1.19/1.27	o 74
1.19/1.27	o 73
1800.04/1800.80	s SATISFIABLE
1800.04/1800.80	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 -x101 -x1010 x1011 -x1012 -x1013 -x1014
1800.04/1800.80	v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x103 -x1030
1800.04/1800.80	v -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.04/1800.80	v x1048 -x1049 -x105 -x1050 -x1051 x1052 -x1053 x1054 x1055 -x1056 -x1057 -x1058 x1059 -x106 -x1060 -x1061 -x1062 -x1063
1800.04/1800.80	v -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x107 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108
1800.04/1800.80	v -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096
1800.04/1800.80	v -x1097 -x1098 -x1099 -x11 -x110 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 x1108 -x111 -x112 -x113 -x114 -x115
1800.04/1800.80	v -x116 -x117 -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134
1800.04/1800.80	v -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153
1800.04/1800.80	v -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172
1800.04/1800.80	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191
1800.04/1800.80	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21
1800.04/1800.80	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x22 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229
1800.04/1800.80	v -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248
1800.04/1800.80	v -x249 -x25 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267
1800.04/1800.80	v -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286
1800.04/1800.80	v -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304
1800.04/1800.80	v -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x32 -x320 -x321 -x322 -x323
1800.04/1800.80	v -x324 -x325 -x326 -x327 -x328 -x329 -x33 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342
1800.04/1800.80	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361
1800.04/1800.80	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380
1800.04/1800.80	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4
1800.04/1800.80	v -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418
1800.04/1800.80	v -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.04/1800.80	v -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 x453 -x454 -x455 -x456
1800.04/1800.80	v -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x47 -x470 -x471 -x472 -x473 -x474 -x475
1800.04/1800.80	v -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494
1800.04/1800.80	v -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512
1800.04/1800.80	v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531
1800.04/1800.80	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550
1800.04/1800.80	v -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57
1800.04/1800.80	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1800.04/1800.80	v -x59 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608
1800.04/1800.80	v -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627
1800.04/1800.80	v -x628 -x629 -x63 x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1800.04/1800.80	v -x647 x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 x662 -x663 -x664 -x665
1800.04/1800.80	v -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684
1800.04/1800.80	v -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 x702 -x703
1800.04/1800.80	v -x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 x722 -x723
1800.04/1800.80	v -x724 -x725 -x726 x727 x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742
1800.04/1800.80	v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x76 -x760 -x761
1800.04/1800.80	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 -x779 -x78 -x780 -x781
1800.04/1800.80	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80
1800.04/1800.80	v x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x81 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.04/1800.80	v -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838
1800.04/1800.80	v -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 x852 -x853 -x854 x855 -x856 -x857
1800.04/1800.80	v -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876
1800.04/1800.80	v -x877 -x878 -x879 -x88 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 x893 -x894 -x895
1800.04/1800.80	v -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 x910 -x911 x912 -x913 x914
1800.04/1800.80	v -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 x931 -x932 -x933
1800.04/1800.80	v -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 x951 -x952
1800.04/1800.80	v -x953 -x954 -x955 -x956 x957 x958 -x959 -x96 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 x969 -x97 -x970 -x971 -x972
1800.04/1800.80	v -x973 -x974 -x975 -x976 x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991
1800.04/1800.80	v x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	73

Conversion Script Data (download as text)

/tmp/evaluation/459112-1178649169/instance-459112-1178649169.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/node38/watcher-459112-1178649169 -o ROOT/results/node38/solver-459112-1178649169 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459112-1178649169/instance-459112-1178649169.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: 0.92 0.97 0.97 3/77 32176
/proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=1456 CPUtime=0
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 174 0 0 0 0 0 0 0 18 0 1 0 297083533 1490944 156 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 364 156 84 219 0 141 0

[startup+0.103876 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 32176
/proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=1848 CPUtime=0.1
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 275 0 0 0 10 0 0 0 18 0 1 0 297083533 1892352 257 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 462 257 86 219 0 239 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1848

[startup+0.202893 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 32176
/proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=2564 CPUtime=0.19
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 370 0 0 0 19 0 0 0 18 0 1 0 297083533 2625536 352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 641 352 86 219 0 418 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2564

[startup+0.301913 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 32176
/proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=2560 CPUtime=0.29
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 387 0 0 0 29 0 0 0 19 0 1 0 297083533 2621440 369 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 640 369 101 219 0 417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2560

[startup+0.702989 s]
/proc/loadavg: 0.92 0.97 0.97 3/77 32176
/proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=2560 CPUtime=0.69
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 405 0 0 0 64 5 0 0 23 0 1 0 297083533 2621440 387 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 640 387 102 219 0 417 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2560

[startup+1.50114 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1531016/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=2824 CPUtime=1.48
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 547 0 0 0 135 13 0 0 25 0 1 0 297083533 2891776 529 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 706 529 102 219 0 483 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 2824

[startup+3.10145 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1529928/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=3980 CPUtime=3.08
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 750 0 0 0 295 13 0 0 25 0 1 0 297083533 4075520 732 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 995 732 102 219 0 772 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 3980

[startup+6.30106 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1528328/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=6224 CPUtime=6.29
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 1105 0 0 0 615 14 0 0 25 0 1 0 297083533 6373376 1087 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 1556 1087 102 219 0 1333 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6224

[startup+12.7013 s]
/proc/loadavg: 0.94 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1525512/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=10644 CPUtime=12.69
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 1855 0 0 0 1254 15 0 0 25 0 1 0 297083533 10899456 1788 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 2661 1788 102 219 0 2438 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10644

[startup+25.5018 s]
/proc/loadavg: 0.95 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1524872/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=10772 CPUtime=25.48
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 1953 0 0 0 2533 15 0 0 25 0 1 0 297083533 11030528 1886 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 2693 1886 102 219 0 2470 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10772

[startup+51.1017 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1524168/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=10904 CPUtime=51.07
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 2129 0 0 0 5092 15 0 0 25 0 1 0 297083533 11165696 2062 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 2726 2062 102 219 0 2503 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10904

[startup+102.303 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1521928/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=11312 CPUtime=102.25
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 2681 0 0 0 10208 17 0 0 25 0 1 0 297083533 11583488 2614 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 2828 2614 102 219 0 2605 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 11312

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1521480/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=11960 CPUtime=162.23
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 2881 0 0 0 16205 18 0 0 25 0 1 0 297083533 12247040 2717 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 2990 2717 102 219 0 2767 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 11960

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32177
/proc/meminfo: memFree=1521032/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=12376 CPUtime=222.21
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3003 0 0 0 22202 19 0 0 25 0 1 0 297083533 12673024 2839 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3094 2839 102 219 0 2871 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 12376

[startup+282.301 s]
/proc/loadavg: 1.07 0.99 0.98 2/78 32177
/proc/meminfo: memFree=1520776/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=12504 CPUtime=282.18
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3046 0 0 0 28198 20 0 0 25 0 1 0 297083533 12804096 2882 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3126 2882 102 219 0 2903 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 12504

[startup+342.302 s]
/proc/loadavg: 1.06 1.00 0.98 2/78 32177
/proc/meminfo: memFree=1520520/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=12632 CPUtime=342.16
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3115 0 0 0 34195 21 0 0 25 0 1 0 297083533 12935168 2951 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3158 2951 102 219 0 2935 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 12632

[startup+402.301 s]
/proc/loadavg: 1.08 1.02 0.99 2/78 32177
/proc/meminfo: memFree=1520072/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=13648 CPUtime=402.14
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3369 0 0 0 40192 22 0 0 25 0 1 0 297083533 13975552 3012 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3412 3012 102 219 0 3189 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 13648

[startup+462.302 s]
/proc/loadavg: 1.08 1.03 0.99 2/78 32177
/proc/meminfo: memFree=1520072/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=13816 CPUtime=462.12
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3440 0 0 0 46189 23 0 0 25 0 1 0 297083533 14147584 3083 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3454 3083 102 219 0 3231 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 13816

[startup+522.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 32177
/proc/meminfo: memFree=1519816/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=13816 CPUtime=522.1
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3486 0 0 0 52186 24 0 0 25 0 1 0 297083533 14147584 3129 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3454 3129 102 219 0 3231 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 13816

[startup+582.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/78 32177
/proc/meminfo: memFree=1519624/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=13940 CPUtime=582.07
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3539 0 0 0 58183 24 0 0 25 0 1 0 297083533 14274560 3182 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3485 3182 102 219 0 3262 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 13940

[startup+642.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/78 32177
/proc/meminfo: memFree=1519240/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=14204 CPUtime=642.05
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3630 0 0 0 64179 26 0 0 25 0 1 0 297083533 14544896 3273 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3551 3273 102 219 0 3328 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 14204


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

[startup+882.306 s]
/proc/loadavg: 1.13 1.07 1.01 2/78 32177
/proc/meminfo: memFree=1518664/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=14500 CPUtime=881.97
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3794 0 0 0 88166 31 0 0 25 0 1 0 297083533 14848000 3437 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 3625 3437 102 219 0 3402 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 14500

[startup+942.301 s]
/proc/loadavg: 1.32 1.13 1.03 2/78 32177
/proc/meminfo: memFree=1518408/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=16252 CPUtime=941.94
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4216 0 0 0 94161 33 0 0 25 0 1 0 297083533 16642048 3474 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4063 3474 102 219 0 3840 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 16252

[startup+1002.3 s]
/proc/loadavg: 1.23 1.14 1.03 2/78 32177
/proc/meminfo: memFree=1518280/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=16392 CPUtime=1001.92
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4260 0 0 0 100158 34 0 0 25 0 1 0 297083533 16785408 3518 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4098 3518 102 219 0 3875 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 16392

[startup+1062.3 s]
/proc/loadavg: 1.15 1.12 1.03 2/78 32177
/proc/meminfo: memFree=1518152/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=16392 CPUtime=1061.89
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4308 0 0 0 106154 35 0 0 25 0 1 0 297083533 16785408 3566 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4098 3566 102 219 0 3875 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 16392

[startup+1122.3 s]
/proc/loadavg: 1.11 1.11 1.03 2/78 32177
/proc/meminfo: memFree=1517896/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=16584 CPUtime=1121.87
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4362 0 0 0 112151 36 0 0 25 0 1 0 297083533 16982016 3620 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4146 3620 102 219 0 3923 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 16584

[startup+1182.3 s]
/proc/loadavg: 1.04 1.09 1.02 2/78 32177
/proc/meminfo: memFree=1517704/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=16704 CPUtime=1181.85
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4401 0 0 0 118148 37 0 0 25 0 1 0 297083533 17104896 3659 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4176 3659 102 219 0 3953 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 16704

[startup+1242.3 s]
/proc/loadavg: 1.01 1.07 1.02 2/78 32177
/proc/meminfo: memFree=1517512/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=16852 CPUtime=1241.83
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4463 0 0 0 124144 39 0 0 25 0 1 0 297083533 17256448 3721 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4213 3721 102 219 0 3990 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 16852

[startup+1302.3 s]
/proc/loadavg: 1.08 1.09 1.02 2/78 32177
/proc/meminfo: memFree=1517256/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=16984 CPUtime=1301.8
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4511 0 0 0 130140 40 0 0 25 0 1 0 297083533 17391616 3769 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4246 3769 102 219 0 4023 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 16984

[startup+1362.3 s]
/proc/loadavg: 1.03 1.07 1.02 2/78 32177
/proc/meminfo: memFree=1517000/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17108 CPUtime=1361.79
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4577 0 0 0 136136 43 0 0 25 0 1 0 297083533 17518592 3835 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4277 3835 102 219 0 4054 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 17108

[startup+1422.3 s]
/proc/loadavg: 1.01 1.05 1.01 2/78 32177
/proc/meminfo: memFree=1516808/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17248 CPUtime=1421.76
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4617 0 0 0 142132 44 0 0 25 0 1 0 297083533 17661952 3875 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4312 3875 102 219 0 4089 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 17248

[startup+1482.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/78 32177
/proc/meminfo: memFree=1516680/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17248 CPUtime=1481.74
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4641 0 0 0 148129 45 0 0 25 0 1 0 297083533 17661952 3899 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4312 3899 102 219 0 4089 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 17248

[startup+1542.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 32177
/proc/meminfo: memFree=1516552/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17400 CPUtime=1541.72
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4686 0 0 0 154125 47 0 0 25 0 1 0 297083533 17817600 3944 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4350 3944 102 219 0 4127 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 17400

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 32177
/proc/meminfo: memFree=1516360/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17400 CPUtime=1601.69
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4723 0 0 0 160121 48 0 0 25 0 1 0 297083533 17817600 3981 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4350 3981 102 219 0 4127 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 17400

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 32177
/proc/meminfo: memFree=1516104/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17560 CPUtime=1661.67
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4787 0 0 0 166118 49 0 0 25 0 1 0 297083533 17981440 4045 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4390 4045 102 219 0 4167 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 17560

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/84 32315
/proc/meminfo: memFree=1514704/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17560 CPUtime=1721.59
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4815 0 0 0 172108 51 0 0 25 0 1 0 297083533 17981440 4073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4390 4073 102 219 0 4167 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 17560

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 32375
/proc/meminfo: memFree=1515656/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17728 CPUtime=1781.54
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4864 0 0 0 178101 53 0 0 25 0 1 0 297083533 18153472 4122 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4432 4122 102 219 0 4209 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 17728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32375
/proc/meminfo: memFree=1515592/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17728 CPUtime=1800.04
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4880 0 0 0 179951 53 0 0 25 0 1 0 297083533 18153472 4138 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4432 4138 102 219 0 4209 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 17728

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32375
/proc/meminfo: memFree=1515592/2055920 swapFree=4154688/4192956
[pid=32176] ppid=32174 vsize=17728 CPUtime=1800.04
/proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4880 0 0 0 179951 53 0 0 25 0 1 0 297083533 18153472 4138 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32176/statm: 4432 4138 102 219 0 4209 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 17728

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.06
CPU user time (s): 1799.51
CPU system time (s): 0.540917
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 17728

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

runsolver used 1.34879 second user time and 3.9764 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue May  8 18:32:49 UTC 2007

IDJOB= 459112
IDBENCH= 2883
IDSOLVER= 200
FILE ID= node38/459112-1178649169

PBS_JOBID= 5218354

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-459112-1178649169 -o ROOT/results/node38/conversion-459112-1178649169 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  a226ce89d775a348c35d29e51d9044b6

RANDOM SEED= 439002924

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1532712 kB
Buffers:         41092 kB
Cached:         358056 kB
SwapCached:       6880 kB
Active:         203932 kB
Inactive:       218560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532712 kB
SwapTotal:     4192956 kB
SwapFree:      4154688 kB
Dirty:            2924 kB
Writeback:           0 kB
Mapped:          30440 kB
Slab:            85940 kB
Committed_AS:  4749900 kB
PageTables:       2060 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= 66562 MiB

End job on node38 on Tue May  8 19:02:52 UTC 2007