Trace number 1855393

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 NameAnswerobjCPU timeWall clock time
SAT4J Pseudo Resolution 2.1.1SAT (TO)4102 1800.73 1796.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3124
Best CPU time to get the best result obtained on this benchmark4.71528
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.1.1.v20090612
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0_12
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 1342000320
0.08/0.15	c Max memory 1344274432
0.08/0.15	c Total memory 1344274432
0.08/0.15	c Number of processors 2
0.22/0.22	c Pseudo Boolean Optimization
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.22	c Expensive reason simplification
0.22/0.22	c MiniSAT restarts strategy
0.22/0.22	c Memory based learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	c solving HOME/instance-1855393-1244874853.opb
0.22/0.22	c reading problem ... 
1.32/0.83	c ... done. Wall clock time 0.613s.
1.32/0.83	c #vars     2756
1.32/0.83	c #constraints  764
1.32/0.83	c constraints type 
1.32/0.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 220
1.32/0.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132
1.32/0.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 397
2.92/1.63	c SATISFIABLE
2.92/1.63	c OPTIMIZING...
2.92/1.63	c Got one! Elapsed wall clock time (in seconds):1.417
2.92/1.63	o 4547
3.48/1.98	c Got one! Elapsed wall clock time (in seconds):1.766
3.48/1.98	o 4546
5.50/3.76	c Got one! Elapsed wall clock time (in seconds):3.54
5.50/3.76	o 4541
5.62/3.81	c Got one! Elapsed wall clock time (in seconds):3.595
5.62/3.81	o 4540
5.62/3.85	c Got one! Elapsed wall clock time (in seconds):3.636
5.62/3.85	o 4539
5.62/3.88	c Got one! Elapsed wall clock time (in seconds):3.665
5.62/3.88	o 4152
5.77/3.91	c Got one! Elapsed wall clock time (in seconds):3.694
5.77/3.91	o 4148
5.77/3.95	c Got one! Elapsed wall clock time (in seconds):3.736
5.77/3.95	o 4147
5.77/3.98	c Got one! Elapsed wall clock time (in seconds):3.765
5.77/3.98	o 4143
6.66/4.71	c Got one! Elapsed wall clock time (in seconds):4.491
6.66/4.71	o 4142
53.24/51.23	c Got one! Elapsed wall clock time (in seconds):51.014
53.24/51.23	o 4141
62.17/60.12	c Got one! Elapsed wall clock time (in seconds):59.902
62.17/60.12	o 4140
88.34/86.23	c Got one! Elapsed wall clock time (in seconds):86.015
88.34/86.23	o 4139
549.13/546.87	c Got one! Elapsed wall clock time (in seconds):546.651
549.13/546.87	o 4138
550.03/547.71	c Got one! Elapsed wall clock time (in seconds):547.497
550.03/547.71	o 4124
799.66/797.16	c Got one! Elapsed wall clock time (in seconds):796.94
799.66/797.16	o 4123
970.03/967.38	c Got one! Elapsed wall clock time (in seconds):967.165
970.03/967.38	o 4122
971.23/968.55	c Got one! Elapsed wall clock time (in seconds):968.339
971.23/968.55	o 4117
974.13/971.43	c Got one! Elapsed wall clock time (in seconds):971.218
974.13/971.43	o 4116
1009.87/1007.13	c Got one! Elapsed wall clock time (in seconds):1006.913
1009.87/1007.13	o 4115
1010.92/1008.16	c Got one! Elapsed wall clock time (in seconds):1007.942
1010.92/1008.16	o 4102
1800.06/1796.41	c starts		: 141
1800.06/1796.41	c conflicts		: 586316
1800.06/1796.41	c decisions		: 908437
1800.06/1796.41	c propagations		: 64340465
1800.06/1796.41	c inspects		: 407053400
1800.06/1796.41	c learnt literals	: 8
1800.06/1796.41	c learnt binary clauses	: 11
1800.06/1796.41	c learnt ternary clauses	: 16
1800.06/1796.41	c learnt clauses	: 586307
1800.06/1796.41	c ignored clauses	: 0
1800.06/1796.41	c root simplifications	: 0
1800.06/1796.41	c removed literals (reason simplification)	: 82954817
1800.06/1796.41	c reason swapping (by a shorter reason)	: 0
1800.06/1796.41	c Calls to reduceDB	: 0
1800.06/1796.41	c speed (assignments/second)	: 81624.57928903177
1800.06/1796.41	c non guided choices	7696
1800.27/1796.58	c learnt constraints type 
1800.27/1796.58	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 586348
1800.27/1796.58	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11
1800.27/1796.58	c constraints type 
1800.27/1796.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 220
1800.27/1796.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 132
1800.27/1796.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 398
1800.27/1796.58	s SATISFIABLE
1800.45/1796.67	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 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 
1800.45/1796.68	c objective function=4102
1800.45/1796.68	c Total wall clock time (in seconds): 1796.46

Verifier Data 

OK	4102

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1855393-1244874853/watcher-1855393-1244874853 -o /tmp/evaluation-result-1855393-1244874853/solver-1855393-1244874853 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855393-1244874853.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.97 0.99 3/64 9624
/proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=152 CPUtime=0
/proc/9624/stat : 9624 (java6) R 9622 9624 9505 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 155086395 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 1 0 0
/proc/9624/statm: 38 26 19 9 0 4 0

[startup+0.064386 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 9624
/proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1470220 CPUtime=0.05
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 3310 0 1 0 3 2 0 0 18 0 7 0 155086395 1505505280 3055 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 367555 3055 1029 9 0 364906 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1470220

[startup+0.101389 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 9624
/proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1472584 CPUtime=0.08
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 3602 0 1 0 6 2 0 0 18 0 12 0 155086395 1507926016 3345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 368146 3345 1066 9 0 365494 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1472584

[startup+0.301411 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 9624
/proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1475404 CPUtime=0.35
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 5031 0 1 0 32 3 0 0 18 0 12 0 155086395 1510813696 4768 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 368851 4768 1352 9 0 366194 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1475404

[startup+0.701463 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 9624
/proc/meminfo: memFree=1167408/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1481932 CPUtime=1.11
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 9708 0 1 0 107 4 0 0 18 0 12 0 155086395 1517498368 8760 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 370483 8760 1398 9 0 367826 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 1481932

[startup+1.50256 s]
/proc/loadavg: 0.92 0.97 0.99 4/77 9637
/proc/meminfo: memFree=1129672/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1495460 CPUtime=2.71
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 18385 0 1 0 263 8 0 0 18 0 13 0 155086395 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 373865 12739 1412 9 0 371208 0
[pid=9624/tid=9626] ppid=9622 vsize=1495460 CPUtime=1.17
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 7010 0 1 0 114 3 0 0 20 0 13 0 155086396 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4109164004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155086399 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1495460 CPUtime=0.81
/proc/9624/task/9633/stat : 9633 (java) R 9622 9624 9505 0 -1 64 5156 0 0 0 79 2 0 0 20 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 102535117 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1495460 CPUtime=0.69
/proc/9624/task/9634/stat : 9634 (java) R 9622 9624 9505 0 -1 64 5475 0 0 0 68 1 0 0 19 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 106251492 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1495460 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1531351040 12739 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 1495460

[startup+3.10274 s]
/proc/loadavg: 0.92 0.97 0.99 4/77 9637
/proc/meminfo: memFree=1114824/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1493080 CPUtime=4.88
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 22883 0 1 0 478 10 0 0 18 0 13 0 155086395 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 373270 15812 1423 9 0 370613 0
[pid=9624/tid=9626] ppid=9622 vsize=1493080 CPUtime=2.5
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 10136 0 1 0 246 4 0 0 25 0 13 0 155086396 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4109822990 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 155086399 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1493080 CPUtime=1.22
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 5919 0 0 0 120 2 0 0 16 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1493080 CPUtime=1.13
/proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6083 0 0 0 111 2 0 0 16 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1493080 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1528913920 15812 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 1493080

[startup+6.30111 s]
/proc/loadavg: 0.93 0.97 0.99 2/77 9637
/proc/meminfo: memFree=1052552/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1491840 CPUtime=8.25
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 38734 0 1 0 809 16 0 0 18 0 13 0 155086395 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 372960 30985 1423 9 0 370303 0
[pid=9624/tid=9626] ppid=9622 vsize=1491840 CPUtime=5.68
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 25681 0 1 0 558 10 0 0 25 0 13 0 155086396 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4109823051 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 155086399 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1491840 CPUtime=1.34
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6221 0 0 0 132 2 0 0 16 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1491840 CPUtime=1.21
/proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6087 0 0 0 119 2 0 0 17 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1491840 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1527644160 30985 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 1491840

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.99 2/77 9637
/proc/meminfo: memFree=1030216/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1491604 CPUtime=14.67
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 43735 0 1 0 1449 18 0 0 18 0 13 0 155086395 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 372901 35927 1423 9 0 370244 0
[pid=9624/tid=9626] ppid=9622 vsize=1491604 CPUtime=12.08
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 30682 0 1 0 1196 12 0 0 25 0 13 0 155086396 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4109823051 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 155086398 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 155086398 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 155086399 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 155086400 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 155086400 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1491604 CPUtime=1.35
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6221 0 0 0 133 2 0 0 15 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1491604 CPUtime=1.21
/proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6087 0 0 0 119 2 0 0 17 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1527402496 35927 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.67
Current children cumulated vsize (KiB) 1491604

[startup+25.5024 s]
/proc/loadavg: 0.95 0.97 0.99 2/77 9637
/proc/meminfo: memFree=1022344/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1491604 CPUtime=27.48
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 45260 0 1 0 2729 19 0 0 18 0 13 0 155086395 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 372901 37430 1432 9 0 370244 0
[pid=9624/tid=9626] ppid=9622 vsize=1491604 CPUtime=24.85
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 30973 0 1 0 2473 12 0 0 25 0 13 0 155086396 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4109818356 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491604 CPUtime=0.01
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 561 0 0 0 1 0 0 0 16 0 13 0 155086398 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491604 CPUtime=0
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 664 0 0 0 0 0 0 0 16 0 13 0 155086398 1527402496 37430 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491604 CPUtime=0

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

[pid=9624] ppid=9622 vsize=1491128 CPUtime=1725.9
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 159532 0 1 0 172510 80 0 0 18 0 13 0 155086395 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 372782 135448 1433 9 0 370125 0
[pid=9624/tid=9626] ppid=9622 vsize=1491128 CPUtime=1718.49
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31094 0 1 0 171834 15 0 0 25 0 13 0 155086396 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4109824020 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491128 CPUtime=2.22
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 56140 0 0 0 194 28 0 0 16 0 13 0 155086398 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491128 CPUtime=2.29
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 59188 0 0 0 201 28 0 0 17 0 13 0 155086398 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491128 CPUtime=0.01
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 155086399 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1491128 CPUtime=1.41
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1491128 CPUtime=1.4
/proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6113 0 0 0 138 2 0 0 16 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1526915072 135448 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1725.9
Current children cumulated vsize (KiB) 1491128

[startup+1782.3 s]
/proc/loadavg: 1.10 1.13 1.17 2/77 9645
/proc/meminfo: memFree=619976/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1491128 CPUtime=1785.94
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 162128 0 1 0 178513 81 0 0 18 0 13 0 155086395 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 372782 137674 1433 9 0 370125 0
[pid=9624/tid=9626] ppid=9622 vsize=1491128 CPUtime=1778.41
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31096 0 1 0 177826 15 0 0 25 0 13 0 155086396 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4109818360 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491128 CPUtime=2.28
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 57942 0 0 0 199 29 0 0 17 0 13 0 155086398 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491128 CPUtime=2.35
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 59980 0 0 0 206 29 0 0 16 0 13 0 155086398 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491128 CPUtime=0.01
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 155086399 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1491128 CPUtime=1.41
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1491128 CPUtime=1.4
/proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6113 0 0 0 138 2 0 0 16 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1526915072 137674 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1785.94
Current children cumulated vsize (KiB) 1491128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 1.08 1.12 1.17 2/77 9645
/proc/meminfo: memFree=615176/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1491128 CPUtime=1800.06
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 163443 0 1 0 179925 81 0 0 18 0 13 0 155086395 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9624/statm: 372782 138866 1433 9 0 370125 0
[pid=9624/tid=9626] ppid=9622 vsize=1491128 CPUtime=1792.49
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31097 0 1 0 179234 15 0 0 25 0 13 0 155086396 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4109823040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491128 CPUtime=2.31
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 58508 0 0 0 202 29 0 0 17 0 13 0 155086398 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491128 CPUtime=2.37
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 60728 0 0 0 208 29 0 0 17 0 13 0 155086398 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491128 CPUtime=0.01
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 155086399 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 155086400 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1491128 CPUtime=1.41
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1491128 CPUtime=1.4
/proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6113 0 0 0 138 2 0 0 16 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 155086404 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1491128 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 155086493 1526915072 138866 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1491128

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

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

[startup+1796.6 s]
/proc/loadavg: 1.08 1.12 1.17 2/77 9645
/proc/meminfo: memFree=615176/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1491776 CPUtime=1800.45
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 163469 0 1 0 179963 82 0 0 16 0 15 0 155086395 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9624/statm: 372944 138892 1435 9 0 370287 0
[pid=9624/tid=9626] ppid=9622 vsize=1491776 CPUtime=1792.68
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31097 0 1 0 179253 15 0 0 25 0 15 0 155086396 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4109822970 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491776 CPUtime=2.31
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 58508 0 0 0 202 29 0 0 17 0 15 0 155086398 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491776 CPUtime=2.37
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 60728 0 0 0 208 29 0 0 17 0 15 0 155086398 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491776 CPUtime=0.01
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 15 0 155086399 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 155086400 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 155086400 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1491776 CPUtime=1.41
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1491776 CPUtime=1.47
/proc/9624/task/9634/stat : 9634 (java) R 9622 9624 9505 0 -1 64 6120 0 0 0 145 2 0 0 16 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 104147243 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 15 0 155086404 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 15 0 155086493 1527578624 138892 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 1491776

[startup+1796.7 s]
/proc/loadavg: 1.08 1.12 1.17 2/77 9645
/proc/meminfo: memFree=615176/2055920 swapFree=4192040/4192956
[pid=9624] ppid=9622 vsize=1491776 CPUtime=1800.63
/proc/9624/stat : 9624 (java) S 9622 9624 9505 0 -1 0 163480 0 1 0 179981 82 0 0 16 0 14 0 155086395 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9624/statm: 372944 138903 1436 9 0 370287 0
[pid=9624/tid=9626] ppid=9622 vsize=1491776 CPUtime=1792.78
/proc/9624/task/9626/stat : 9626 (java) R 9622 9624 9505 0 -1 64 31097 0 1 0 179263 15 0 0 25 0 14 0 155086396 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4109822986 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9627] ppid=9622 vsize=1491776 CPUtime=2.31
/proc/9624/task/9627/stat : 9627 (java) S 9622 9624 9505 0 -1 64 58508 0 0 0 202 29 0 0 17 0 14 0 155086398 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9628] ppid=9622 vsize=1491776 CPUtime=2.37
/proc/9624/task/9628/stat : 9628 (java) S 9622 9624 9505 0 -1 64 60728 0 0 0 208 29 0 0 17 0 14 0 155086398 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9629] ppid=9622 vsize=1491776 CPUtime=0.01
/proc/9624/task/9629/stat : 9629 (java) S 9622 9624 9505 0 -1 64 27 0 0 0 1 0 0 0 16 0 14 0 155086399 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9630] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9630/stat : 9630 (java) S 9622 9624 9505 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 155086400 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9631] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9631/stat : 9631 (java) S 9622 9624 9505 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 155086400 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9632] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9632/stat : 9632 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9633] ppid=9622 vsize=1491776 CPUtime=1.41
/proc/9624/task/9633/stat : 9633 (java) S 9622 9624 9505 0 -1 64 6225 0 0 0 139 2 0 0 16 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9634] ppid=9622 vsize=1491776 CPUtime=1.54
/proc/9624/task/9634/stat : 9634 (java) S 9622 9624 9505 0 -1 64 6127 0 0 0 152 2 0 0 16 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9635] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9635/stat : 9635 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 25 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9624/tid=9636] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9636/stat : 9636 (java) S 9622 9624 9505 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 155086404 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9624/tid=9637] ppid=9622 vsize=1491776 CPUtime=0
/proc/9624/task/9637/stat : 9637 (java) S 9622 9624 9505 0 -1 64 5 0 0 0 0 0 0 0 19 0 14 0 155086493 1527578624 138903 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 1491776

Child status: 143
Real time (s): 1796.79
CPU time (s): 1800.73
CPU user time (s): 1799.82
CPU system time (s): 0.905862
CPU usage (%): 100.219
Max. virtual memory (cumulated for all children) (KiB): 1496940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.905862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163480
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= 38430
involuntary context switches= 39386

runsolver used 1.92471 second user time and 4.6303 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-13 08:34:13
IDJOB=1855393
IDBENCH=1871
IDSOLVER=682
FILE ID=node1/1855393-1244874853
PBS_JOBID= 9354373
Free space on /tmp= 66312 MiB

SOLVER NAME= SAT4J Pseudo Resolution 2.1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1855393-1244874853/watcher-1855393-1244874853 -o /tmp/evaluation-result-1855393-1244874853/solver-1855393-1244874853 -C 1800 -W 2000 -M 1800  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1855393-1244874853.opb

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

MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef
RANDOM SEED=189804824

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

/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.245
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.245
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:       1167824 kB
Buffers:         73564 kB
Cached:         715088 kB
SwapCached:        420 kB
Active:          80312 kB
Inactive:       721808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1167824 kB
SwapTotal:     4192956 kB
SwapFree:      4192040 kB
Dirty:             404 kB
Writeback:           0 kB
Mapped:          22552 kB
Slab:            71900 kB
Committed_AS:   109400 kB
PageTables:       1436 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= 66312 MiB
End job on node1 at 2009-06-13 09:04:12