Trace number 453746

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
SAT4JPseudoResolution 2007-03-23SAT (TO)33 1800.25 1781.28

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_2.opb
MD5SUM54e50bd6cbfbb2a5705269c41241de9a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint20
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2492
Sum of products size (including duplicates)4984
Number of different products2492
Sum of products size4984

Solver Data (download as text)

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

Verifier Data (download as text)

OK	33

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-453746-1178153580 -o ROOT/results/node19/solver-453746-1178153580 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453746-1178153580/sat4jPseudoResolution.jar /tmp/evaluation/453746-1178153580/instance-453746-1178153580.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.00 0.98 0.95 2/77 15411
/proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=152 CPUtime=0
/proc/15411/stat : 15411 (java) R 15409 15411 13392 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 263275342 155648 26 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 7483691 0 0 4096 0 0 0 0 17 1 0 0
/proc/15411/statm: 38 26 19 9 0 4 0

[startup+0.0115541 s]
/proc/loadavg: 1.00 0.98 0.95 2/77 15411
/proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=12056 CPUtime=0
/proc/15411/stat : 15411 (java) R 15409 15411 13392 0 -1 0 398 0 0 0 0 0 0 0 18 0 1 0 263275342 12345344 207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 7455530 0 0 4096 0 0 0 0 17 1 0 0
/proc/15411/statm: 3014 215 136 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.101571 s]
/proc/loadavg: 1.00 0.98 0.95 2/77 15411
/proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1780108 CPUtime=0.09
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 3972 0 1 0 6 3 0 0 18 0 12 0 263275342 1822830592 3715 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 445027 3715 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.30159 s]
/proc/loadavg: 1.00 0.98 0.95 2/77 15411
/proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1782264 CPUtime=0.31
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 5111 0 1 0 27 4 0 0 18 0 12 0 263275342 1825038336 4851 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 445566 4851 1260 9 0 443178 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782264

[startup+0.701634 s]
/proc/loadavg: 1.00 0.98 0.95 2/77 15411
/proc/meminfo: memFree=1792240/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1782296 CPUtime=0.87
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 6167 0 1 0 83 4 0 0 18 0 12 0 263275342 1825071104 5870 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 445574 5870 1301 9 0 443186 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 1782296

[startup+1.50171 s]
/proc/loadavg: 1.00 0.98 0.95 2/89 15423
/proc/meminfo: memFree=1767440/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1787460 CPUtime=2.02
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 10866 0 1 0 195 7 0 0 18 0 12 0 263275342 1830359040 8380 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446865 8381 1310 9 0 444477 0
[pid=15411/tid=15413] ppid=15409 vsize=1787460 CPUtime=1.17
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 6067 0 1 0 113 4 0 0 25 0 12 0 263275343 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 263275345 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 263275345 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 263275347 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 263275347 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 263275347 1830359040 8381 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1787460 CPUtime=0.43
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2220 0 0 0 43 0 0 0 16 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1787460 CPUtime=0.38
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 1862 0 0 0 37 1 0 0 15 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1787460 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 263275351 1830359040 8382 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 1787460

[startup+3.10289 s]
/proc/loadavg: 1.00 0.98 0.95 2/90 15425
/proc/meminfo: memFree=1745608/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1787784 CPUtime=4.01
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 39665 0 1 0 384 17 0 0 18 0 13 0 263275342 1830690816 35961 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446946 35962 1317 9 0 444558 0
[pid=15411/tid=15413] ppid=15409 vsize=1787784 CPUtime=2.53
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 33571 0 1 0 240 13 0 0 19 0 13 0 263275343 1830690816 35962 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109703741 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 263275345 1830690816 35963 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 263275345 1830690816 35964 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 263275347 1830690816 35965 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 263275347 1830690816 35966 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 263275347 1830690816 35966 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1830690816 35967 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1787784 CPUtime=0.72
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2265 0 0 0 71 1 0 0 16 0 13 0 263275351 1830690816 35968 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1787784 CPUtime=0.73
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3106 0 0 0 72 1 0 0 15 0 13 0 263275351 1830690816 35969 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1830690816 35969 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1830690816 35970 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1787784 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1830690816 35971 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 1787784

[startup+6.30223 s]
/proc/loadavg: 1.00 0.98 0.95 2/90 15425
/proc/meminfo: memFree=1630536/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1786724 CPUtime=7.32
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 45502 0 1 0 712 20 0 0 18 0 13 0 263275342 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446681 41544 1328 9 0 444293 0
[pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=5.66
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 37718 0 1 0 551 15 0 0 17 0 13 0 263275343 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109705105 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=0.05
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 959 0 0 0 5 0 0 0 16 0 13 0 263275345 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=0.05
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 711 0 0 0 5 0 0 0 16 0 13 0 263275345 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.73
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2266 0 0 0 72 1 0 0 16 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.78
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3113 0 0 0 77 1 0 0 17 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 41544 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 1786724

[startup+12.7029 s]
/proc/loadavg: 1.00 0.98 0.95 2/90 15425
/proc/meminfo: memFree=1595160/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1786724 CPUtime=13.82
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 55485 0 1 0 1358 24 0 0 18 0 13 0 263275342 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446681 50339 1328 9 0 444293 0
[pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=11.97
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 44526 0 1 0 1180 17 0 0 18 0 13 0 263275343 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109654067 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=0.11
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 2788 0 0 0 10 1 0 0 16 0 13 0 263275345 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=0.11
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 2040 0 0 0 10 1 0 0 16 0 13 0 263275345 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.75
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2266 0 0 0 74 1 0 0 16 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.82
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3117 0 0 0 81 1 0 0 17 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 50339 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.82
Current children cumulated vsize (KiB) 1786724

[startup+25.5013 s]
/proc/loadavg: 1.00 0.98 0.95 2/90 15425
/proc/meminfo: memFree=1615832/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1786724 CPUtime=26.68
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 56510 0 1 0 2642 26 0 0 18 0 13 0 263275342 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446681 45105 1328 9 0 444293 0
[pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=24.68
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 44541 0 1 0 2451 17 0 0 18 0 13 0 263275343 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109722530 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=0.15
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 3241 0 0 0 14 1 0 0 16 0 13 0 263275345 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=0.16
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 2593 0 0 0 15 1 0 0 16 0 13 0 263275345 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 45105 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.32
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 19 13 0 0 16 0 13 0 263275347 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 132126 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1558.15
Current children cumulated vsize (KiB) 1786724

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 15623
/proc/meminfo: memFree=1259288/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1786724 CPUtime=1618.93
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 188518 0 1 0 161751 142 0 0 18 0 13 0 263275342 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446681 134046 1328 9 0 444293 0
[pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1581.82
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79697 0 1 0 158132 50 0 0 17 0 13 0 263275343 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109701699 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=17.57
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 49576 0 0 0 1723 34 0 0 17 0 13 0 263275345 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=17.53
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 52973 0 0 0 1713 40 0 0 16 0 13 0 263275345 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.32
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 19 13 0 0 15 0 13 0 263275347 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) R 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 134046 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1618.93
Current children cumulated vsize (KiB) 1786724

[startup+1662.3 s]
/proc/loadavg: 1.14 1.03 1.01 2/90 15623
/proc/meminfo: memFree=1251800/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1786724 CPUtime=1679.66
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 190366 0 1 0 167821 145 0 0 18 0 13 0 263275342 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446681 135852 1328 9 0 444293 0
[pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1640.72
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79727 0 1 0 164021 51 0 0 20 0 13 0 263275343 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109667746 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=18.47
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 50480 0 0 0 1812 35 0 0 17 0 13 0 263275345 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=18.45
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 53887 0 0 0 1804 41 0 0 16 0 13 0 263275345 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.33
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 20 13 0 0 16 0 13 0 263275347 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 135852 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1679.66
Current children cumulated vsize (KiB) 1786724

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/90 15623
/proc/meminfo: memFree=1243736/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1786724 CPUtime=1740.44
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 192420 0 1 0 173895 149 0 0 18 0 13 0 263275342 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446681 137848 1328 9 0 444293 0
[pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1699.61
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79758 0 1 0 169910 51 0 0 25 0 13 0 263275343 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109761638 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=19.43
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 51494 0 0 0 1907 36 0 0 16 0 13 0 263275345 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=19.36
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 54896 0 0 0 1894 42 0 0 17 0 13 0 263275345 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.33
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 20 13 0 0 16 0 13 0 263275347 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 137848 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1740.44
Current children cumulated vsize (KiB) 1786724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.1 s]
/proc/loadavg: 1.02 1.02 1.00 2/90 15623
/proc/meminfo: memFree=1236056/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=1786724 CPUtime=1800.02
/proc/15411/stat : 15411 (java) S 15409 15411 13392 0 -1 0 194433 0 1 0 179850 152 0 0 18 0 13 0 263275342 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15411/statm: 446681 139780 1328 9 0 444293 0
[pid=15411/tid=15413] ppid=15409 vsize=1786724 CPUtime=1757.3
/proc/15411/task/15413/stat : 15413 (java) R 15409 15411 13392 0 -1 64 79789 0 1 0 175678 52 0 0 24 0 13 0 263275343 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109722389 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15414] ppid=15409 vsize=1786724 CPUtime=20.37
/proc/15411/task/15414/stat : 15414 (java) S 15409 15411 13392 0 -1 64 52429 0 0 0 1999 38 0 0 17 0 13 0 263275345 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15411/tid=15415] ppid=15409 vsize=1786724 CPUtime=20.33
/proc/15411/task/15415/stat : 15415 (java) S 15409 15411 13392 0 -1 64 55943 0 0 0 1989 44 0 0 16 0 13 0 263275345 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15416] ppid=15409 vsize=1786724 CPUtime=0.33
/proc/15411/task/15416/stat : 15416 (java) S 15409 15411 13392 0 -1 64 163 0 0 0 20 13 0 0 16 0 13 0 263275347 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15417] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15417/stat : 15417 (java) S 15409 15411 13392 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15418] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15418/stat : 15418 (java) S 15409 15411 13392 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 263275347 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15419] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15419/stat : 15419 (java) S 15409 15411 13392 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15420] ppid=15409 vsize=1786724 CPUtime=0.78
/proc/15411/task/15420/stat : 15420 (java) S 15409 15411 13392 0 -1 64 2267 0 0 0 77 1 0 0 16 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15421] ppid=15409 vsize=1786724 CPUtime=0.85
/proc/15411/task/15421/stat : 15421 (java) S 15409 15411 13392 0 -1 64 3121 0 0 0 84 1 0 0 17 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15422] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15422/stat : 15422 (java) S 15409 15411 13392 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15423] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15423/stat : 15423 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 263275351 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15411/tid=15425] ppid=15409 vsize=1786724 CPUtime=0
/proc/15411/task/15425/stat : 15425 (java) S 15409 15411 13392 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 263275505 1829605376 139780 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1786724

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

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

[startup+1781.21 s]
/proc/loadavg: 1.02 1.02 1.00 2/90 15623
/proc/meminfo: memFree=1236056/2055920 swapFree=4153644/4192956
[pid=15411] ppid=15409 vsize=0 CPUtime=1800.17
/proc/15411/stat : 15411 (java) Z 15409 15411 13392 0 -1 1036 194455 0 1 0 179863 154 0 0 15 0 2 0 263275342 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15411/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1781.28
CPU time (s): 1800.25
CPU user time (s): 1798.64
CPU system time (s): 1.61475
CPU usage (%): 101.065
Max. virtual memory (cumulated for all children) (KiB): 1789492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.61475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194455
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= 50929
involuntary context switches= 44750

runsolver used 1.78173 second user time and 4.82127 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Thu May  3 00:53:00 UTC 2007

IDJOB= 453746
IDBENCH= 48151
IDSOLVER= 159
FILE ID= node19/453746-1178153580

PBS_JOBID= 4751077

Free space on /tmp= 66561 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_2.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453746-1178153580/sat4jPseudoResolution.jar /tmp/evaluation/453746-1178153580/instance-453746-1178153580.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-453746-1178153580 -o ROOT/results/node19/solver-453746-1178153580 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453746-1178153580/sat4jPseudoResolution.jar /tmp/evaluation/453746-1178153580/instance-453746-1178153580.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  54e50bd6cbfbb2a5705269c41241de9a

RANDOM SEED= 581135608

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1792648 kB
Buffers:         96460 kB
Cached:          79300 kB
SwapCached:       8384 kB
Active:         110508 kB
Inactive:        97292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792648 kB
SwapTotal:     4192956 kB
SwapFree:      4153644 kB
Dirty:            3732 kB
Writeback:           0 kB
Mapped:          30340 kB
Slab:            40952 kB
Committed_AS:  8863992 kB
PageTables:       1788 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= 66561 MiB

End job on node19 on Thu May  3 01:22:43 UTC 2007