Trace number 42580

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
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)1768 1800.31 1778.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb
MD5SUM6b5a85fbc00dc0684845d7179dbc62de
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark770
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 770
Optimality of the best value was proved NO
Number of variables1704
Total number of constraints118
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints103
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1268
Biggest coefficient in the objective function 29693
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525250
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261970
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525250
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.16	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16	c no version file found!!!
0.16	c sun.arch.data.model	32
0.16	c java.version	1.5.0_06
0.16	c os.name	Linux
0.16	c os.version	2.6.9-22.EL.rootsmp
0.16	c os.arch	i386
0.16	c Free memory 1548419056
0.16	c Max memory 1551040512
0.16	c Total memory 1551040512
0.16	c Number of processors 2
0.23	c Cutting planes based inference
0.23	c --- Begin Solver configuration ---
0.23	c org.sat4j.minisat.uip.FirstUIP@1df073d
0.23	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25
0.23	c org.sat4j.minisat.learning.MiniSATLearning@b66cc
0.23	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.23	c VSIDS like heuristics from MiniSAT using a heap
0.23	c No reason simplification
0.23	c --- End Solver configuration ---
0.23	c solving ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb
0.23	c reading problem ... 
0.52	c ... done. Time 0.295 ms.
0.52	c #vars     1704
0.52	c #constraints  118
1.99	c SATISFIABLE
1.99	c OPTIMIZING...
1.99	c Got one! Ellapsed CPU time (in seconds):1.761
2.01	o 2918
19.01	c Got one! Ellapsed CPU time (in seconds):18.781
19.01	o 2911
20.07	c Got one! Ellapsed CPU time (in seconds):19.845
20.08	o 2902
20.90	c Got one! Ellapsed CPU time (in seconds):20.67
20.90	o 2841
21.44	c Got one! Ellapsed CPU time (in seconds):21.207
21.44	o 2332
154.28	c Got one! Ellapsed CPU time (in seconds):154.052
154.28	o 2033
159.96	c Got one! Ellapsed CPU time (in seconds):159.727
159.96	o 1857
161.03	c Got one! Ellapsed CPU time (in seconds):160.806
161.04	o 1852
164.11	c Got one! Ellapsed CPU time (in seconds):163.879
164.11	o 1851
190.02	c Got one! Ellapsed CPU time (in seconds):189.791
190.02	o 1849
757.56	c Got one! Ellapsed CPU time (in seconds):757.33
757.56	o 1848
762.29	c Got one! Ellapsed CPU time (in seconds):762.06
762.29	o 1769
926.81	c Got one! Ellapsed CPU time (in seconds):926.58
926.81	o 1768
1778.37	c starts		: 31
1778.37	c conflicts		: 4533
1778.37	c decisions		: 122442
1778.37	c propagations		: 279381
1778.37	c inspects		: 20996249
1778.37	c learnt literals	: 0
1778.37	c learnt binary clauses	: 0
1778.37	c learnt ternary clauses	: 0
1778.37	c learnt clauses	: 4532
1778.37	c root simplifications	: 0
1778.37	c removed literals (reason simplification)	: 0
1778.37	c reason swapping (by a shorter reason)	: 0
1778.37	c Calls to reduceDB	: 0
1778.37	c speed (decisions/second)	: 143.78653614450758
1778.37	c non guided choices	80
1778.37	s SATISFIABLE
1778.41	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
1778.41	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1778.41	v -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 x67 x68 -x69 -x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82
1778.41	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1778.41	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1778.41	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148
1778.41	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1778.41	v x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1778.41	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1778.41	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1778.41	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1778.41	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1778.41	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1778.41	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1778.41	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1778.41	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1778.41	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1778.41	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402
1778.41	v x403 x404 x405 x406 x407 x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1778.41	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 -x444 -x445
1778.41	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1778.41	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1778.41	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508
1778.41	v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529
1778.41	v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1778.41	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571
1778.41	v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592
1778.41	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613
1778.41	v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
1778.41	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1778.41	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1778.41	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1778.41	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1778.41	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1778.41	v -x740 -x741 x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1778.41	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1778.41	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1778.41	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823
1778.41	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1778.41	v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865
1778.41	v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886
1778.41	v -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907
1778.41	v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1778.41	v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
1778.41	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 x964 x965 x966 -x967 x968 x969 x970 x971 x972
1778.41	v x973 x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 x993 x994 x995
1778.41	v x996 x997 x998 x999 x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1778.41	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033
1778.41	v x1034 x1035 x1036 x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051
1778.41	v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068
1778.41	v -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
1778.41	v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 x1099 x1100 -x1101 -x1102 -x1103
1778.41	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 -x1120 x1121 -x1122
1778.41	v -x1123 -x1124 -x1125 x1126 x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
1778.41	v x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 -x1160
1778.41	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1778.41	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195
1778.41	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
1778.41	v -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 x1221 x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1778.41	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 x1245 x1246 -x1247 -x1248
1778.41	v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 x1264 x1265 -x1266
1778.41	v x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
1778.41	v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1778.41	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317
1778.41	v -x1318 -x1319 -x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 -x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1778.41	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354
1778.41	v x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 x1367 -x1368 x1369 -x1370 x1371 -x1372 -x1373 -x1374
1778.41	v x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391
1778.41	v -x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 x1399 x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1778.41	v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427
1778.41	v -x1428 -x1429 x1430 x1431 x1432 -x1433 -x1434 x1435 x1436 x1437 x1438 x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 x1446
1778.41	v -x1447 -x1448 x1449 x1450 x1451 x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464
1778.41	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
1778.41	v x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 x1500
1778.41	v -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 x1518
1778.41	v x1519 x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1778.41	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1778.41	v -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571
1778.41	v -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1778.41	v -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606
1778.41	v x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623
1778.41	v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640
1778.41	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658
1778.41	v -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1778.41	v -x1676 x1677 -x1678 x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693
1778.41	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1778.41	c objective function=1768
1778.41	c Total wall clock time (ms): 1778.184

Verifier Data (download as text)

OK	1768

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node74/watcher-42580-1149350505 -o ROOT/results/node74/solver-42580-1149350505 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb 142120161 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.97 3/64 10942
/proc/meminfo: memFree=1565744/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=0 CPUtime=0
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 200714827 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10942/statm: 0 0 0 0 0 0 0

[startup+10.0022 s]
/proc/loadavg: 0.99 0.97 0.97 2/76 10955
/proc/meminfo: memFree=1382872/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1711760 CPUtime=11.24
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 51052 0 1 0 1095 29 0 0 17 0 13 0 200714827 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 427940 47467 1905 14 0 414687 0
[pid=10942/tid=10943] ppid=10940 vsize=1711760 CPUtime=0.07
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 1874 0 0 0 6 1 0 0 16 0 13 0 200714832 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1711760 CPUtime=0.07
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 1685 0 0 0 6 1 0 0 16 0 13 0 200714832 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1711760 CPUtime=0.09
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 3 6 0 0 16 0 13 0 200714834 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1711760 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1711760 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1711760 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1711760 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1711760 CPUtime=0.73
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2169 0 0 0 72 1 0 0 16 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1711760 CPUtime=0.82
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 1379 0 0 0 82 0 0 0 16 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1711760 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1711760 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10955] ppid=10940 vsize=1711760 CPUtime=0
/proc/10942/task/10955/stat : 10955 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 200715034 1752842240 47467 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (Kb) 1711760

[startup+20.0092 s]
/proc/loadavg: 0.99 0.97 0.97 2/76 10956
/proc/meminfo: memFree=1395024/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=21.41
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 52874 0 1 0 2110 31 0 0 21 0 13 0 200714827 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071510649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 44412 1906 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.1
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 2399 0 0 0 9 1 0 0 16 0 13 0 200714832 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.1
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 1982 0 0 0 9 1 0 0 15 0 13 0 200714832 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.1
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 3 7 0 0 16 0 13 0 200714834 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.74
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2169 0 0 0 73 1 0 0 16 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=0.97
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2360 0 0 0 96 1 0 0 16 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10956] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10956/stat : 10956 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 200716732 1753796608 44412 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.41
Current children cumulated vsize (Kb) 1712692

[startup+30.0162 s]
/proc/loadavg: 0.99 0.97 0.97 2/76 10959
/proc/meminfo: memFree=1402888/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=31.59
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 54782 0 1 0 3126 33 0 0 22 0 13 0 200714827 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 42439 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.17
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3228 0 0 0 16 1 0 0 16 0 13 0 200714832 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.17
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3010 0 0 0 15 2 0 0 16 0 13 0 200714832 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.11
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 4 7 0 0 16 0 13 0 200714834 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.83
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 82 1 0 0 16 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2371 0 0 0 99 1 0 0 16 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10959] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10959/stat : 10959 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200716972 1753796608 42439 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.59
Current children cumulated vsize (Kb) 1712692

[startup+40.0231 s]
/proc/loadavg: 0.99 0.97 0.97 2/76 10959
/proc/meminfo: memFree=1407560/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=41.62
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 55323 0 1 0 4128 34 0 0 25 0 13 0 200714827 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 41270 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.2
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3506 0 0 0 19 1 0 0 16 0 13 0 200714832 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.2
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3249 0 0 0 18 2 0 0 16 0 13 0 200714832 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.12
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 5 7 0 0 16 0 13 0 200714834 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.83
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 82 1 0 0 16 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2371 0 0 0 99 1 0 0 16 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10959] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10959/stat : 10959 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200716972 1753796608 41270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.62
Current children cumulated vsize (Kb) 1712692

[startup+50.0301 s]
/proc/loadavg: 1.06 0.99 0.98 2/76 10959
/proc/meminfo: memFree=1409224/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=51.62
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 55648 0 1 0 5128 34 0 0 25 0 13 0 200714827 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 40867 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.21
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3657 0 0 0 20 1 0 0 15 0 13 0 200714832 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.23
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3397 0 0 0 21 2 0 0 16 0 13 0 200714832 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.13
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 5 8 0 0 16 0 13 0 200714834 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.83
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 82 1 0 0 16 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2371 0 0 0 99 1 0 0 16 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10959] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10959/stat : 10959 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 200716972 1753796608 40867 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.62
Current children cumulated vsize (Kb) 1712692

[startup+60.037 s]
/proc/loadavg: 1.05 0.99 0.98 2/76 10959
/proc/meminfo: memFree=1410184/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=61.64
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 55872 0 1 0 6129 35 0 0 25 0 13 0 200714827 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071412367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 40623 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=0.23
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 3753 0 0 0 22 1 0 0 15 0 13 0 200714832 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=0.24
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 3498 0 0 0 22 2 0 0 16 0 13 0 200714832 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.13
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 31 0 0 0 5 8 0 0 16 0 13 0 200714834 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 40623 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.01
Current children cumulated vsize (Kb) 1712692

[startup+1775.34 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 10967
/proc/meminfo: memFree=942816/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=1797.03
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256486 0 1 0 179514 189 0 0 19 0 13 0 200714827 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071415265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 157043 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.39
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70216 0 0 0 2099 40 0 0 16 0 13 0 200714832 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.42
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71637 0 0 0 2098 44 0 0 16 0 13 0 200714832 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 15 0 13 0 200714834 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (Kb) 1712692

[startup+1776.35 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 10967
/proc/meminfo: memFree=942688/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=1798.05
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256528 0 1 0 179616 189 0 0 22 0 13 0 200714827 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 157083 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.4
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70229 0 0 0 2100 40 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.44
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71664 0 0 0 2100 44 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 16 0 13 0 200714834 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (Kb) 1712692

[startup+1777.36 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 10967
/proc/meminfo: memFree=942688/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=1799.07
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256529 0 1 0 179718 189 0 0 19 0 13 0 200714827 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10942/statm: 428173 157083 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.41
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70229 0 0 0 2101 40 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.45
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71664 0 0 0 2101 44 0 0 16 0 13 0 200714832 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 15 0 13 0 200714834 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157083 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (Kb) 1712692

[startup+1778.37 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 10967
/proc/meminfo: memFree=942496/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=1800.09
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256568 0 1 0 179820 189 0 0 16 0 13 0 200714827 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071592780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10942/statm: 428173 157119 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.43
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70240 0 0 0 2103 40 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.47
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71690 0 0 0 2103 44 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 16 0 13 0 200714834 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (Kb) 1712692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.37 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 10967
/proc/meminfo: memFree=942496/2055920 swapFree=4182292/4192956
[pid=10942] ppid=10940 vsize=1712692 CPUtime=1800.1
/proc/10942/stat : 10942 (java) R 10940 10942 10896 0 -1 0 256568 0 1 0 179821 189 0 0 16 0 13 0 200714827 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071453651 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10942/statm: 428173 157119 1910 14 0 414920 0
[pid=10942/tid=10943] ppid=10940 vsize=1712692 CPUtime=21.43
/proc/10942/task/10943/stat : 10943 (java) S 10940 10942 10896 0 -1 64 70240 0 0 0 2103 40 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10944] ppid=10940 vsize=1712692 CPUtime=21.47
/proc/10942/task/10944/stat : 10944 (java) S 10940 10942 10896 0 -1 64 71690 0 0 0 2103 44 0 0 16 0 13 0 200714832 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10945] ppid=10940 vsize=1712692 CPUtime=0.92
/proc/10942/task/10945/stat : 10945 (java) S 10940 10942 10896 0 -1 64 216 0 0 0 52 40 0 0 16 0 13 0 200714834 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10946] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10946/stat : 10946 (java) S 10940 10942 10896 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10947] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10947/stat : 10947 (java) S 10940 10942 10896 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 200714835 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10948] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10948/stat : 10948 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10949] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10949/stat : 10949 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10950] ppid=10940 vsize=1712692 CPUtime=0.84
/proc/10942/task/10950/stat : 10950 (java) S 10940 10942 10896 0 -1 64 2182 0 0 0 83 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10942/tid=10951] ppid=10940 vsize=1712692 CPUtime=1.03
/proc/10942/task/10951/stat : 10951 (java) S 10940 10942 10896 0 -1 64 2372 0 0 0 102 1 0 0 17 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10952] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10952/stat : 10952 (java) S 10940 10942 10896 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10953] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10953/stat : 10953 (java) S 10940 10942 10896 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 200714838 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10942/tid=10967] ppid=10940 vsize=1712692 CPUtime=0
/proc/10942/task/10967/stat : 10967 (java) S 10940 10942 10896 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 200807510 1753796608 157119 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (Kb) 1712692

Sending SIGTERM to -10942
Sleeping 2 seconds

Child status: 143
Real time (s): 1778.54
CPU time (s): 1800.31
CPU user time (s): 1798.32
CPU system time (s): 1.9917
CPU usage (%): 101.224
Max. virtual memory (cumulated for all children) (Kb): 1712692

Launcher Data (download as text)

Begin job on node74 on Sat Jun  3 16:01:45 UTC 2006


FILE ID= 42580-1149350505

PBS_JOBID= 310952

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell5.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb 142120161
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-42580-1149350505 -o ROOT/results/node74/solver-42580-1149350505 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/42580-1149350505/instance-42580-1149350505.opb 142120161

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  6b5a85fbc00dc0684845d7179dbc62de

RANDOM SEED= 142120161


/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.274
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.274
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:       1565952 kB
Buffers:         16380 kB
Cached:         410716 kB
SwapCached:       2324 kB
Active:         189204 kB
Inactive:       246596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1565952 kB
SwapTotal:     4192956 kB
SwapFree:      4182292 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          15880 kB
Slab:            40216 kB
Committed_AS:   310752 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node74 on Sat Jun  3 16:31:24 UTC 2006