Trace number 352717

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)80721 1800.36 1781.96

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	80721

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-352717-1176639892 -o ROOT/results/node11/solver-352717-1176639892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352717-1176639892/sat4jPseudoResolution.jar /tmp/evaluation/352717-1176639892/instance-352717-1176639892.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.93 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=152 CPUtime=0
/proc/17368/stat : 17368 (java) D 17366 17368 16748 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 105038112 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7979812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17368/statm: 38 26 19 9 0 4 0

[startup+0.023985 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1772952 CPUtime=0.01
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 1444 0 1 0 0 1 0 0 18 0 2 0 105038112 1815502848 1194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 443238 1205 381 9 0 441252 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1772952

[startup+0.102985 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1781132 CPUtime=0.08
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 3976 0 1 0 6 2 0 0 18 0 12 0 105038112 1823879168 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 445283 3718 1122 9 0 442902 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1781132

[startup+0.303017 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1782620 CPUtime=0.34
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 5120 0 1 0 31 3 0 0 18 0 12 0 105038112 1825402880 4859 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 445655 4859 1267 9 0 443267 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1782620

[startup+0.701065 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1587312/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1785344 CPUtime=0.92
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 7535 0 1 0 88 4 0 0 18 0 12 0 105038112 1828192256 6846 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 446336 6846 1301 9 0 443948 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 1785344

[startup+1.50115 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 17380
/proc/meminfo: memFree=1554896/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1786176 CPUtime=2.07
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 19356 0 1 0 197 10 0 0 18 0 12 0 105038112 1829044224 17775 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 446544 17777 1304 9 0 444156 0
[pid=17368/tid=17370] ppid=17366 vsize=1786176 CPUtime=1.04
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 15784 0 1 0 96 8 0 0 18 0 12 0 105038114 1829044224 17778 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109652264 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 105038115 1829044224 17779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 105038115 1829044224 17781 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 105038118 1829044224 17782 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 20 0 12 0 105038118 1829044224 17783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 105038118 1829044224 17785 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 105038122 1829044224 17786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1786176 CPUtime=0.54
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 1478 0 0 0 54 0 0 0 16 0 12 0 105038122 1829044224 17787 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1786176 CPUtime=0.46
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 1378 0 0 0 46 0 0 0 16 0 12 0 105038122 1829044224 17788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 105038122 1829044224 17790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1786176 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 105038122 1829044224 17791 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 1786176

[startup+3.10234 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 17380
/proc/meminfo: memFree=1459728/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1793288 CPUtime=4.2
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 46814 0 1 0 396 24 0 0 18 0 12 0 105038112 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448322 44223 1313 9 0 445934 0
[pid=17368/tid=17370] ppid=17366 vsize=1793288 CPUtime=2.48
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37677 0 1 0 229 19 0 0 21 0 12 0 105038114 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109486229 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1793288 CPUtime=0.06
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 1425 0 0 0 5 1 0 0 17 0 12 0 105038115 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1793288 CPUtime=0.05
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 1523 0 0 0 5 0 0 0 16 0 12 0 105038115 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1793288 CPUtime=0
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 105038118 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1793288 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 105038118 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1793288 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 105038118 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1793288 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1793288 CPUtime=0.66
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 1486 0 0 0 66 0 0 0 16 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1793288 CPUtime=0.89
/proc/17368/task/17378/stat : 17378 (java) R 17366 17368 16748 0 -1 64 3979 0 0 0 88 1 0 0 18 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101901665 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1793288 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1793288 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 105038122 1836326912 44223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 1793288

[startup+6.30273 s]
/proc/loadavg: 0.93 0.98 0.99 3/90 17384
/proc/meminfo: memFree=1387776/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1795244 CPUtime=8.42
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 61575 0 1 0 813 29 0 0 18 0 13 0 105038112 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448811 54034 1329 9 0 446423 0
[pid=17368/tid=17370] ppid=17366 vsize=1795244 CPUtime=4.98
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37724 0 1 0 479 19 0 0 20 0 13 0 105038114 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109806370 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1795244 CPUtime=0.26
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 6806 0 0 0 24 2 0 0 16 0 13 0 105038115 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1795244 CPUtime=0.26
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 5323 0 0 0 25 1 0 0 17 0 13 0 105038115 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1795244 CPUtime=0
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 105038118 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1795244 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1795244 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1795244 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1795244 CPUtime=1.21
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 120 1 0 0 16 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1795244 CPUtime=1.65
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7201 0 0 0 163 2 0 0 15 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1795244 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1795244 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1838329856 54034 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 1795244

[startup+12.7025 s]
/proc/loadavg: 0.94 0.98 0.99 2/90 17385
/proc/meminfo: memFree=1354488/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1793592 CPUtime=15.46
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 68762 0 1 0 1514 32 0 0 18 0 13 0 105038112 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448398 59481 1329 9 0 446010 0
[pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=10.72
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37731 0 1 0 1052 20 0 0 25 0 13 0 105038114 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109821428 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=0.92
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 11085 0 0 0 88 4 0 0 16 0 13 0 105038115 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=0.91
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 8224 0 0 0 89 2 0 0 16 0 13 0 105038115 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.21
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 120 1 0 0 17 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.65
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7201 0 0 0 163 2 0 0 16 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17385] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17385/stat : 17385 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 105038696 1836638208 59481 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.46
Current children cumulated vsize (KiB) 1793592

[startup+25.503 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 17388
/proc/meminfo: memFree=1347808/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1793592 CPUtime=28.67
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 71372 0 1 0 2834 33 0 0 18 0 13 0 105038112 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448398 60868 1329 9 0 446010 0
[pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=23.19
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 37747 0 1 0 2299 20 0 0 25 0 13 0 105038114 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109675105 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=1.21
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 12045 0 0 0 116 5 0 0 16 0 13 0 105038115 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=1.19
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 9845 0 0 0 116 3 0 0 16 0 13 0 105038115 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 60868 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.24
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 313 0 0 0 10 14 0 0 16 0 13 0 105038118 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 213642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1619.33
Current children cumulated vsize (KiB) 1793592

[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/90 17396
/proc/meminfo: memFree=730416/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1793592 CPUtime=1679.6
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 359917 0 1 0 167787 173 0 0 18 0 13 0 105038112 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448398 214803 1329 9 0 446010 0
[pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=1643.7
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 101363 0 1 0 164323 47 0 0 25 0 13 0 105038114 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816776 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=16.27
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 125135 0 0 0 1574 53 0 0 16 0 13 0 105038115 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=16.26
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 121379 0 0 0 1573 53 0 0 16 0 13 0 105038115 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.24
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 313 0 0 0 10 14 0 0 16 0 13 0 105038118 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 214803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1679.6
Current children cumulated vsize (KiB) 1793592

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/90 17396
/proc/meminfo: memFree=704240/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1793592 CPUtime=1740.11
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 369959 0 1 0 173833 178 0 0 18 0 13 0 105038112 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448398 221347 1329 9 0 446010 0
[pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=1703.11
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 105411 0 1 0 170263 48 0 0 25 0 13 0 105038114 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109890789 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=16.8
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 127424 0 0 0 1626 54 0 0 17 0 13 0 105038115 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=16.81
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 125071 0 0 0 1626 55 0 0 16 0 13 0 105038115 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.25
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 326 0 0 0 10 15 0 0 16 0 13 0 105038118 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 221347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1740.11
Current children cumulated vsize (KiB) 1793592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.7 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 17396
/proc/meminfo: memFree=687152/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1793592 CPUtime=1800.05
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 378254 0 1 0 179824 181 0 0 18 0 13 0 105038112 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448398 225632 1329 9 0 446010 0
[pid=17368/tid=17370] ppid=17366 vsize=1793592 CPUtime=1761.9
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 105716 0 1 0 176141 49 0 0 25 0 13 0 105038114 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109904478 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1793592 CPUtime=17.38
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 130672 0 0 0 1683 55 0 0 16 0 13 0 105038115 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1793592 CPUtime=17.38
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 129784 0 0 0 1682 56 0 0 16 0 13 0 105038115 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1793592 CPUtime=0.26
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 355 0 0 0 11 15 0 0 16 0 13 0 105038118 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105038118 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1793592 CPUtime=1.28
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 127 1 0 0 16 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1793592 CPUtime=1.79
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 177 2 0 0 16 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 105038122 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=1793592 CPUtime=0
/proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 105079877 1836638208 225632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1793592

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

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

[startup+1781.81 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 17396
/proc/meminfo: memFree=687152/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=1794240 CPUtime=1800.21
/proc/17368/stat : 17368 (java) S 17366 17368 16748 0 -1 0 378272 0 1 0 179840 181 0 0 16 0 14 0 105038112 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/statm: 448560 225650 1329 9 0 446172 0
[pid=17368/tid=17370] ppid=17366 vsize=1794240 CPUtime=1762.01
/proc/17368/task/17370/stat : 17370 (java) R 17366 17368 16748 0 -1 64 105716 0 1 0 176152 49 0 0 25 0 14 0 105038114 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109816776 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17371] ppid=17366 vsize=1794240 CPUtime=17.38
/proc/17368/task/17371/stat : 17371 (java) S 17366 17368 16748 0 -1 64 130672 0 0 0 1683 55 0 0 16 0 14 0 105038115 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17372] ppid=17366 vsize=1794240 CPUtime=17.38
/proc/17368/task/17372/stat : 17372 (java) S 17366 17368 16748 0 -1 64 129784 0 0 0 1682 56 0 0 16 0 14 0 105038115 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17373] ppid=17366 vsize=1794240 CPUtime=0.26
/proc/17368/task/17373/stat : 17373 (java) S 17366 17368 16748 0 -1 64 355 0 0 0 11 15 0 0 16 0 14 0 105038118 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17374] ppid=17366 vsize=1794240 CPUtime=0
/proc/17368/task/17374/stat : 17374 (java) S 17366 17368 16748 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 105038118 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17375] ppid=17366 vsize=1794240 CPUtime=0
/proc/17368/task/17375/stat : 17375 (java) S 17366 17368 16748 0 -1 64 6 0 0 0 0 0 0 0 16 0 14 0 105038118 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17376] ppid=17366 vsize=1794240 CPUtime=0
/proc/17368/task/17376/stat : 17376 (java) S 17366 17368 16748 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17377] ppid=17366 vsize=1794240 CPUtime=1.31
/proc/17368/task/17377/stat : 17377 (java) S 17366 17368 16748 0 -1 64 3787 0 0 0 130 1 0 0 16 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17378] ppid=17366 vsize=1794240 CPUtime=1.8
/proc/17368/task/17378/stat : 17378 (java) S 17366 17368 16748 0 -1 64 7208 0 0 0 178 2 0 0 16 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17368/tid=17379] ppid=17366 vsize=1794240 CPUtime=0
/proc/17368/task/17379/stat : 17379 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17380] ppid=17366 vsize=1794240 CPUtime=0
/proc/17368/task/17380/stat : 17380 (java) S 17366 17368 16748 0 -1 64 0 0 0 0 0 0 0 0 15 0 14 0 105038122 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17368/tid=17394] ppid=17366 vsize=1794240 CPUtime=0
/proc/17368/task/17394/stat : 17394 (java) S 17366 17368 16748 0 -1 64 1 0 0 0 0 0 0 0 17 0 14 0 105079877 1837301760 225650 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 1794240

[startup+1781.9 s]
/proc/loadavg: 1.01 1.00 1.00 2/80 17399
/proc/meminfo: memFree=1219880/2055920 swapFree=4146224/4192956
[pid=17368] ppid=17366 vsize=0 CPUtime=1800.29
/proc/17368/stat : 17368 (java) Z 17366 17368 16748 0 -1 1036 378272 0 1 0 179840 189 0 0 15 0 2 0 105038112 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17368/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): 1781.96
CPU time (s): 1800.36
CPU user time (s): 1798.41
CPU system time (s): 1.9507
CPU usage (%): 101.032
Max. virtual memory (cumulated for all children) (KiB): 1797008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 1.9507
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378272
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= 42892
involuntary context switches= 56811

runsolver used 2.21566 second user time and 5.51516 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Apr 15 12:24:52 UTC 2007

IDJOB= 352717
IDBENCH= 2011
IDSOLVER= 159
FILE ID= node11/352717-1176639892

PBS_JOBID= 4556871

Free space on /tmp= 66464 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352717-1176639892/sat4jPseudoResolution.jar /tmp/evaluation/352717-1176639892/instance-352717-1176639892.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-352717-1176639892 -o ROOT/results/node11/solver-352717-1176639892 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352717-1176639892/sat4jPseudoResolution.jar /tmp/evaluation/352717-1176639892/instance-352717-1176639892.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  dccfffd22c38fcd3c497d688dab4b7a4

RANDOM SEED= 186904442

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1587720 kB
Buffers:         55508 kB
Cached:         339256 kB
SwapCached:      15684 kB
Active:         192104 kB
Inactive:       229148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1587720 kB
SwapTotal:     4192956 kB
SwapFree:      4146224 kB
Dirty:            6580 kB
Writeback:           0 kB
Mapped:          29952 kB
Slab:            32396 kB
Committed_AS:  5596828 kB
PageTables:       1848 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= 66464 MiB

End job on node11 on Sun Apr 15 12:54:36 UTC 2007