Trace number 453672

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT (TO)27 1800.43 1751.26

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	27

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-453672-1178148062 -o ROOT/results/node11/solver-453672-1178148062 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453672-1178148062/sat4jPseudoCP.jar /tmp/evaluation/453672-1178148062/instance-453672-1178148062.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 22939
/proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=152 CPUtime=0
/proc/22939/stat : 22939 (java) R 22937 22939 21234 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 255855173 155648 26 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 7979812 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22939/statm: 38 26 19 9 0 4 0

[startup+0.0267031 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22939
/proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1772952 CPUtime=0.01
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 1317 0 1 0 0 1 0 0 18 0 2 0 255855173 1815502848 1068 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 443238 1080 381 9 0 441252 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1772952

[startup+0.101704 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22939
/proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1780108 CPUtime=0.08
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 3936 0 1 0 6 2 0 0 18 0 12 0 255855173 1822830592 3679 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 445027 3679 1119 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301733 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22939
/proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1782444 CPUtime=0.3
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 5133 0 1 0 28 2 0 0 18 0 12 0 255855173 1825222656 4873 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 445611 4873 1260 9 0 443223 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1782444

[startup+0.701782 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22939
/proc/meminfo: memFree=1803952/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1782880 CPUtime=0.84
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 6137 0 1 0 81 3 0 0 18 0 12 0 255855173 1825669120 5823 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 445720 5823 1301 9 0 443332 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 1782880

[startup+1.50187 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 22951
/proc/meminfo: memFree=1779792/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1786720 CPUtime=1.98
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 10835 0 1 0 193 5 0 0 18 0 12 0 255855173 1829601280 8201 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 446680 8201 1304 9 0 444292 0
[pid=22939/tid=22941] ppid=22937 vsize=1786720 CPUtime=1.14
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 6004 0 1 0 112 2 0 0 20 0 12 0 255855174 1829601280 8201 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109484278 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 255855176 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 255855176 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 255855178 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 255855179 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 255855179 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1786720 CPUtime=0.36
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 1445 0 0 0 36 0 0 0 16 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1786720 CPUtime=0.46
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 2668 0 0 0 45 1 0 0 16 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1786720 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 255855183 1829601280 8202 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 1786720

[startup+3.10207 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 22953
/proc/meminfo: memFree=1753544/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1797096 CPUtime=4.75
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 42679 0 1 0 456 19 0 0 18 0 13 0 255855173 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 449274 35113 1317 9 0 446886 0
[pid=22939/tid=22941] ppid=22937 vsize=1797096 CPUtime=2.05
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 30783 0 1 0 193 12 0 0 18 0 13 0 255855174 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109196870 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 255855176 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 255855176 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 255855178 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 255855179 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 255855179 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1797096 CPUtime=1.27
/proc/22939/task/22948/stat : 22948 (java) R 22937 22939 21234 0 -1 64 5853 0 0 0 124 3 0 0 18 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 104929619 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1797096 CPUtime=1.4
/proc/22939/task/22949/stat : 22949 (java) R 22937 22939 21234 0 -1 64 5319 0 0 0 138 2 0 0 18 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103335981 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22953] ppid=22937 vsize=1797096 CPUtime=0
/proc/22939/task/22953/stat : 22953 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 255855344 1840226304 35113 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 1797096

[startup+6.30225 s]
/proc/loadavg: 0.93 0.98 0.99 4/90 22954
/proc/meminfo: memFree=1631624/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1795264 CPUtime=8.98
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 56122 0 1 0 871 27 0 0 18 0 13 0 255855173 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 448816 43155 1326 9 0 446428 0
[pid=22939/tid=22941] ppid=22937 vsize=1795264 CPUtime=4.75
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 37744 0 1 0 459 16 0 0 25 0 13 0 255855174 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109747848 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1795264 CPUtime=0.06
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 939 0 0 0 6 0 0 0 16 0 13 0 255855176 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1795264 CPUtime=0.08
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 1199 0 0 0 8 0 0 0 16 0 13 0 255855176 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1795264 CPUtime=0
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 255855178 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1795264 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1795264 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1795264 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1795264 CPUtime=1.73
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7026 0 0 0 169 4 0 0 16 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1795264 CPUtime=2.31
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8475 0 0 0 227 4 0 0 16 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1795264 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1795264 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22954] ppid=22937 vsize=1795264 CPUtime=0
/proc/22939/task/22954/stat : 22954 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 255855497 1838350336 43155 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.98
Current children cumulated vsize (KiB) 1795264

[startup+12.702 s]
/proc/loadavg: 1.02 1.00 1.00 2/90 22954
/proc/meminfo: memFree=1594248/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1795104 CPUtime=15.68
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 67010 0 1 0 1536 32 0 0 18 0 13 0 255855173 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 448776 53585 1326 9 0 446388 0
[pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=11.01
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 43467 0 1 0 1082 19 0 0 25 0 13 0 255855174 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109747173 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=0.17
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 3557 0 0 0 16 1 0 0 16 0 13 0 255855176 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=0.18
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 3724 0 0 0 17 1 0 0 16 0 13 0 255855176 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 255855178 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=1.82
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7031 0 0 0 178 4 0 0 16 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.45
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8479 0 0 0 241 4 0 0 16 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22954] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22954/stat : 22954 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 255855497 1838186496 53585 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.68
Current children cumulated vsize (KiB) 1795104

[startup+25.5025 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 22954
/proc/meminfo: memFree=1602888/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1795104 CPUtime=28.65
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 69751 0 1 0 2831 34 0 0 18 0 13 0 255855173 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 448776 50683 1327 9 0 446388 0
[pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=23.66
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 43486 0 1 0 2347 19 0 0 25 0 13 0 255855174 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109764704 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=0.29
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 5095 0 0 0 28 1 0 0 15 0 13 0 255855176 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=0.31
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 4897 0 0 0 29 2 0 0 17 0 13 0 255855176 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.02
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 39 0 0 0 1 1 0 0 17 0 13 0 255855178 1838186496 50683 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.32
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 70 0 0 0 19 13 0 0 16 0 13 0 255855178 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 189511 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1583.78
Current children cumulated vsize (KiB) 1795104

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 22958
/proc/meminfo: memFree=1035704/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1795104 CPUtime=1645.88
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 231489 0 1 0 164455 133 0 0 18 0 13 0 255855173 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 448776 192712 1335 9 0 446388 0
[pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1557.91
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 51045 0 1 0 155754 37 0 0 25 0 13 0 255855174 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109853064 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=41.5
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 80807 0 0 0 4116 34 0 0 16 0 13 0 255855176 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=41.55
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 83312 0 0 0 4117 38 0 0 16 0 13 0 255855176 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.32
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 70 0 0 0 19 13 0 0 16 0 13 0 255855178 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 192712 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1645.88
Current children cumulated vsize (KiB) 1795104

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 22958
/proc/meminfo: memFree=1020728/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1795104 CPUtime=1708.09
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 235545 0 1 0 170674 135 0 0 18 0 13 0 255855173 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 448776 196440 1335 9 0 446388 0
[pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1615.61
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 51080 0 1 0 161524 37 0 0 24 0 13 0 255855174 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109853141 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=43.77
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 83378 0 0 0 4342 35 0 0 16 0 13 0 255855176 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=43.79
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 84761 0 0 0 4340 39 0 0 17 0 13 0 255855176 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.33
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 71 0 0 0 20 13 0 0 15 0 13 0 255855178 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 196440 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.09
Current children cumulated vsize (KiB) 1795104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 22958
/proc/meminfo: memFree=1006520/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1795104 CPUtime=1770.31
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 239407 0 1 0 176894 137 0 0 18 0 13 0 255855173 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 448776 199982 1335 9 0 446388 0
[pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1673.33
/proc/22939/task/22941/stat : 22941 (java) R 22937 22939 21234 0 -1 64 51114 0 1 0 167295 38 0 0 25 0 13 0 255855174 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109653955 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=46
/proc/22939/task/22942/stat : 22942 (java) S 22937 22939 21234 0 -1 64 86048 0 0 0 4565 35 0 0 16 0 13 0 255855176 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=46.04
/proc/22939/task/22943/stat : 22943 (java) S 22937 22939 21234 0 -1 64 85918 0 0 0 4565 39 0 0 17 0 13 0 255855176 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.34
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 72 0 0 0 21 13 0 0 16 0 13 0 255855178 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 199982 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.31
Current children cumulated vsize (KiB) 1795104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1751 s]
/proc/loadavg: 1.00 1.01 1.00 3/90 22958
/proc/meminfo: memFree=999672/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=1795104 CPUtime=1800.08
/proc/22939/stat : 22939 (java) S 22937 22939 21234 0 -1 0 241270 0 1 0 179869 139 0 0 18 0 13 0 255855173 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22939/statm: 448776 201674 1335 9 0 446388 0
[pid=22939/tid=22941] ppid=22937 vsize=1795104 CPUtime=1700.92
/proc/22939/task/22941/stat : 22941 (java) S 22937 22939 21234 0 -1 64 51130 0 1 0 170054 38 0 0 25 0 13 0 255855174 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22942] ppid=22937 vsize=1795104 CPUtime=47.08
/proc/22939/task/22942/stat : 22942 (java) R 22937 22939 21234 0 -1 64 87222 0 0 0 4672 36 0 0 17 0 13 0 255855176 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105070783 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22943] ppid=22937 vsize=1795104 CPUtime=47.12
/proc/22939/task/22943/stat : 22943 (java) R 22937 22939 21234 0 -1 64 86591 0 0 0 4672 40 0 0 16 0 13 0 255855176 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 102355125 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22944] ppid=22937 vsize=1795104 CPUtime=0.34
/proc/22939/task/22944/stat : 22944 (java) S 22937 22939 21234 0 -1 64 72 0 0 0 21 13 0 0 16 0 13 0 255855178 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22945] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22945/stat : 22945 (java) S 22937 22939 21234 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22946] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22946/stat : 22946 (java) S 22937 22939 21234 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 255855179 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22947] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22947/stat : 22947 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22948] ppid=22937 vsize=1795104 CPUtime=2.01
/proc/22939/task/22948/stat : 22948 (java) S 22937 22939 21234 0 -1 64 7047 0 0 0 197 4 0 0 17 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22949] ppid=22937 vsize=1795104 CPUtime=2.53
/proc/22939/task/22949/stat : 22949 (java) S 22937 22939 21234 0 -1 64 8484 0 0 0 249 4 0 0 16 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22950] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22950/stat : 22950 (java) S 22937 22939 21234 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22939/tid=22951] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22951/stat : 22951 (java) S 22937 22939 21234 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 255855183 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22939/tid=22956] ppid=22937 vsize=1795104 CPUtime=0
/proc/22939/task/22956/stat : 22956 (java) S 22937 22939 21234 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 255860346 1838186496 201674 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1795104

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

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

[startup+1751.21 s]
/proc/loadavg: 1.00 1.01 1.00 2/92 22961
/proc/meminfo: memFree=999208/2055920 swapFree=4147120/4192956
[pid=22939] ppid=22937 vsize=0 CPUtime=1800.37
/proc/22939/stat : 22939 (java) Z 22937 22939 21234 0 -1 1036 241386 0 1 0 179890 147 0 0 15 0 2 0 255855173 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22939/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1751.26
CPU time (s): 1800.43
CPU user time (s): 1798.91
CPU system time (s): 1.52677
CPU usage (%): 102.808
Max. virtual memory (cumulated for all children) (KiB): 1797300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.52677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241386
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= 47858
involuntary context switches= 55409

runsolver used 1.66975 second user time and 4.73128 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Wed May  2 23:21:02 UTC 2007

IDJOB= 453672
IDBENCH= 48146
IDSOLVER= 160
FILE ID= node11/453672-1178148062

PBS_JOBID= 4751066

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  b738c7950af6b3d63e331a14bc641dc9

RANDOM SEED= 533717111

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1804360 kB
Buffers:         90204 kB
Cached:          78120 kB
SwapCached:      14256 kB
Active:          82264 kB
Inactive:       111624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1804360 kB
SwapTotal:     4192956 kB
SwapFree:      4147120 kB
Dirty:            3712 kB
Writeback:           0 kB
Mapped:          32272 kB
Slab:            43104 kB
Committed_AS:  7310100 kB
PageTables:       1856 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node11 on Wed May  2 23:50:15 UTC 2007