Trace number 352722

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)82267 1800.32 1757.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUMdccfffd22c38fcd3c497d688dab4b7a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark80503
Best CPU time to get the best result obtained on this benchmark1782.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 79290
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	82267

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 5985
/proc/meminfo: memFree=1854912/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=18568 CPUtime=0
/proc/5985/stat : 5985 (runsolver) R 5983 5985 5269 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 140034786 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5985/statm: 4642 292 257 24 0 2626 0

[startup+0.04654 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 5985
/proc/meminfo: memFree=1854912/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1776088 CPUtime=0.02
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 3303 0 1 0 1 1 0 0 18 0 4 0 140034786 1818714112 3049 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 444022 3049 909 9 0 441658 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776088

[startup+0.101546 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 5985
/proc/meminfo: memFree=1854912/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1780112 CPUtime=0.08
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 3960 0 1 0 5 3 0 0 18 0 12 0 140034786 1822834688 3701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 445028 3701 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301568 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 5985
/proc/meminfo: memFree=1854912/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1782384 CPUtime=0.33
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 5148 0 1 0 30 3 0 0 18 0 12 0 140034786 1825161216 4886 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 445596 4886 1267 9 0 443207 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1782384

[startup+0.701615 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 5985
/proc/meminfo: memFree=1854912/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1785016 CPUtime=0.91
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 7523 0 1 0 86 5 0 0 18 0 12 0 140034786 1827856384 6865 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 446254 6865 1301 9 0 443865 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1785016

[startup+1.50271 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 5997
/proc/meminfo: memFree=1823008/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1785816 CPUtime=2.17
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 20068 0 1 0 207 10 0 0 18 0 12 0 140034786 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 446454 18000 1304 9 0 444065 0
[pid=5985/tid=5987] ppid=5983 vsize=1785816 CPUtime=1.07
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 16022 0 1 0 99 8 0 0 18 0 12 0 140034787 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109568771 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 140034789 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 140034789 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 140034791 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 140034792 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 140034792 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 140034795 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1785816 CPUtime=0.51
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 1631 0 0 0 51 0 0 0 17 0 12 0 140034795 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1785816 CPUtime=0.56
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 1696 0 0 0 56 0 0 0 18 0 12 0 140034795 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 140034795 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1785816 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 140034795 1828675584 18000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 1785816

[startup+3.10289 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 5997
/proc/meminfo: memFree=1726816/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1792364 CPUtime=4.29
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 47288 0 1 0 404 25 0 0 18 0 12 0 140034786 1835380736 44067 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 448091 44068 1313 9 0 445702 0
[pid=5985/tid=5987] ppid=5983 vsize=1792364 CPUtime=2.51
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 37691 0 1 0 231 20 0 0 25 0 12 0 140034787 1835380736 44068 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109504191 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1792364 CPUtime=0.05
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 1449 0 0 0 5 0 0 0 16 0 12 0 140034789 1835380736 44068 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1792364 CPUtime=0.05
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 1501 0 0 0 5 0 0 0 16 0 12 0 140034789 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1792364 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 140034791 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1792364 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 140034792 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1792364 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 140034792 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1792364 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 140034795 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1792364 CPUtime=0.92
/proc/5985/task/5994/stat : 5994 (java) R 5983 5985 5269 0 -1 64 4070 0 0 0 91 1 0 0 18 0 12 0 140034795 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105421843 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1792364 CPUtime=0.7
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 1853 0 0 0 69 1 0 0 16 0 12 0 140034795 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1792364 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 140034795 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1792364 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 140034795 1835380736 44069 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 1792364

[startup+6.30228 s]
/proc/loadavg: 0.93 0.98 0.99 4/90 5998
/proc/meminfo: memFree=1646680/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1796292 CPUtime=9.41
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 67888 0 1 0 906 35 0 0 18 0 13 0 140034786 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 449073 54378 1331 9 0 446684 0
[pid=5985/tid=5987] ppid=5983 vsize=1796292 CPUtime=4.66
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5269 0 -1 64 37737 0 1 0 446 20 0 0 25 0 13 0 140034787 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1796292 CPUtime=0.35
/proc/5985/task/5988/stat : 5988 (java) R 5983 5985 5269 0 -1 64 6763 0 0 0 33 2 0 0 16 0 13 0 140034789 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370417 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1796292 CPUtime=0.32
/proc/5985/task/5989/stat : 5989 (java) R 5983 5985 5269 0 -1 64 5407 0 0 0 30 2 0 0 17 0 13 0 140034789 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070834 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1796292 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 10 0 0 0 0 0 0 0 15 0 13 0 140034791 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1796292 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1796292 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140034792 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1796292 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140034795 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1796292 CPUtime=2
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 7701 0 0 0 196 4 0 0 16 0 13 0 140034795 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1796292 CPUtime=2.02
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 9547 0 0 0 198 4 0 0 16 0 13 0 140034795 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1796292 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140034795 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1796292 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140034795 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5998] ppid=5983 vsize=1796292 CPUtime=0
/proc/5985/task/5998/stat : 5998 (java) S 5983 5985 5269 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 140035109 1839403008 54378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 1796292

[startup+12.7031 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 5998
/proc/meminfo: memFree=1608600/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1796044 CPUtime=16.62
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 79468 0 1 0 1622 40 0 0 18 0 13 0 140034786 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 449011 62977 1333 9 0 446622 0
[pid=5985/tid=5987] ppid=5983 vsize=1796044 CPUtime=10.49
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 37747 0 1 0 1029 20 0 0 20 0 13 0 140034787 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109923019 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1796044 CPUtime=0.86
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 12158 0 0 0 81 5 0 0 16 0 13 0 140034789 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1796044 CPUtime=0.82
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 10917 0 0 0 78 4 0 0 16 0 13 0 140034789 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1796044 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 140034791 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1796044 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1796044 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140034792 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1796044 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140034795 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1796044 CPUtime=2.27
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 8363 0 0 0 223 4 0 0 15 0 13 0 140034795 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1796044 CPUtime=2.13
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 9550 0 0 0 209 4 0 0 16 0 13 0 140034795 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1796044 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140034795 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1796044 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140034795 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5998] ppid=5983 vsize=1796044 CPUtime=0
/proc/5985/task/5998/stat : 5998 (java) S 5983 5985 5269 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 140035109 1839149056 62977 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.62
Current children cumulated vsize (KiB) 1796044

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 5998
/proc/meminfo: memFree=1592088/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1795420 CPUtime=29.74
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 85264 0 1 0 2931 43 0 0 18 0 13 0 140034786 1838510080 66764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 448855 66764 1333 9 0 446466 0
[pid=5985/tid=5987] ppid=5983 vsize=1795420 CPUtime=22.98
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 37762 0 1 0 2278 20 0 0 25 0 13 0 140034787 1838510080 66764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109871565 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1795420 CPUtime=1.15
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 15280 0 0 0 108 7 0 0 16 0 13 0 140034789 1838510080 66764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1795420 CPUtime=1.12
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 13576 0 0 0 107 5 0 0 16 0 13 0 140034789 1838510080 66764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 140034791 1838510080 66764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 66764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=5985/tid=5990] ppid=5983 vsize=1795420 CPUtime=0.22
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 12 0 0 0 14 8 0 0 16 0 13 0 140034791 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140034795 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1795420 CPUtime=2.3
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 8364 0 0 0 226 4 0 0 16 0 13 0 140034795 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1795420 CPUtime=2.19
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 9550 0 0 0 215 4 0 0 16 0 13 0 140034795 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140034795 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140034795 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=6002] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/6002/stat : 6002 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 140112451 1838510080 180266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1579.14
Current children cumulated vsize (KiB) 1795420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 6002
/proc/meminfo: memFree=1119432/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1795420 CPUtime=1640.84
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 216845 0 1 0 163961 123 0 0 18 0 13 0 140034786 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 448855 184481 1336 9 0 446466 0
[pid=5985/tid=5987] ppid=5983 vsize=1795420 CPUtime=1563.45
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 38765 0 1 0 156310 35 0 0 23 0 13 0 140034787 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109643369 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1795420 CPUtime=36.32
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 82600 0 0 0 3595 37 0 0 16 0 13 0 140034789 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1795420 CPUtime=36.28
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 76828 0 0 0 3597 31 0 0 16 0 13 0 140034789 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1795420 CPUtime=0.22
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 12 0 0 0 14 8 0 0 15 0 13 0 140034791 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140034795 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1795420 CPUtime=2.3
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 8364 0 0 0 226 4 0 0 16 0 13 0 140034795 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1795420 CPUtime=2.19
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 9550 0 0 0 215 4 0 0 16 0 13 0 140034795 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140034795 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) R 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140034795 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=6002] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/6002/stat : 6002 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 140112451 1838510080 184481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1640.84
Current children cumulated vsize (KiB) 1795420

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 6002
/proc/meminfo: memFree=1102024/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1795420 CPUtime=1702.58
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 221412 0 1 0 170131 127 0 0 18 0 13 0 140034786 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 448855 188755 1336 9 0 446466 0
[pid=5985/tid=5987] ppid=5983 vsize=1795420 CPUtime=1621.6
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 38818 0 1 0 162124 36 0 0 25 0 13 0 140034787 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109871731 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1795420 CPUtime=38.11
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 84560 0 0 0 3773 38 0 0 16 0 13 0 140034789 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1795420 CPUtime=38.06
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 79381 0 0 0 3774 32 0 0 16 0 13 0 140034789 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1795420 CPUtime=0.25
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 13 0 0 0 16 9 0 0 16 0 13 0 140034791 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140034795 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1795420 CPUtime=2.3
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 8364 0 0 0 226 4 0 0 16 0 13 0 140034795 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1795420 CPUtime=2.19
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 9550 0 0 0 215 4 0 0 16 0 13 0 140034795 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140034795 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140034795 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=6002] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/6002/stat : 6002 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 140112451 1838510080 188755 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1702.58
Current children cumulated vsize (KiB) 1795420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 6002
/proc/meminfo: memFree=1085576/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1795420 CPUtime=1764.27
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 225800 0 1 0 176297 130 0 0 18 0 13 0 140034786 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 448855 192851 1336 9 0 446466 0
[pid=5985/tid=5987] ppid=5983 vsize=1795420 CPUtime=1679.84
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 38868 0 1 0 167948 36 0 0 24 0 13 0 140034787 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109643317 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1795420 CPUtime=39.83
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 87236 0 0 0 3944 39 0 0 16 0 13 0 140034789 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1795420 CPUtime=39.77
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 81043 0 0 0 3944 33 0 0 16 0 13 0 140034789 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1795420 CPUtime=0.25
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 13 0 0 0 16 9 0 0 15 0 13 0 140034791 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140034795 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1795420 CPUtime=2.3
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 8364 0 0 0 226 4 0 0 16 0 13 0 140034795 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1795420 CPUtime=2.19
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 9550 0 0 0 215 4 0 0 16 0 13 0 140034795 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140034795 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140034795 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=6002] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/6002/stat : 6002 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 140112451 1838510080 192851 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1764.27
Current children cumulated vsize (KiB) 1795420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1757.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 6002
/proc/meminfo: memFree=1075272/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=1795420 CPUtime=1800.07
/proc/5985/stat : 5985 (java) S 5983 5985 5269 0 -1 0 228540 0 1 0 179875 132 0 0 18 0 13 0 140034786 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 448855 195433 1336 9 0 446466 0
[pid=5985/tid=5987] ppid=5983 vsize=1795420 CPUtime=1713.62
/proc/5985/task/5987/stat : 5987 (java) R 5983 5985 5269 0 -1 64 38896 0 1 0 171325 37 0 0 25 0 13 0 140034787 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796968 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=1795420 CPUtime=40.84
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5269 0 -1 64 88158 0 0 0 4044 40 0 0 16 0 13 0 140034789 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=1795420 CPUtime=40.78
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5269 0 -1 64 82833 0 0 0 4044 34 0 0 16 0 13 0 140034789 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5990] ppid=5983 vsize=1795420 CPUtime=0.27
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5269 0 -1 64 13 0 0 0 17 10 0 0 16 0 13 0 140034791 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5269 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5269 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 140034792 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5993] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 140034795 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5994] ppid=5983 vsize=1795420 CPUtime=2.3
/proc/5985/task/5994/stat : 5994 (java) S 5983 5985 5269 0 -1 64 8364 0 0 0 226 4 0 0 16 0 13 0 140034795 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5995] ppid=5983 vsize=1795420 CPUtime=2.19
/proc/5985/task/5995/stat : 5995 (java) S 5983 5985 5269 0 -1 64 9550 0 0 0 215 4 0 0 16 0 13 0 140034795 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5996] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5996/stat : 5996 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 140034795 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5997] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/5997/stat : 5997 (java) S 5983 5985 5269 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 140034795 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=6002] ppid=5983 vsize=1795420 CPUtime=0
/proc/5985/task/6002/stat : 6002 (java) S 5983 5985 5269 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 140112451 1838510080 195433 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1795420

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

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

[startup+1757.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 6002
/proc/meminfo: memFree=1075272/2055920 swapFree=4145880/4192956
[pid=5985] ppid=5983 vsize=0 CPUtime=1800.22
/proc/5985/stat : 5985 (java) Z 5983 5985 5269 0 -1 1036 228558 0 1 0 179887 135 0 0 15 0 2 0 140034786 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1757.3
CPU time (s): 1800.32
CPU user time (s): 1798.88
CPU system time (s): 1.44078
CPU usage (%): 102.448
Max. virtual memory (cumulated for all children) (KiB): 1800452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.44078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228558
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= 46875
involuntary context switches= 51168

runsolver used 1.73374 second user time and 4.76427 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Sun Apr 15 12:26:09 UTC 2007

IDJOB= 352722
IDBENCH= 2011
IDSOLVER= 164
FILE ID= node1/352722-1176639969

PBS_JOBID= 4556862

Free space on /tmp= 66462 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352722-1176639969/sat4jPseudoCPClause.jar /tmp/evaluation/352722-1176639969/instance-352722-1176639969.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-352722-1176639969 -o ROOT/results/node1/solver-352722-1176639969 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352722-1176639969/sat4jPseudoCPClause.jar /tmp/evaluation/352722-1176639969/instance-352722-1176639969.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  dccfffd22c38fcd3c497d688dab4b7a4

RANDOM SEED= 700158514

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1855384 kB
Buffers:         25220 kB
Cached:         107220 kB
SwapCached:      14236 kB
Active:          66260 kB
Inactive:        89408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855384 kB
SwapTotal:     4192956 kB
SwapFree:      4145880 kB
Dirty:            6664 kB
Writeback:           0 kB
Mapped:          30300 kB
Slab:            30348 kB
Committed_AS:  3568288 kB
PageTables:       1836 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= 66462 MiB

End job on node1 on Sun Apr 15 12:55:29 UTC 2007