Trace number 360652

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 NameAnswerCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT 23.0565 19.4842

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
MD5SUMf5d8cf0048d52cf223a3574d281ac8f8
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.586
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 350
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 22650
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=152 CPUtime=0
/proc/22650/stat : 22650 (java) R 22648 22650 22514 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 144535737 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1819428 0 0 4096 0 0 0 0 17 1 0 0
/proc/22650/statm: 38 26 19 9 0 4 0

[startup+0.0741589 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 22650
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1777708 CPUtime=0.05
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 3645 0 1 0 3 2 0 0 18 0 7 0 144535737 1820372992 3388 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 444427 3388 1077 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.101162 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 22650
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1777844 CPUtime=0.07
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 3859 0 1 0 5 2 0 0 18 0 7 0 144535737 1820512256 3602 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 444461 3602 1091 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.301187 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 22650
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1781340 CPUtime=0.3
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 5116 0 1 0 26 4 0 0 18 0 12 0 144535737 1824092160 4855 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 445335 4855 1263 9 0 442946 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1781340

[startup+0.701239 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 22650
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1782468 CPUtime=0.88
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 6740 0 1 0 83 5 0 0 18 0 12 0 144535737 1825247232 6308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 445617 6308 1301 9 0 443228 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 1782468

[startup+1.50234 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 22662
/proc/meminfo: memFree=1050392/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1784948 CPUtime=2.03
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 17388 0 1 0 193 10 0 0 18 0 12 0 144535737 1827786752 16299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 446237 16300 1303 9 0 443848 0
[pid=22650/tid=22652] ppid=22648 vsize=1784948 CPUtime=1.02
/proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 14449 0 1 0 94 8 0 0 19 0 12 0 144535738 1827786752 16301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557034 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 144535741 1827786752 16303 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 144535741 1827786752 16304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 144535743 1827786752 16305 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 9 0 0 0 0 0 0 0 21 0 12 0 144535743 1827786752 16306 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 144535743 1827786752 16307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1827786752 16307 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1784948 CPUtime=0.49
/proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1827786752 16308 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1784948 CPUtime=0.49
/proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 17 0 12 0 144535747 1827786752 16309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1827786752 16310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1827786752 16312 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 1784948

[startup+3.10254 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 22662
/proc/meminfo: memFree=948696/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1784948 CPUtime=3.66
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 41803 0 1 0 344 22 0 0 18 0 12 0 144535737 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 446237 40708 1312 9 0 443848 0
[pid=22650/tid=22652] ppid=22648 vsize=1784948 CPUtime=2.59
/proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37674 0 1 0 239 20 0 0 24 0 12 0 144535738 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109584838 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1784948 CPUtime=0.03
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 545 0 0 0 3 0 0 0 16 0 12 0 144535741 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1784948 CPUtime=0.02
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 635 0 0 0 2 0 0 0 16 0 12 0 144535741 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 144535743 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1784948 CPUtime=0.49
/proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1784948 CPUtime=0.49
/proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 17 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1784948 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1827786752 40708 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 1784948

[startup+6.30295 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 22662
/proc/meminfo: memFree=892120/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1786696 CPUtime=7.15
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 50940 0 1 0 688 27 0 0 18 0 12 0 144535737 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 446674 49423 1312 9 0 444285 0
[pid=22650/tid=22652] ppid=22648 vsize=1786696 CPUtime=5.49
/proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37679 0 1 0 529 20 0 0 17 0 12 0 144535738 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109518927 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1786696 CPUtime=0.32
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 5650 0 0 0 30 2 0 0 17 0 12 0 144535741 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1786696 CPUtime=0.31
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 4655 0 0 0 30 1 0 0 17 0 12 0 144535741 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1786696 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 144535743 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1786696 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1786696 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1786696 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1786696 CPUtime=0.49
/proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1786696 CPUtime=0.49
/proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 17 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1786696 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1786696 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1829576704 49423 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 1786696

[startup+12.7018 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 22662
/proc/meminfo: memFree=831896/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1788616 CPUtime=14.26
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 66254 0 1 0 1391 35 0 0 18 0 12 0 144535737 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 447154 63089 1312 9 0 444765 0
[pid=22650/tid=22652] ppid=22648 vsize=1788616 CPUtime=11.17
/proc/22650/task/22652/stat : 22652 (java) S 22648 22650 22514 0 -1 64 37687 0 1 0 1095 22 0 0 22 0 12 0 144535738 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1788616 CPUtime=1.03
/proc/22650/task/22653/stat : 22653 (java) R 22648 22650 22514 0 -1 64 12823 0 0 0 98 5 0 0 16 0 12 0 144535741 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1788616 CPUtime=1.02
/proc/22650/task/22654/stat : 22654 (java) R 22648 22650 22514 0 -1 64 12786 0 0 0 98 4 0 0 17 0 12 0 144535741 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369186 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 17 0 0 0 0 0 0 0 15 0 12 0 144535743 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1788616 CPUtime=0.49
/proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1788616 CPUtime=0.49
/proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 16 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1831542784 63089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.26
Current children cumulated vsize (KiB) 1788616

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

[startup+15.9022 s]
/proc/loadavg: 1.09 1.02 1.01 2/78 22662
/proc/meminfo: memFree=822296/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1788616 CPUtime=17.69
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 71181 0 1 0 1732 37 0 0 18 0 12 0 144535737 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 447154 67225 1312 9 0 444765 0
[pid=22650/tid=22652] ppid=22648 vsize=1788616 CPUtime=14.08
/proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37692 0 1 0 1386 22 0 0 19 0 12 0 144535738 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662804 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1788616 CPUtime=1.27
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 14873 0 0 0 121 6 0 0 16 0 12 0 144535741 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1788616 CPUtime=1.29
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 15656 0 0 0 124 5 0 0 17 0 12 0 144535741 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 19 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1788616 CPUtime=0.49
/proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 1204 0 0 0 48 1 0 0 16 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1788616 CPUtime=0.49
/proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 1019 0 0 0 49 0 0 0 16 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1831542784 67225 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.69
Current children cumulated vsize (KiB) 1788616

[startup+17.5024 s]
/proc/loadavg: 1.09 1.02 1.01 4/78 22662
/proc/meminfo: memFree=807256/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1788616 CPUtime=19.47
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 72836 0 1 0 1909 38 0 0 18 0 12 0 144535737 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 447154 68763 1316 9 0 444765 0
[pid=22650/tid=22652] ppid=22648 vsize=1788616 CPUtime=15.55
/proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37704 0 1 0 1533 22 0 0 17 0 12 0 144535738 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1788616 CPUtime=1.4
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 15975 0 0 0 133 7 0 0 16 0 12 0 144535741 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1788616 CPUtime=1.43
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16192 0 0 0 137 6 0 0 16 0 12 0 144535741 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 15 0 12 0 144535743 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1788616 CPUtime=0.51
/proc/22650/task/22659/stat : 22659 (java) R 22648 22650 22514 0 -1 64 1204 0 0 0 50 1 0 0 16 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103171656 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1788616 CPUtime=0.53
/proc/22650/task/22660/stat : 22660 (java) R 22648 22650 22514 0 -1 64 1023 0 0 0 53 0 0 0 16 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102461773 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1788616 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1831542784 68763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.47
Current children cumulated vsize (KiB) 1788616

[startup+18.3025 s]
/proc/loadavg: 1.09 1.02 1.01 4/78 22662
/proc/meminfo: memFree=807256/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1796192 CPUtime=20.98
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 78043 0 1 0 2058 40 0 0 18 0 12 0 144535737 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 449048 70486 1324 9 0 446659 0
[pid=22650/tid=22652] ppid=22648 vsize=1796192 CPUtime=16.28
/proc/22650/task/22652/stat : 22652 (java) S 22648 22650 22514 0 -1 64 37705 0 1 0 1605 23 0 0 23 0 12 0 144535738 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1796192 CPUtime=1.4
/proc/22650/task/22653/stat : 22653 (java) R 22648 22650 22514 0 -1 64 15975 0 0 0 133 7 0 0 16 0 12 0 144535741 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1796192 CPUtime=1.43
/proc/22650/task/22654/stat : 22654 (java) R 22648 22650 22514 0 -1 64 16192 0 0 0 137 6 0 0 16 0 12 0 144535741 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1796192 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 17 0 12 0 144535743 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1796192 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 144535743 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1796192 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 144535743 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1796192 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1796192 CPUtime=1.13
/proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 5201 0 0 0 111 2 0 0 22 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1796192 CPUtime=0.71
/proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 2232 0 0 0 71 0 0 0 16 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1796192 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1796192 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 144535747 1839300608 70486 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.98
Current children cumulated vsize (KiB) 1796192

[startup+19.1026 s]
/proc/loadavg: 1.24 1.05 1.02 3/79 22663
/proc/meminfo: memFree=796432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1797540 CPUtime=22.46
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 82833 0 1 0 2204 42 0 0 18 0 13 0 144535737 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 449385 71636 1333 9 0 446996 0
[pid=22650/tid=22652] ppid=22648 vsize=1797540 CPUtime=16.65
/proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37740 0 1 0 1642 23 0 0 18 0 13 0 144535738 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109851596 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1797540 CPUtime=1.47
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 16528 0 0 0 140 7 0 0 16 0 13 0 144535741 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1797540 CPUtime=1.5
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16488 0 0 0 144 6 0 0 16 0 13 0 144535741 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71636 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1797540 CPUtime=1.57
/proc/22650/task/22659/stat : 22659 (java) R 22648 22650 22514 0 -1 64 6352 0 0 0 155 2 0 0 17 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102374652 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1797540 CPUtime=1.22
/proc/22650/task/22660/stat : 22660 (java) R 22648 22650 22514 0 -1 64 4992 0 0 0 121 1 0 0 17 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 2285271 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144535747 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22663] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22663/stat : 22663 (java) S 22648 22650 22514 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144537580 1840680960 71644 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.46
Current children cumulated vsize (KiB) 1797540

[startup+19.3026 s]
/proc/loadavg: 1.24 1.05 1.02 3/79 22663
/proc/meminfo: memFree=796432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1797540 CPUtime=22.81
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 83749 0 1 0 2238 43 0 0 18 0 13 0 144535737 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 449385 71779 1333 9 0 446996 0
[pid=22650/tid=22652] ppid=22648 vsize=1797540 CPUtime=16.79
/proc/22650/task/22652/stat : 22652 (java) R 22648 22650 22514 0 -1 64 37741 0 1 0 1656 23 0 0 20 0 13 0 144535738 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1797540 CPUtime=1.47
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 16528 0 0 0 140 7 0 0 16 0 13 0 144535741 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1797540 CPUtime=1.5
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16488 0 0 0 144 6 0 0 16 0 13 0 144535741 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1797540 CPUtime=1.65
/proc/22650/task/22659/stat : 22659 (java) R 22648 22650 22514 0 -1 64 6354 0 0 0 163 2 0 0 16 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105432593 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1797540 CPUtime=1.34
/proc/22650/task/22660/stat : 22660 (java) R 22648 22650 22514 0 -1 64 5897 0 0 0 132 2 0 0 17 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103027171 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144535747 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22663] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22663/stat : 22663 (java) S 22648 22650 22514 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 144537580 1840680960 71779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.81
Current children cumulated vsize (KiB) 1797540

[startup+19.4026 s]
/proc/loadavg: 1.24 1.05 1.02 3/79 22663
/proc/meminfo: memFree=796432/2055920 swapFree=4181256/4192956
[pid=22650] ppid=22648 vsize=1797540 CPUtime=22.96
/proc/22650/stat : 22650 (java) S 22648 22650 22514 0 -1 0 83760 0 1 0 2253 43 0 0 18 0 13 0 144535737 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22650/statm: 449385 71789 1334 9 0 446996 0
[pid=22650/tid=22652] ppid=22648 vsize=1797540 CPUtime=16.84
/proc/22650/task/22652/stat : 22652 (java) S 22648 22650 22514 0 -1 64 37744 0 1 0 1661 23 0 0 17 0 13 0 144535738 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22653] ppid=22648 vsize=1797540 CPUtime=1.47
/proc/22650/task/22653/stat : 22653 (java) S 22648 22650 22514 0 -1 64 16528 0 0 0 140 7 0 0 16 0 13 0 144535741 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22654] ppid=22648 vsize=1797540 CPUtime=1.5
/proc/22650/task/22654/stat : 22654 (java) S 22648 22650 22514 0 -1 64 16488 0 0 0 144 6 0 0 16 0 13 0 144535741 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22655] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22655/stat : 22655 (java) S 22648 22650 22514 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 144535743 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22656] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22656/stat : 22656 (java) S 22648 22650 22514 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22657] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22657/stat : 22657 (java) S 22648 22650 22514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 144535743 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22658] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22658/stat : 22658 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22659] ppid=22648 vsize=1797540 CPUtime=1.68
/proc/22650/task/22659/stat : 22659 (java) S 22648 22650 22514 0 -1 64 6356 0 0 0 166 2 0 0 16 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22660] ppid=22648 vsize=1797540 CPUtime=1.39
/proc/22650/task/22660/stat : 22660 (java) S 22648 22650 22514 0 -1 64 5900 0 0 0 137 2 0 0 16 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22650/tid=22661] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22661/stat : 22661 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22650/tid=22662] ppid=22648 vsize=1797540 CPUtime=0
/proc/22650/task/22662/stat : 22662 (java) S 22648 22650 22514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 144535747 1840680960 71789 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.96
Current children cumulated vsize (KiB) 1797540

Child status: 10
Real time (s): 19.4842
CPU time (s): 23.0565
CPU user time (s): 22.5756
CPU system time (s): 0.480926
CPU usage (%): 118.334
Max. virtual memory (cumulated for all children) (KiB): 1799092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.5756
system time used= 0.480926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83766
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= 1128
involuntary context switches= 969

runsolver used 0.035994 second user time and 0.058991 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Thu Apr 19 08:33:33 UTC 2007

IDJOB= 360652
IDBENCH= 1386
IDSOLVER= 164
FILE ID= node54/360652-1176971612

PBS_JOBID= 4630326

Free space on /tmp= 66303 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360652-1176971612/sat4jPseudoCPClause.jar /tmp/evaluation/360652-1176971612/instance-360652-1176971612.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-360652-1176971612 -o ROOT/results/node54/solver-360652-1176971612 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/360652-1176971612/sat4jPseudoCPClause.jar /tmp/evaluation/360652-1176971612/instance-360652-1176971612.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  f5d8cf0048d52cf223a3574d281ac8f8

RANDOM SEED= 969234916

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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.234
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.234
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:       1077840 kB
Buffers:         37124 kB
Cached:         888196 kB
SwapCached:       4648 kB
Active:         394580 kB
Inactive:       541104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1077840 kB
SwapTotal:     4192956 kB
SwapFree:      4181256 kB
Dirty:           37696 kB
Writeback:           0 kB
Mapped:          15548 kB
Slab:            28360 kB
Committed_AS:  2061656 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66303 MiB

End job on node54 on Thu Apr 19 08:33:52 UTC 2007