Trace number 354353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)65442871 1800.32 1780.64

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUMc3570b707fa12d3d9c0d2ae31848c1b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark65442871
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65313511
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	65442871

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 27628
/proc/meminfo: memFree=1772392/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=152 CPUtime=0
/proc/27628/stat : 27628 (java) D 27626 27628 27514 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 118518679 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8438564 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27628/statm: 38 26 19 9 0 4 0

[startup+0.041839 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 27628
/proc/meminfo: memFree=1772392/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1776088 CPUtime=0.02
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 3225 0 1 0 1 1 0 0 18 0 4 0 118518679 1818714112 2972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 444022 2972 887 9 0 441658 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776088

[startup+0.101846 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 27628
/proc/meminfo: memFree=1772392/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1777844 CPUtime=0.07
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 3873 0 1 0 5 2 0 0 18 0 7 0 118518679 1820512256 3615 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 444461 3615 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.30187 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 27628
/proc/meminfo: memFree=1772392/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1781420 CPUtime=0.29
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 5016 0 1 0 25 4 0 0 18 0 12 0 118518679 1824174080 4754 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 445355 4754 1263 9 0 442967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1781420

[startup+0.701914 s]
/proc/loadavg: 0.91 0.98 0.99 2/77 27628
/proc/meminfo: memFree=1772392/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1788620 CPUtime=0.89
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 7914 0 1 0 84 5 0 0 18 0 12 0 118518679 1831546880 7091 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 447155 7091 1303 9 0 444767 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1788620

[startup+1.503 s]
/proc/loadavg: 0.91 0.98 0.99 4/90 27641
/proc/meminfo: memFree=1739392/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1797252 CPUtime=2.49
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 15969 0 1 0 240 9 0 0 18 0 12 0 118518679 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 449313 10462 1316 9 0 446925 0
[pid=27628/tid=27630] ppid=27626 vsize=1797252 CPUtime=0.87
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 6064 0 1 0 83 4 0 0 18 0 12 0 118518680 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 118518682 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 118518682 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 118518684 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 118518684 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 118518684 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 118518691 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1797252 CPUtime=0.69
/proc/27628/task/27637/stat : 27637 (java) R 27626 27628 27514 0 -1 64 4354 0 0 0 67 2 0 0 20 0 12 0 118518691 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336755 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1797252 CPUtime=0.9
/proc/27628/task/27638/stat : 27638 (java) R 27626 27628 27514 0 -1 64 4824 0 0 0 89 1 0 0 17 0 12 0 118518691 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103322424 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 12 0 118518691 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1797252 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 118518691 1840386048 10462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 1797252

[startup+3.10217 s]
/proc/loadavg: 0.91 0.98 0.99 2/90 27642
/proc/meminfo: memFree=1709112/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1794080 CPUtime=4.31
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 36602 0 1 0 411 20 0 0 18 0 13 0 118518679 1837137920 30508 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448520 30509 1318 9 0 446132 0
[pid=27628/tid=27630] ppid=27626 vsize=1794080 CPUtime=2.4
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 26481 0 1 0 225 15 0 0 25 0 13 0 118518680 1837137920 30509 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109603899 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 118518682 1837137920 30510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118518682 1837137920 30511 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 118518684 1837137920 30511 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 118518684 1837137920 30512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 118518684 1837137920 30512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1837137920 30513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1794080 CPUtime=0.8
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4399 0 0 0 78 2 0 0 16 0 13 0 118518691 1837137920 30514 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1794080 CPUtime=1.08
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 4996 0 0 0 107 1 0 0 16 0 13 0 118518691 1837137920 30515 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1837137920 30516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1837137920 30517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27642] ppid=27626 vsize=1794080 CPUtime=0
/proc/27628/task/27642/stat : 27642 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 118518836 1837137920 30517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 1794080

[startup+6.30152 s]
/proc/loadavg: 0.92 0.98 0.99 2/90 27642
/proc/meminfo: memFree=1606840/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1793984 CPUtime=7.57
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 49689 0 1 0 730 27 0 0 18 0 13 0 118518679 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448496 43533 1327 9 0 446108 0
[pid=27628/tid=27630] ppid=27626 vsize=1793984 CPUtime=5.56
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 37715 0 1 0 536 20 0 0 18 0 13 0 118518680 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109635036 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1793984 CPUtime=0.02
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 928 0 0 0 2 0 0 0 17 0 13 0 118518682 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1793984 CPUtime=0.02
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 913 0 0 0 2 0 0 0 17 0 13 0 118518682 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1793984 CPUtime=0
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118518684 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1793984 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118518684 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1793984 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118518684 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1793984 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1793984 CPUtime=0.82
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4401 0 0 0 80 2 0 0 17 0 13 0 118518691 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1793984 CPUtime=1.1
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 4997 0 0 0 109 1 0 0 16 0 13 0 118518691 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1793984 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1793984 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27642] ppid=27626 vsize=1793984 CPUtime=0
/proc/27628/task/27642/stat : 27642 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 118518836 1837039616 43533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 1793984

[startup+12.7022 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 27643
/proc/meminfo: memFree=1594160/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1793184 CPUtime=14.08
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 51991 0 1 0 1381 27 0 0 18 0 13 0 118518679 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448296 45603 1334 9 0 445908 0
[pid=27628/tid=27630] ppid=27626 vsize=1793184 CPUtime=11.92
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 37718 0 1 0 1171 21 0 0 25 0 13 0 118518680 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109713217 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1793184 CPUtime=0.06
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 2302 0 0 0 6 0 0 0 16 0 13 0 118518682 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1793184 CPUtime=0.07
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 1820 0 0 0 6 1 0 0 17 0 13 0 118518682 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1793184 CPUtime=0.86
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4403 0 0 0 84 2 0 0 16 0 13 0 118518691 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1793184 CPUtime=1.14
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 5007 0 0 0 113 1 0 0 17 0 13 0 118518691 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27643] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27643/stat : 27643 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118519810 1836220416 45603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.08
Current children cumulated vsize (KiB) 1793184

[startup+25.5016 s]
/proc/loadavg: 0.94 0.98 0.99 2/90 27643
/proc/meminfo: memFree=1567472/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1793184 CPUtime=27.04
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 61245 0 1 0 2672 32 0 0 18 0 13 0 118518679 1836220416 52270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448296 52270 1334 9 0 445908 0
[pid=27628/tid=27630] ppid=27626 vsize=1793184 CPUtime=24.57
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 37731 0 1 0 2436 21 0 0 25 0 13 0 118518680 1836220416 52270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109604205 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1793184 CPUtime=0.2
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 7182 0 0 0 18 2 0 0 16 0 13 0 118518682 1836220416 52270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1793184 CPUtime=0.21
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 6167 0 0 0 18 3 0 0 16 0 13 0 118518682 1836220416 52270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 52270 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=27628/tid=27633] ppid=27626 vsize=1793184 CPUtime=0.19
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 203 0 0 0 9 10 0 0 16 0 13 0 118518684 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 118518684 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1793184 CPUtime=1.01
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4413 0 0 0 99 2 0 0 16 0 13 0 118518691 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1793184 CPUtime=1.28
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 5017 0 0 0 127 1 0 0 16 0 13 0 118518691 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27662] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27662/stat : 27662 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118550043 1836220416 178627 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1558.66
Current children cumulated vsize (KiB) 1793184

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 27860
/proc/meminfo: memFree=1046984/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1793184 CPUtime=1619.52
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 266161 0 1 0 161798 154 0 0 18 0 13 0 118518679 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448296 181881 1334 9 0 445908 0
[pid=27628/tid=27630] ppid=27626 vsize=1793184 CPUtime=1583.95
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 91661 0 1 0 158335 60 0 0 25 0 13 0 118518680 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109604964 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1793184 CPUtime=16.51
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 89587 0 0 0 1609 42 0 0 17 0 13 0 118518682 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1793184 CPUtime=16.51
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 74515 0 0 0 1616 35 0 0 16 0 13 0 118518682 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1793184 CPUtime=0.19
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 203 0 0 0 9 10 0 0 16 0 13 0 118518684 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 118518684 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1793184 CPUtime=1.01
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4413 0 0 0 99 2 0 0 16 0 13 0 118518691 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1793184 CPUtime=1.28
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 5017 0 0 0 127 1 0 0 16 0 13 0 118518691 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27662] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27662/stat : 27662 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118550043 1836220416 181881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1619.52
Current children cumulated vsize (KiB) 1793184

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 27860
/proc/meminfo: memFree=1033800/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1793184 CPUtime=1680.33
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 269476 0 1 0 167877 156 0 0 18 0 13 0 118518679 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448296 185178 1334 9 0 445908 0
[pid=27628/tid=27630] ppid=27626 vsize=1793184 CPUtime=1643.08
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 91674 0 1 0 164247 61 0 0 25 0 13 0 118518680 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109864059 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1793184 CPUtime=17.35
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 89633 0 0 0 1693 42 0 0 16 0 13 0 118518682 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1793184 CPUtime=17.35
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 77771 0 0 0 1698 37 0 0 16 0 13 0 118518682 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1793184 CPUtime=0.19
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 203 0 0 0 9 10 0 0 16 0 13 0 118518684 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 118518684 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1793184 CPUtime=1.01
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4413 0 0 0 99 2 0 0 16 0 13 0 118518691 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1793184 CPUtime=1.28
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 5017 0 0 0 127 1 0 0 16 0 13 0 118518691 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27662] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27662/stat : 27662 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118550043 1836220416 185178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1680.33
Current children cumulated vsize (KiB) 1793184

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 27860
/proc/meminfo: memFree=1019144/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1793184 CPUtime=1741.1
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 273150 0 1 0 173951 159 0 0 18 0 13 0 118518679 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448296 188833 1334 9 0 445908 0
[pid=27628/tid=27630] ppid=27626 vsize=1793184 CPUtime=1702.25
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 91686 0 1 0 170163 62 0 0 25 0 13 0 118518680 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109511841 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1793184 CPUtime=18.16
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 89739 0 0 0 1774 42 0 0 17 0 13 0 118518682 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1793184 CPUtime=18.15
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 81327 0 0 0 1776 39 0 0 17 0 13 0 118518682 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1793184 CPUtime=0.19
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 203 0 0 0 9 10 0 0 16 0 13 0 118518684 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 118518684 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1793184 CPUtime=1.01
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4413 0 0 0 99 2 0 0 16 0 13 0 118518691 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1793184 CPUtime=1.28
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 5017 0 0 0 127 1 0 0 16 0 13 0 118518691 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27662] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27662/stat : 27662 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118550043 1836220416 188833 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1741.1
Current children cumulated vsize (KiB) 1793184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 27860
/proc/meminfo: memFree=1005576/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=1793184 CPUtime=1800.01
/proc/27628/stat : 27628 (java) S 27626 27628 27514 0 -1 0 276519 0 1 0 179840 161 0 0 18 0 13 0 118518679 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27628/statm: 448296 192187 1334 9 0 445908 0
[pid=27628/tid=27630] ppid=27626 vsize=1793184 CPUtime=1759.44
/proc/27628/task/27630/stat : 27630 (java) R 27626 27628 27514 0 -1 64 91699 0 1 0 175882 62 0 0 25 0 13 0 118518680 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109600949 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27631] ppid=27626 vsize=1793184 CPUtime=19.04
/proc/27628/task/27631/stat : 27631 (java) S 27626 27628 27514 0 -1 64 89770 0 0 0 1862 42 0 0 16 0 13 0 118518682 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27632] ppid=27626 vsize=1793184 CPUtime=18.98
/proc/27628/task/27632/stat : 27632 (java) S 27626 27628 27514 0 -1 64 84652 0 0 0 1858 40 0 0 16 0 13 0 118518682 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27633] ppid=27626 vsize=1793184 CPUtime=0.19
/proc/27628/task/27633/stat : 27633 (java) S 27626 27628 27514 0 -1 64 203 0 0 0 9 10 0 0 16 0 13 0 118518684 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27634] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27634/stat : 27634 (java) S 27626 27628 27514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118518684 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27635] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27635/stat : 27635 (java) S 27626 27628 27514 0 -1 64 19 0 0 0 0 0 0 0 17 0 13 0 118518684 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27636] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27636/stat : 27636 (java) S 27626 27628 27514 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 118518691 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27637] ppid=27626 vsize=1793184 CPUtime=1.01
/proc/27628/task/27637/stat : 27637 (java) S 27626 27628 27514 0 -1 64 4413 0 0 0 99 2 0 0 16 0 13 0 118518691 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27638] ppid=27626 vsize=1793184 CPUtime=1.28
/proc/27628/task/27638/stat : 27638 (java) S 27626 27628 27514 0 -1 64 5017 0 0 0 127 1 0 0 16 0 13 0 118518691 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27639] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27639/stat : 27639 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 23 0 13 0 118518691 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27628/tid=27640] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27640/stat : 27640 (java) S 27626 27628 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118518691 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27628/tid=27662] ppid=27626 vsize=1793184 CPUtime=0
/proc/27628/task/27662/stat : 27662 (java) S 27626 27628 27514 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118550043 1836220416 192187 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1793184

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

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

[startup+1780.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 27860
/proc/meminfo: memFree=1005576/2055920 swapFree=4168968/4192956
[pid=27628] ppid=27626 vsize=0 CPUtime=1800.29
/proc/27628/stat : 27628 (java) Z 27626 27628 27514 0 -1 1036 276542 0 1 0 179859 170 0 0 15 0 2 0 118518679 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27628/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1780.64
CPU time (s): 1800.32
CPU user time (s): 1798.59
CPU system time (s): 1.73174
CPU usage (%): 101.106
Max. virtual memory (cumulated for all children) (KiB): 1797352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.73174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276542
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= 42857
involuntary context switches= 26831

runsolver used 1.77573 second user time and 4.79627 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Mon Apr 16 06:46:54 UTC 2007

IDJOB= 354353
IDBENCH= 2496
IDSOLVER= 159
FILE ID= node21/354353-1176706014

PBS_JOBID= 4560052

Free space on /tmp= 66535 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354353-1176706014/sat4jPseudoResolution.jar /tmp/evaluation/354353-1176706014/instance-354353-1176706014.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-354353-1176706014 -o ROOT/results/node21/solver-354353-1176706014 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354353-1176706014/sat4jPseudoResolution.jar /tmp/evaluation/354353-1176706014/instance-354353-1176706014.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  c3570b707fa12d3d9c0d2ae31848c1b3

RANDOM SEED= 93903338

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
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.232
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:       1772736 kB
Buffers:         29200 kB
Cached:         175036 kB
SwapCached:       2892 kB
Active:         108344 kB
Inactive:       119100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1772736 kB
SwapTotal:     4192956 kB
SwapFree:      4168968 kB
Dirty:            3672 kB
Writeback:           0 kB
Mapped:          30124 kB
Slab:            41196 kB
Committed_AS:   966456 kB
PageTables:       1784 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= 66535 MiB

End job on node21 on Mon Apr 16 07:16:36 UTC 2007