Trace number 351396

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
sat4jPseudoCPClause 2007-03-23SAT (TO)1411 1800.33 1776

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-bell3b.opb
MD5SUMb7f7c91542d49e4b7d5c93771b085583
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1087
Best CPU time to get the best result obtained on this benchmark1800.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1087
Optimality of the best value was proved NO
Number of variables2283
Total number of constraints151
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 1780
Biggest coefficient in the objective function 24508
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525566
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261895
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525566
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.08/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.13	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.14	c no version file found!!!
0.08/0.14	c sun.arch.data.model	32
0.08/0.14	c java.version	1.6.0
0.08/0.14	c os.name	Linux
0.08/0.14	c os.version	2.6.9-22.EL.rootsmp
0.08/0.14	c os.arch	i386
0.08/0.14	c Free memory 1651659224
0.08/0.14	c Max memory 1654456320
0.08/0.14	c Total memory 1654456320
0.08/0.14	c Number of processors 2
0.20/0.20	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c Simplify asserted PB constraints to clauses
0.20/0.20	c solving /tmp/evaluation/351396-1176598079/instance-351396-1176598079.opb
0.20/0.20	c reading problem ... 
1.01/0.72	c ... done. Wall clock time 0.521s.
1.01/0.72	c CPU time (experimental) 0.5s.
1.01/0.72	c #vars     2283
1.01/0.72	c #constraints  151
4.78/2.60	c SATISFIABLE
4.78/2.60	c OPTIMIZING...
4.78/2.60	c Got one! Elapsed wall clock time (in seconds):2.399
4.78/2.61	o 24099
5.95/3.49	c Got one! Elapsed wall clock time (in seconds):3.286
5.95/3.49	o 19271
7.78/4.91	c Got one! Elapsed wall clock time (in seconds):4.711
7.78/4.91	o 13259
8.81/5.84	c Got one! Elapsed wall clock time (in seconds):5.637
8.81/5.85	o 13129
9.47/6.45	c Got one! Elapsed wall clock time (in seconds):6.248
9.47/6.45	o 4788
11.55/8.38	c Got one! Elapsed wall clock time (in seconds):8.176
11.55/8.38	o 4048
13.54/10.22	c Got one! Elapsed wall clock time (in seconds):10.022
13.54/10.23	o 4022
14.98/11.69	c Got one! Elapsed wall clock time (in seconds):11.494
14.98/11.70	o 3288
16.60/13.22	c Got one! Elapsed wall clock time (in seconds):13.018
16.60/13.22	o 3279
21.97/18.55	c Got one! Elapsed wall clock time (in seconds):18.35
21.97/18.55	o 3083
25.51/22.03	c Got one! Elapsed wall clock time (in seconds):21.827
25.51/22.03	o 3071
36.11/32.59	c Got one! Elapsed wall clock time (in seconds):32.388
36.11/32.59	o 2762
87.07/83.01	c Got one! Elapsed wall clock time (in seconds):82.812
87.07/83.02	o 1864
92.13/88.09	c Got one! Elapsed wall clock time (in seconds):87.889
92.13/88.10	o 1772
123.21/118.82	c Got one! Elapsed wall clock time (in seconds):118.621
123.21/118.82	o 1714
144.17/139.60	c Got one! Elapsed wall clock time (in seconds):139.404
144.17/139.61	o 1712
225.43/220.24	c Got one! Elapsed wall clock time (in seconds):220.041
225.43/220.24	o 1710
251.67/246.27	c Got one! Elapsed wall clock time (in seconds):246.069
251.67/246.27	o 1660
300.16/294.39	c Got one! Elapsed wall clock time (in seconds):294.188
300.16/294.39	o 1643
387.73/381.27	c Got one! Elapsed wall clock time (in seconds):381.074
387.73/381.28	o 1523
414.80/408.19	c Got one! Elapsed wall clock time (in seconds):407.99
414.80/408.19	o 1497
437.58/430.71	c Got one! Elapsed wall clock time (in seconds):430.509
437.58/430.71	o 1416
575.76/567.86	c Got one! Elapsed wall clock time (in seconds):567.659
575.76/567.86	o 1411
1800.05/1775.81	c starts		: 47
1800.05/1775.81	c conflicts		: 40693
1800.05/1775.81	c decisions		: 726965
1800.05/1775.81	c propagations		: 1574250
1800.05/1775.81	c inspects		: 475284600
1800.05/1775.81	c learnt literals	: 0
1800.05/1775.81	c learnt binary clauses	: 0
1800.05/1775.81	c learnt ternary clauses	: 0
1800.05/1775.81	c learnt clauses	: 40693
1800.05/1775.81	c root simplifications	: 0
1800.05/1775.81	c removed literals (reason simplification)	: 0
1800.05/1775.81	c reason swapping (by a shorter reason)	: 0
1800.05/1775.81	c Calls to reduceDB	: 0
1800.05/1775.81	c speed (decisions/second)	: 601.8216121482754
1800.05/1775.81	c non guided choices	1633
1800.05/1775.81	s SATISFIABLE
1800.05/1775.88	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
1800.05/1775.88	v -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
1800.05/1775.88	v -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
1800.05/1775.88	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1800.05/1775.88	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.05/1775.88	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.05/1775.88	v -x150 x151 x152 x153 x154 x155 x156 x157 x158 -x159 -x160 x161 -x162 x163 x164 x165 x166 -x167 x168 x169 x170 x171 -x172 -x173
1800.05/1775.88	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
1800.05/1775.88	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.05/1775.88	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1800.05/1775.88	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.05/1775.88	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.05/1775.88	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.05/1775.88	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1800.05/1775.88	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341
1800.05/1775.88	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1800.05/1775.88	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.05/1775.88	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404
1800.05/1775.88	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425
1800.05/1775.88	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446
1800.05/1775.88	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467
1800.05/1775.88	v x468 x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.05/1775.88	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1800.05/1775.88	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530
1800.05/1775.88	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1800.05/1775.88	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1800.05/1775.88	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1800.05/1775.88	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1800.05/1775.88	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1800.05/1775.88	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656
1800.05/1775.88	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677
1800.05/1775.88	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698
1800.05/1775.88	v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1800.05/1775.88	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1800.05/1775.88	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1800.05/1775.88	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782
1800.05/1775.88	v x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 -x799 x800 x801 -x802 -x803 -x804 -x805 -x806
1800.05/1775.88	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 x826 -x827
1800.05/1775.88	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848
1800.05/1775.88	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869
1800.05/1775.88	v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1800.05/1775.88	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
1800.05/1775.88	v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
1800.05/1775.88	v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953
1800.05/1775.88	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974
1800.05/1775.88	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1800.05/1775.88	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1800.05/1775.88	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1800.05/1775.88	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.05/1775.88	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1800.05/1775.88	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.05/1775.88	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.05/1775.88	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.05/1775.88	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.05/1775.88	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149
1800.05/1775.88	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1800.05/1775.88	v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1800.05/1775.88	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1800.05/1775.88	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.05/1775.88	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234
1800.05/1775.88	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
1800.05/1775.88	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.05/1775.88	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1800.05/1775.88	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1800.05/1775.88	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1800.05/1775.88	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1800.05/1775.88	v -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354
1800.05/1775.88	v x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 -x1363 x1364 x1365 x1366 x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373
1800.05/1775.88	v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 -x1385 -x1386 x1387 x1388 x1389 -x1390 x1391
1800.05/1775.88	v x1392 x1393 x1394 -x1395 -x1396 x1397 x1398 x1399 x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410
1800.05/1775.88	v -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427
1800.05/1775.88	v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444
1800.05/1775.88	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461
1800.05/1775.88	v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478
1800.05/1775.88	v -x1479 x1480 x1481 x1482 x1483 -x1484 x1485 x1486 -x1487 x1488 -x1489 x1490 x1491 -x1492 -x1493 x1494 x1495 x1496 x1497
1800.05/1775.88	v -x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.05/1775.88	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.05/1775.88	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.05/1775.88	v -x1550 -x1551 -x1552 x1553 x1554 x1555 x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1800.05/1775.88	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1800.05/1775.88	v -x1585 -x1586 -x1587 x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602
1800.05/1775.88	v x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 -x1619 -x1620 -x1621 -x1622
1800.05/1775.88	v -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.05/1775.88	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1800.05/1775.88	v -x1657 -x1658 -x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675
1800.05/1775.88	v -x1676 x1677 x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693
1800.05/1775.88	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1800.05/1775.88	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729
1800.05/1775.88	v x1730 x1731 x1732 x1733 x1734 x1735 x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748
1800.05/1775.88	v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765
1800.05/1775.88	v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782
1800.05/1775.88	v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799
1800.05/1775.88	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816
1800.05/1775.88	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 x1826 x1827 x1828 x1829 x1830 -x1831 -x1832 x1833 -x1834
1800.05/1775.88	v -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851
1800.05/1775.88	v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868
1800.05/1775.88	v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
1800.05/1775.88	v -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902
1800.05/1775.88	v -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919
1800.05/1775.88	v -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 x1935 -x1936 -x1937
1800.05/1775.88	v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954
1800.05/1775.88	v -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971
1800.05/1775.88	v x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
1800.05/1775.88	v x1990 x1991 x1992 x1993 x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1800.05/1775.88	v -x2008 -x2009 x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1800.05/1775.88	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1800.05/1775.88	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059
1800.05/1775.88	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076
1800.05/1775.88	v -x2077 x2078 x2079 x2080 x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094
1800.05/1775.88	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111
1800.05/1775.88	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1800.05/1775.88	v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145
1800.05/1775.88	v x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 x2158 x2159 -x2160 -x2161 -x2162 -x2163
1800.05/1775.88	v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1800.05/1775.88	v x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198
1800.05/1775.88	v -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
1800.05/1775.88	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
1800.05/1775.88	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249
1800.05/1775.88	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266
1800.05/1775.88	v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283
1800.05/1775.88	c objective function=1411
1800.05/1775.88	c Total wall clock time (ms): 1775.685

Verifier Data (download as text)

OK	1411

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-351396-1176598079 -o ROOT/results/node1/solver-351396-1176598079 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351396-1176598079/sat4jPseudoCPClause.jar /tmp/evaluation/351396-1176598079/instance-351396-1176598079.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.98 0.99 2/77 31500
/proc/meminfo: memFree=1786808/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=308 CPUtime=0
/proc/31500/stat : 31500 (java) R 31498 31500 32637 0 -1 0 58 0 0 0 0 0 0 0 18 0 1 0 135845765 315392 41 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 5831309 0 0 4096 0 0 0 0 17 1 0 0
/proc/31500/statm: 81 44 33 9 0 6 0

[startup+0.0438361 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 31500
/proc/meminfo: memFree=1786808/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1776376 CPUtime=0.02
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 3395 0 1 0 1 1 0 0 18 0 4 0 135845765 1819009024 3141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 444094 3141 982 9 0 441730 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776376

[startup+0.101843 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 31500
/proc/meminfo: memFree=1786808/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1780112 CPUtime=0.08
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 135845765 1822834688 3720 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 445028 3720 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301867 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 31500
/proc/meminfo: memFree=1786808/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1782584 CPUtime=0.34
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 5119 0 1 0 31 3 0 0 18 0 12 0 135845765 1825366016 4857 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 445646 4857 1264 9 0 443257 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1782584

[startup+0.701913 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 31500
/proc/meminfo: memFree=1786808/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1788100 CPUtime=1.01
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 8341 0 1 0 96 5 0 0 18 0 12 0 135845765 1831014400 7479 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 447025 7479 1302 9 0 444636 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 1788100

[startup+1.503 s]
/proc/loadavg: 0.92 0.98 0.99 4/90 31513
/proc/meminfo: memFree=1752272/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1796752 CPUtime=2.6
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 19049 0 1 0 251 9 0 0 18 0 13 0 135845765 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 449188 14019 1319 9 0 446799 0
[pid=31500/tid=31502] ppid=31498 vsize=1796752 CPUtime=0.99
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 9766 0 1 0 95 4 0 0 18 0 13 0 135845767 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109535182 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 135845768 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 135845768 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 135845771 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 135845771 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 135845771 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1796752 CPUtime=0.89
/proc/31500/task/31509/stat : 31509 (java) R 31498 31500 32637 0 -1 64 5315 0 0 0 86 3 0 0 23 0 13 0 135845775 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336743 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1796752 CPUtime=0.7
/proc/31500/task/31510/stat : 31510 (java) R 31498 31500 32637 0 -1 64 3242 0 0 0 69 1 0 0 19 0 13 0 135845775 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103319216 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31513] ppid=31498 vsize=1796752 CPUtime=0
/proc/31500/task/31513/stat : 31513 (java) S 31498 31500 32637 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 135845844 1839874048 14019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 1796752

[startup+3.1022 s]
/proc/loadavg: 0.92 0.98 0.99 4/90 31513
/proc/meminfo: memFree=1680976/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1799668 CPUtime=5.59
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 55728 0 1 0 534 25 0 0 18 0 13 0 135845765 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 449917 43891 1333 9 0 447528 0
[pid=31500/tid=31502] ppid=31498 vsize=1799668 CPUtime=2.39
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 37754 0 1 0 223 16 0 0 21 0 13 0 135845767 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109599959 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1799668 CPUtime=0.01
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 420 0 0 0 1 0 0 0 16 0 13 0 135845768 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1799668 CPUtime=0.01
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 333 0 0 0 1 0 0 0 16 0 13 0 135845768 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1799668 CPUtime=0
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135845771 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1799668 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1799668 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135845771 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1799668 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1799668 CPUtime=1.65
/proc/31500/task/31509/stat : 31509 (java) R 31498 31500 32637 0 -1 64 7682 0 0 0 162 3 0 0 17 0 13 0 135845775 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105427761 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1799668 CPUtime=1.48
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 8807 0 0 0 144 4 0 0 16 0 13 0 135845775 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1799668 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1799668 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1842860032 43891 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 1799668

[startup+6.30157 s]
/proc/loadavg: 1.09 1.02 1.01 2/90 31516
/proc/meminfo: memFree=1608888/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1795572 CPUtime=9.37
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 60518 0 1 0 909 28 0 0 18 0 13 0 135845765 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 448893 44255 1336 9 0 446504 0
[pid=31500/tid=31502] ppid=31498 vsize=1795572 CPUtime=5.33
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 37764 0 1 0 517 16 0 0 18 0 13 0 135845767 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109556260 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1795572 CPUtime=0.11
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 2220 0 0 0 11 0 0 0 16 0 13 0 135845768 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1795572 CPUtime=0.1
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 1822 0 0 0 10 0 0 0 17 0 13 0 135845768 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1795572 CPUtime=1.87
/proc/31500/task/31509/stat : 31509 (java) S 31498 31500 32637 0 -1 64 7708 0 0 0 183 4 0 0 16 0 13 0 135845775 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1795572 CPUtime=1.9
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 10259 0 0 0 186 4 0 0 16 0 13 0 135845775 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1838665728 44255 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.37
Current children cumulated vsize (KiB) 1795572

[startup+12.7023 s]
/proc/loadavg: 1.08 1.02 1.00 2/90 31521
/proc/meminfo: memFree=1577688/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1795572 CPUtime=16.1
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 70800 0 1 0 1578 32 0 0 18 0 13 0 135845765 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 448893 54022 1336 9 0 446504 0
[pid=31500/tid=31502] ppid=31498 vsize=1795572 CPUtime=11.48
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 38766 0 1 0 1131 17 0 0 18 0 13 0 135845767 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109584267 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1795572 CPUtime=0.31
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 7032 0 0 0 29 2 0 0 16 0 13 0 135845768 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1795572 CPUtime=0.3
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 6265 0 0 0 28 2 0 0 16 0 13 0 135845768 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1795572 CPUtime=2
/proc/31500/task/31509/stat : 31509 (java) S 31498 31500 32637 0 -1 64 7708 0 0 0 196 4 0 0 17 0 13 0 135845775 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1795572 CPUtime=1.95
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 10261 0 0 0 191 4 0 0 16 0 13 0 135845775 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31521] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31521/stat : 31521 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135846937 1838665728 54022 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.1
Current children cumulated vsize (KiB) 1795572

[startup+25.5018 s]
/proc/loadavg: 1.13 1.03 1.01 2/90 31524
/proc/meminfo: memFree=1563008/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1795572 CPUtime=29.03
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 74607 0 1 0 2869 34 0 0 18 0 13 0 135845765 1838665728 57300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 448893 57300 1336 9 0 446504 0
[pid=31500/tid=31502] ppid=31498 vsize=1795572 CPUtime=24.13
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 38780 0 1 0 2396 17 0 0 25 0 13 0 135845767 1838665728 57300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109597507 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1795572 CPUtime=0.45
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 8827 0 0 0 42 3 0 0 16 0 13 0 135845768 1838665728 57300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1795572 CPUtime=0.45
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 8261 0 0 0 42 3 0 0 16 0 13 0 135845768 1838665728 57300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 57300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 57300 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0.19
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 116 0 0 0 11 8 0 0 16 0 13 0 135845771 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1795572 CPUtime=2.05
/proc/31500/task/31509/stat : 31509 (java) S 31498 31500 32637 0 -1 64 7708 0 0 0 201 4 0 0 17 0 13 0 135845775 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1795572 CPUtime=1.98
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 10261 0 0 0 194 4 0 0 16 0 13 0 135845775 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31537] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31537/stat : 31537 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135902553 1838665728 162768 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1562.07
Current children cumulated vsize (KiB) 1795572

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/90 31735
/proc/meminfo: memFree=1119136/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1795572 CPUtime=1623.13
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 238085 0 1 0 162184 129 0 0 18 0 13 0 135845765 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 448893 167620 1336 9 0 446504 0
[pid=31500/tid=31502] ppid=31498 vsize=1795572 CPUtime=1581.85
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 62746 0 1 0 158145 40 0 0 23 0 13 0 135845767 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109556438 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1795572 CPUtime=18.51
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 78246 0 0 0 1817 34 0 0 16 0 13 0 135845768 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1795572 CPUtime=18.47
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 78254 0 0 0 1811 36 0 0 17 0 13 0 135845768 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0.19
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 116 0 0 0 11 8 0 0 15 0 13 0 135845771 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1795572 CPUtime=2.05
/proc/31500/task/31509/stat : 31509 (java) S 31498 31500 32637 0 -1 64 7708 0 0 0 201 4 0 0 17 0 13 0 135845775 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1795572 CPUtime=1.98
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 10261 0 0 0 194 4 0 0 16 0 13 0 135845775 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31537] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31537/stat : 31537 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135902553 1838665728 167620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1623.13
Current children cumulated vsize (KiB) 1795572

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 31735
/proc/meminfo: memFree=1106016/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1795572 CPUtime=1684.22
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 241619 0 1 0 168290 132 0 0 18 0 13 0 135845765 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 448893 170801 1336 9 0 446504 0
[pid=31500/tid=31502] ppid=31498 vsize=1795572 CPUtime=1640.7
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 62768 0 1 0 164030 40 0 0 25 0 13 0 135845767 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109600037 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1795572 CPUtime=19.63
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 80570 0 0 0 1928 35 0 0 17 0 13 0 135845768 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1795572 CPUtime=19.59
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 79442 0 0 0 1922 37 0 0 16 0 13 0 135845768 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0.21
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 116 0 0 0 12 9 0 0 16 0 13 0 135845771 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1795572 CPUtime=2.05
/proc/31500/task/31509/stat : 31509 (java) S 31498 31500 32637 0 -1 64 7708 0 0 0 201 4 0 0 17 0 13 0 135845775 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1795572 CPUtime=1.98
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 10261 0 0 0 194 4 0 0 16 0 13 0 135845775 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31537] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31537/stat : 31537 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135902553 1838665728 170801 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1684.22
Current children cumulated vsize (KiB) 1795572

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 31735
/proc/meminfo: memFree=1094432/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1795572 CPUtime=1745.44
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 244835 0 1 0 174410 134 0 0 18 0 13 0 135845765 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 448893 173772 1336 9 0 446504 0
[pid=31500/tid=31502] ppid=31498 vsize=1795572 CPUtime=1699.42
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 62791 0 1 0 169901 41 0 0 21 0 13 0 135845767 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109584267 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1795572 CPUtime=20.87
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 82451 0 0 0 2051 36 0 0 16 0 13 0 135845768 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1795572 CPUtime=20.85
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 80754 0 0 0 2048 37 0 0 17 0 13 0 135845768 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0.21
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 116 0 0 0 12 9 0 0 16 0 13 0 135845771 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1795572 CPUtime=2.05
/proc/31500/task/31509/stat : 31509 (java) S 31498 31500 32637 0 -1 64 7708 0 0 0 201 4 0 0 17 0 13 0 135845775 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1795572 CPUtime=1.98
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 10261 0 0 0 194 4 0 0 16 0 13 0 135845775 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31537] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31537/stat : 31537 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135902553 1838665728 173772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1745.44
Current children cumulated vsize (KiB) 1795572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 31735
/proc/meminfo: memFree=1085728/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=1795572 CPUtime=1800.05
/proc/31500/stat : 31500 (java) S 31498 31500 32637 0 -1 0 247128 0 1 0 179869 136 0 0 18 0 13 0 135845765 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31500/statm: 448893 175833 1336 9 0 446504 0
[pid=31500/tid=31502] ppid=31498 vsize=1795572 CPUtime=1751.78
/proc/31500/task/31502/stat : 31502 (java) R 31498 31500 32637 0 -1 64 62811 0 1 0 175137 41 0 0 25 0 13 0 135845767 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109590888 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31503] ppid=31498 vsize=1795572 CPUtime=21.99
/proc/31500/task/31503/stat : 31503 (java) S 31498 31500 32637 0 -1 64 83758 0 0 0 2162 37 0 0 16 0 13 0 135845768 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31504] ppid=31498 vsize=1795572 CPUtime=21.97
/proc/31500/task/31504/stat : 31504 (java) S 31498 31500 32637 0 -1 64 81720 0 0 0 2159 38 0 0 16 0 13 0 135845768 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31505] ppid=31498 vsize=1795572 CPUtime=0.21
/proc/31500/task/31505/stat : 31505 (java) S 31498 31500 32637 0 -1 64 116 0 0 0 12 9 0 0 15 0 13 0 135845771 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31506] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31506/stat : 31506 (java) S 31498 31500 32637 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31507] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31507/stat : 31507 (java) S 31498 31500 32637 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 135845771 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31508] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31508/stat : 31508 (java) S 31498 31500 32637 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 135845775 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31509] ppid=31498 vsize=1795572 CPUtime=2.05
/proc/31500/task/31509/stat : 31509 (java) S 31498 31500 32637 0 -1 64 7708 0 0 0 201 4 0 0 17 0 13 0 135845775 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31510] ppid=31498 vsize=1795572 CPUtime=1.98
/proc/31500/task/31510/stat : 31510 (java) S 31498 31500 32637 0 -1 64 10261 0 0 0 194 4 0 0 16 0 13 0 135845775 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31511] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31511/stat : 31511 (java) S 31498 31500 32637 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 135845775 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31500/tid=31512] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31512/stat : 31512 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135845775 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31500/tid=31537] ppid=31498 vsize=1795572 CPUtime=0
/proc/31500/task/31537/stat : 31537 (java) S 31498 31500 32637 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135902553 1838665728 175833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1795572

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

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

[startup+1776 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 31735
/proc/meminfo: memFree=1085728/2055920 swapFree=4145888/4192956
[pid=31500] ppid=31498 vsize=0 CPUtime=1800.32
/proc/31500/stat : 31500 (java) Z 31498 31500 32637 0 -1 1036 247147 0 1 0 179886 146 0 0 15 0 2 0 135845765 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31500/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1776
CPU time (s): 1800.33
CPU user time (s): 1798.86
CPU system time (s): 1.46678
CPU usage (%): 101.37
Max. virtual memory (cumulated for all children) (KiB): 1799668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247147
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43658
involuntary context switches= 59888

runsolver used 1.78573 second user time and 4.81827 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Sun Apr 15 00:47:59 UTC 2007

IDJOB= 351396
IDBENCH= 1742
IDSOLVER= 164
FILE ID= node1/351396-1176598079

PBS_JOBID= 4556806

Free space on /tmp= 66465 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3b.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351396-1176598079/sat4jPseudoCPClause.jar /tmp/evaluation/351396-1176598079/instance-351396-1176598079.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-351396-1176598079 -o ROOT/results/node1/solver-351396-1176598079 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351396-1176598079/sat4jPseudoCPClause.jar /tmp/evaluation/351396-1176598079/instance-351396-1176598079.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  b7f7c91542d49e4b7d5c93771b085583

RANDOM SEED= 584535738

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1787216 kB
Buffers:         54056 kB
Cached:         146968 kB
SwapCached:      15012 kB
Active:          96544 kB
Inactive:       132936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787216 kB
SwapTotal:     4192956 kB
SwapFree:      4145888 kB
Dirty:            3680 kB
Writeback:           0 kB
Mapped:          32660 kB
Slab:            24716 kB
Committed_AS:  3551996 kB
PageTables:       1840 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= 66465 MiB

End job on node1 on Sun Apr 15 01:17:37 UTC 2007