Trace number 453316

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT (TO)27 1800.3 1753.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
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.11
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 constraint23
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)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

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

Verifier Data (download as text)

OK	27

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-453316-1178130048 -o ROOT/results/node16/solver-453316-1178130048 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453316-1178130048/sat4jPseudoCPClause.jar /tmp/evaluation/453316-1178130048/instance-453316-1178130048.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.01 1.00 2/77 32066
/proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=272 CPUtime=0
/proc/32066/stat : 32066 (java) R 32064 32066 31328 0 -1 0 52 0 0 0 0 0 0 0 18 0 1 0 260922445 278528 37 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 7207565 0 0 4096 0 0 0 0 17 1 0 0
/proc/32066/statm: 77 39 29 9 0 6 0

[startup+0.00704505 s]
/proc/loadavg: 1.03 1.01 1.00 2/77 32066
/proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1800 CPUtime=0
/proc/32066/stat : 32066 (java) D 32064 32066 31328 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 260922445 1843200 151 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/32066/statm: 450 151 114 9 0 92 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1800

[startup+0.10103 s]
/proc/loadavg: 1.03 1.01 1.00 2/77 32066
/proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1780408 CPUtime=0.08
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 3968 0 1 0 6 2 0 0 18 0 12 0 260922445 1823137792 3711 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 445102 3711 1122 9 0 442720 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780408

[startup+0.301986 s]
/proc/loadavg: 1.03 1.01 1.00 2/77 32066
/proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1781436 CPUtime=0.31
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 5110 0 1 0 28 3 0 0 18 0 12 0 260922445 1824190464 4850 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 445359 4850 1260 9 0 442970 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1781436

[startup+0.7019 s]
/proc/loadavg: 1.03 1.01 1.00 2/77 32066
/proc/meminfo: memFree=1815104/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1782896 CPUtime=0.87
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 6172 0 1 0 83 4 0 0 18 0 12 0 260922445 1825685504 5886 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 445724 5886 1301 9 0 443335 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 1782896

[startup+1.50273 s]
/proc/loadavg: 1.02 1.01 1.00 2/89 32078
/proc/meminfo: memFree=1790112/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1787380 CPUtime=2.02
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 10409 0 1 0 196 6 0 0 18 0 12 0 260922445 1830277120 8261 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 446845 8261 1304 9 0 444456 0
[pid=32066/tid=32068] ppid=32064 vsize=1787380 CPUtime=1.17
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 5992 0 1 0 114 3 0 0 22 0 12 0 260922447 1830277120 8261 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109573830 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 260922448 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 260922448 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 260922450 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 260922451 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 260922451 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1787380 CPUtime=0.46
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 2493 0 0 0 45 1 0 0 16 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1787380 CPUtime=0.35
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 1206 0 0 0 35 0 0 0 15 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 260922455 1830277120 8262 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1787380 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 260922455 1830277120 8262 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) 1787380

[startup+3.10241 s]
/proc/loadavg: 1.02 1.01 1.00 5/90 32081
/proc/meminfo: memFree=1771224/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1794980 CPUtime=4.85
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 38672 0 1 0 466 19 0 0 18 0 13 0 260922445 1838059520 30438 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 448745 30439 1317 9 0 446356 0
[pid=32066/tid=32068] ppid=32064 vsize=1794980 CPUtime=1.99
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 26426 0 1 0 186 13 0 0 21 0 13 0 260922447 1838059520 30439 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109174820 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 260922448 1838059520 30439 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 260922448 1838059520 30440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 260922450 1838059520 30440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 260922451 1838059520 30440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 260922451 1838059520 30441 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1838059520 30441 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1794980 CPUtime=1.49
/proc/32066/task/32075/stat : 32075 (java) R 32064 32066 31328 0 -1 64 5476 0 0 0 147 2 0 0 20 0 13 0 260922455 1838059520 30441 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103336899 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1794980 CPUtime=1.34
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6047 0 0 0 132 2 0 0 16 0 13 0 260922455 1838059520 30442 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1838059520 30442 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1794980 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1838059520 30442 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 1794980

[startup+6.30172 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 32083
/proc/meminfo: memFree=1643352/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1794220 CPUtime=8.7
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 55593 0 1 0 842 28 0 0 18 0 13 0 260922445 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 448555 43048 1326 9 0 446166 0
[pid=32066/tid=32068] ppid=32064 vsize=1794220 CPUtime=4.91
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 37722 0 1 0 472 19 0 0 24 0 13 0 260922447 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109751019 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1794220 CPUtime=0.08
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 1309 0 0 0 8 0 0 0 16 0 13 0 260922448 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1794220 CPUtime=0.07
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 1114 0 0 0 7 0 0 0 16 0 13 0 260922448 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 260922450 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1794220 CPUtime=2.03
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7799 0 0 0 199 4 0 0 16 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1794220 CPUtime=1.55
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6911 0 0 0 152 3 0 0 16 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32083] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32083/stat : 32083 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 260922755 1837281280 43048 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 1794220

[startup+12.7014 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 32083
/proc/meminfo: memFree=1604952/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1794220 CPUtime=15.29
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 66940 0 1 0 1495 34 0 0 18 0 13 0 260922445 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 448555 53800 1327 9 0 446166 0
[pid=32066/tid=32068] ppid=32064 vsize=1794220 CPUtime=11.16
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 42513 0 1 0 1095 21 0 0 17 0 13 0 260922447 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109751047 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1794220 CPUtime=0.22
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 4731 0 0 0 21 1 0 0 16 0 13 0 260922448 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1794220 CPUtime=0.21
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 4234 0 0 0 19 2 0 0 16 0 13 0 260922448 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 29 0 0 0 0 0 0 0 15 0 13 0 260922450 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1794220 CPUtime=2.04
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7799 0 0 0 200 4 0 0 16 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1794220 CPUtime=1.6
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6912 0 0 0 157 3 0 0 15 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32083] ppid=32064 vsize=1794220 CPUtime=0
/proc/32066/task/32083/stat : 32083 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 260922755 1837281280 53800 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.29
Current children cumulated vsize (KiB) 1794220

[startup+25.5027 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 32083
/proc/meminfo: memFree=1589976/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1793132 CPUtime=28.39
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 71353 0 1 0 2803 36 0 0 18 0 13 0 260922445 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 448283 57378 1327 9 0 445894 0
[pid=32066/tid=32068] ppid=32064 vsize=1793132 CPUtime=23.81
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 42581 0 1 0 2360 21 0 0 21 0 13 0 260922447 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109702055 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1793132 CPUtime=0.37
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 7031 0 0 0 34 3 0 0 16 0 13 0 260922448 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1793132 CPUtime=0.36
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 6279 0 0 0 34 2 0 0 16 0 13 0 260922448 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1793132 CPUtime=0
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 260922450 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1793132 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1836167168 57378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.21
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 15 6 0 0 16 0 13 0 260922450 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 200991 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1581.79
Current children cumulated vsize (KiB) 1791084

[startup+1602.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/90 32086
/proc/meminfo: memFree=998480/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1791084 CPUtime=1643.77
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 239352 0 1 0 164247 130 0 0 18 0 13 0 260922445 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 447771 204700 1336 9 0 445382 0
[pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1561.23
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43570 0 1 0 156087 36 0 0 25 0 13 0 260922447 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109751428 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=39.17
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 92661 0 0 0 3881 36 0 0 16 0 13 0 260922448 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=39.13
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 87639 0 0 0 3872 41 0 0 16 0 13 0 260922448 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.22
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 16 6 0 0 16 0 13 0 260922450 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 204700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1643.77
Current children cumulated vsize (KiB) 1791084

[startup+1662.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/90 32086
/proc/meminfo: memFree=984720/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1791084 CPUtime=1705.85
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 243094 0 1 0 170453 132 0 0 18 0 13 0 260922445 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 447771 208223 1336 9 0 445382 0
[pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1619.11
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43601 0 1 0 161874 37 0 0 25 0 13 0 260922447 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109702135 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=41.26
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 95403 0 0 0 4089 37 0 0 16 0 13 0 260922448 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=41.23
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 88608 0 0 0 4082 41 0 0 16 0 13 0 260922448 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.22
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 16 6 0 0 15 0 13 0 260922450 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 208223 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1705.85
Current children cumulated vsize (KiB) 1791084

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 32086
/proc/meminfo: memFree=970448/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1791084 CPUtime=1767.86
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 246910 0 1 0 176652 134 0 0 18 0 13 0 260922445 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 447771 211806 1336 9 0 445382 0
[pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1677.08
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43630 0 1 0 167671 37 0 0 25 0 13 0 260922447 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109710793 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=43.27
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 98306 0 0 0 4289 38 0 0 16 0 13 0 260922448 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=43.25
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 89492 0 0 0 4283 42 0 0 17 0 13 0 260922448 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.23
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 17 6 0 0 16 0 13 0 260922450 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 211806 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.86
Current children cumulated vsize (KiB) 1791084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1753.41 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 32086
/proc/meminfo: memFree=962576/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=1791084 CPUtime=1800.04
/proc/32066/stat : 32066 (java) S 32064 32066 31328 0 -1 0 249052 0 1 0 179868 136 0 0 18 0 13 0 260922445 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32066/statm: 447771 213664 1336 9 0 445382 0
[pid=32066/tid=32068] ppid=32064 vsize=1791084 CPUtime=1707.12
/proc/32066/task/32068/stat : 32068 (java) R 32064 32066 31328 0 -1 64 43645 0 1 0 170674 38 0 0 24 0 13 0 260922447 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109710793 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32069] ppid=32064 vsize=1791084 CPUtime=44.34
/proc/32066/task/32069/stat : 32069 (java) S 32064 32066 31328 0 -1 64 99829 0 0 0 4395 39 0 0 16 0 13 0 260922448 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32070] ppid=32064 vsize=1791084 CPUtime=44.31
/proc/32066/task/32070/stat : 32070 (java) S 32064 32066 31328 0 -1 64 90096 0 0 0 4389 42 0 0 17 0 13 0 260922448 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32071] ppid=32064 vsize=1791084 CPUtime=0.23
/proc/32066/task/32071/stat : 32071 (java) S 32064 32066 31328 0 -1 64 33 0 0 0 17 6 0 0 16 0 13 0 260922450 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32072] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32072/stat : 32072 (java) S 32064 32066 31328 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32073] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32073/stat : 32073 (java) S 32064 32066 31328 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 260922451 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32074] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32074/stat : 32074 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32075] ppid=32064 vsize=1791084 CPUtime=2.28
/proc/32066/task/32075/stat : 32075 (java) S 32064 32066 31328 0 -1 64 7808 0 0 0 224 4 0 0 16 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32076] ppid=32064 vsize=1791084 CPUtime=1.68
/proc/32066/task/32076/stat : 32076 (java) S 32064 32066 31328 0 -1 64 6918 0 0 0 165 3 0 0 16 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32077] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32077/stat : 32077 (java) S 32064 32066 31328 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32066/tid=32078] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32078/stat : 32078 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 260922455 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32066/tid=32084] ppid=32064 vsize=1791084 CPUtime=0
/proc/32066/task/32084/stat : 32084 (java) S 32064 32066 31328 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 260944493 1834070016 213664 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1791084

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

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

[startup+1753.6 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 32086
/proc/meminfo: memFree=962576/2055920 swapFree=4148560/4192956
[pid=32066] ppid=32064 vsize=0 CPUtime=1800.27
/proc/32066/stat : 32066 (java) Z 32064 32066 31328 0 -1 1036 249070 0 1 0 179880 147 0 0 15 0 2 0 260922445 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32066/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1753.62
CPU time (s): 1800.3
CPU user time (s): 1798.81
CPU system time (s): 1.49177
CPU usage (%): 102.662
Max. virtual memory (cumulated for all children) (KiB): 1796688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.49177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249070
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= 46436
involuntary context switches= 65793

runsolver used 1.73074 second user time and 4.67329 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Wed May  2 18:20:48 UTC 2007

IDJOB= 453316
IDBENCH= 48122
IDSOLVER= 164
FILE ID= node16/453316-1178130048

PBS_JOBID= 4751042

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  08d7a5060b972f308367859ff82f87f6

RANDOM SEED= 272409010

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1815512 kB
Buffers:         80588 kB
Cached:          76576 kB
SwapCached:      12496 kB
Active:         100800 kB
Inactive:        88644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815512 kB
SwapTotal:     4192956 kB
SwapFree:      4148560 kB
Dirty:            3728 kB
Writeback:           0 kB
Mapped:          35588 kB
Slab:            36504 kB
Committed_AS: 13936348 kB
PageTables:       1848 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 node16 on Wed May  2 18:50:04 UTC 2007