Trace number 351691

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
sat4jPseudoCP 2007-03-23SAT (TO)9407 1800.34 1783.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb
MD5SUM32662df0ae948242aace0258625ea4cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6456
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6277
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 7958
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 524887
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261914
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524887
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.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	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.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.19/0.20	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver)
0.19/0.20	--- Begin Solver configuration ---
0.19/0.20	c Stops conflict analysis at the first Unique Implication Point
0.19/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.20	c Learn all clauses as in MiniSAT
0.19/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.19/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.20	c No reason simplification
0.19/0.20	c --- End Solver configuration ---
0.19/0.20	c solving /tmp/evaluation/351691-1176609587/instance-351691-1176609587.opb
0.19/0.20	c reading problem ... 
1.19/0.81	c ... done. Wall clock time 0.612s.
1.19/0.81	c CPU time (experimental) 0.49s.
1.19/0.81	c #vars     2574
1.19/0.81	c #constraints  696
2.35/1.48	c SATISFIABLE
2.35/1.48	c OPTIMIZING...
2.35/1.48	c Got one! Elapsed wall clock time (in seconds):1.275
2.35/1.49	o 88191
2.88/1.73	c Got one! Elapsed wall clock time (in seconds):1.532
2.88/1.74	o 77350
3.05/1.87	c Got one! Elapsed wall clock time (in seconds):1.674
3.05/1.88	o 64706
3.20/1.99	c Got one! Elapsed wall clock time (in seconds):1.79
3.20/1.99	o 23645
11.18/8.95	c Got one! Elapsed wall clock time (in seconds):8.744
11.18/8.96	o 15378
13.40/11.15	c Got one! Elapsed wall clock time (in seconds):10.947
13.40/11.15	o 14438
15.83/13.57	c Got one! Elapsed wall clock time (in seconds):13.366
15.83/13.57	o 11035
80.61/77.90	c Got one! Elapsed wall clock time (in seconds):77.7
80.61/77.90	o 9407
1800.09/1783.71	c starts		: 11
1800.09/1783.71	c conflicts		: 1089
1800.09/1783.71	c decisions		: 194182
1800.09/1783.71	c propagations		: 477173
1800.09/1783.71	c inspects		: 9792516
1800.09/1783.71	c learnt literals	: 0
1800.09/1783.71	c learnt binary clauses	: 0
1800.09/1783.71	c learnt ternary clauses	: 7
1800.09/1783.71	c learnt clauses	: 1088
1800.09/1783.71	c root simplifications	: 0
1800.09/1783.71	c removed literals (reason simplification)	: 0
1800.09/1783.71	c reason swapping (by a shorter reason)	: 0
1800.09/1783.71	c Calls to reduceDB	: 0
1800.09/1783.71	c speed (decisions/second)	: 113.8363231328409
1800.09/1783.71	c non guided choices	2039
1800.09/1783.71	s SATISFIABLE
1800.09/1783.76	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
1800.09/1783.76	v -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55
1800.09/1783.76	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.09/1783.76	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.09/1783.76	v x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.09/1783.76	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.09/1783.76	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.09/1783.76	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.09/1783.76	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.09/1783.76	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.09/1783.76	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.09/1783.76	v -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.09/1783.76	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.09/1783.76	v x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.09/1783.76	v x316 x317 x318 x319 x320 x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.09/1783.76	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358
1800.09/1783.76	v -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 x379
1800.09/1783.76	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.09/1783.76	v -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 x412 -x413 -x414 -x415 x416 x417 x418 -x419 -x420 -x421 -x422
1800.09/1783.76	v x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443
1800.09/1783.76	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.09/1783.76	v -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 x473 x474 x475 -x476 x477 -x478 -x479 x480 -x481 x482 -x483 -x484 -x485 -x486
1800.09/1783.76	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 x503 x504 x505 -x506 -x507
1800.09/1783.76	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528
1800.09/1783.76	v x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 x541 x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550
1800.09/1783.76	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 x559 x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 -x569 -x570 -x571 -x572
1800.09/1783.76	v x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1800.09/1783.76	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1800.09/1783.76	v -x615 -x616 x617 x618 -x619 -x620 x621 -x622 x623 -x624 x625 -x626 x627 -x628 x629 x630 -x631 -x632 -x633 -x634 -x635 -x636
1800.09/1783.76	v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 x652 -x653 x654 -x655 -x656 -x657
1800.09/1783.76	v -x658 x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1800.09/1783.76	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
1800.09/1783.76	v -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 x708 -x709 x710 -x711 -x712 -x713 x714 x715 x716 -x717 x718 -x719 -x720 x721
1800.09/1783.76	v x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742
1800.09/1783.76	v -x743 -x744 -x745 -x746 -x747 -x748 x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763
1800.09/1783.76	v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784
1800.09/1783.76	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 x799 x800 x801 x802 x803 x804 x805 x806
1800.09/1783.76	v x807 x808 x809 x810 x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828
1800.09/1783.76	v -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
1800.09/1783.76	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870
1800.09/1783.76	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891
1800.09/1783.76	v -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
1800.09/1783.76	v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1800.09/1783.76	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 x954
1800.09/1783.76	v x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975
1800.09/1783.76	v -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996
1800.09/1783.76	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014
1800.09/1783.76	v x1015 -x1016 x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032
1800.09/1783.76	v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 x1040 -x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050
1800.09/1783.76	v x1051 x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068
1800.09/1783.76	v x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
1800.09/1783.76	v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102
1800.09/1783.76	v -x1103 -x1104 -x1105 x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
1800.09/1783.76	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
1800.09/1783.76	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154
1800.09/1783.76	v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171
1800.09/1783.76	v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1800.09/1783.76	v x1189 -x1190 -x1191 x1192 x1193 x1194 x1195 -x1196 x1197 x1198 x1199 x1200 x1201 x1202 x1203 x1204 -x1205 -x1206 -x1207
1800.09/1783.76	v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224
1800.09/1783.76	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241
1800.09/1783.76	v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 x1259
1800.09/1783.76	v -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276
1800.09/1783.76	v -x1277 -x1278 x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.09/1783.76	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.09/1783.76	v x1312 x1313 x1314 x1315 x1316 -x1317 -x1318 x1319 -x1320 -x1321 x1322 -x1323 x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.09/1783.76	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.09/1783.76	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.09/1783.76	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 x1379 x1380 x1381 -x1382
1800.09/1783.76	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
1800.09/1783.76	v x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 x1412 x1413 x1414 -x1415 -x1416 -x1417
1800.09/1783.76	v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1800.09/1783.76	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1800.09/1783.76	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468
1800.09/1783.76	v -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1800.09/1783.76	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502
1800.09/1783.76	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1800.09/1783.76	v x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537
1800.09/1783.76	v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554
1800.09/1783.76	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571
1800.09/1783.76	v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 x1582 -x1583 -x1584 x1585 -x1586 x1587 -x1588 -x1589
1800.09/1783.76	v x1590 x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
1800.09/1783.76	v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
1800.09/1783.76	v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641
1800.09/1783.76	v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658
1800.09/1783.76	v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1800.09/1783.76	v -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
1800.09/1783.76	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709
1800.09/1783.76	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.09/1783.76	v -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743
1800.09/1783.76	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1800.09/1783.76	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.09/1783.76	v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794
1800.09/1783.76	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
1800.09/1783.76	v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
1800.09/1783.76	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845
1800.09/1783.76	v -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862
1800.09/1783.76	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880
1800.09/1783.76	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1800.09/1783.76	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1800.09/1783.76	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1800.09/1783.76	v -x1932 x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
1800.09/1783.76	v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966
1800.09/1783.76	v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983
1800.09/1783.76	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
1800.09/1783.76	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017
1800.09/1783.76	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1800.09/1783.76	v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051
1800.09/1783.76	v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068
1800.09/1783.76	v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
1800.09/1783.76	v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103
1800.09/1783.76	v -x2104 x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121
1800.09/1783.76	v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138
1800.09/1783.76	v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155
1800.09/1783.76	v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172
1800.09/1783.76	v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189
1800.09/1783.76	v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207
1800.09/1783.76	v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224
1800.09/1783.76	v -x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241
1800.09/1783.76	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259
1800.09/1783.76	v x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 x2275 -x2276 -x2277
1800.09/1783.76	v -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1800.09/1783.76	v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311
1800.09/1783.76	v -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329
1800.09/1783.76	v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346
1800.09/1783.76	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363
1800.09/1783.76	v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381
1800.09/1783.76	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398
1800.09/1783.76	v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415
1800.09/1783.76	v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432
1800.09/1783.76	v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449
1800.09/1783.76	v -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466
1800.09/1783.76	v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483
1800.09/1783.76	v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
1800.09/1783.76	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517
1800.09/1783.76	v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
1800.09/1783.76	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552
1800.09/1783.76	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.09/1783.76	v -x2570 -x2571 -x2572 -x2573 -x2574
1800.09/1783.76	c objective function=9407
1800.09/1783.76	c Total wall clock time (ms): 1783.562

Verifier Data (download as text)

OK	9407

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-351691-1176609587 -o ROOT/results/node12/solver-351691-1176609587 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351691-1176609587/sat4jPseudoCP.jar /tmp/evaluation/351691-1176609587/instance-351691-1176609587.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.03 1.09 1.04 2/77 7755
/proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=152 CPUtime=0
/proc/7755/stat : 7755 (java) D 7753 7755 6923 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 136996111 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 9696036 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7755/statm: 38 26 19 9 0 4 0

[startup+0.079726 s]
/proc/loadavg: 1.03 1.09 1.04 2/77 7755
/proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1777708 CPUtime=0.06
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 3772 0 1 0 4 2 0 0 18 0 7 0 136996111 1820372992 3514 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 444427 3514 1085 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.101726 s]
/proc/loadavg: 1.03 1.09 1.04 2/77 7755
/proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1780108 CPUtime=0.08
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 3973 0 1 0 6 2 0 0 18 0 12 0 136996111 1822830592 3714 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 445027 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301747 s]
/proc/loadavg: 1.03 1.09 1.04 2/77 7755
/proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1781420 CPUtime=0.33
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 5075 0 1 0 29 4 0 0 18 0 12 0 136996111 1824174080 4813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 445355 4813 1267 9 0 442967 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781420

[startup+0.701785 s]
/proc/loadavg: 1.03 1.09 1.04 2/77 7755
/proc/meminfo: memFree=1726208/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1790008 CPUtime=0.99
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 8441 0 1 0 94 5 0 0 18 0 12 0 136996111 1832968192 7371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 447502 7371 1303 9 0 445114 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 1790008

[startup+1.50287 s]
/proc/loadavg: 1.18 1.12 1.05 5/90 7768
/proc/meminfo: memFree=1692824/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794676 CPUtime=2.54
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 16033 0 1 0 243 11 0 0 18 0 12 0 136996111 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448669 10629 1319 9 0 446281 0
[pid=7755/tid=7757] ppid=7753 vsize=1794676 CPUtime=0.75
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 6667 0 1 0 70 5 0 0 25 0 12 0 136996113 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 136996114 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 136996114 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 136996116 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 136996117 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 136996117 1837748224 10629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794676 CPUtime=0.97
/proc/7755/task/7764/stat : 7764 (java) R 7753 7755 6923 0 -1 64 4636 0 0 0 95 2 0 0 16 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102172323 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794676 CPUtime=0.79
/proc/7755/task/7765/stat : 7765 (java) R 7753 7755 6923 0 -1 64 4004 0 0 0 77 2 0 0 17 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103237635 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 136996121 1837748224 10630 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 1794676

[startup+3.10302 s]
/proc/loadavg: 1.18 1.12 1.05 3/90 7772
/proc/meminfo: memFree=1666768/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794676 CPUtime=4.74
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 49402 0 1 0 448 26 0 0 18 0 13 0 136996111 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448669 42273 1333 9 0 446281 0
[pid=7755/tid=7757] ppid=7753 vsize=1794676 CPUtime=2.05
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 37749 0 1 0 186 19 0 0 20 0 13 0 136996113 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109558270 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 283 0 0 0 0 0 0 0 16 0 13 0 136996114 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 216 0 0 0 0 0 0 0 16 0 13 0 136996114 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 136996116 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794676 CPUtime=1.36
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 5116 0 0 0 134 2 0 0 16 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794676 CPUtime=1.27
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 5306 0 0 0 124 3 0 0 16 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7772] ppid=7753 vsize=1794676 CPUtime=0
/proc/7755/task/7772/stat : 7772 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 136996314 1837748224 42273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 1794676

[startup+6.30135 s]
/proc/loadavg: 1.18 1.12 1.05 3/90 7772
/proc/meminfo: memFree=1541200/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794516 CPUtime=8.37
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 58583 0 1 0 808 29 0 0 18 0 13 0 136996111 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448629 49001 1333 9 0 446241 0
[pid=7755/tid=7757] ppid=7753 vsize=1794516 CPUtime=5.07
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 43364 0 1 0 485 22 0 0 25 0 13 0 136996113 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109901949 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794516 CPUtime=0.05
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 1156 0 0 0 5 0 0 0 16 0 13 0 136996114 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794516 CPUtime=0.05
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 1011 0 0 0 5 0 0 0 16 0 13 0 136996114 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794516 CPUtime=0
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 25 0 0 0 0 0 0 0 17 0 13 0 136996116 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794516 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794516 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794516 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794516 CPUtime=1.61
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6053 0 0 0 159 2 0 0 16 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794516 CPUtime=1.54
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6250 0 0 0 151 3 0 0 16 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794516 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794516 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7772] ppid=7753 vsize=1794516 CPUtime=0
/proc/7755/task/7772/stat : 7772 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 136996314 1837584384 49001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 1794516

[startup+12.702 s]
/proc/loadavg: 1.15 1.11 1.05 2/90 7774
/proc/meminfo: memFree=1526336/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794260 CPUtime=15.03
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 62906 0 1 0 1471 32 0 0 18 0 13 0 136996111 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448565 50486 1334 9 0 446177 0
[pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=11.38
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 46667 0 1 0 1115 23 0 0 18 0 13 0 136996113 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109901577 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=0.09
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 1675 0 0 0 9 0 0 0 16 0 13 0 136996114 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=0.09
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 1494 0 0 0 9 0 0 0 16 0 13 0 136996114 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 136996116 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.69
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6058 0 0 0 167 2 0 0 16 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.71
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6260 0 0 0 168 3 0 0 16 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7774] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7774/stat : 7774 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 136997228 1837322240 50486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.03
Current children cumulated vsize (KiB) 1794260

[startup+25.5023 s]
/proc/loadavg: 1.13 1.11 1.05 2/90 7775
/proc/meminfo: memFree=1545592/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794260 CPUtime=27.94
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 64131 0 1 0 2761 33 0 0 18 0 13 0 136996111 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448565 46268 1334 9 0 446177 0
[pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=24.1
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 46722 0 1 0 2386 24 0 0 18 0 13 0 136996113 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557621 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=0.15
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 2258 0 0 0 15 0 0 0 16 0 13 0 136996114 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=0.14
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 2073 0 0 0 14 0 0 0 16 0 13 0 136996114 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0.02
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 25 0 0 0 1 1 0 0 15 0 13 0 136996116 1837322240 46268 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0.95
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 457 0 0 0 50 45 0 0 16 0 13 0 136996116 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 146610 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1617.04
Current children cumulated vsize (KiB) 1794260

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7974
/proc/meminfo: memFree=1143664/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794260 CPUtime=1677.58
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 331717 0 1 0 167527 231 0 0 18 0 13 0 136996111 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448565 146384 1334 9 0 446177 0
[pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1644.6
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 166419 0 1 0 164365 95 0 0 25 0 13 0 136996113 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109558059 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=14.21
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 79063 0 0 0 1380 41 0 0 16 0 13 0 136996114 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=14.18
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 72702 0 0 0 1379 39 0 0 15 0 13 0 136996114 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=0.97
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 476 0 0 0 51 46 0 0 16 0 13 0 136996116 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 146384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1677.58
Current children cumulated vsize (KiB) 1794260

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7974
/proc/meminfo: memFree=1122224/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794260 CPUtime=1738.11
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 343660 0 1 0 173572 239 0 0 18 0 13 0 136996111 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448565 151546 1334 9 0 446177 0
[pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1703.99
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 172543 0 1 0 170300 99 0 0 25 0 13 0 136996113 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557659 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=14.77
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 81799 0 0 0 1435 42 0 0 16 0 13 0 136996114 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=14.74
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 75760 0 0 0 1432 42 0 0 16 0 13 0 136996114 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=1
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 501 0 0 0 52 48 0 0 16 0 13 0 136996116 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 151546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1738.11
Current children cumulated vsize (KiB) 1794260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7974
/proc/meminfo: memFree=1099184/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794260 CPUtime=1798.67
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 356798 0 1 0 179620 247 0 0 18 0 13 0 136996111 1837322240 158873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448565 158875 1334 9 0 446177 0
[pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1763.34
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 179269 0 1 0 176233 101 0 0 25 0 13 0 136996113 1837322240 158877 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557628 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=15.36
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 84785 0 0 0 1492 44 0 0 17 0 13 0 136996114 1837322240 158880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=15.33
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 79174 0 0 0 1489 44 0 0 16 0 13 0 136996114 1837322240 158882 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=1.03
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 517 0 0 0 54 49 0 0 16 0 13 0 136996116 1837322240 158884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 158887 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 158890 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 158892 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 158895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 158898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 158900 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 158903 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 158905 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 1794260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7974
/proc/meminfo: memFree=1092592/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=1794260 CPUtime=1800.09
/proc/7755/stat : 7755 (java) S 7753 7755 6923 0 -1 0 357070 0 1 0 179762 247 0 0 18 0 13 0 136996111 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 448565 159141 1334 9 0 446177 0
[pid=7755/tid=7757] ppid=7753 vsize=1794260 CPUtime=1764.73
/proc/7755/task/7757/stat : 7757 (java) R 7753 7755 6923 0 -1 64 179535 0 1 0 176372 101 0 0 25 0 13 0 136996113 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109558043 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7758] ppid=7753 vsize=1794260 CPUtime=15.38
/proc/7755/task/7758/stat : 7758 (java) S 7753 7755 6923 0 -1 64 84785 0 0 0 1494 44 0 0 16 0 13 0 136996114 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7759] ppid=7753 vsize=1794260 CPUtime=15.34
/proc/7755/task/7759/stat : 7759 (java) S 7753 7755 6923 0 -1 64 79176 0 0 0 1490 44 0 0 16 0 13 0 136996114 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7760] ppid=7753 vsize=1794260 CPUtime=1.03
/proc/7755/task/7760/stat : 7760 (java) S 7753 7755 6923 0 -1 64 517 0 0 0 54 49 0 0 15 0 13 0 136996116 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7761] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7761/stat : 7761 (java) S 7753 7755 6923 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7762] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7762/stat : 7762 (java) S 7753 7755 6923 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 136996117 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7763] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7763/stat : 7763 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7764] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7764/stat : 7764 (java) S 7753 7755 6923 0 -1 64 6061 0 0 0 175 2 0 0 17 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7765] ppid=7753 vsize=1794260 CPUtime=1.77
/proc/7755/task/7765/stat : 7765 (java) S 7753 7755 6923 0 -1 64 6266 0 0 0 174 3 0 0 17 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7766] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7766/stat : 7766 (java) S 7753 7755 6923 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7755/tid=7767] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7767/stat : 7767 (java) S 7753 7755 6923 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 136996121 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7755/tid=7842] ppid=7753 vsize=1794260 CPUtime=0
/proc/7755/task/7842/stat : 7842 (java) S 7753 7755 6923 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 137003903 1837322240 159141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1794260

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

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

[startup+1783.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 7974
/proc/meminfo: memFree=1092592/2055920 swapFree=4169356/4192956
[pid=7755] ppid=7753 vsize=0 CPUtime=1800.25
/proc/7755/stat : 7755 (java) Z 7753 7755 6923 0 -1 1036 357088 0 1 0 179775 250 0 0 15 0 2 0 136996111 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7755/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1783.89
CPU time (s): 1800.34
CPU user time (s): 1797.76
CPU system time (s): 2.57861
CPU usage (%): 100.922
Max. virtual memory (cumulated for all children) (KiB): 1797180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.76
system time used= 2.57861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357088
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= 78729
involuntary context switches= 60154

runsolver used 1.85072 second user time and 5.87111 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sun Apr 15 03:59:47 UTC 2007

IDJOB= 351691
IDBENCH= 1791
IDSOLVER= 160
FILE ID= node12/351691-1176609587

PBS_JOBID= 4556823

Free space on /tmp= 66430 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  32662df0ae948242aace0258625ea4cc

RANDOM SEED= 28322837

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1726616 kB
Buffers:         42276 kB
Cached:         209876 kB
SwapCached:       2576 kB
Active:         130332 kB
Inactive:       145580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726616 kB
SwapTotal:     4192956 kB
SwapFree:      4169356 kB
Dirty:            3712 kB
Writeback:           0 kB
Mapped:          31064 kB
Slab:            38928 kB
Committed_AS:  4171864 kB
PageTables:       1792 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= 66430 MiB

End job on node12 on Sun Apr 15 04:29:33 UTC 2007