Trace number 2660595

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
SAT4J PB CuttingPlanes 2.2.0 2010-05-26SAT (TO)82975 1800.34 1776.8

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	82975

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2660595-1276400055/watcher-2660595-1276400055 -o /tmp/evaluation-result-2660595-1276400055/solver-2660595-1276400055 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660595-1276400055.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 20736
/proc/meminfo: memFree=1797016/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1832 CPUtime=0
/proc/20736/stat : 20736 (java6) R 20734 20736 14183 0 -1 4194304 245 0 0 0 0 0 0 0 17 0 1 0 13661263 1875968 148 1992294400 134512640 134550932 4290151984 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 0
/proc/20736/statm: 458 148 111 10 0 63 0

[startup+0.064351 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 20736
/proc/meminfo: memFree=1797016/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1521664 CPUtime=0.05
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 3639 0 1 0 3 2 0 0 15 0 7 0 13661263 1558183936 3080 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 380416 3080 1030 10 0 377726 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1521664

[startup+0.101353 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 20736
/proc/meminfo: memFree=1797016/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1524184 CPUtime=0.09
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 3949 0 1 0 6 3 0 0 15 0 12 0 13661263 1560764416 3388 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 381046 3388 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1524184

[startup+0.300369 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 20736
/proc/meminfo: memFree=1797016/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1526544 CPUtime=0.36
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 5328 0 1 0 32 4 0 0 15 0 12 0 13661263 1563181056 4765 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 381636 4765 1360 10 0 378938 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1526544

[startup+0.70041 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 20736
/proc/meminfo: memFree=1797016/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1527652 CPUtime=1.12
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 8076 0 1 0 107 5 0 0 15 0 12 0 13661263 1564315648 7441 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 381913 7443 1403 10 0 379215 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 1527652

[startup+1.50147 s]
/proc/loadavg: 0.92 0.98 0.99 4/119 20748
/proc/meminfo: memFree=1755072/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1527816 CPUtime=2.35
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 24040 0 1 0 222 13 0 0 15 0 12 0 13661263 1564483584 23042 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 381954 23044 1418 10 0 379256 0
[pid=20736/tid=20738] ppid=20734 vsize=1527816 CPUtime=1.47
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 21509 0 1 0 136 11 0 0 25 0 12 0 13661264 1564483584 23045 1992294400 134512640 134550932 4293152272 18446744073709551615 4109395318 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 13661266 1564483584 23046 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 13661266 1564483584 23047 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 13661267 1564483584 23048 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 13661268 1564483584 23050 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 13661268 1564483584 23051 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 13661272 1564483584 23052 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1527816 CPUtime=0.33
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 200 0 0 0 33 0 0 0 20 0 12 0 13661272 1564483584 23053 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1527816 CPUtime=0.52
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 1271 0 0 0 52 0 0 0 17 0 12 0 13661272 1564483584 23055 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 13661272 1564483584 23056 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1527816 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 13661272 1564483584 23057 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 1527816

[startup+3.10163 s]
/proc/loadavg: 0.92 0.98 0.99 2/119 20748
/proc/meminfo: memFree=1655252/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1532396 CPUtime=4.58
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 39633 0 2 0 437 21 0 0 15 0 13 0 13661263 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383099 37741 1432 10 0 380401 0
[pid=20736/tid=20738] ppid=20734 vsize=1532396 CPUtime=2.65
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32059 0 1 0 248 17 0 0 25 0 13 0 13661264 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4109388352 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1532396 CPUtime=0.06
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 1838 0 0 0 6 0 0 0 16 0 13 0 13661266 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1532396 CPUtime=0.05
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 1380 0 0 0 5 0 0 0 18 0 13 0 13661266 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1532396 CPUtime=0
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 13 0 13661267 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1532396 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1532396 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1532396 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1532396 CPUtime=0.85
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 906 0 1 0 85 0 0 0 15 0 13 0 13661272 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1532396 CPUtime=0.91
/proc/20736/task/20746/stat : 20746 (java) R 20734 20736 14183 0 -1 4202560 2375 0 0 0 90 1 0 0 16 0 13 0 13661272 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 104139967 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1532396 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1532396 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 13661272 1569173504 37741 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 1532396

[startup+6.30192 s]
/proc/loadavg: 1.01 1.00 1.00 2/120 20749
/proc/meminfo: memFree=1616312/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1534588 CPUtime=9.25
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 50319 0 2 0 898 27 0 0 15 0 13 0 13661263 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383647 47033 1446 10 0 380949 0
[pid=20736/tid=20738] ppid=20734 vsize=1534588 CPUtime=5.08
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32069 0 1 0 491 17 0 0 25 0 13 0 13661264 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4109639492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1534588 CPUtime=0.34
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 6595 0 0 0 31 3 0 0 16 0 13 0 13661266 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1534588 CPUtime=0.33
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 5554 0 0 0 30 3 0 0 16 0 13 0 13661266 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1534588 CPUtime=0
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 13 0 13661267 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1534588 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1534588 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1534588 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1534588 CPUtime=1.85
/proc/20736/task/20745/stat : 20745 (java) R 20734 20736 14183 0 -1 4202560 2333 0 1 0 184 1 0 0 16 0 13 0 13661272 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 104139251 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1534588 CPUtime=1.6
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 2689 0 0 0 159 1 0 0 16 0 13 0 13661272 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1534588 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1534588 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 13661272 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=1534588 CPUtime=0
/proc/20736/task/20749/stat : 20749 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13661524 1571418112 47033 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (KiB) 1534588

[startup+12.7015 s]
/proc/loadavg: 1.01 1.00 1.00 2/120 20749
/proc/meminfo: memFree=1588164/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1533848 CPUtime=16.74
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 60284 0 2 0 1641 33 0 0 15 0 13 0 13661263 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383462 53565 1446 10 0 380764 0
[pid=20736/tid=20738] ppid=20734 vsize=1533848 CPUtime=10.99
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32079 0 1 0 1082 17 0 0 25 0 13 0 13661264 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4109697176 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1533848 CPUtime=0.76
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 11376 0 0 0 71 5 0 0 16 0 13 0 13661266 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1533848 CPUtime=0.75
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 9090 0 0 0 70 5 0 0 16 0 13 0 13661266 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 13 0 13661267 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1533848 CPUtime=2.44
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 3971 0 1 0 243 1 0 0 15 0 13 0 13661272 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1533848 CPUtime=1.74
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 2689 0 0 0 173 1 0 0 15 0 13 0 13661272 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 13661272 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20749/stat : 20749 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13661524 1570660352 53565 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.74
Current children cumulated vsize (KiB) 1533848

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/120 20749
/proc/meminfo: memFree=1575020/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1533848 CPUtime=29.86
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 63648 0 2 0 2951 35 0 0 15 0 13 0 13661263 1570660352 56618 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383462 56618 1446 10 0 380764 0
[pid=20736/tid=20738] ppid=20734 vsize=1533848 CPUtime=23.45
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32098 0 1 0 2327 18 0 0 25 0 13 0 13661264 1570660352 56618 1992294400 134512640 134550932 4293152272 18446744073709551615 4109761095 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1533848 CPUtime=1.05
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 13114 0 0 0 99 6 0 0 16 0 13 0 13661266 1570660352 56618 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1533848 CPUtime=1.05
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 10697 0 0 0 99 6 0 0 16 0 13 0 13661266 1570660352 56618 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1533848 CPUtime=0.01
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 13 0 0 0 1 0 0 0 15 0 13 0 13661267 1570660352 56618 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 56618 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1533848 CPUtime=0

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

[pid=20736/tid=20742] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1533848 CPUtime=2.51
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 3975 0 1 0 250 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1533848 CPUtime=1.8
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 2689 0 0 0 179 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20749/stat : 20749 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13661524 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1564.03
Current children cumulated vsize (KiB) 1533848

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/120 20794
/proc/meminfo: memFree=1293540/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1533848 CPUtime=1624.52
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 140509 0 2 0 162311 141 0 0 15 0 13 0 13661263 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383462 126307 1452 10 0 380764 0
[pid=20736/tid=20738] ppid=20734 vsize=1533848 CPUtime=1579.01
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32780 0 1 0 157847 54 0 0 25 0 13 0 13661264 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4109656351 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1533848 CPUtime=19.62
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 49563 0 0 0 1930 32 0 0 15 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1533848 CPUtime=19.59
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 49911 0 0 0 1915 44 0 0 16 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1533848 CPUtime=1.91
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 433 0 0 0 186 5 0 0 16 0 13 0 13661267 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1533848 CPUtime=2.51
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 3975 0 1 0 250 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1533848 CPUtime=1.8
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 2689 0 0 0 179 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20749/stat : 20749 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13661524 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1624.52
Current children cumulated vsize (KiB) 1533848

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/120 20805
/proc/meminfo: memFree=1292548/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1533848 CPUtime=1684.91
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 140535 0 2 0 168349 142 0 0 15 0 13 0 13661263 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383462 126307 1452 10 0 380764 0
[pid=20736/tid=20738] ppid=20734 vsize=1533848 CPUtime=1638.55
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32798 0 1 0 163801 54 0 0 25 0 13 0 13661264 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4109639837 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1533848 CPUtime=20.05
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 49563 0 0 0 1972 33 0 0 15 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1533848 CPUtime=20
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 49911 0 0 0 1956 44 0 0 16 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1533848 CPUtime=1.91
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 437 0 0 0 186 5 0 0 15 0 13 0 13661267 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1533848 CPUtime=2.51
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 3975 0 1 0 250 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1533848 CPUtime=1.8
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 2689 0 0 0 179 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20749/stat : 20749 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13661524 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1684.91
Current children cumulated vsize (KiB) 1533848

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/120 20807
/proc/meminfo: memFree=1292548/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1533848 CPUtime=1745.34
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 140562 0 2 0 174391 143 0 0 15 0 13 0 13661263 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383462 126307 1452 10 0 380764 0
[pid=20736/tid=20738] ppid=20734 vsize=1533848 CPUtime=1698.07
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32817 0 1 0 169753 54 0 0 25 0 13 0 13661264 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4109577658 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1533848 CPUtime=20.51
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 49563 0 0 0 2018 33 0 0 16 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1533848 CPUtime=20.46
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 49911 0 0 0 2001 45 0 0 16 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1533848 CPUtime=1.92
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 441 0 0 0 187 5 0 0 15 0 13 0 13661267 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1533848 CPUtime=2.51
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 3975 0 1 0 250 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1533848 CPUtime=1.8
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 2689 0 0 0 179 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20749/stat : 20749 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13661524 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1745.34
Current children cumulated vsize (KiB) 1533848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/120 20809
/proc/meminfo: memFree=1292548/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=1533848 CPUtime=1800.02
/proc/20736/stat : 20736 (java) S 20734 20736 14183 0 -1 4202496 140583 0 2 0 179858 144 0 0 15 0 13 0 13661263 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 383462 126307 1452 10 0 380764 0
[pid=20736/tid=20738] ppid=20734 vsize=1533848 CPUtime=1751.93
/proc/20736/task/20738/stat : 20738 (java) R 20734 20736 14183 0 -1 4202560 32834 0 1 0 175139 54 0 0 25 0 13 0 13661264 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4109639492 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20736/tid=20739] ppid=20734 vsize=1533848 CPUtime=20.91
/proc/20736/task/20739/stat : 20739 (java) S 20734 20736 14183 0 -1 4202560 49563 0 0 0 2058 33 0 0 15 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20740] ppid=20734 vsize=1533848 CPUtime=20.86
/proc/20736/task/20740/stat : 20740 (java) S 20734 20736 14183 0 -1 4202560 49911 0 0 0 2041 45 0 0 16 0 13 0 13661266 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20741] ppid=20734 vsize=1533848 CPUtime=1.92
/proc/20736/task/20741/stat : 20741 (java) S 20734 20736 14183 0 -1 4202560 443 0 0 0 187 5 0 0 15 0 13 0 13661267 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 0 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20742] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20742/stat : 20742 (java) S 20734 20736 14183 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20743] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20743/stat : 20743 (java) S 20734 20736 14183 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 13661268 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20744] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20744/stat : 20744 (java) S 20734 20736 14183 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20745] ppid=20734 vsize=1533848 CPUtime=2.51
/proc/20736/task/20745/stat : 20745 (java) S 20734 20736 14183 0 -1 4202560 3975 0 1 0 250 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
[pid=20736/tid=20746] ppid=20734 vsize=1533848 CPUtime=1.8
/proc/20736/task/20746/stat : 20746 (java) S 20734 20736 14183 0 -1 4202560 2689 0 0 0 179 1 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20747/stat : 20747 (java) S 20734 20736 14183 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20748] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20748/stat : 20748 (java) S 20734 20736 14183 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 13661272 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 0 0 0 0
[pid=20736/tid=20749] ppid=20734 vsize=1533848 CPUtime=0
/proc/20736/task/20749/stat : 20749 (java) S 20734 20736 14183 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 13661524 1570660352 126307 1992294400 134512640 134550932 4293152272 18446744073709551615 4294960144 0 4 0 16800975 18446604437825681216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1533848

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

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

[startup+1776.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/120 20809
/proc/meminfo: memFree=1292548/2059040 swapFree=4140108/4192956
[pid=20736] ppid=20734 vsize=0 CPUtime=1800.33
/proc/20736/stat : 20736 (java) Z 20734 20736 14183 0 -1 4203548 140606 0 2 0 179884 149 0 0 15 0 2 0 13661263 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20736/statm: 0 0 0 0 0 0 0
[pid=20736/tid=20747] ppid=20734 vsize=0 CPUtime=0.04
/proc/20736/task/20747/stat : 20747 (java) R 20734 20736 14183 0 -1 4203588 0 0 0 0 0 4 0 0 18 0 2 0 13661272 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1776.8
CPU time (s): 1800.34
CPU user time (s): 1798.84
CPU system time (s): 1.49477
CPU usage (%): 101.325
Max. virtual memory (cumulated for all children) (KiB): 1537216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.49477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140606
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44204
involuntary context switches= 49268

runsolver used 3.61145 second user time and 10.1105 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-13 05:34:15
IDJOB=2660595
IDBENCH=2011
IDSOLVER=1165
FILE ID=node025/2660595-1276400055
PBS_JOBID= 11173260
Free space on /tmp= 62536 MiB

SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2660595-1276400055/watcher-2660595-1276400055 -o /tmp/evaluation-result-2660595-1276400055/solver-2660595-1276400055 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660595-1276400055.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=965601024

node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1797536 kB
Buffers:         37432 kB
Cached:         134340 kB
SwapCached:       6504 kB
Active:         125556 kB
Inactive:        59336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1797536 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            3268 kB
Writeback:          36 kB
AnonPages:       11016 kB
Mapped:          12852 kB
Slab:            54756 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183172 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node025 at 2010-06-13 06:03:54