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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUM77c89bda49ebcdc0428e1292512864a9
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3080
Optimality of the best value was proved NO
Number of terms in the objective function 2792
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1385986
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1385986
Number of bits of the biggest sum of numbers21
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.12383
Number of variables3300
Total number of constraints5284
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)3920
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220

Trace number 3318

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-18 23:42:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6243 boxname=wulflinc28 idbench=383 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  77c89bda49ebcdc0428e1292512864a9  /oldhome/oroussel/tmp/wulflinc28/normalized-ws97-3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc28/normalized-ws97-3.opb
IDLAUNCH: 6243
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        901984 kB
Buffers:         34400 kB
Cached:          70372 kB
SwapCached:        696 kB
Active:          66384 kB
Inactive:        40948 kB
HighTotal:      131008 kB
HighFree:        57036 kB
LowTotal:       903652 kB
LowFree:        844948 kB
SwapTotal:     2097640 kB
SwapFree:      2096372 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            19864 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 00:03:29 (client local time) WITH STATUS 143 IN 1248.59 SECONDS
stats: 6243 0 1248.59 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-ws97-3.opb
c reading problem ... done. Time 4.372 ms.
c #vars     3300
c #constraints  2573
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              360517 		Current CPU time: 11.46 ms
c CURRENT OPTIMUM=               58098 		Current CPU time: 40.40 ms
c CURRENT OPTIMUM=               27083 		Current CPU time: 190.72 ms
c CURRENT OPTIMUM=               25098 		Current CPU time: 397.53 ms
c starts		: 8
c conflicts		: 428
c decisions		: 10599
c propagations		: 55659
c inspects		: 431298
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 428
c root simplifications	: 8
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 12.600022111558758
c non guided choices	5526
c random choices	0
s SATISFIABLE
v -v861 -v1081 v1741 v2994 v2 -v432 -v862 -v1082 v1302 -v2842 v2995 -v3148 v3 -v863 -v1083 v4 -v219 v864 -v1084 -v1524 -v2996 -v3149 v5 v865 -v1085 -v1745 -v2997 -v6 v221 -v651 -v866 -v1086 -v1526 v1746 -v1966 v2998 -v3151 -v7 v222 -v652 -v867 -v1087 -v1527 -v1747 v1967 v2999 -v3152 -v8 v223 -v868 -v1088 -v1528 -v2188 v2408 -v2628 v3000 -v3153 -v869 -v1529 -v2848 -v3001 v3154 v224 -v439 -v654 v1310 -v1530 -v1750 -v1970 v225 -v440 -v871 -v1091 v1311 -v1531 -v1751 -v2849 -v3002 v226 -v441 -v1312 -v1532 v1752 v2850 v442 -v657 -v1313 v1973 -v2851 -v13 v228 v874 -v1094 -v1754 -v3005 -v229 v659 -v1535 -v1975 v2635 v446 -v877 -v1097 -v1317 v1757 -v2854 v3007 v1758 v17 -v232 -v662 -v879 v1099 -v1539 -v1759 -v1979 -v3008 -v3161 -v233 v663 v880 -v1100 -v1540 -v1760 -v1980 -v3009 v19 -v881 v1101 -v2201 -v3010 -v3163 -v665 -v882 -v1102 v1982 -v21 v451 -v883 v1103 -v1323 -v2858 -v3011 v3164 v237 -v1544 v2424 v23 v2205 -v24 -v239 v454 v886 -v1106 -v1326 -v1546 -v2860 -v3013 v3166 -v455 v1327 -v1767 -v456 v1328 -v1768 -v27 v242 -v889 v1109 -v1549 -v3014 v3167 -v28 v243 -v890 v1110 -v1550 -v3015 v3168 v244 -v891 -v1111 -v1551 v2431 v3016 -v30 -v245 v460 -v892 -v1112 -v1332 v1552 -v2864 -v3017 v3170 -v462 v1334 -v1774 v248 -v895 v1115 -v1555 -v34 -v249 v464 -v896 -v1116 -v1336 -v1556 -v2865 v3018 -v3171 v35 v897 -v1117 -v36 v251 -v466 v898 -v1118 -v1338 -v1778 v2866 -v3019 -v3172 v682 v1779 -v1999 v38 -v900 -v1120 v2440 v3020 -v3173 v39 -v901 -v1121 v2221 -v2441 -v2661 v3021 -v3174 v40 -v255 -v1562 -v41 v256 -v1563 v2663 v3175 v42 -v904 -v1124 v2444 -v3023 -v3176 v43 -v258 -v1565 v259 v906 -v1126 -v1566 v45 -v260 -v907 -v1127 v1567 v3024 -v3177 v46 v908 -v1128 v47 v909 -v1129 v48 -v693 -v910 -v1130 v2010 -v49 v264 -v694 -v911 -v1131 -v1571 -v1791 v2011 v3025 -v3178 -v50 -v265 v695 -v912 -v1132 v1572 -v1792 -v2012 v3026 -v3179 v266 -v913 -v1133 -v1573 v1793 v52 -v267 -v697 -v914 -v1134 v1574 -v1794 -v2014 v698 v1795 -v2015 v54 -v699 -v916 -v1136 -v1796 v2016 -v3027 -v3180 -v485 v700 -v1357 -v2017 -v2457 v2677 v2875 -v486 v701 -v918 -v1138 v1358 -v1798 -v2018 -v2876 v3029 v272 -v1579 v2459 v703 -v920 -v1140 -v2020 v2680 v3030 v704 v1801 -v2021 v490 -v922 -v1142 -v1362 v1802 -v2878 v3031 -v276 v491 -v1363 v1583 -v1803 -v2879 -v277 v492 -v707 -v924 -v1144 -v1364 v1584 -v1804 -v2024 -v2880 v3033 v278 v925 -v1145 -v1585 -v1805 -v3034 v64 -v926 v1146 v495 -v927 -v1147 -v1367 v1807 -v2882 v3035 -v928 -v1148 v2028 v3036 -v3189 v281 -v711 -v929 -v1149 -v1589 v2029 v3037 v282 -v930 -v1150 -v1590 -v1810 v3038 -v713 -v931 -v1151 -v1811 v2031 -v2471 -v2691 v3039 v69 -v932 -v1152 v2692 v3040 -v3193 v500 -v933 -v1153 -v1373 -v1813 v2473 -v2693 -v2888 v3041 -v71 v286 -v1154 -v1374 -v1594 -v1814 -v2889 v3042 -v3195 v72 -v935 v1155 -v2695 -v3043 -v3196 v73 -v503 -v936 v1156 -v1376 v2891 -v3044 -v3197 v719 -v937 -v1157 v1817 -v2037 v3045 v720 -v938 v1158 -v2038 -v2258 -v2478 -v2698 -v3046 v291 -v939 -v1159 -v1599 -v1819 v2259 -v2479 -v2699 v3047 -v77 v292 -v507 v940 -v1160 -v1380 -v1600 v2895 -v3048 -v3201 v508 -v941 -v1161 -v1381 v2261 -v2896 v3049 -v79 v509 -v724 v942 -v1162 -v1382 -v2042 v2703 v3203 -v510 v725 v944 -v1164 -v1384 -v2044 v2898 -v3051 -v81 v296 v945 -v1165 -v1605 -v2705 v82 -v946 -v1166 -v1386 v3052 -v3205 v83 v2707 v299 v948 -v1168 -v1608 -v2268 -v2488 -v3053 -v300 v515 -v1389 -v1609 v1829 -v2901 -v301 v516 -v950 v1170 -v1390 -v1610 -v87 v732 v951 -v1171 -v2051 -v3055 v3208 v88 -v303 -v518 -v952 -v1172 -v1392 -v1612 v2712 v89 -v519 v1393 v520 v954 -v1174 -v1394 v306 -v521 -v1395 -v1615 -v1835 v2903 -v92 v307 -v1176 -v1396 -v1616 -v1836 v2904 -v3057 -v3210 -v93 -v308 v523 -v957 -v1617 -v2057 -v2905 v3058 -v94 -v958 -v1178 v2498 v3059 -v3212 -v95 v310 -v740 -v959 -v1179 -v1619 -v1839 v2059 v3060 -v3213 v741 -v960 -v1180 -v2060 v3061 -v97 v312 -v527 -v961 -v1181 v1401 -v1621 -v2909 v3062 -v3215 v98 -v528 -v743 v962 -v1182 -v1402 -v2062 v314 -v529 -v963 -v1183 -v1403 -v1623 v1843 v2910 -v3063 -v100 v315 -v530 -v964 v1404 -v1624 -v2911 v3064 -v3217 -v316 -v531 -v965 -v1185 v1405 -v1625 -v2912 v3065 -v3218 -v532 v747 -v1406 -v2066 v2913 v318 v967 -v1187 -v1627 -v1847 -v3067 -v319 -v534 v749 -v1408 v1628 -v1848 -v2068 v2915 v535 -v750 -v1409 -v1849 -v2069 v2729 -v106 v751 -v970 v1190 -v1850 -v2070 v322 -v537 -v1411 -v1631 v1851 -v2731 v2916 v108 -v972 v1192 -v2292 -v2512 -v2732 v109 -v324 -v539 -v973 v1193 -v1413 -v1633 -v1853 v2917 -v3070 -v3223 v325 -v974 v1194 -v1634 v756 -v975 -v1195 v1855 -v2075 v3071 v327 -v542 -v976 -v1196 v1416 -v1636 -v2919 v3072 -v758 -v977 -v1197 v2077 -v114 -v329 v544 -v978 -v1198 -v1418 v1638 -v2920 v3073 -v3226 -v115 v330 -v979 -v1199 v1419 -v1639 -v2921 -v3074 v3227 -v116 v331 -v546 -v980 -v1200 -v1420 -v1640 v2922 -v3075 -v3228 v117 -v547 -v762 -v981 v1201 -v1421 -v2081 v2923 -v3076 -v3229 v333 -v1642 -v119 -v549 v764 v983 -v1203 -v1423 -v2083 v2924 -v3077 -v3230 v120 -v550 -v765 -v984 v1204 -v1424 -v2084 v2925 -v3078 -v3231 v121 -v336 -v551 -v766 -v985 -v1205 v1425 -v1645 -v1865 -v2085 -v2926 v3079 -v3232 -v122 -v552 v767 v986 -v1206 -v1426 -v2086 v2927 -v3080 -v3233 v768 -v987 -v1207 v1867 -v2087 -v3081 v124 -v988 v1208 -v3082 -v3235 -v340 v770 -v989 -v1209 v1649 -v1869 -v2089 v3083 -v126 -v990 -v1210 -v1870 -v2090 -v2530 v2750 v3084 -v3237 -v557 -v991 -v1211 -v1431 v2311 v2932 -v3085 -v128 v343 v3239 -v129 v344 -v993 v1213 -v1653 -v3087 v3240 -v130 -v345 v560 -v1434 -v1874 -v2935 v3241 -v995 -v1215 -v1875 v2755 v3089 -v347 -v562 v777 v1436 -v1656 -v1876 -v2096 v348 -v563 -v778 -v1437 -v1657 -v1877 v2097 -v998 -v1218 -v1878 v2758 v3090 v135 -v780 -v999 -v1219 v2099 v2938 -v3091 -v3244 v136 -v566 -v1000 -v1220 v1440 -v2939 v3092 -v3245 v782 v1001 -v1221 -v1881 -v2101 -v3093 v783 -v1002 -v1222 v1882 -v2102 -v2762 -v354 v784 -v1663 -v1883 -v2103 -v355 -v570 v785 -v1444 -v1664 v1884 -v2104 -v356 v571 -v786 -v1445 -v1665 -v1885 v2105 -v142 v357 -v787 v1006 -v1226 -v1666 -v1886 -v2106 -v3094 v3247 -v143 -v358 v788 -v1007 -v1227 v1667 -v1887 -v2107 -v3095 v3248 v359 -v1008 v1228 -v1668 v145 -v575 v1009 -v1229 -v1449 v2943 -v3096 -v3249 -v146 v361 -v576 -v1010 -v1230 v1450 -v1670 -v2944 -v3097 v3250 -v362 v792 v1011 -v1231 -v1671 -v1891 -v2111 -v3098 -v148 v2772 v3252 -v2553 v2773 -v149 -v364 v794 -v1014 -v1234 v1674 -v1894 -v2114 -v3100 v3253 v795 -v2115 -v2556 v2776 -v1017 -v1237 -v151 -v366 v581 v797 -v2118 v2558 -v368 -v1019 -v1239 v1679 v154 v2340 v370 -v1021 v1241 -v1681 v156 -v586 -v1022 -v1242 v1462 -v2950 v3103 -v3256 v372 -v587 -v802 -v1463 -v1683 -v1903 v2123 v2951 -v373 -v588 v803 -v1024 -v1244 v1464 -v1684 -v1904 -v2124 -v2952 v3105 -v159 -v374 v589 -v1025 -v1245 -v1465 -v1685 v2785 -v160 -v590 v805 -v1026 -v1246 v1466 -v2126 -v2953 v3106 -v3259 v161 -v1027 -v1247 v1907 v3107 -v3260 v162 -v592 -v1028 -v1248 v1468 -v2955 v3108 -v3261 -v163 -v378 v808 -v1029 -v1249 -v1689 v1909 -v2129 -v3109 v3262 -v164 -v1030 -v1250 -v1910 -v3110 v3263 v810 -v1031 -v1251 -v2131 v2571 -v3111 v1912 v166 -v596 -v1033 v1253 -v1473 v2959 -v3112 -v3265 -v167 -v382 v812 -v1034 -v1254 -v1694 -v1914 -v2134 -v3113 v3266 v813 v1915 -v2135 v169 -v599 -v1036 -v1256 v1476 -v2961 v3114 -v3267 v170 v2797 -v171 -v1038 v1258 -v2798 -v3115 v3268 -v172 -v387 -v1039 -v1259 -v1919 -v3116 -v173 -v388 -v603 -v1040 -v1260 -v1480 v1700 v2964 -v3117 -v3270 -v174 -v389 -v1041 -v1261 -v1481 -v1701 v390 -v1702 v1922 -v176 -v391 -v1703 v3271 v392 -v1704 v1924 v1925 -v178 -v393 -v608 -v1046 -v1266 -v1486 -v1706 -v1926 v2966 -v3119 -v3272 v179 -v1047 -v1267 v2807 v3120 -v3273 -v180 -v395 -v610 v825 -v1488 v1708 -v2148 v2968 -v3274 -v396 v611 -v1049 -v1269 -v1489 v1709 -v2969 v3122 -v2370 v2810 v398 -v1051 v1271 -v1711 -v184 -v399 v829 v1712 -v1932 -v2152 -v615 v830 -v1493 -v2153 v2593 -v2813 v2970 -v186 v616 -v1494 v2594 -v2971 v3277 -v403 -v1056 -v1276 -v1716 -v1936 -v3125 v189 v2377 -v405 -v620 v835 -v1058 -v1278 -v1498 v1718 -v2158 v2973 -v3126 -v621 -v1059 -v1279 -v1499 -v1939 v2974 -v3127 v837 v3128 v408 -v1060 -v1280 -v1720 v2600 -v2820 -v3129 v839 -v1061 -v1281 -v1941 -v2161 -v2601 v2821 v3130 v195 -v1062 v1282 -v1503 v2163 -v196 -v1944 v197 -v627 -v842 -v1065 -v1285 -v1505 -v2165 v2978 -v3131 -v3284 -v413 -v1066 -v1286 -v1726 -v1946 v2606 -v3132 -v414 v629 -v2980 -v200 -v415 -v630 -v1067 -v1287 -v1507 v1727 v2981 -v3134 -v3287 -v201 v631 -v1068 -v1288 -v1508 -v2982 -v3135 v3288 v202 -v1069 -v1289 v2829 v3136 -v3289 -v203 v633 -v848 -v1070 -v1290 -v1510 v2170 -v2984 -v3137 v3290 v419 -v1071 v1291 -v1731 -v1951 -v3138 v420 -v1732 v851 -v1073 -v1293 -v1953 -v2173 -v1074 -v1294 -v3139 v422 -v1075 -v1295 -v1955 -v2615 v2835 -v3140 v423 -v1076 -v1296 -v2616 v2836 -v3141 -v1517 v2177 -v424 -v1078 -v1298 -v1738 -v1958 -v3142 -v211 v426 -v3143 v3296 v427 v213 -v428 -v643 -v1079 -v1299 -v1519 v1739 v2991 -v3144 -v3297 -v214 -v429 v644 -v1080 -v1300 -v1520 v1740 -v2992 -v3145 v3298 -v645 v860 v2993 -v216 -v1521 -v2181 -v2401 -v2621 -v217 -v647 -v1522 -v1742 -v1962 -v2182 -v2402 -v2622 -v2183 -v2403 -v2623 -v434 -v649 -v1304 -v1744 -v1964 -v2184 -v2404 -v2624 v2843 -v220 -v650 -v1525 -v1965 -v2185 -v2405 -v2625 -v2186 -v2406 -v2626 -v2187 -v2407 -v2627 -v438 -v653 -v1308 -v1748 -v1968 -v2847 -v2189 -v2409 -v2629 -v2190 -v2410 -v2630 -v11 -v872 -v1092 -v2192 -v2412 -v2632 -v3003 -v3156 -v12 -v227 -v873 -v1093 -v1533 -v1753 -v2193 -v2413 -v2633 -v3004 v3157 -v658 -v1974 -v2194 -v2414 -v2634 -v444 -v875 -v1095 -v1315 -v1755 -v2195 -v2415 -v15 -v2196 -v2416 -v2636 -v3159 -v16 -v231 -v661 -v1537 -v1977 -v2197 -v3160 -v878 -v1098 -v1318 -v1538 -v1978 -v2198 -v2418 -v2638 -v447 -v1319 -v2199 -v2419 -v2639 v2855 -v18 -v448 -v1320 -v2200 -v2420 -v2640 v2856 -v3162 -v234 -v449 -v664 -v1321 -v1541 -v1761 -v1981 -v2421 -v2641 v2857 -v20 -v235 v450 -v1322 -v1542 -v1762 -v2202 -v2422 -v2642 -v236 -v666 -v1543 -v1763 -v1983 -v2203 -v2423 -v2643 -v22 -v452 -v1324 -v2204 v2859 -v3165 -v238 -v668 -v885 -v1105 -v1545 -v1765 -v1985 -v2425 -v2645 -v669 -v1766 -v1986 -v2206 -v2426 -v2646 -v25 -v2207 -v2427 -v26 -v2208 -v2428 -v457 -v672 -v1329 -v1769 -v1989 -v2209 -v2429 -v2649 -v2861 -v458 -v673 -v1330 -v1770 -v1990 -v2210 -v2430 -v2650 -v2862 -v459 -v674 -v1331 -v1991 -v2863 -v675 -v1772 -v1992 -v2212 -v2432 -v2652 -v32 -v247 v677 -v894 -v1114 -v1554 -v1994 -v2214 -v2434 -v2654 -v33 -v463 -v678 -v1335 -v1775 -v1995 -v2215 -v2435 -v2655 -v2216 -v2436 -v2656 -v250 -v465 -v680 -v1337 -v1557 -v1777 -v1997 -v2217 -v2437 -v2657 -v681 -v1998 -v2218 -v2438 -v2658 -v37 -v252 -v467 -v899 -v1119 -v1339 -v1559 -v2219 -v2439 -v2659 -v253 -v468 -v683 -v1340 -v1560 -v1780 -v2000 -v2220 -v2660 -v2867 -v254 -v469 -v684 -v1341 -v1561 -v1781 -v2001 -v2868 -v470 -v685 -v902 -v1122 -v1342 -v1782 -v2002 v2222 -v2442 -v2662 -v257 -v472 -v687 -v1344 -v1564 -v1784 -v2004 -v2224 -v2664 v2870 -v473 -v688 -v905 -v1125 -v1345 -v1785 -v2005 -v2225 v2445 -v2665 -v44 -v474 -v689 -v1346 -v1786 -v2006 -v2226 -v2446 -v2666 -v475 -v690 -v1347 -v1787 -v2007 -v2227 -v2447 -v2667 -v2871 -v261 -v476 -v691 -v1348 -v1568 -v1788 -v2008 -v2228 -v2448 -v2668 -v262 -v477 -v692 -v1349 -v1569 -v1789 -v2009 -v2229 -v2449 -v2669 -v263 -v478 -v1350 -v1570 -v1790 -v479 -v1351 -v2231 -v2451 -v2671 -v2872 -v480 -v1352 -v2232 -v2452 -v2672 -v2873 -v51 -v481 -v696 -v1353 -v2013 -v2233 -v2453 -v2673 -v482 -v1354 -v2234 -v2454 -v2674 -v53 -v268 -v483 -v915 -v1135 -v1355 -v1575 -v2235 -v2455 -v2675 -v269 -v484 -v1356 -v1576 -v2236 -v2456 -v2676 v2874 -v55 -v270 -v917 -v1137 -v1577 -v1797 -v2237 -v3028 -v3181 -v56 -v271 -v1578 -v2238 -v2458 -v2678 -v3182 -v57 -v487 -v702 -v919 -v1139 -v1359 -v1799 -v2019 -v2239 -v2679 -v58 -v273 -v488 -v1360 -v1580 -v1800 -v2240 -v2460 -v2877 -v3183 -v59 -v274 -v489 -v921 -v1141 -v1361 -v1581 -v2241 -v2461 -v2681 -v60 -v275 -v705 -v1582 -v2022 -v2242 -v2462 -v2682 -v3184 -v2243 -v2463 -v2683 -v2244 -v2464 -v2684 -v63 -v493 -v708 -v1365 -v2025 -v2245 -v2465 -v2685 v2881 -v3187 -v279 -v494 -v709 -v1366 -v1586 -v1806 -v2026 -v2246 -v2466 -v2686 -v65 -v280 -v710 -v1587 -v2027 -v2247 -v2467 -v2687 -v3188 -v1368 -v1588 -v1808 -v2248 -v2468 -v2688 -v2883 -v496 -v1369 -v1809 -v2249 -v2469 -v2689 -v2884 -v497 -v1370 -v2250 -v2470 -v2690 -v2885 -v68 -v498 -v1371 -v2251 -v2886 -v3192 -v284 -v499 -v714 -v1372 -v1592 -v1812 -v2032 -v2252 -v2472 -v2887 -v70 -v285 -v715 -v1593 -v2033 -v2253 -v3194 -v287 -v502 -v717 -v1375 -v1595 -v1815 -v2035 -v2255 -v2475 v2890 -v288 -v718 -v1596 -v1816 -v2036 -v2256 -v2476 -v2696 -v74 -v289 -v504 -v1377 -v1597 -v2257 -v2477 -v2697 -v2892 -v3198 -v75 -v290 -v505 -v1378 -v1598 v2893 -v3199 -v76 -v506 -v721 -v1379 -v2039 -v2894 -v3200 -v78 -v293 -v723 -v1601 -v1821 -v2041 -v2481 -v2701 -v3202 -v294 -v1602 -v1822 -v2262 -v2482 -v2702 -v943 -v1163 -v1383 -v1603 -v1823 -v2043 -v2263 -v2483 -v2897 -v3050 -v80 -v295 -v1604 -v1824 -v2264 -v2484 -v2704 -v3204 -v511 -v726 -v1385 -v1825 -v2045 -v2265 -v2485 -v297 -v1606 -v1826 -v2266 -v2486 -v2706 -v298 -v513 -v728 -v947 -v1167 -v1387 -v1607 -v1827 -v2047 -v2267 -v84 -v514 -v729 -v1388 -v1828 -v2048 -v2708 v2900 -v3206 -v2269 -v2489 -v2709 -v86 -v731 -v1830 -v2050 -v2270 -v2490 -v2710 -v302 -v517 -v1391 -v1611 -v1831 -v2271 -v2491 -v2711 -v2902 -v733 -v1832 -v2052 -v2272 -v2492 -v304 -v734 -v953 -v1173 -v1613 -v1833 -v2053 -v2273 -v2493 -v2713 -v90 -v305 -v735 -v1614 -v1834 -v2054 -v2274 -v2494 -v2714 -v2275 -v2495 -v2715 -v738 -v1837 -v2277 -v2497 -v2717 -v3211 -v524 -v1398 -v2278 -v2906 -v525 -v1399 -v2279 -v2499 -v2719 -v2907 -v96 -v311 -v1620 -v2280 -v2500 -v2720 -v3214 -v2281 -v2501 -v2721 -v313 -v1622 -v1842 -v2282 -v2502 -v2722 -v99 -v744 -v2063 -v2283 -v2503 -v2723 -v3216 -v2284 -v2504 -v2724 -v746 -v1845 -v2065 -v2285 -v2505 -v2725 -v102 -v317 -v966 -v1186 -v1626 -v1846 v2286 -v2506 -v2726 -v3066 -v3219 -v104 -v968 -v1188 -v2288 -v2508 -v2728 -v3068 -v3221 -v321 -v536 -v1410 -v1630 -v2290 -v2510 -v2730 -v107 -v752 -v971 -v1191 -v2071 -v2291 -v2511 -v3069 -v3222 -v323 -v538 -v753 -v1412 -v1632 -v1852 -v2072 -v754 -v2073 -v2293 -v2513 -v2733 -v110 -v540 -v755 -v1414 -v1854 -v2074 -v2294 -v2514 -v2734 -v111 -v326 -v541 -v1415 -v1635 -v2295 -v2515 -v2735 -v2918 -v3224 -v112 -v757 -v2076 -v2296 -v2516 -v2736 -v3225 -v113 -v328 -v1637 -v2297 -v2517 -v2298 -v2518 -v2738 -v2299 -v2519 -v2739 -v2300 -v2520 -v2740 -v332 -v1641 -v2301 -v118 -v548 -v763 -v982 -v1202 -v1422 -v1862 -v2082 -v2522 -v2742 -v334 -v1643 -v1863 -v2303 -v2523 -v2743 -v335 -v1644 -v2305 -v2525 -v2745 -v337 -v1646 -v1866 -v2306 -v338 -v1647 -v2307 -v2527 -v2747 -v769 -v1868 -v2088 -v2308 -v2528 -v2748 -v555 -v1429 -v2309 -v2529 -v2749 -v2930 -v556 -v1430 -v2310 -v2931 -v342 -v772 -v1651 -v1871 -v2091 -v2531 -v2751 -v2312 -v2313 -v2533 -v2753 -v2314 -v131 -v561 -v1435 -v2936 -v3242 -v132 -v996 -v1216 -v2316 -v2536 -v2756 -v133 -v997 -v1217 -v2317 -v2537 -v2757 -v564 -v1438 -v2937 -v350 -v1659 -v1879 -v2319 -v2539 -v2759 -v351 -v781 -v1660 -v1880 -v2100 -v2320 -v2540 -v2760 -v352 -v567 -v1441 -v1661 -v2321 -v2541 -v2761 -v2940 -v138 -v353 -v568 -v1442 -v1662 -v2322 -v2542 -v139 -v1003 -v1223 -v2323 -v2543 -v2763 -v140 -v1004 -v1224 -v2324 -v2544 -v2764 -v2325 -v2545 -v2765 -v572 -v1446 -v2326 -v2546 -v2766 -v2941 -v573 -v1447 -v2327 -v2547 -v2767 -v2942 -v574 -v789 -v1448 -v1888 -v2108 -v2328 -v2548 -v2768 -v360 -v790 -v1669 -v1889 -v2109 -v2329 -v2549 -v2769 -v147 -v577 -v1451 v2945 -v3251 -v579 -v1454 -v2334 -v2554 -v2774 -v2947 -v365 -v1675 -v1016 -v1236 -v1456 -v1676 -v1896 -v2116 -v2336 -v1457 -v1677 -v1897 -v2337 -v2557 -v2777 -v796 -v152 -v367 -v582 -v1018 -v1238 -v1458 -v1678 -v1898 -v2338 -v2778 v2949 -v3102 -v3255 -v798 -v2119 -v2339 -v2559 -v2779 -v369 -v584 -v799 -v1460 -v1680 -v1900 -v2120 -v2560 -v2780 -v155 -v585 -v800 -v1461 -v1901 -v2121 -v2341 -v2561 -v2781 -v371 -v801 -v1682 -v1902 -v2122 -v2342 -v2562 -v2782 -v157 -v1023 -v1243 -v2343 -v2563 -v2783 -v3104 -v3257 -v158 -v2344 -v2564 -v2784 -v3258 -v804 -v1905 -v2125 -v2345 -v2565 -v375 -v1686 -v1906 -v2346 -v2566 -v2786 -v376 -v591 -v806 -v1467 -v1687 -v2127 -v2347 -v2567 -v2787 -v2954 -v377 -v807 -v1688 -v1908 -v2128 -v2348 -v2568 -v2788 -v593 -v1469 -v2349 -v2569 -v2789 -v2956 -v594 -v1470 -v2350 -v2570 -v2790 -v2957 -v380 -v595 -v1471 -v1691 -v1911 -v2351 -v2791 -v2958 -v1032 -v1252 -v1472 -v1692 -v2132 -v2352 -v2572 -v2792 -v2353 -v2573 -v2793 -v597 -v1474 -v2354 -v2960 -v168 -v383 -v598 -v1035 -v1255 -v1475 -v1695 -v2355 -v2575 -v2795 -v384 -v814 -v1696 -v1916 -v2136 -v2356 -v2576 -v2796 -v385 -v600 -v815 -v1037 -v1257 -v1477 -v1697 -v1917 -v2137 -v2357 -v2577 -v817 -v2139 -v2359 -v2579 -v2799 -v2360 -v2580 -v2800 -v2361 -v2581 -v2801 -v175 -v605 -v820 -v1042 -v1262 -v1482 -v2142 -v2362 -v2582 -v2802 -v2363 -v2583 -v2803 -v177 -v607 -v822 -v1044 -v1264 -v1484 -v2144 -v2364 -v2584 -v2804 -v1045 -v1265 -v1485 -v1705 -v2145 -v2365 -v2585 -v2805 -v394 -v609 -v824 -v1487 -v1707 -v1927 -v2147 -v2367 -v2587 -v2967 -v1048 -v1268 -v1928 -v2368 -v2588 -v2808 -v3121 -v181 -v826 -v1929 -v2149 -v2369 -v2589 -v2809 -v3275 -v397 -v612 -v827 -v1050 -v1270 -v1490 -v1710 -v1930 -v2150 -v183 -v613 -v828 -v1491 -v1931 -v2151 -v2371 -v2591 -v2811 -v2372 -v2592 -v2812 -v185 -v400 -v1053 -v1273 -v1713 -v3123 -v3276 -v618 -v833 -v1496 -v2156 v2972 -v404 -v619 -v834 -v1057 -v1277 -v1497 -v1717 -v1937 -v2157 -v2597 -v2817 -v1938 -v2378 -v2598 -v2818 -v836 -v2159 -v2379 -v2599 -v2819 -v192 -v407 -v622 -v2975 -v3281 -v193 -v623 -v838 -v1500 -v1940 -v2160 -v2380 v2976 -v3282 -v194 -v409 -v624 -v1501 -v1721 -v2381 -v2977 -v3283 -v410 -v625 -v840 -v1502 -v1722 -v1942 -v2162 -v2382 -v2602 -v2822 -v1063 -v1283 -v1723 -v1943 -v2383 -v2603 -v2823 -v412 -v1725 -v1945 -v2385 -v628 -v843 -v1506 -v2166 -v2386 v2979 -v2387 -v2607 -v2827 -v416 -v1728 -v417 -v632 -v847 -v1509 -v1729 -v1949 -v2169 -v2389 -v2609 -v2983 -v418 -v1730 -v1950 -v2390 -v2610 -v2830 -v204 -v634 -v849 -v1511 -v2171 -v2391 -v2611 -v2831 v2985 -v3291 -v205 -v635 -v850 -v1072 -v1292 -v1512 -v1952 -v2172 -v2612 -v2832 -v636 -v1513 -v2393 -v2613 -v2833 -v207 -v637 -v1515 v2987 -v3293 -v208 -v638 -v1516 -v2396 v2988 -v3294 -v1077 -v1297 -v1737 -v1957 -v2397 -v2617 -v2837 -v641 -v856 -v2990 -v212 -v642 -v857 -v858 -v1959 -v2179 -v2399 -v2619 -v2839 -v859 -v1960 -v2180 -v2400 -v2620 -v2840 -v215 -v3146 -v3299 one -v1 -v9 -v10 -v14 -v29 -v31 -v61 -v62 -v66 -v67 -v85 -v91 v101 -v103 -v105 -v123 -v125 v127 -v134 -v137 -v141 -v144 -v150 -v153 -v165 v182 -v187 v188 -v190 v191 v198 -v199 -v206 -v209 -v210 -v218 -v230 -v240 -v241 -v246 v283 -v309 -v320 -v339 -v341 -v346 -v349 -v363 -v379 -v381 -v386 -v401 -v402 -v406 -v411 -v421 -v425 -v430 v431 -v433 -v435 -v436 -v437 -v443 -v445 -v453 v461 -v471 -v501 -v512 -v522 -v526 -v533 v543 -v545 -v553 -v554 -v558 -v559 -v565 -v569 v578 -v580 v583 v601 v602 v604 v606 -v614 v617 v626 v639 v640 -v646 -v648 -v655 -v656 v660 -v667 v670 v671 -v676 -v679 -v686 -v706 -v712 -v716 -v722 -v727 -v730 -v736 -v737 v739 -v742 -v745 -v748 -v759 -v760 -v761 v771 -v773 -v774 -v775 v776 v779 -v791 -v793 v809 -v811 -v816 v818 -v819 -v821 v823 -v831 -v832 -v841 -v844 v845 -v846 -v852 -v853 -v854 -v855 -v870 -v876 -v884 -v887 -v888 -v893 -v903 -v923 -v934 -v949 -v955 -v956 -v969 -v992 -v994 -v1005 -v1012 -v1013 -v1015 -v1020 -v1043 -v1052 -v1054 -v1055 -v1064 -v1089 -v1090 -v1096 -v1104 -v1107 -v1108 -v1113 -v1123 -v1143 -v1169 -v1175 -v1177 -v1184 -v1189 -v1212 -v1214 -v1225 -v1232 -v1233 -v1235 -v1240 -v1263 -v1272 -v1274 -v1275 -v1284 -v1301 -v1303 -v1305 -v1306 -v1307 v1309 -v1314 -v1316 -v1325 -v1333 -v1343 v1397 v1400 -v1407 -v1417 -v1427 -v1428 -v1432 -v1433 -v1439 v1443 -v1452 -v1453 -v1455 -v1459 -v1478 -v1479 -v1483 -v1492 -v1495 -v1504 -v1514 -v1518 v1523 -v1534 v1536 -v1547 -v1548 -v1553 -v1558 -v1591 -v1618 -v1629 -v1648 -v1650 -v1652 -v1654 -v1655 -v1658 -v1672 -v1673 v1690 -v1693 -v1698 v1699 -v1714 -v1715 v1719 -v1724 v1733 -v1734 -v1735 -v1736 -v1743 -v1749 -v1756 -v1764 -v1771 -v1773 -v1776 -v1783 -v1818 -v1820 -v1838 -v1840 -v1841 -v1844 -v1856 -v1857 -v1858 -v1859 -v1860 -v1861 -v1864 -v1872 -v1873 -v1890 -v1892 -v1893 -v1895 -v1899 -v1913 -v1918 -v1920 -v1921 -v1923 -v1933 -v1934 -v1935 -v1947 -v1948 -v1954 -v1956 -v1961 -v1963 -v1969 -v1971 -v1972 -v1976 -v1984 -v1987 -v1988 -v1993 v1996 -v2003 -v2023 v2030 -v2034 -v2040 v2046 -v2049 v2055 -v2056 -v2058 -v2061 -v2064 -v2067 -v2078 -v2079 v2080 -v2092 -v2093 -v2094 -v2095 -v2098 -v2110 -v2112 -v2113 v2117 -v2130 -v2133 -v2138 -v2140 v2141 v2143 -v2146 -v2154 -v2155 -v2164 -v2167 -v2168 -v2174 -v2175 -v2176 -v2178 -v2191 -v2211 v2213 -v2223 -v2230 v2254 -v2260 v2276 -v2287 -v2289 v2302 -v2304 -v2315 -v2318 -v2330 -v2331 -v2332 -v2333 v2335 -v2358 v2366 -v2373 -v2374 v2375 v2376 v2384 -v2388 v2392 -v2394 -v2395 -v2398 -v2411 -v2417 -v2433 -v2443 -v2450 -v2474 -v2480 -v2487 -v2496 -v2507 -v2509 -v2521 -v2524 -v2526 v2532 v2534 -v2535 -v2538 -v2550 -v2551 -v2552 -v2555 v2574 -v2578 -v2586 -v2590 -v2595 -v2596 -v2604 v2605 -v2608 -v2614 -v2618 -v2631 -v2637 -v2644 -v2647 -v2648 -v2651 -v2653 -v2670 -v2694 -v2700 -v2716 -v2718 -v2727 -v2737 -v2741 -v2744 -v2746 -v2752 -v2754 -v2770 -v2771 -v2775 -v2794 -v2806 -v2814 -v2815 -v2816 -v2824 -v2825 -v2826 v2828 v2834 v2838 -v2841 v2844 -v2845 -v2846 -v2852 v2853 -v2869 -v2899 -v2908 -v2914 -v2928 v2929 -v2933 -v2934 -v2946 -v2948 -v2962 -v2963 -v2965 v2986 -v2989 -v3006 -v3012 -v3022 -v3032 -v3054 -v3056 -v3086 -v3088 -v3099 -v3101 -v3118 -v3124 -v3133 -v3147 -v3150 v3155 v3158 -v3169 v3185 -v3186 -v3190 -v3191 v3207 -v3209 v3220 v3234 -v3236 -v3238 -v3243 v3246 v3254 v3264 v3269 -v3278 -v3279 -v3280 -v3285 v3286 -v3292 v3295 
c objective function=25098
c Total CPU time (ms) : 1239.035

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845313482 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 39 3 38 16 0 23 0
[pid=6319] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/6319
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=6320
New thread pid=6321
New thread pid=6322
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=6323
New thread pid=6324
New thread pid=6325
New thread pid=6326
New thread pid=6327
New thread pid=6328
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-ws97-3.opb
New thread pid=6329

[startup+10.002 s]
Raw data (loadavg): 1.18 1.09 1.01 2/66 6329
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18146 0 1 0 643 48 0 0 16 0 11 0 1845313482 864686080 21805 4294967295 134512640 134569956 3221224352 3221214324 1131089602 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 211105 21805 13129 16 0 211089 0
[pid=6319] vsize: 844420
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (Kb) 844420
One traced child (pid=6329) exited with status: 0
New thread pid=6330

[startup+20.0027 s]
Raw data (loadavg): 1.15 1.09 1.01 2/66 6330
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18204 4 1 0 1535 49 0 0 20 0 11 0 1845313482 863199232 24838 4294967295 134512640 134569956 3221224352 3221214720 1131646662 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 24838 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 15.84
Current children cumulated vsize (Kb) 842968

[startup+30.0034 s]
Raw data (loadavg): 1.13 1.08 1.01 2/66 6330
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18210 4 1 0 2457 50 0 0 22 0 11 0 1845313482 863199232 27844 4294967295 134512640 134569956 3221224352 3221214648 1131518780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 27844 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (Kb) 842968

[startup+40.0051 s]
Raw data (loadavg): 1.11 1.08 1.01 2/66 6330
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18218 4 1 0 3405 50 0 0 21 0 11 0 1845313482 863199232 27844 4294967295 134512640 134569956 3221224352 3221214648 1131518864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 27844 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 34.55
Current children cumulated vsize (Kb) 842968
One traced child (pid=6330) exited with status: 0
New thread pid=6331

[startup+50.0058 s]
Raw data (loadavg): 1.09 1.08 1.01 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18224 4 1 0 4353 51 0 0 20 0 11 0 1845313482 863199232 28347 4294967295 134512640 134569956 3221224352 3221214624 1131419024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 28347 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 44.04
Current children cumulated vsize (Kb) 842968

[startup+60.0065 s]
Raw data (loadavg): 1.08 1.08 1.01 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18229 4 1 0 5310 51 0 0 25 0 11 0 1845313482 863199232 28347 4294967295 134512640 134569956 3221224352 3221214640 1131474333 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 28347 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 53.61
Current children cumulated vsize (Kb) 842968

[startup+70.0071 s]
Raw data (loadavg): 1.07 1.07 1.01 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18236 4 1 0 6230 51 0 0 19 0 11 0 1845313482 863199232 29080 4294967295 134512640 134569956 3221224352 3221214744 1131541746 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 29080 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 62.81
Current children cumulated vsize (Kb) 842968

[startup+80.0078 s]
Raw data (loadavg): 1.06 1.07 1.01 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18241 4 1 0 7157 51 0 0 25 0 11 0 1845313482 863199232 29746 4294967295 134512640 134569956 3221224352 3221214720 1131646619 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 29746 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 72.08
Current children cumulated vsize (Kb) 842968

[startup+90.0085 s]
Raw data (loadavg): 1.05 1.07 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18247 4 1 0 8074 52 0 0 18 0 11 0 1845313482 863199232 31323 4294967295 134512640 134569956 3221224352 3221214640 1131418750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 31323 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 81.26
Current children cumulated vsize (Kb) 842968

[startup+100.009 s]
Raw data (loadavg): 1.04 1.06 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18252 4 1 0 8986 52 0 0 25 0 11 0 1845313482 863199232 33117 4294967295 134512640 134569956 3221224352 3221214716 1131057186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 33117 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 90.38
Current children cumulated vsize (Kb) 842968

[startup+110.01 s]
Raw data (loadavg): 1.03 1.06 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18255 4 1 0 9950 52 0 0 25 0 11 0 1845313482 863199232 33117 4294967295 134512640 134569956 3221224352 3221214648 1131518845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 33117 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 842968

[startup+120.011 s]
Raw data (loadavg): 1.03 1.06 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18256 4 1 0 10929 52 0 0 25 0 11 0 1845313482 863199232 33750 4294967295 134512640 134569956 3221224352 3221214648 1131518874 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 33750 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 109.81
Current children cumulated vsize (Kb) 842968

[startup+130.01 s]
Raw data (loadavg): 1.02 1.06 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18257 4 1 0 11915 52 0 0 25 0 11 0 1845313482 863199232 33930 4294967295 134512640 134569956 3221224352 3221214648 1131518812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 33930 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 119.67
Current children cumulated vsize (Kb) 842968

[startup+140.011 s]
Raw data (loadavg): 1.02 1.05 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18257 4 1 0 12916 52 0 0 25 0 11 0 1845313482 863199232 33930 4294967295 134512640 134569956 3221224352 3221214648 1131518780 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 33930 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 129.68
Current children cumulated vsize (Kb) 842968

[startup+150.012 s]
Raw data (loadavg): 1.02 1.05 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18258 4 1 0 13905 53 0 0 25 0 11 0 1845313482 863199232 33930 4294967295 134512640 134569956 3221224352 3221214648 1131518780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 33930 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 139.58
Current children cumulated vsize (Kb) 842968

[startup+160.011 s]
Raw data (loadavg): 1.01 1.05 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18259 4 1 0 14894 53 0 0 25 0 11 0 1845313482 863199232 33930 4294967295 134512640 134569956 3221224352 3221214648 1131518845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 33930 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 149.47
Current children cumulated vsize (Kb) 842968

[startup+170.012 s]
Raw data (loadavg): 1.01 1.05 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18260 4 1 0 15884 53 0 0 25 0 11 0 1845313482 863199232 33930 4294967295 134512640 134569956 3221224352 3221214648 1131518845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 33930 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (Kb) 842968

[startup+180.012 s]
Raw data (loadavg): 1.01 1.05 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18263 4 1 0 16863 54 0 0 25 0 11 0 1845313482 863199232 33930 4294967295 134512640 134569956 3221224352 3221214560 1131474131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 33930 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 169.17
Current children cumulated vsize (Kb) 842968

[startup+190.012 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 6331
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18268 4 1 0 17809 54 0 0 25 0 11 0 1845313482 863199232 33930 4294967295 134512640 134569956 3221224352 3221214648 1131518773 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 33930 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 178.63
Current children cumulated vsize (Kb) 842968
One traced child (pid=6331) exited with status: 0
New thread pid=6332

[startup+200.012 s]
Raw data (loadavg): 1.08 1.06 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18273 4 1 0 18759 54 0 0 25 0 11 0 1845313482 863199232 34384 4294967295 134512640 134569956 3221224352 3221214648 1131518845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 34384 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 188.13
Current children cumulated vsize (Kb) 842968

[startup+210.013 s]
Raw data (loadavg): 1.07 1.06 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18277 4 1 0 19731 54 0 0 25 0 11 0 1845313482 863199232 34384 4294967295 134512640 134569956 3221224352 3221214472 1131381624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 34384 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 197.85
Current children cumulated vsize (Kb) 842968

[startup+220.013 s]
Raw data (loadavg): 1.06 1.05 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18281 4 1 0 20703 54 0 0 25 0 11 0 1845313482 863199232 34384 4294967295 134512640 134569956 3221224352 3221214648 1131518933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 34384 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 207.57
Current children cumulated vsize (Kb) 842968

[startup+230.013 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18286 4 1 0 21661 55 0 0 25 0 11 0 1845313482 863199232 34384 4294967295 134512640 134569956 3221224352 3221214640 1131419045 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 34384 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 217.16
Current children cumulated vsize (Kb) 842968

[startup+240.014 s]
Raw data (loadavg): 1.12 1.07 1.01 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18289 4 1 0 22619 55 0 0 25 0 11 0 1845313482 863199232 34740 4294967295 134512640 134569956 3221224352 3221214472 1131553758 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 34740 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 226.74
Current children cumulated vsize (Kb) 842968

[startup+250.014 s]
Raw data (loadavg): 1.10 1.06 1.01 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18295 4 1 0 23573 55 0 0 25 0 11 0 1845313482 863199232 35049 4294967295 134512640 134569956 3221224352 3221214612 1131493484 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 35049 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 236.28
Current children cumulated vsize (Kb) 842968

[startup+260.014 s]
Raw data (loadavg): 1.08 1.06 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18300 4 1 0 24517 55 0 0 21 0 11 0 1845313482 863199232 35314 4294967295 134512640 134569956 3221224352 3221214616 1131419061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 35314 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 245.72
Current children cumulated vsize (Kb) 842968

[startup+270.015 s]
Raw data (loadavg): 1.07 1.06 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18305 4 1 0 25457 55 0 0 25 0 11 0 1845313482 863199232 35532 4294967295 134512640 134569956 3221224352 3221214612 1131493576 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 35532 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 255.12
Current children cumulated vsize (Kb) 842968

[startup+280.015 s]
Raw data (loadavg): 1.06 1.06 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18309 4 1 0 26391 56 0 0 25 0 11 0 1845313482 863199232 36415 4294967295 134512640 134569956 3221224352 3221214648 1131519627 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 36415 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 264.47
Current children cumulated vsize (Kb) 842968

[startup+290.016 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18314 4 1 0 27336 56 0 0 25 0 11 0 1845313482 863199232 36551 4294967295 134512640 134569956 3221224352 3221214640 1131419045 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 36551 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 273.92
Current children cumulated vsize (Kb) 842968

[startup+300.017 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18318 4 1 0 28270 56 0 0 22 0 11 0 1845313482 863199232 37608 4294967295 134512640 134569956 3221224352 3221214648 1131518780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 37608 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 283.26
Current children cumulated vsize (Kb) 842968

[startup+310.018 s]
Raw data (loadavg): 1.04 1.05 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18323 4 1 0 29210 57 0 0 18 0 11 0 1845313482 863199232 37608 4294967295 134512640 134569956 3221224352 3221214744 1131541403 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 37608 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 292.67
Current children cumulated vsize (Kb) 842968

[startup+320.018 s]
Raw data (loadavg): 1.03 1.05 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18327 4 1 0 30155 57 0 0 19 0 11 0 1845313482 863199232 38138 4294967295 134512640 134569956 3221224352 3221214592 1131493545 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 38138 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 302.12
Current children cumulated vsize (Kb) 842968

[startup+330.019 s]
Raw data (loadavg): 1.02 1.05 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18328 4 1 0 31138 57 0 0 25 0 11 0 1845313482 863199232 38348 4294967295 134512640 134569956 3221224352 3221214648 1131518780 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 38348 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 311.95
Current children cumulated vsize (Kb) 842968

[startup+340.02 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18329 4 1 0 32120 58 0 0 25 0 11 0 1845313482 863199232 38694 4294967295 134512640 134569956 3221224352 3221214648 1131518845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 38694 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 321.78
Current children cumulated vsize (Kb) 842968

[startup+350.019 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18329 4 1 0 33120 58 0 0 25 0 11 0 1845313482 863199232 38694 4294967295 134512640 134569956 3221224352 3221214648 1131518731 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 38694 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 331.78
Current children cumulated vsize (Kb) 842968

[startup+360.019 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18330 4 1 0 34106 58 0 0 25 0 11 0 1845313482 863199232 38944 4294967295 134512640 134569956 3221224352 3221214648 1131518845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 38944 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 341.64
Current children cumulated vsize (Kb) 842968

[startup+370.02 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18332 4 1 0 35086 59 0 0 25 0 11 0 1845313482 863199232 38944 4294967295 134512640 134569956 3221224352 3221214648 1131518845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 38944 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 351.45
Current children cumulated vsize (Kb) 842968

[startup+380.019 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18335 4 1 0 36054 59 0 0 25 0 11 0 1845313482 863199232 38944 4294967295 134512640 134569956 3221224352 3221214648 1131518868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 38944 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 361.13
Current children cumulated vsize (Kb) 842968

[startup+390.02 s]
Raw data (loadavg): 1.01 1.04 1.00 2/66 6332
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18338 4 1 0 37022 60 0 0 25 0 11 0 1845313482 863199232 38944 4294967295 134512640 134569956 3221224352 3221214648 1131518812 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 38944 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 370.82
Current children cumulated vsize (Kb) 842968
One traced child (pid=6332) exited with status: 0
New thread pid=6333

[startup+400.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18343 4 1 0 37963 60 0 0 25 0 11 0 1845313482 863199232 39479 4294967295 134512640 134569956 3221224352 3221214648 1131519635 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 39479 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 380.23
Current children cumulated vsize (Kb) 842968

[startup+410.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) S 6318 6319 20115 0 -1 0 18349 4 1 0 38897 60 0 0 16 0 11 0 1845313482 863199232 39479 4294967295 134512640 134569956 3221224352 3221213264 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 39479 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 389.57
Current children cumulated vsize (Kb) 842968

[startup+420.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18359 4 1 0 39800 60 0 0 16 0 11 0 1845313482 863199232 39479 4294967295 134512640 134569956 3221224352 3221214560 1131473757 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 39479 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 398.6
Current children cumulated vsize (Kb) 842968

[startup+430.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18368 4 1 0 40730 61 0 0 25 0 11 0 1845313482 863199232 39756 4294967295 134512640 134569956 3221224352 3221214560 1131473780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 39756 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (Kb) 842968

[startup+440.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18378 4 1 0 41699 62 0 0 25 0 11 0 1845313482 863199232 40255 4294967295 134512640 134569956 3221224352 3221214560 1131474131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40255 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 417.61
Current children cumulated vsize (Kb) 842968

[startup+450.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18389 4 1 0 42690 62 0 0 19 0 11 0 1845313482 863199232 40264 4294967295 134512640 134569956 3221224352 3221214560 1131474131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40264 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 427.52
Current children cumulated vsize (Kb) 842968

[startup+460.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18399 4 1 0 43682 63 0 0 24 0 11 0 1845313482 863199232 40271 4294967295 134512640 134569956 3221224352 3221214648 1131518753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40271 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 437.45
Current children cumulated vsize (Kb) 842968

[startup+470.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18410 4 1 0 44674 63 0 0 20 0 11 0 1845313482 863199232 40274 4294967295 134512640 134569956 3221224352 3221214560 1131473718 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40274 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 447.37
Current children cumulated vsize (Kb) 842968

[startup+480.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18421 4 1 0 45666 64 0 0 25 0 11 0 1845313482 863199232 40277 4294967295 134512640 134569956 3221224352 3221214648 1131523470 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40277 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 457.3
Current children cumulated vsize (Kb) 842968

[startup+490.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18431 4 1 0 46659 64 0 0 21 0 11 0 1845313482 863199232 40281 4294967295 134512640 134569956 3221224352 3221214648 1131523624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40281 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 467.23
Current children cumulated vsize (Kb) 842968

[startup+500.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18442 4 1 0 47651 64 0 0 25 0 11 0 1845313482 863199232 40283 4294967295 134512640 134569956 3221224352 3221214648 1131523535 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40283 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 477.15
Current children cumulated vsize (Kb) 842968

[startup+510.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18452 4 1 0 48643 65 0 0 24 0 11 0 1845313482 863199232 40286 4294967295 134512640 134569956 3221224352 3221214560 1131474079 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40286 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 487.08
Current children cumulated vsize (Kb) 842968

[startup+520.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18463 4 1 0 49635 65 0 0 20 0 11 0 1845313482 863199232 40289 4294967295 134512640 134569956 3221224352 3221214648 1131523488 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40289 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 497
Current children cumulated vsize (Kb) 842968

[startup+530.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18474 4 1 0 50627 66 0 0 17 0 11 0 1845313482 863199232 40293 4294967295 134512640 134569956 3221224352 3221214560 1131474919 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40293 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 506.93
Current children cumulated vsize (Kb) 842968

[startup+540.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18484 4 1 0 51620 66 0 0 25 0 11 0 1845313482 863199232 40297 4294967295 134512640 134569956 3221224352 3221214560 1131474131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40297 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 516.86
Current children cumulated vsize (Kb) 842968

[startup+550.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18495 4 1 0 52612 67 0 0 25 0 11 0 1845313482 863199232 40300 4294967295 134512640 134569956 3221224352 3221214648 1131519886 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40300 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 526.79
Current children cumulated vsize (Kb) 842968

[startup+560.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18506 4 1 0 53603 68 0 0 25 0 11 0 1845313482 863199232 40303 4294967295 134512640 134569956 3221224352 3221214560 1131474047 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40303 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 536.71
Current children cumulated vsize (Kb) 842968

[startup+570.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18516 4 1 0 54596 68 0 0 25 0 11 0 1845313482 863199232 40307 4294967295 134512640 134569956 3221224352 3221214560 1131474128 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40307 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 546.64
Current children cumulated vsize (Kb) 842968

[startup+580.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18527 4 1 0 55587 69 0 0 25 0 11 0 1845313482 863199232 40309 4294967295 134512640 134569956 3221224352 3221214560 1131474230 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40309 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 556.56
Current children cumulated vsize (Kb) 842968

[startup+590.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18537 4 1 0 56580 69 0 0 25 0 11 0 1845313482 863199232 40312 4294967295 134512640 134569956 3221224352 3221214560 1131473783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40312 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 566.49
Current children cumulated vsize (Kb) 842968

[startup+600.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18548 4 1 0 57572 69 0 0 25 0 11 0 1845313482 863199232 40315 4294967295 134512640 134569956 3221224352 3221214648 1131519812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40315 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 576.41
Current children cumulated vsize (Kb) 842968

[startup+610.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18559 4 1 0 58563 70 0 0 18 0 11 0 1845313482 863199232 40318 4294967295 134512640 134569956 3221224352 3221214648 1131519886 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40318 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 586.33
Current children cumulated vsize (Kb) 842968

[startup+620.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18569 4 1 0 59555 70 0 0 24 0 11 0 1845313482 863199232 40321 4294967295 134512640 134569956 3221224352 3221214648 1131520754 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40321 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 596.25
Current children cumulated vsize (Kb) 842968

[startup+630.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18580 4 1 0 60548 70 0 0 25 0 11 0 1845313482 863199232 40324 4294967295 134512640 134569956 3221224352 3221214472 1131382068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40324 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 606.18
Current children cumulated vsize (Kb) 842968

[startup+640.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18591 4 1 0 61540 71 0 0 18 0 11 0 1845313482 863199232 40328 4294967295 134512640 134569956 3221224352 3221214560 1131473708 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40328 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 616.11
Current children cumulated vsize (Kb) 842968

[startup+650.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18601 4 1 0 62532 71 0 0 24 0 11 0 1845313482 863199232 40331 4294967295 134512640 134569956 3221224352 3221214560 1131473809 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40331 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 626.03
Current children cumulated vsize (Kb) 842968

[startup+660.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18612 4 1 0 63524 72 0 0 25 0 11 0 1845313482 863199232 40334 4294967295 134512640 134569956 3221224352 3221214648 1131520024 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40334 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 635.96
Current children cumulated vsize (Kb) 842968

[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18623 4 1 0 64516 73 0 0 18 0 11 0 1845313482 863199232 40337 4294967295 134512640 134569956 3221224352 3221214648 1131518780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40337 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 645.89
Current children cumulated vsize (Kb) 842968

[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18633 4 1 0 65509 73 0 0 25 0 11 0 1845313482 863199232 40340 4294967295 134512640 134569956 3221224352 3221214560 1131474679 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40340 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 655.82
Current children cumulated vsize (Kb) 842968

[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18644 4 1 0 66500 74 0 0 21 0 11 0 1845313482 863199232 40343 4294967295 134512640 134569956 3221224352 3221214560 1131474238 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40343 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 665.74
Current children cumulated vsize (Kb) 842968

[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18655 4 1 0 67493 75 0 0 25 0 11 0 1845313482 863199232 40347 4294967295 134512640 134569956 3221224352 3221214648 1131523526 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40347 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 675.68
Current children cumulated vsize (Kb) 842968

[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18665 4 1 0 68486 75 0 0 25 0 11 0 1845313482 863199232 40350 4294967295 134512640 134569956 3221224352 3221214560 1131474695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40350 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 685.61
Current children cumulated vsize (Kb) 842968

[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18676 4 1 0 69477 75 0 0 25 0 11 0 1845313482 863199232 40352 4294967295 134512640 134569956 3221224352 3221214648 1131523470 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40352 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 695.52
Current children cumulated vsize (Kb) 842968

[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18687 4 1 0 70469 76 0 0 25 0 11 0 1845313482 863199232 40356 4294967295 134512640 134569956 3221224352 3221214560 1131473718 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40356 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 705.45
Current children cumulated vsize (Kb) 842968

[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18698 4 1 0 71461 76 0 0 17 0 11 0 1845313482 863199232 40359 4294967295 134512640 134569956 3221224352 3221214560 1131474194 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40359 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 715.37
Current children cumulated vsize (Kb) 842968

[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18708 4 1 0 72440 76 0 0 25 0 11 0 1845313482 863199232 40362 4294967295 134512640 134569956 3221224352 3221214556 1131381600 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40362 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 725.16
Current children cumulated vsize (Kb) 842968

[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18718 4 1 0 73417 77 0 0 22 0 11 0 1845313482 863199232 40366 4294967295 134512640 134569956 3221224352 3221214560 1131474178 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40366 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 734.94
Current children cumulated vsize (Kb) 842968

[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18729 4 1 0 74393 77 0 0 17 0 11 0 1845313482 863199232 40369 4294967295 134512640 134569956 3221224352 3221214472 1131381661 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40369 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 744.7
Current children cumulated vsize (Kb) 842968

[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18739 4 1 0 75368 78 0 0 25 0 11 0 1845313482 863199232 40421 4294967295 134512640 134569956 3221224352 3221214560 1131473892 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40421 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 754.46
Current children cumulated vsize (Kb) 842968

[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18749 4 1 0 76342 78 0 0 25 0 11 0 1845313482 863199232 40423 4294967295 134512640 134569956 3221224352 3221214560 1131474131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40423 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 764.2
Current children cumulated vsize (Kb) 842968

[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18760 4 1 0 77313 79 0 0 25 0 11 0 1845313482 863199232 40426 4294967295 134512640 134569956 3221224352 3221214560 1131473783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40426 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 773.92
Current children cumulated vsize (Kb) 842968

[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18769 4 1 0 78295 79 0 0 25 0 11 0 1845313482 863199232 40525 4294967295 134512640 134569956 3221224352 3221214648 1131520695 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40525 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 783.74
Current children cumulated vsize (Kb) 842968

[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18780 4 1 0 79271 80 0 0 25 0 11 0 1845313482 863199232 40525 4294967295 134512640 134569956 3221224352 3221214648 1131523617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40525 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 793.51
Current children cumulated vsize (Kb) 842968

[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18791 4 1 0 80248 80 0 0 17 0 11 0 1845313482 863199232 40525 4294967295 134512640 134569956 3221224352 3221214560 1131474131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40525 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 803.28
Current children cumulated vsize (Kb) 842968

[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18801 4 1 0 81229 81 0 0 23 0 11 0 1845313482 863199232 40575 4294967295 134512640 134569956 3221224352 3221214648 1131524415 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40575 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 813.1
Current children cumulated vsize (Kb) 842968

[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18811 4 1 0 82209 81 0 0 25 0 11 0 1845313482 863199232 40575 4294967295 134512640 134569956 3221224352 3221214648 1131518773 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40575 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 822.9
Current children cumulated vsize (Kb) 842968

[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18822 4 1 0 83186 82 0 0 25 0 11 0 1845313482 863199232 40575 4294967295 134512640 134569956 3221224352 3221214560 1131474341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40575 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 832.68
Current children cumulated vsize (Kb) 842968

[startup+870.051 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18833 4 1 0 84163 82 0 0 24 0 11 0 1845313482 863199232 40575 4294967295 134512640 134569956 3221224352 3221214560 1131474110 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40575 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 842.45
Current children cumulated vsize (Kb) 842968

[startup+880.051 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18843 4 1 0 85154 82 0 0 25 0 11 0 1845313482 863199232 40623 4294967295 134512640 134569956 3221224352 3221214648 1131522383 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40623 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 852.36
Current children cumulated vsize (Kb) 842968

[startup+890.052 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18853 4 1 0 86128 82 0 0 25 0 11 0 1845313482 863199232 40623 4294967295 134512640 134569956 3221224352 3221214560 1131474219 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40623 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 862.1
Current children cumulated vsize (Kb) 842968

[startup+900.053 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18864 4 1 0 87098 82 0 0 25 0 11 0 1845313482 863199232 40623 4294967295 134512640 134569956 3221224352 3221214560 1131474692 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40623 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 871.8
Current children cumulated vsize (Kb) 842968

[startup+910.053 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18874 4 1 0 88071 82 0 0 25 0 11 0 1845313482 863199232 40727 4294967295 134512640 134569956 3221224352 3221214560 1131473838 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40727 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 881.53
Current children cumulated vsize (Kb) 842968

[startup+920.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18884 4 1 0 89057 83 0 0 25 0 11 0 1845313482 863199232 40728 4294967295 134512640 134569956 3221224352 3221214560 1131473783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40728 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 891.4
Current children cumulated vsize (Kb) 842968

[startup+930.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18895 4 1 0 90028 83 0 0 20 0 11 0 1845313482 863199232 40728 4294967295 134512640 134569956 3221224352 3221214648 1131519832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40728 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 901.11
Current children cumulated vsize (Kb) 842968

[startup+940.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18906 4 1 0 91000 84 0 0 24 0 11 0 1845313482 863199232 40728 4294967295 134512640 134569956 3221224352 3221214560 1131474390 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40728 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 910.84
Current children cumulated vsize (Kb) 842968

[startup+950.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18916 4 1 0 91981 84 0 0 25 0 11 0 1845313482 863199232 40824 4294967295 134512640 134569956 3221224352 3221214560 1131474629 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40824 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 920.65
Current children cumulated vsize (Kb) 842968

[startup+960.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18926 4 1 0 92960 85 0 0 25 0 11 0 1845313482 863199232 40824 4294967295 134512640 134569956 3221224352 3221214648 1131524447 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40824 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 930.45
Current children cumulated vsize (Kb) 842968

[startup+970.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18937 4 1 0 93932 85 0 0 25 0 11 0 1845313482 863199232 40824 4294967295 134512640 134569956 3221224352 3221214648 1131523460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40824 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 940.17
Current children cumulated vsize (Kb) 842968

[startup+980.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18947 4 1 0 94907 86 0 0 25 0 11 0 1845313482 863199232 40824 4294967295 134512640 134569956 3221224352 3221214560 1131473723 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40824 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 949.93
Current children cumulated vsize (Kb) 842968

[startup+990.061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18958 4 1 0 95890 87 0 0 17 0 11 0 1845313482 863199232 40921 4294967295 134512640 134569956 3221224352 3221214560 1131473708 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40921 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 959.77
Current children cumulated vsize (Kb) 842968

[startup+1000.06 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18968 4 1 0 96863 87 0 0 25 0 11 0 1845313482 863199232 40921 4294967295 134512640 134569956 3221224352 3221214560 1131473697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 40921 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 969.5
Current children cumulated vsize (Kb) 842968

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18979 4 1 0 97835 88 0 0 24 0 11 0 1845313482 863199232 40921 4294967295 134512640 134569956 3221224352 3221214560 1131474146 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 40921 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 979.23
Current children cumulated vsize (Kb) 842968

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18989 4 1 0 98808 88 0 0 25 0 11 0 1845313482 863199232 41019 4294967295 134512640 134569956 3221224352 3221214648 1131520804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41019 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 988.96
Current children cumulated vsize (Kb) 842968

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 18999 4 1 0 99802 88 0 0 25 0 11 0 1845313482 863199232 41019 4294967295 134512640 134569956 3221224352 3221214560 1131474658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41019 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 998.9
Current children cumulated vsize (Kb) 842968

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19010 4 1 0 100773 89 0 0 25 0 11 0 1845313482 863199232 41019 4294967295 134512640 134569956 3221224352 3221214560 1131474665 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41019 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1008.62
Current children cumulated vsize (Kb) 842968

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19020 4 1 0 101747 90 0 0 22 0 11 0 1845313482 863199232 41019 4294967295 134512640 134569956 3221224352 3221214648 1131524377 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41019 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1018.37
Current children cumulated vsize (Kb) 842968

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19031 4 1 0 102718 90 0 0 25 0 11 0 1845313482 863199232 41116 4294967295 134512640 134569956 3221224352 3221214648 1131518962 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41116 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1028.08
Current children cumulated vsize (Kb) 842968

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19042 4 1 0 103711 91 0 0 25 0 11 0 1845313482 863199232 41116 4294967295 134512640 134569956 3221224352 3221214560 1131474091 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41116 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1038.02
Current children cumulated vsize (Kb) 842968

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19051 4 1 0 104688 91 0 0 25 0 11 0 1845313482 863199232 41116 4294967295 134512640 134569956 3221224352 3221214648 1131520837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41116 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1047.79
Current children cumulated vsize (Kb) 842968

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19062 4 1 0 105659 91 0 0 20 0 11 0 1845313482 863199232 41116 4294967295 134512640 134569956 3221224352 3221214528 1131216239 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41116 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1057.5
Current children cumulated vsize (Kb) 842968

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19072 4 1 0 106633 92 0 0 25 0 11 0 1845313482 863199232 41116 4294967295 134512640 134569956 3221224352 3221214648 1131520695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41116 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1067.25
Current children cumulated vsize (Kb) 842968

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19083 4 1 0 107620 92 0 0 25 0 11 0 1845313482 863199232 41215 4294967295 134512640 134569956 3221224352 3221214560 1131473708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41215 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1077.12
Current children cumulated vsize (Kb) 842968

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19093 4 1 0 108602 92 0 0 25 0 11 0 1845313482 863199232 41215 4294967295 134512640 134569956 3221224352 3221214472 1131382068 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41215 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1086.94
Current children cumulated vsize (Kb) 842968

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19104 4 1 0 109573 93 0 0 25 0 11 0 1845313482 863199232 41215 4294967295 134512640 134569956 3221224352 3221214560 1131474695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41215 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1096.66
Current children cumulated vsize (Kb) 842968

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19114 4 1 0 110546 93 0 0 25 0 11 0 1845313482 863199232 41215 4294967295 134512640 134569956 3221224352 3221214648 1131519974 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41215 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1106.39
Current children cumulated vsize (Kb) 842968

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19125 4 1 0 111529 94 0 0 18 0 11 0 1845313482 863199232 41314 4294967295 134512640 134569956 3221224352 3221214560 1131473896 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41314 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1116.23
Current children cumulated vsize (Kb) 842968

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19135 4 1 0 112513 95 0 0 25 0 11 0 1845313482 863199232 41314 4294967295 134512640 134569956 3221224352 3221214472 1131381657 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41314 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1126.08
Current children cumulated vsize (Kb) 842968

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/66 6333
Raw data (/proc/6319/stat): 6319 (java) T 6318 6319 20115 0 -1 0 19145 4 1 0 113486 95 0 0 25 0 11 0 1845313482 863199232 41314 4294967295 134512640 134569956 3221224352 3221213644 1074594577 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41314 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1135.81
Current children cumulated vsize (Kb) 842968

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19156 4 1 0 114458 96 0 0 25 0 11 0 1845313482 863199232 41314 4294967295 134512640 134569956 3221224352 3221214648 1131523505 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41314 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1145.54
Current children cumulated vsize (Kb) 842968

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19167 4 1 0 115440 96 0 0 25 0 11 0 1845313482 863199232 41411 4294967295 134512640 134569956 3221224352 3221214560 1131474195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/6319/statm): 210742 41411 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1155.36
Current children cumulated vsize (Kb) 842968

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19177 4 1 0 116427 97 0 0 25 0 11 0 1845313482 863199232 41411 4294967295 134512640 134569956 3221224352 3221214472 1131381624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41411 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1165.24
Current children cumulated vsize (Kb) 842968

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19187 4 1 0 117401 97 0 0 25 0 11 0 1845313482 863199232 41411 4294967295 134512640 134569956 3221224352 3221214648 1131518780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41411 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1174.98
Current children cumulated vsize (Kb) 842968

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19198 4 1 0 118372 98 0 0 25 0 11 0 1845313482 863199232 41411 4294967295 134512640 134569956 3221224352 3221214648 1131520837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41411 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1184.7
Current children cumulated vsize (Kb) 842968

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19208 4 1 0 119350 99 0 0 25 0 11 0 1845313482 863199232 41510 4294967295 134512640 134569956 3221224352 3221214560 1131474131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41510 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1194.49
Current children cumulated vsize (Kb) 842968

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19219 4 1 0 120343 99 0 0 20 0 11 0 1845313482 863199232 41510 4294967295 134512640 134569956 3221224352 3221214472 1131382684 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41510 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1204.42
Current children cumulated vsize (Kb) 842968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 6333
Raw data (/proc/6319/stat): 6319 (java) R 6318 6319 20115 0 -1 0 19219 4 1 0 120343 99 0 0 20 0 11 0 1845313482 863199232 41510 4294967295 134512640 134569956 3221224352 3221214648 1131524479 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 210742 41510 13129 16 0 210726 0
[pid=6319] vsize: 842968
Current children cumulated CPU time (s) 1204.42
Current children cumulated vsize (Kb) 842968

Sending SIGTERM to -6319
Sleeping 2 seconds
New thread pid=6335
New thread pid=6336
One traced child (pid=6336) exited with status: 0
One traced child (pid=6328) exited with status: 0
One traced child (pid=6323) exited with status: 0
One traced child (pid=6320) exited with status: 143
One traced child (pid=6321) exited with status: 143
One traced child (pid=6324) exited with status: 143
One traced child (pid=6327) exited with status: 143
One traced child (pid=6326) exited with status: 143
One traced child (pid=6333) exited with status: 143
One traced child (pid=6325) exited with status: 143
One traced child (pid=6335) exited with status: 143
One traced child (pid=6322) exited with status: 143
One traced child (pid=6319) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.48
CPU time (s): 1248.59
CPU user time (s): 1246.27
CPU system time (s): 2.31865
CPU usage (%): 100.654
Max. virtual memory (cumulated for all children) (Kb): 844420

Verifier Data

Verifier:	OK	25098