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/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUMfa67033d6a242cf79309b3804f79a4fe
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.2757
Number of variables4608
Total number of constraints34956
Number of constraints which are clauses29328
Number of constraints which are cardinality constraints (but not clauses)5550
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint1
Maximum length of a constraint29

Trace number 3612

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-19 02:30:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7418 boxname=wulflinc11 idbench=386 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc11/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-ppp:1,3-13,19.opb 0
IDLAUNCH: 7418
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        903076 kB
Buffers:         34920 kB
Cached:          68864 kB
SwapCached:        732 kB
Active:          58224 kB
Inactive:        48164 kB
HighTotal:      131008 kB
HighFree:        60312 kB
LowTotal:       903652 kB
LowFree:        842764 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19416 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 02:43:24 (client local time) WITH STATUS 10 IN 381.08 SECONDS
stats: 7418 0 381.08 10

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 10441332;  #end-nodes: 242257;
#proof improvement attempts: 0;  #restarts: 1108
Current batch, end-nodes: 104 / 357 (357)
#axs: 30522, #non-axs: 5041
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
seed: 0
Nr of vars set: 4342  (#equs: 0)
Time taken: 6 min, 18 sec
times:
0m0.017s 0m0.018s
3m18.668s 2m59.882s
v -v1 -v2 -v3 -v4 -v5 -v6 -v7 -v8  v9 -v10 -v11 -v12 -v13 -v14 -v15 -v16 -v17 -v18 -v19 -v20 -v21 -v22 -v23 -v24 -v25 -v26 -v27 -v28 -v29 -v30 -v31 -v32 -v33 -v34 -v35 -v36 -v37 -v38 -v39 -v40 -v41 -v42  v43 -v44 -v45 -v46 -v47 -v48 -v49 -v50 -v51 -v52 -v53 -v54 -v55 -v56 -v57 -v58 -v59 -v60 -v61 -v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69  v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 -v78 -v79 -v80 -v81 -v82  v83 -v84 -v85 -v86  v87 -v88 -v89 -v90 -v91 -v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99 -v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 -v110 -v111 -v112 -v113  v114 -v115 -v116 -v117 -v118 -v119 -v120 -v121 -v122 -v123 -v124 -v125 -v126 -v127 -v128 -v129 -v130 -v131 -v132 -v133 -v134 -v135 -v136 -v137 -v138 -v139  v140 -v141 -v142 -v143 -v144 -v145 -v146 -v147 -v148 -v149 -v150 -v151 -v152 -v153 -v154 -v155  v156 -v157 -v158  v159 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v170 -v171  v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 -v180 -v181  v182 -v183 -v184 -v185 -v186 -v187 -v188 -v189 -v190 -v191 -v192 -v193 -v194 -v195 -v196 -v197 -v198  v199 -v200 -v201 -v202 -v203 -v204 -v205 -v206 -v207 -v208 -v209 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v220 -v221 -v222 -v223  v224 -v225 -v226 -v227 -v228 -v229 -v230 -v231 -v232 -v233 -v234 -v235 -v236  v237 -v238 -v239 -v240 -v241  v242 -v243 -v244 -v245 -v246 -v247 -v248 -v249 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 -v259  v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267  v268 -v269  v270 -v271 -v272 -v273 -v274 -v275 -v276 -v277 -v278 -v279 -v280 -v281 -v282 -v283 -v284 -v285 -v286 -v287 -v288 -v289 -v290 -v291 -v292 -v293 -v294 -v295  v296 -v297 -v298 -v299 -v300 -v301 -v302 -v303 -v304 -v305 -v306 -v307  v308 -v309 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v320  v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 -v330  v331 -v332 -v333 -v334 -v335 -v336  v337 -v338 -v339 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 -v349 -v350 -v351 -v352 -v353 -v354 -v355 -v356 -v357 -v358 -v359 -v360 -v361 -v362 -v363 -v364 -v365 -v366  v367 -v368 -v369 -v370 -v371 -v372 -v373  v374 -v375 -v376 -v377 -v378 -v379 -v380 -v381 -v382 -v383 -v384  v385 -v386 -v387  v388 -v389  v390 -v391 -v392  v393 -v394 -v395 -v396 -v397 -v398 -v399 -v400 -v401 -v402 -v403 -v404 -v405 -v406 -v407 -v408 -v409 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419  v420 -v421 -v422  v423 -v424 -v425 -v426 -v427 -v428 -v429 -v430 -v431 -v432 -v433 -v434 -v435  v436 -v437 -v438  v439 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v450 -v451 -v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 -v469 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v480 -v481 -v482 -v483 -v484  v485 -v486 -v487 -v488 -v489 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507  v508 -v509  v510 -v511 -v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v520 -v521 -v522 -v523 -v524  v525 -v526 -v527 -v528  v529 -v530 -v531 -v532 -v533  v534 -v535 -v536 -v537 -v538 -v539 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549  v550 -v551  v552 -v553 -v554 -v555  v556 -v557 -v558 -v559 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599  v600 -v601 -v602 -v603 -v604 -v605  v606 -v607 -v608 -v609 -v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629  v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v660 -v661 -v662  v663 -v664  v665 -v666 -v667 -v668 -v669  v670 -v671 -v672 -v673 -v674 -v675 -v676  v677 -v678 -v679 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 -v690 -v691 -v692  v693 -v694 -v695 -v696 -v697 -v698 -v699  v700 -v701 -v702 -v703 -v704 -v705 -v706  v707 -v708 -v709 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719  v720 -v721 -v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 -v730 -v731  v732 -v733 -v734 -v735 -v736 -v737 -v738  v739 -v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747  v748 -v749 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 -v759 -v760 -v761 -v762  v763 -v764 -v765  v766  v767 -v768 -v769 -v770 -v771 -v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787  v788 -v789 -v790  v791 -v792 -v793 -v794 -v795 -v796 -v797 -v798 -v799 -v800  v801 -v802 -v803 -v804 -v805 -v806 -v807 -v808 -v809 -v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v820 -v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 -v829 -v830  v831  v832 -v833 -v834 -v835 -v836 -v837 -v838 -v839 -v840 -v841 -v842 -v843 -v844 -v845 -v846  v847 -v848 -v849 -v850 -v851 -v852 -v853 -v854 -v855 -v856 -v857 -v858 -v859 -v860 -v861 -v862 -v863 -v864 -v865  v866 -v867 -v868 -v869 -v870 -v871 -v872 -v873 -v874 -v875 -v876 -v877 -v878  v879 -v880 -v881 -v882 -v883  v884  v885 -v886 -v887 -v888 -v889 -v890 -v891 -v892 -v893 -v894 -v895 -v896 -v897 -v898 -v899 -v900 -v901 -v902  v903 -v904 -v905 -v906 -v907 -v908  v909 -v910 -v911 -v912 -v913 -v914 -v915 -v916 -v917 -v918 -v919 -v920  v921 -v922 -v923 -v924 -v925 -v926 -v927  v928 -v929 -v930 -v931 -v932 -v933 -v934 -v935 -v936 -v937 -v938 -v939 -v940 -v941 -v942 -v943 -v944 -v945 -v946 -v947 -v948 -v949 -v950 -v951  v952 -v953 -v954  v955 -v956 -v957 -v958  v959 -v960 -v961 -v962 -v963 -v964 -v965 -v966 -v967 -v968 -v969 -v970 -v971 -v972  v973  v974 -v975 -v976 -v977 -v978 -v979 -v980 -v981 -v982 -v983 -v984 -v985 -v986  v987 -v988 -v989 -v990 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998  v999 -v1000 -v1001 -v1002 -v1003 -v1004 -v1005 -v1006 -v1007 -v1008 -v1009 -v1010 -v1011 -v1012 -v1013 -v1014  v1015 -v1016 -v1017 -v1018 -v1019 -v1020 -v1021 -v1022  v1023 -v1024 -v1025 -v1026 -v1027 -v1028 -v1029 -v1030 -v1031 -v1032 -v1033 -v1034  v1035 -v1036 -v1037 -v1038 -v1039 -v1040 -v1041 -v1042 -v1043 -v1044  v1045 -v1046 -v1047 -v1048 -v1049 -v1050 -v1051 -v1052 -v1053 -v1054 -v1055 -v1056 -v1057 -v1058 -v1059  v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v1066 -v1067 -v1068 -v1069 -v1070 -v1071 -v1072 -v1073 -v1074  v1075 -v1076 -v1077 -v1078 -v1079 -v1080 -v1081 -v1082 -v1083 -v1084 -v1085 -v1086 -v1087 -v1088 -v1089 -v1090 -v1091  v1092 -v1093 -v1094 -v1095 -v1096 -v1097 -v1098 -v1099 -v1100  v1101 -v1102 -v1103 -v1104 -v1105 -v1106 -v1107 -v1108 -v1109 -v1110 -v1111 -v1112 -v1113 -v1114 -v1115 -v1116 -v1117 -v1118 -v1119 -v1120 -v1121 -v1122  v1123 -v1124 -v1125 -v1126 -v1127 -v1128 -v1129 -v1130 -v1131 -v1132 -v1133  v1134 -v1135 -v1136 -v1137 -v1138 -v1139 -v1140 -v1141 -v1142 -v1143 -v1144 -v1145 -v1146 -v1147 -v1148 -v1149 -v1150 -v1151 -v1152  v1153 -v1154 -v1155 -v1156 -v1157 -v1158 -v1159 -v1160 -v1161 -v1162 -v1163 -v1164 -v1165 -v1166 -v1167 -v1168 -v1169  v1170 -v1171 -v1172 -v1173 -v1174 -v1175 -v1176  v1177 -v1178 -v1179 -v1180 -v1181 -v1182 -v1183 -v1184 -v1185 -v1186 -v1187 -v1188 -v1189 -v1190 -v1191 -v1192  v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v1200 -v1201 -v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 -v1209 -v1210 -v1211  v1212 -v1213 -v1214 -v1215 -v1216  v1217 -v1218 -v1219 -v1220 -v1221 -v1222 -v1223 -v1224 -v1225 -v1226 -v1227 -v1228 -v1229 -v1230 -v1231 -v1232 -v1233 -v1234 -v1235 -v1236 -v1237 -v1238 -v1239  v1240 -v1241 -v1242 -v1243 -v1244  v1245 -v1246 -v1247 -v1248 -v1249 -v1250 -v1251 -v1252  v1253 -v1254 -v1255 -v1256 -v1257 -v1258 -v1259 -v1260 -v1261 -v1262 -v1263 -v1264 -v1265 -v1266 -v1267 -v1268 -v1269 -v1270  v1271 -v1272 -v1273 -v1274 -v1275 -v1276  v1277 -v1278 -v1279 -v1280 -v1281 -v1282  v1283 -v1284 -v1285 -v1286 -v1287 -v1288 -v1289 -v1290 -v1291 -v1292 -v1293 -v1294 -v1295 -v1296 -v1297 -v1298 -v1299 -v1300 -v1301 -v1302 -v1303 -v1304  v1305 -v1306 -v1307 -v1308 -v1309 -v1310 -v1311 -v1312 -v1313 -v1314 -v1315 -v1316 -v1317 -v1318 -v1319 -v1320 -v1321 -v1322 -v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329  v1330 -v1331 -v1332 -v1333 -v1334 -v1335 -v1336 -v1337 -v1338  v1339 -v1340 -v1341 -v1342 -v1343 -v1344 -v1345  v1346 -v1347  v1348 -v1349  v1350 -v1351 -v1352 -v1353 -v1354 -v1355 -v1356 -v1357 -v1358 -v1359 -v1360 -v1361 -v1362 -v1363 -v1364 -v1365 -v1366 -v1367 -v1368 -v1369 -v1370 -v1371 -v1372 -v1373 -v1374 -v1375 -v1376 -v1377 -v1378 -v1379 -v1380 -v1381 -v1382 -v1383  v1384 -v1385 -v1386 -v1387 -v1388 -v1389 -v1390 -v1391 -v1392 -v1393 -v1394 -v1395 -v1396  v1397 -v1398 -v1399 -v1400 -v1401 -v1402 -v1403 -v1404 -v1405 -v1406 -v1407 -v1408  v1409 -v1410 -v1411 -v1412 -v1413 -v1414 -v1415 -v1416 -v1417 -v1418 -v1419 -v1420 -v1421 -v1422 -v1423 -v1424 -v1425 -v1426 -v1427 -v1428 -v1429  v1430 -v1431 -v1432 -v1433 -v1434 -v1435 -v1436 -v1437 -v1438 -v1439 -v1440 -v1441 -v1442 -v1443 -v1444 -v1445 -v1446 -v1447  v1448 -v1449 -v1450 -v1451 -v1452 -v1453 -v1454 -v1455  v1456 -v1457 -v1458 -v1459 -v1460 -v1461 -v1462 -v1463 -v1464 -v1465 -v1466 -v1467 -v1468 -v1469 -v1470 -v1471  v1472 -v1473 -v1474 -v1475 -v1476 -v1477 -v1478 -v1479 -v1480 -v1481 -v1482 -v1483 -v1484 -v1485 -v1486 -v1487 -v1488 -v1489  v1490 -v1491 -v1492 -v1493 -v1494 -v1495 -v1496 -v1497 -v1498  v1499 -v1500 -v1501 -v1502 -v1503 -v1504 -v1505 -v1506  v1507 -v1508 -v1509 -v1510 -v1511 -v1512 -v1513 -v1514  v1515 -v1516 -v1517 -v1518 -v1519 -v1520 -v1521 -v1522  v1523 -v1524 -v1525 -v1526 -v1527 -v1528 -v1529 -v1530 -v1531 -v1532 -v1533  v1534 -v1535 -v1536 -v1537  v1538 -v1539 -v1540 -v1541 -v1542 -v1543 -v1544 -v1545 -v1546 -v1547 -v1548 -v1549 -v1550 -v1551 -v1552 -v1553 -v1554 -v1555 -v1556 -v1557 -v1558 -v1559 -v1560  v1561 -v1562 -v1563 -v1564 -v1565  v1566 -v1567  v1568 -v1569 -v1570 -v1571 -v1572 -v1573 -v1574 -v1575 -v1576 -v1577 -v1578  v1579 -v1580 -v1581 -v1582 -v1583 -v1584 -v1585 -v1586 -v1587 -v1588  v1589 -v1590 -v1591 -v1592 -v1593 -v1594 -v1595 -v1596 -v1597 -v1598 -v1599 -v1600 -v1601 -v1602 -v1603 -v1604 -v1605 -v1606 -v1607 -v1608 -v1609 -v1610 -v1611 -v1612  v1613 -v1614  v1615 -v1616 -v1617 -v1618 -v1619 -v1620 -v1621 -v1622 -v1623 -v1624 -v1625 -v1626  v1627 -v1628 -v1629 -v1630 -v1631 -v1632 -v1633 -v1634 -v1635 -v1636 -v1637 -v1638 -v1639  v1640 -v1641 -v1642 -v1643 -v1644 -v1645 -v1646 -v1647 -v1648  v1649 -v1650 -v1651 -v1652 -v1653 -v1654 -v1655 -v1656 -v1657 -v1658  v1659 -v1660 -v1661 -v1662  v1663 -v1664 -v1665 -v1666 -v1667  v1668 -v1669 -v1670 -v1671 -v1672 -v1673 -v1674 -v1675 -v1676 -v1677 -v1678 -v1679  v1680 -v1681 -v1682 -v1683 -v1684 -v1685 -v1686 -v1687 -v1688 -v1689  v1690 -v1691 -v1692 -v1693 -v1694 -v1695 -v1696 -v1697 -v1698 -v1699 -v1700 -v1701 -v1702 -v1703  v1704 -v1705 -v1706 -v1707 -v1708 -v1709  v1710 -v1711 -v1712 -v1713 -v1714 -v1715 -v1716 -v1717  v1718 -v1719 -v1720 -v1721 -v1722 -v1723 -v1724 -v1725 -v1726  v1727 -v1728 -v1729 -v1730 -v1731 -v1732  v1733 -v1734 -v1735 -v1736 -v1737 -v1738 -v1739 -v1740 -v1741 -v1742 -v1743 -v1744 -v1745 -v1746 -v1747 -v1748 -v1749  v1750 -v1751 -v1752 -v1753 -v1754 -v1755 -v1756 -v1757 -v1758 -v1759 -v1760  v1761 -v1762 -v1763 -v1764 -v1765 -v1766 -v1767 -v1768 -v1769 -v1770 -v1771 -v1772 -v1773 -v1774 -v1775 -v1776 -v1777 -v1778 -v1779 -v1780 -v1781 -v1782 -v1783 -v1784 -v1785  v1786 -v1787 -v1788 -v1789 -v1790 -v1791 -v1792 -v1793  v1794 -v1795 -v1796 -v1797 -v1798 -v1799 -v1800 -v1801  v1802 -v1803 -v1804 -v1805 -v1806 -v1807 -v1808 -v1809 -v1810 -v1811 -v1812 -v1813 -v1814 -v1815  v1816  v1817 -v1818 -v1819 -v1820 -v1821 -v1822 -v1823 -v1824 -v1825 -v1826 -v1827 -v1828 -v1829 -v1830 -v1831 -v1832 -v1833 -v1834 -v1835 -v1836 -v1837 -v1838  v1839 -v1840 -v1841 -v1842 -v1843 -v1844 -v1845 -v1846 -v1847 -v1848 -v1849  v1850  v1851 -v1852 -v1853 -v1854 -v1855 -v1856 -v1857  v1858  v1859 -v1860 -v1861 -v1862 -v1863 -v1864  v1865 -v1866  v1867 -v1868 -v1869 -v1870 -v1871 -v1872 -v1873 -v1874 -v1875 -v1876 -v1877 -v1878 -v1879 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 -v1887 -v1888 -v1889 -v1890 -v1891 -v1892 -v1893 -v1894 -v1895 -v1896 -v1897 -v1898 -v1899 -v1900 -v1901  v1902 -v1903 -v1904 -v1905 -v1906 -v1907 -v1908 -v1909 -v1910 -v1911 -v1912 -v1913  v1914 -v1915 -v1916 -v1917 -v1918 -v1919 -v1920 -v1921 -v1922 -v1923 -v1924 -v1925 -v1926 -v1927 -v1928 -v1929 -v1930 -v1931 -v1932 -v1933 -v1934  v1935 -v1936 -v1937 -v1938 -v1939 -v1940 -v1941 -v1942 -v1943 -v1944 -v1945 -v1946  v1947 -v1948 -v1949 -v1950 -v1951 -v1952 -v1953 -v1954 -v1955 -v1956 -v1957 -v1958 -v1959 -v1960 -v1961 -v1962 -v1963 -v1964 -v1965 -v1966 -v1967 -v1968 -v1969 -v1970 -v1971 -v1972 -v1973 -v1974 -v1975  v1976 -v1977 -v1978 -v1979 -v1980 -v1981 -v1982 -v1983 -v1984 -v1985 -v1986 -v1987 -v1988 -v1989 -v1990 -v1991 -v1992  v1993  v1994 -v1995 -v1996 -v1997 -v1998 -v1999 -v2000 -v2001 -v2002 -v2003 -v2004  v2005 -v2006 -v2007  v2008 -v2009 -v2010 -v2011 -v2012 -v2013 -v2014 -v2015 -v2016 -v2017 -v2018 -v2019 -v2020 -v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 -v2028 -v2029 -v2030 -v2031 -v2032  v2033 -v2034 -v2035 -v2036 -v2037 -v2038 -v2039 -v2040  v2041 -v2042 -v2043 -v2044 -v2045 -v2046 -v2047 -v2048 -v2049 -v2050 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 -v2057 -v2058 -v2059 -v2060 -v2061 -v2062 -v2063 -v2064 -v2065 -v2066 -v2067 -v2068  v2069 -v2070 -v2071 -v2072 -v2073 -v2074 -v2075 -v2076  v2077 -v2078 -v2079 -v2080 -v2081 -v2082 -v2083 -v2084 -v2085 -v2086 -v2087  v2088 -v2089 -v2090 -v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 -v2098 -v2099 -v2100 -v2101  v2102 -v2103 -v2104 -v2105 -v2106 -v2107  v2108 -v2109 -v2110 -v2111 -v2112 -v2113 -v2114 -v2115 -v2116 -v2117 -v2118 -v2119 -v2120 -v2121 -v2122 -v2123 -v2124 -v2125 -v2126 -v2127 -v2128 -v2129 -v2130 -v2131 -v2132 -v2133 -v2134 -v2135 -v2136 -v2137 -v2138 -v2139 -v2140 -v2141 -v2142 -v2143 -v2144 -v2145  v2146 -v2147 -v2148 -v2149 -v2150 -v2151 -v2152 -v2153 -v2154 -v2155 -v2156 -v2157 -v2158 -v2159 -v2160 -v2161 -v2162 -v2163 -v2164 -v2165 -v2166 -v2167 -v2168  v2169 -v2170 -v2171 -v2172 -v2173  v2174 -v2175 -v2176 -v2177 -v2178 -v2179 -v2180 -v2181  v2182 -v2183 -v2184 -v2185 -v2186 -v2187 -v2188  v2189 -v2190  v2191 -v2192 -v2193 -v2194 -v2195 -v2196 -v2197 -v2198 -v2199 -v2200  v2201 -v2202 -v2203 -v2204  v2205 -v2206 -v2207 -v2208 -v2209 -v2210 -v2211 -v2212 -v2213  v2214 -v2215 -v2216 -v2217  v2218 -v2219 -v2220  v2221 -v2222 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228  v2229 -v2230 -v2231 -v2232 -v2233 -v2234 -v2235 -v2236 -v2237  v2238 -v2239  v2240 -v2241 -v2242 -v2243 -v2244 -v2245 -v2246 -v2247 -v2248  v2249 -v2250 -v2251 -v2252 -v2253  v2254 -v2255 -v2256 -v2257 -v2258 -v2259 -v2260 -v2261  v2262 -v2263 -v2264 -v2265 -v2266 -v2267  v2268 -v2269  v2270 -v2271 -v2272 -v2273 -v2274 -v2275  v2276 -v2277 -v2278 -v2279 -v2280 -v2281 -v2282 -v2283  v2284 -v2285 -v2286  v2287 -v2288 -v2289 -v2290 -v2291 -v2292 -v2293  v2294 -v2295 -v2296 -v2297 -v2298 -v2299 -v2300  v2301 -v2302 -v2303 -v2304 -v2305 -v2306  v2307 -v2308 -v2309 -v2310 -v2311 -v2312  v2313 -v2314 -v2315 -v2316 -v2317 -v2318 -v2319  v2320 -v2321 -v2322 -v2323  v2324 -v2325 -v2326 -v2327 -v2328 -v2329 -v2330 -v2331 -v2332  v2333 -v2334 -v2335 -v2336 -v2337 -v2338  v2339 -v2340 -v2341 -v2342 -v2343  v2344 -v2345 -v2346 -v2347 -v2348  v2349 -v2350 -v2351 -v2352 -v2353 -v2354 -v2355 -v2356  v2357 -v2358  v2359 -v2360 -v2361 -v2362 -v2363 -v2364  v2365 -v2366 -v2367 -v2368 -v2369 -v2370  v2371 -v2372 -v2373 -v2374 -v2375 -v2376  v2377 -v2378 -v2379 -v2380 -v2381 -v2382 -v2383 -v2384 -v2385 -v2386  v2387 -v2388 -v2389 -v2390  v2391 -v2392 -v2393 -v2394 -v2395 -v2396  v2397 -v2398 -v2399 -v2400 -v2401 -v2402 -v2403 -v2404 -v2405  v2406 -v2407 -v2408 -v2409 -v2410  v2411 -v2412 -v2413 -v2414 -v2415  v2416 -v2417 -v2418  v2419 -v2420 -v2421 -v2422 -v2423 -v2424 -v2425 -v2426 -v2427 -v2428 -v2429  v2430  v2431 -v2432 -v2433 -v2434 -v2435 -v2436 -v2437 -v2438 -v2439  v2440 -v2441 -v2442 -v2443 -v2444 -v2445  v2446 -v2447 -v2448 -v2449 -v2450 -v2451  v2452 -v2453 -v2454 -v2455 -v2456 -v2457  v2458 -v2459 -v2460 -v2461  v2462 -v2463 -v2464 -v2465 -v2466 -v2467 -v2468 -v2469  v2470 -v2471 -v2472 -v2473  v2474 -v2475 -v2476 -v2477 -v2478 -v2479 -v2480 -v2481 -v2482 -v2483  v2484 -v2485  v2486 -v2487 -v2488 -v2489 -v2490 -v2491  v2492 -v2493 -v2494 -v2495 -v2496 -v2497 -v2498  v2499 -v2500 -v2501 -v2502 -v2503 -v2504 -v2505 -v2506  v2507 -v2508  v2509 -v2510 -v2511 -v2512 -v2513 -v2514  v2515 -v2516 -v2517 -v2518 -v2519 -v2520 -v2521 -v2522  v2523 -v2524 -v2525 -v2526 -v2527 -v2528 -v2529 -v2530 -v2531  v2532 -v2533 -v2534 -v2535 -v2536  v2537 -v2538 -v2539 -v2540 -v2541  v2542 -v2543 -v2544  v2545 -v2546 -v2547 -v2548 -v2549 -v2550  v2551 -v2552 -v2553 -v2554 -v2555 -v2556 -v2557  v2558 -v2559 -v2560 -v2561 -v2562 -v2563 -v2564  v2565 -v2566 -v2567 -v2568 -v2569 -v2570 -v2571 -v2572  v2573 -v2574 -v2575 -v2576 -v2577 -v2578 -v2579  v2580 -v2581  v2582 -v2583 -v2584 -v2585 -v2586 -v2587  v2588 -v2589 -v2590 -v2591 -v2592 -v2593 -v2594 -v2595 -v2596  v2597 -v2598 -v2599 -v2600 -v2601  v2602 -v2603 -v2604  v2605 -v2606 -v2607 -v2608 -v2609 -v2610  v2611 -v2612 -v2613 -v2614 -v2615 -v2616 -v2617 -v2618 -v2619 -v2620  v2621 -v2622 -v2623  v2624 -v2625 -v2626 -v2627 -v2628 -v2629 -v2630 -v2631 -v2632 -v2633  v2634  v2635 -v2636 -v2637 -v2638 -v2639 -v2640 -v2641 -v2642  v2643 -v2644 -v2645 -v2646 -v2647 -v2648  v2649 -v2650 -v2651 -v2652 -v2653 -v2654  v2655 -v2656 -v2657 -v2658  v2659 -v2660 -v2661 -v2662 -v2663 -v2664 -v2665  v2666 -v2667 -v2668 -v2669 -v2670 -v2671 -v2672 -v2673 -v2674 -v2675  v2676 -v2677 -v2678 -v2679 -v2680  v2681 -v2682 -v2683 -v2684 -v2685  v2686 -v2687 -v2688  v2689 -v2690 -v2691 -v2692 -v2693 -v2694  v2695 -v2696 -v2697 -v2698 -v2699 -v2700  v2701 -v2702 -v2703 -v2704 -v2705 -v2706 -v2707 -v2708 -v2709 -v2710  v2711 -v2712  v2713 -v2714 -v2715 -v2716 -v2717 -v2718 -v2719 -v2720  v2721 -v2722 -v2723 -v2724 -v2725  v2726 -v2727 -v2728 -v2729 -v2730 -v2731 -v2732 -v2733 -v2734  v2735 -v2736 -v2737 -v2738 -v2739 -v2740 -v2741  v2742 -v2743 -v2744 -v2745  v2746 -v2747 -v2748  v2749 -v2750 -v2751 -v2752 -v2753 -v2754 -v2755  v2756 -v2757 -v2758 -v2759 -v2760 -v2761 -v2762  v2763 -v2764 -v2765 -v2766 -v2767 -v2768  v2769 -v2770 -v2771 -v2772 -v2773 -v2774  v2775 -v2776 -v2777 -v2778  v2779 -v2780 -v2781 -v2782 -v2783 -v2784 -v2785 -v2786  v2787 -v2788 -v2789 -v2790 -v2791  v2792 -v2793 -v2794 -v2795 -v2796 -v2797  v2798 -v2799 -v2800 -v2801 -v2802 -v2803 -v2804 -v2805 -v2806 -v2807  v2808 -v2809 -v2810  v2811 -v2812 -v2813 -v2814 -v2815 -v2816 -v2817  v2818 -v2819 -v2820 -v2821  v2822 -v2823 -v2824 -v2825 -v2826 -v2827 -v2828 -v2829 -v2830  v2831 -v2832 -v2833 -v2834 -v2835 -v2836  v2837 -v2838 -v2839 -v2840 -v2841 -v2842  v2843 -v2844 -v2845 -v2846 -v2847 -v2848  v2849 -v2850 -v2851 -v2852  v2853 -v2854 -v2855 -v2856 -v2857 -v2858 -v2859 -v2860 -v2861  v2862  v2863 -v2864 -v2865 -v2866 -v2867 -v2868  v2869 -v2870 -v2871 -v2872 -v2873 -v2874 -v2875 -v2876 -v2877 -v2878  v2879 -v2880 -v2881 -v2882 -v2883 -v2884 -v2885  v2886 -v2887  v2888 -v2889 -v2890 -v2891 -v2892 -v2893 -v2894 -v2895 -v2896  v2897 -v2898 -v2899 -v2900  v2901 -v2902 -v2903 -v2904  v2905 -v2906 -v2907 -v2908 -v2909 -v2910 -v2911 -v2912 -v2913  v2914 -v2915 -v2916  v2917 -v2918 -v2919 -v2920 -v2921 -v2922 -v2923 -v2924 -v2925  v2926 -v2927 -v2928  v2929 -v2930 -v2931 -v2932 -v2933 -v2934 -v2935 -v2936 -v2937 -v2938  v2939 -v2940  v2941 -v2942 -v2943 -v2944 -v2945 -v2946 -v2947 -v2948  v2949 -v2950 -v2951 -v2952 -v2953 -v2954 -v2955 -v2956 -v2957  v2958  v2959 -v2960 -v2961 -v2962 -v2963 -v2964 -v2965 -v2966 -v2967 -v2968 -v2969  v2970 -v2971 -v2972  v2973 -v2974 -v2975 -v2976 -v2977 -v2978 -v2979 -v2980  v2981 -v2982 -v2983 -v2984  v2985 -v2986 -v2987 -v2988 -v2989 -v2990 -v2991  v2992 -v2993 -v2994 -v2995  v2996 -v2997 -v2998 -v2999 -v3000 -v3001 -v3002  v3003 -v3004 -v3005 -v3006 -v3007 -v3008  v3009 -v3010 -v3011 -v3012 -v3013 -v3014 -v3015 -v3016 -v3017  v3018 -v3019 -v3020  v3021 -v3022 -v3023 -v3024 -v3025 -v3026 -v3027 -v3028  v3029 -v3030 -v3031  v3032 -v3033 -v3034 -v3035 -v3036  v3037 -v3038 -v3039 -v3040 -v3041 -v3042  v3043 -v3044 -v3045 -v3046 -v3047 -v3048 -v3049  v3050 -v3051 -v3052 -v3053 -v3054 -v3055 -v3056 -v3057  v3058 -v3059 -v3060 -v3061 -v3062 -v3063 -v3064  v3065 -v3066 -v3067 -v3068  v3069 -v3070 -v3071 -v3072 -v3073 -v3074 -v3075 -v3076 -v3077  v3078 -v3079 -v3080 -v3081 -v3082  v3083 -v3084 -v3085 -v3086 -v3087  v3088 -v3089 -v3090 -v3091 -v3092  v3093 -v3094 -v3095 -v3096  v3097 -v3098 -v3099 -v3100 -v3101 -v3102  v3103 -v3104 -v3105 -v3106 -v3107 -v3108 -v3109  v3110 -v3111 -v3112 -v3113 -v3114 -v3115 -v3116 -v3117 -v3118 -v3119  v3120 -v3121 -v3122  v3123 -v3124 -v3125 -v3126 -v3127 -v3128 -v3129 -v3130 -v3131  v3132 -v3133 -v3134  v3135 -v3136 -v3137 -v3138 -v3139 -v3140 -v3141 -v3142 -v3143  v3144 -v3145 -v3146 -v3147 -v3148  v3149 -v3150 -v3151 -v3152  v3153 -v3154 -v3155 -v3156  v3157 -v3158 -v3159 -v3160 -v3161 -v3162 -v3163 -v3164 -v3165 -v3166 -v3167  v3168 -v3169 -v3170 -v3171 -v3172 -v3173  v3174 -v3175 -v3176 -v3177 -v3178  v3179 -v3180 -v3181 -v3182 -v3183  v3184 -v3185 -v3186 -v3187 -v3188 -v3189 -v3190  v3191 -v3192 -v3193 -v3194 -v3195 -v3196 -v3197  v3198 -v3199  v3200 -v3201 -v3202 -v3203 -v3204  v3205 -v3206 -v3207 -v3208 -v3209 -v3210 -v3211 -v3212 -v3213 -v3214  v3215 -v3216 -v3217 -v3218 -v3219  v3220 -v3221 -v3222 -v3223 -v3224 -v3225 -v3226  v3227 -v3228 -v3229  v3230 -v3231 -v3232 -v3233 -v3234 -v3235 -v3236  v3237 -v3238 -v3239 -v3240 -v3241 -v3242 -v3243 -v3244 -v3245  v3246 -v3247 -v3248 -v3249 -v3250  v3251 -v3252 -v3253 -v3254  v3255 -v3256 -v3257 -v3258 -v3259 -v3260 -v3261  v3262 -v3263 -v3264 -v3265 -v3266  v3267 -v3268 -v3269 -v3270  v3271 -v3272 -v3273 -v3274 -v3275 -v3276  v3277 -v3278 -v3279 -v3280 -v3281 -v3282 -v3283 -v3284 -v3285 -v3286  v3287 -v3288 -v3289 -v3290 -v3291 -v3292 -v3293  v3294  v3295 -v3296 -v3297 -v3298 -v3299 -v3300 -v3301  v3302 -v3303 -v3304 -v3305 -v3306 -v3307  v3308 -v3309 -v3310 -v3311 -v3312 -v3313 -v3314 -v3315 -v3316 -v3317  v3318 -v3319 -v3320  v3321 -v3322 -v3323 -v3324 -v3325 -v3326 -v3327  v3328 -v3329 -v3330 -v3331 -v3332 -v3333 -v3334 -v3335  v3336 -v3337 -v3338 -v3339  v3340 -v3341 -v3342 -v3343 -v3344  v3345 -v3346 -v3347 -v3348 -v3349 -v3350 -v3351 -v3352 -v3353  v3354 -v3355 -v3356  v3357 -v3358 -v3359 -v3360 -v3361 -v3362 -v3363  v3364 -v3365 -v3366 -v3367 -v3368  v3369 -v3370 -v3371 -v3372 -v3373 -v3374  v3375 -v3376 -v3377 -v3378 -v3379 -v3380 -v3381  v3382 -v3383 -v3384 -v3385 -v3386  v3387 -v3388 -v3389 -v3390 -v3391  v3392 -v3393 -v3394 -v3395 -v3396 -v3397 -v3398 -v3399 -v3400  v3401 -v3402  v3403 -v3404 -v3405 -v3406 -v3407 -v3408  v3409 -v3410 -v3411 -v3412 -v3413 -v3414 -v3415 -v3416 -v3417 -v3418  v3419 -v3420 -v3421  v3422 -v3423 -v3424 -v3425 -v3426 -v3427  v3428 -v3429 -v3430 -v3431 -v3432 -v3433 -v3434  v3435 -v3436 -v3437 -v3438 -v3439 -v3440  v3441 -v3442 -v3443 -v3444 -v3445 -v3446 -v3447  v3448 -v3449 -v3450 -v3451 -v3452 -v3453  v3454 -v3455 -v3456 -v3457  v3458 -v3459 -v3460 -v3461 -v3462 -v3463 -v3464 -v3465  v3466 -v3467 -v3468 -v3469 -v3470 -v3471 -v3472 -v3473  v3474  v3475 -v3476 -v3477 -v3478 -v3479 -v3480 -v3481  v3482 -v3483 -v3484 -v3485 -v3486  v3487 -v3488 -v3489 -v3490 -v3491 -v3492 -v3493 -v3494  v3495 -v3496 -v3497 -v3498 -v3499  v3500 -v3501 -v3502 -v3503 -v3504 -v3505 -v3506 -v3507 -v3508 -v3509  v3510 -v3511 -v3512  v3513 -v3514 -v3515 -v3516 -v3517 -v3518  v3519 -v3520 -v3521 -v3522 -v3523 -v3524 -v3525 -v3526  v3527 -v3528 -v3529 -v3530 -v3531  v3532 -v3533 -v3534 -v3535  v3536 -v3537 -v3538 -v3539 -v3540 -v3541 -v3542 -v3543 -v3544 -v3545  v3546 -v3547 -v3548 -v3549 -v3550 -v3551  v3552 -v3553 -v3554 -v3555 -v3556  v3557 -v3558 -v3559 -v3560  v3561 -v3562 -v3563 -v3564 -v3565  v3566 -v3567 -v3568 -v3569 -v3570 -v3571 -v3572 -v3573 -v3574 -v3575  v3576 -v3577 -v3578 -v3579 -v3580  v3581 -v3582 -v3583 -v3584 -v3585  v3586 -v3587 -v3588 -v3589 -v3590  v3591 -v3592 -v3593 -v3594  v3595 -v3596 -v3597 -v3598 -v3599 -v3600 -v3601 -v3602 -v3603 -v3604 -v3605  v3606 -v3607 -v3608 -v3609 -v3610  v3611 -v3612 -v3613  v3614 -v3615 -v3616 -v3617 -v3618 -v3619 -v3620 -v3621 -v3622  v3623 -v3624 -v3625 -v3626 -v3627 -v3628  v3629 -v3630 -v3631 -v3632 -v3633  v3634 -v3635 -v3636 -v3637 -v3638 -v3639  v3640 -v3641 -v3642 -v3643 -v3644 -v3645 -v3646 -v3647  v3648 -v3649 -v3650 -v3651 -v3652 -v3653  v3654 -v3655  v3656 -v3657 -v3658 -v3659 -v3660 -v3661 -v3662  v3663 -v3664 -v3665 -v3666 -v3667 -v3668 -v3669 -v3670  v3671 -v3672 -v3673 -v3674 -v3675 -v3676  v3677 -v3678 -v3679 -v3680 -v3681 -v3682 -v3683  v3684 -v3685 -v3686 -v3687 -v3688 -v3689  v3690 -v3691 -v3692 -v3693  v3694 -v3695 -v3696  v3697 -v3698 -v3699 -v3700 -v3701 -v3702 -v3703 -v3704 -v3705 -v3706 -v3707  v3708 -v3709 -v3710 -v3711  v3712 -v3713 -v3714 -v3715  v3716 -v3717 -v3718 -v3719 -v3720 -v3721  v3722 -v3723 -v3724 -v3725 -v3726 -v3727 -v3728 -v3729 -v3730 -v3731  v3732 -v3733 -v3734 -v3735 -v3736 -v3737  v3738 -v3739 -v3740  v3741 -v3742 -v3743 -v3744 -v3745  v3746 -v3747 -v3748 -v3749 -v3750 -v3751  v3752 -v3753 -v3754 -v3755 -v3756 -v3757 -v3758 -v3759 -v3760  v3761 -v3762 -v3763 -v3764 -v3765  v3766 -v3767 -v3768 -v3769 -v3770 -v3771  v3772 -v3773 -v3774 -v3775  v3776 -v3777 -v3778 -v3779 -v3780 -v3781 -v3782 -v3783 -v3784 -v3785  v3786 -v3787  v3788 -v3789 -v3790 -v3791 -v3792 -v3793 -v3794  v3795 -v3796 -v3797 -v3798 -v3799 -v3800 -v3801 -v3802  v3803 -v3804 -v3805 -v3806 -v3807 -v3808 -v3809  v3810 -v3811 -v3812 -v3813 -v3814 -v3815  v3816 -v3817 -v3818 -v3819 -v3820 -v3821  v3822 -v3823  v3824 -v3825 -v3826 -v3827 -v3828 -v3829  v3830 -v3831 -v3832 -v3833 -v3834 -v3835 -v3836 -v3837 -v3838 -v3839  v3840 -v3841  v3842 -v3843 -v3844 -v3845 -v3846 -v3847  v3848 -v3849 -v3850 -v3851 -v3852 -v3853 -v3854 -v3855 -v3856  v3857 -v3858 -v3859 -v3860 -v3861 -v3862 -v3863  v3864 -v3865  v3866 -v3867 -v3868 -v3869 -v3870 -v3871 -v3872 -v3873  v3874 -v3875 -v3876 -v3877 -v3878 -v3879 -v3880 -v3881  v3882 -v3883 -v3884  v3885 -v3886 -v3887 -v3888 -v3889 -v3890 -v3891 -v3892 -v3893  v3894 -v3895 -v3896 -v3897 -v3898  v3899 -v3900 -v3901 -v3902 -v3903 -v3904 -v3905  v3906 -v3907 -v3908 -v3909 -v3910 -v3911  v3912 -v3913 -v3914 -v3915 -v3916  v3917 -v3918 -v3919 -v3920 -v3921 -v3922 -v3923  v3924 -v3925  v3926 -v3927 -v3928 -v3929 -v3930  v3931 -v3932 -v3933 -v3934 -v3935 -v3936 -v3937  v3938 -v3939 -v3940 -v3941 -v3942  v3943 -v3944 -v3945 -v3946 -v3947 -v3948 -v3949 -v3950 -v3951 -v3952 -v3953  v3954 -v3955 -v3956 -v3957 -v3958  v3959 -v3960 -v3961 -v3962  v3963 -v3964 -v3965 -v3966 -v3967 -v3968 -v3969  v3970 -v3971 -v3972 -v3973 -v3974 -v3975 -v3976  v3977 -v3978 -v3979 -v3980  v3981 -v3982 -v3983 -v3984  v3985 -v3986 -v3987 -v3988 -v3989 -v3990 -v3991 -v3992 -v3993 -v3994 -v3995  v3996 -v3997 -v3998 -v3999 -v4000  v4001 -v4002 -v4003  v4004 -v4005 -v4006 -v4007 -v4008 -v4009 -v4010 -v4011 -v4012  v4013 -v4014 -v4015  v4016 -v4017 -v4018 -v4019 -v4020  v4021 -v4022 -v4023 -v4024 -v4025 -v4026  v4027 -v4028 -v4029 -v4030 -v4031 -v4032  v4033 -v4034 -v4035 -v4036 -v4037 -v4038 -v4039 -v4040 -v4041 -v4042  v4043 -v4044 -v4045 -v4046 -v4047  v4048 -v4049 -v4050 -v4051 -v4052 -v4053 -v4054 -v4055  v4056 -v4057 -v4058 -v4059 -v4060  v4061 -v4062 -v4063 -v4064 -v4065 -v4066  v4067 -v4068 -v4069 -v4070 -v4071 -v4072  v4073 -v4074 -v4075 -v4076 -v4077 -v4078 -v4079  v4080 -v4081  v4082 -v4083 -v4084 -v4085 -v4086  v4087 -v4088 -v4089 -v4090 -v4091 -v4092 -v4093 -v4094 -v4095  v4096 -v4097 -v4098 -v4099 -v4100  v4101 -v4102 -v4103 -v4104 -v4105 -v4106 -v4107  v4108 -v4109 -v4110 -v4111 -v4112  v4113 -v4114 -v4115 -v4116 -v4117  v4118 -v4119 -v4120 -v4121 -v4122 -v4123 -v4124  v4125 -v4126 -v4127 -v4128 -v4129 -v4130 -v4131  v4132 -v4133 -v4134 -v4135  v4136 -v4137 -v4138 -v4139 -v4140 -v4141 -v4142  v4143 -v4144 -v4145 -v4146  v4147 -v4148 -v4149 -v4150 -v4151 -v4152  v4153 -v4154 -v4155 -v4156 -v4157 -v4158 -v4159  v4160 -v4161 -v4162 -v4163 -v4164  v4165 -v4166 -v4167 -v4168 -v4169 -v4170  v4171 -v4172 -v4173 -v4174 -v4175 -v4176 -v4177 -v4178 -v4179 -v4180 -v4181  v4182 -v4183 -v4184  v4185 -v4186 -v4187 -v4188 -v4189 -v4190 -v4191 -v4192 -v4193  v4194 -v4195 -v4196 -v4197 -v4198 -v4199  v4200  v4201 -v4202 -v4203 -v4204 -v4205 -v4206 -v4207 -v4208 -v4209  v4210 -v4211 -v4212 -v4213 -v4214  v4215 -v4216 -v4217 -v4218 -v4219 -v4220  v4221 -v4222 -v4223 -v4224 -v4225 -v4226 -v4227 -v4228  v4229 -v4230 -v4231 -v4232 -v4233  v4234 -v4235 -v4236 -v4237 -v4238 -v4239 -v4240  v4241 -v4242 -v4243 -v4244 -v4245 -v4246  v4247 -v4248 -v4249 -v4250 -v4251  v4252 -v4253 -v4254  v4255 -v4256 -v4257 -v4258 -v4259 -v4260  v4261 -v4262 -v4263 -v4264 -v4265 -v4266 -v4267 -v4268  v4269 -v4270 -v4271 -v4272  v4273 -v4274 -v4275 -v4276 -v4277 -v4278 -v4279 -v4280  v4281 -v4282 -v4283 -v4284 -v4285 -v4286 -v4287  v4288 -v4289 -v4290 -v4291 -v4292  v4293 -v4294 -v4295 -v4296 -v4297 -v4298 -v4299 -v4300 -v4301  v4302 -v4303 -v4304 -v4305  v4306 -v4307 -v4308 -v4309  v4310 -v4311 -v4312 -v4313 -v4314 -v4315 -v4316 -v4317 -v4318 -v4319  v4320  v4321 -v4322 -v4323 -v4324 -v4325 -v4326 -v4327  v4328 -v4329 -v4330 -v4331 -v4332  v4333 -v4334 -v4335 -v4336 -v4337 -v4338 -v4339  v4340 -v4341 -v4342 -v4343 -v4344 -v4345 -v4346  v4347 -v4348 -v4349 -v4350 -v4351  v4352 -v4353 -v4354 -v4355 -v4356 -v4357 -v4358 -v4359 -v4360 -v4361  v4362 -v4363 -v4364 -v4365  v4366 -v4367 -v4368 -v4369 -v4370  v4371 -v4372 -v4373 -v4374 -v4375 -v4376 -v4377 -v4378  v4379 -v4380 -v4381 -v4382 -v4383 -v4384  v4385 -v4386  v4387 -v4388 -v4389 -v4390 -v4391 -v4392 -v4393 -v4394 -v4395 -v4396  v4397 -v4398 -v4399 -v4400 -v4401 -v4402 -v4403  v4404 -v4405 -v4406  v4407 -v4408 -v4409 -v4410 -v4411 -v4412 -v4413 -v4414  v4415 -v4416  v4417 -v4418 -v4419 -v4420 -v4421 -v4422 -v4423 -v4424 -v4425  v4426 -v4427 -v4428 -v4429 -v4430 -v4431 -v4432  v4433 -v4434 -v4435  v4436 -v4437 -v4438 -v4439 -v4440 -v4441 -v4442 -v4443 -v4444 -v4445  v4446 -v4447 -v4448 -v4449 -v4450 -v4451  v4452 -v4453 -v4454 -v4455 -v4456  v4457 -v4458  v4459 -v4460 -v4461 -v4462 -v4463 -v4464 -v4465 -v4466  v4467 -v4468 -v4469 -v4470  v4471 -v4472 -v4473 -v4474 -v4475 -v4476 -v4477  v4478 -v4479 -v4480 -v4481 -v4482 -v4483  v4484 -v4485 -v4486 -v4487 -v4488 -v4489 -v4490  v4491 -v4492 -v4493 -v4494 -v4495 -v4496 -v4497 -v4498  v4499 -v4500 -v4501  v4502 -v4503 -v4504 -v4505 -v4506 -v4507 -v4508 -v4509 -v4510  v4511 -v4512 -v4513  v4514 -v4515 -v4516 -v4517 -v4518 -v4519 -v4520 -v4521 -v4522 -v4523  v4524 -v4525 -v4526 -v4527 -v4528  v4529 -v4530 -v4531 -v4532 -v4533 -v4534 -v4535  v4536 -v4537 -v4538 -v4539 -v4540  v4541 -v4542 -v4543 -v4544 -v4545 -v4546 -v4547  v4548 -v4549 -v4550 -v4551  v4552 -v4553 -v4554 -v4555  v4556 -v4557 -v4558 -v4559 -v4560  v4561 -v4562 -v4563 -v4564 -v4565 -v4566 -v4567 -v4568 -v4569  v4570 -v4571 -v4572 -v4573 -v4574  v4575 -v4576 -v4577 -v4578 -v4579 -v4580  v4581 -v4582 -v4583 -v4584 -v4585 -v4586 -v4587 -v4588  v4589 -v4590 -v4591 -v4592  v4593 -v4594 -v4595 -v4596 -v4597 -v4598 -v4599 -v4600  v4601 -v4602 -v4603 -v4604 -v4605 -v4606 -v4607  v4608 
s SATISFIABLE

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/20982/stat): 20982 (vallstSAT2005PB) R 20981 20982 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788079177 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20982/statm): 174 3 169 147 0 27 0
[pid=20982] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.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 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 /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/vallstSAT2005PB.sh
New process pid=20983
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=20983) exited with status: 0
New process pid=20984
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=20984) exited with status: 0
New process pid=20985
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/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 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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-ppp:1,3-13,19.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 0.95 1.01 0.99 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 878 0 0 0 226 249 0 0 16 0 1 0 1788079184 5775360 848 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 1410 848 413 48 0 1362 0
[pid=20985] vsize: 5640
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (Kb) 7768

[startup+20.0048 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1003 0 0 0 485 476 0 0 16 0 1 0 1788079184 11689984 973 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2854 973 413 48 0 2806 0
[pid=20985] vsize: 11416
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 13544

[startup+30.0066 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1006 0 0 0 759 707 0 0 16 0 1 0 1788079184 11689984 976 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2854 976 413 48 0 2806 0
[pid=20985] vsize: 11416
Current children cumulated CPU time (s) 14.69
Current children cumulated vsize (Kb) 13544

[startup+40.0074 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1008 0 0 0 1042 942 0 0 16 0 1 0 1788079184 11689984 978 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2854 978 413 48 0 2806 0
[pid=20985] vsize: 11416
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 13544

[startup+50.0091 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1010 0 0 0 1317 1176 0 0 15 0 1 0 1788079184 11689984 980 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2854 980 413 48 0 2806 0
[pid=20985] vsize: 11416
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (Kb) 13544

[startup+60.0099 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1010 0 0 0 1465 1445 0 0 15 0 1 0 1788079184 11689984 980 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2854 980 413 48 0 2806 0
[pid=20985] vsize: 11416
Current children cumulated CPU time (s) 29.13
Current children cumulated vsize (Kb) 13544

[startup+70.0107 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1013 0 0 0 1754 1676 0 0 15 0 1 0 1788079184 11689984 983 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2854 983 413 48 0 2806 0
[pid=20985] vsize: 11416
Current children cumulated CPU time (s) 34.33
Current children cumulated vsize (Kb) 13544

[startup+80.0115 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1019 0 0 0 2037 1911 0 0 16 0 1 0 1788079184 11788288 989 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2878 989 413 48 0 2830 0
[pid=20985] vsize: 11512
Current children cumulated CPU time (s) 39.51
Current children cumulated vsize (Kb) 13640

[startup+90.0123 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1020 0 0 0 2312 2143 0 0 15 0 1 0 1788079184 11788288 990 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2878 990 413 48 0 2830 0
[pid=20985] vsize: 11512
Current children cumulated CPU time (s) 44.58
Current children cumulated vsize (Kb) 13640

[startup+100.014 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1026 0 0 0 2587 2380 0 0 17 0 1 0 1788079184 11788288 996 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2878 996 413 48 0 2830 0
[pid=20985] vsize: 11512
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 13640

[startup+110.015 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1027 0 0 0 2730 2656 0 0 15 0 1 0 1788079184 11788288 997 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2878 997 413 48 0 2830 0
[pid=20985] vsize: 11512
Current children cumulated CPU time (s) 53.89
Current children cumulated vsize (Kb) 13640

[startup+120.016 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1035 0 0 0 3002 2885 0 0 15 0 1 0 1788079184 11788288 1005 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2878 1005 413 48 0 2830 0
[pid=20985] vsize: 11512
Current children cumulated CPU time (s) 58.9
Current children cumulated vsize (Kb) 13640

[startup+130.017 s]
Raw data (loadavg): 1.18 1.07 1.01 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1043 0 0 0 3274 3121 0 0 15 0 1 0 1788079184 11886592 1013 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2902 1013 413 48 0 2854 0
[pid=20985] vsize: 11608
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (Kb) 13736

[startup+140.018 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1054 0 0 0 3574 3352 0 0 15 0 1 0 1788079184 11886592 1024 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2902 1024 413 48 0 2854 0
[pid=20985] vsize: 11608
Current children cumulated CPU time (s) 69.29
Current children cumulated vsize (Kb) 13736

[startup+150.02 s]
Raw data (loadavg): 1.21 1.08 1.02 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1062 0 0 0 3848 3584 0 0 16 0 1 0 1788079184 11886592 1032 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2902 1032 413 48 0 2854 0
[pid=20985] vsize: 11608
Current children cumulated CPU time (s) 74.35
Current children cumulated vsize (Kb) 13736

[startup+160.021 s]
Raw data (loadavg): 1.26 1.10 1.02 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1064 0 0 0 4041 3840 0 0 15 0 1 0 1788079184 11886592 1034 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2902 1034 413 48 0 2854 0
[pid=20985] vsize: 11608
Current children cumulated CPU time (s) 78.84
Current children cumulated vsize (Kb) 13736

[startup+170.021 s]
Raw data (loadavg): 1.30 1.11 1.02 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1068 0 0 0 4269 4090 0 0 15 0 1 0 1788079184 11956224 1038 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2919 1038 413 48 0 2871 0
[pid=20985] vsize: 11676
Current children cumulated CPU time (s) 83.62
Current children cumulated vsize (Kb) 13804

[startup+180.022 s]
Raw data (loadavg): 1.25 1.10 1.02 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1074 0 0 0 4532 4327 0 0 16 0 1 0 1788079184 11956224 1044 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2919 1044 413 48 0 2871 0
[pid=20985] vsize: 11676
Current children cumulated CPU time (s) 88.62
Current children cumulated vsize (Kb) 13804

[startup+190.023 s]
Raw data (loadavg): 1.21 1.10 1.02 2/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) R 20982 20982 9854 0 -1 0 1082 0 0 0 4824 4556 0 0 16 0 1 0 1788079184 11956224 1052 4294967295 134512640 134702520 3221223968 3221223368 134607211 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2919 1052 413 48 0 2871 0
[pid=20985] vsize: 11676
Current children cumulated CPU time (s) 93.83
Current children cumulated vsize (Kb) 13804

[startup+200.024 s]
Raw data (loadavg): 1.26 1.11 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1086 0 0 0 5083 4794 0 0 16 0 1 0 1788079184 11956224 1056 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2919 1056 413 48 0 2871 0
[pid=20985] vsize: 11676
Current children cumulated CPU time (s) 98.8
Current children cumulated vsize (Kb) 13804

[startup+210.026 s]
Raw data (loadavg): 1.22 1.11 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1091 0 0 0 5353 5033 0 0 16 0 1 0 1788079184 11956224 1061 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2919 1061 413 48 0 2871 0
[pid=20985] vsize: 11676
Current children cumulated CPU time (s) 103.89
Current children cumulated vsize (Kb) 13804

[startup+220.027 s]
Raw data (loadavg): 1.18 1.10 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1093 0 0 0 5569 5277 0 0 16 0 1 0 1788079184 11956224 1063 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2919 1063 413 48 0 2871 0
[pid=20985] vsize: 11676
Current children cumulated CPU time (s) 108.49
Current children cumulated vsize (Kb) 13804

[startup+230.027 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1095 0 0 0 5768 5535 0 0 16 0 1 0 1788079184 12046336 1065 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2941 1065 413 48 0 2893 0
[pid=20985] vsize: 11764
Current children cumulated CPU time (s) 113.06
Current children cumulated vsize (Kb) 13892

[startup+240.028 s]
Raw data (loadavg): 1.21 1.11 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1103 0 0 0 6036 5764 0 0 16 0 1 0 1788079184 12046336 1073 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2941 1073 413 48 0 2893 0
[pid=20985] vsize: 11764
Current children cumulated CPU time (s) 118.03
Current children cumulated vsize (Kb) 13892

[startup+250.031 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1108 0 0 0 6315 6004 0 0 16 0 1 0 1788079184 12046336 1078 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2941 1078 413 48 0 2893 0
[pid=20985] vsize: 11764
Current children cumulated CPU time (s) 123.22
Current children cumulated vsize (Kb) 13892

[startup+260.032 s]
Raw data (loadavg): 1.15 1.11 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1111 0 0 0 6593 6238 0 0 16 0 1 0 1788079184 12046336 1081 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2941 1081 413 48 0 2893 0
[pid=20985] vsize: 11764
Current children cumulated CPU time (s) 128.34
Current children cumulated vsize (Kb) 13892

[startup+270.033 s]
Raw data (loadavg): 1.21 1.12 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1116 0 0 0 6862 6476 0 0 16 0 1 0 1788079184 12046336 1086 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2941 1086 413 48 0 2893 0
[pid=20985] vsize: 11764
Current children cumulated CPU time (s) 133.41
Current children cumulated vsize (Kb) 13892

[startup+280.034 s]
Raw data (loadavg): 1.25 1.13 1.04 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1121 0 0 0 7122 6718 0 0 16 0 1 0 1788079184 12046336 1091 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2941 1091 413 48 0 2893 0
[pid=20985] vsize: 11764
Current children cumulated CPU time (s) 138.43
Current children cumulated vsize (Kb) 13892

[startup+290.035 s]
Raw data (loadavg): 1.21 1.13 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1123 0 0 0 7266 6984 0 0 16 0 1 0 1788079184 12120064 1093 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2959 1093 413 48 0 2911 0
[pid=20985] vsize: 11836
Current children cumulated CPU time (s) 142.53
Current children cumulated vsize (Kb) 13964

[startup+300.037 s]
Raw data (loadavg): 1.18 1.12 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1126 0 0 0 7535 7221 0 0 16 0 1 0 1788079184 12120064 1096 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2959 1096 413 48 0 2911 0
[pid=20985] vsize: 11836
Current children cumulated CPU time (s) 147.59
Current children cumulated vsize (Kb) 13964

[startup+310.038 s]
Raw data (loadavg): 1.15 1.12 1.03 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1134 0 0 0 7830 7460 0 0 16 0 1 0 1788079184 12120064 1104 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2959 1104 413 48 0 2911 0
[pid=20985] vsize: 11836
Current children cumulated CPU time (s) 152.93
Current children cumulated vsize (Kb) 13964

[startup+320.038 s]
Raw data (loadavg): 1.20 1.13 1.04 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1138 0 0 0 8108 7692 0 0 16 0 1 0 1788079184 12120064 1108 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2959 1108 413 48 0 2911 0
[pid=20985] vsize: 11836
Current children cumulated CPU time (s) 158.03
Current children cumulated vsize (Kb) 13964

[startup+330.039 s]
Raw data (loadavg): 1.24 1.14 1.04 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1141 0 0 0 8379 7925 0 0 16 0 1 0 1788079184 12120064 1111 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2959 1111 413 48 0 2911 0
[pid=20985] vsize: 11836
Current children cumulated CPU time (s) 163.07
Current children cumulated vsize (Kb) 13964

[startup+340.04 s]
Raw data (loadavg): 1.20 1.13 1.04 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1150 0 0 0 8676 8152 0 0 16 0 1 0 1788079184 12120064 1120 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2959 1120 413 48 0 2911 0
[pid=20985] vsize: 11836
Current children cumulated CPU time (s) 168.31
Current children cumulated vsize (Kb) 13964

[startup+350.042 s]
Raw data (loadavg): 1.17 1.13 1.04 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1151 0 0 0 8872 8406 0 0 16 0 1 0 1788079184 12120064 1121 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2959 1121 413 48 0 2911 0
[pid=20985] vsize: 11836
Current children cumulated CPU time (s) 172.81
Current children cumulated vsize (Kb) 13964

[startup+360.043 s]
Raw data (loadavg): 1.23 1.14 1.04 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1153 0 0 0 9101 8661 0 0 16 0 1 0 1788079184 12206080 1123 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2980 1123 413 48 0 2932 0
[pid=20985] vsize: 11920
Current children cumulated CPU time (s) 177.65
Current children cumulated vsize (Kb) 14048

[startup+370.043 s]
Raw data (loadavg): 1.19 1.14 1.04 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1155 0 0 0 9383 8891 0 0 15 0 1 0 1788079184 12206080 1125 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2980 1125 413 48 0 2932 0
[pid=20985] vsize: 11920
Current children cumulated CPU time (s) 182.77
Current children cumulated vsize (Kb) 14048

[startup+380.044 s]
Raw data (loadavg): 1.24 1.15 1.05 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1159 0 0 0 9669 9126 0 0 16 0 1 0 1788079184 12206080 1129 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2980 1129 413 48 0 2932 0
[pid=20985] vsize: 11920
Current children cumulated CPU time (s) 187.98
Current children cumulated vsize (Kb) 14048

[startup+390.045 s]
Raw data (loadavg): 1.28 1.16 1.05 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1162 0 0 0 9941 9359 0 0 16 0 1 0 1788079184 12206080 1132 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2980 1132 413 48 0 2932 0
[pid=20985] vsize: 11920
Current children cumulated CPU time (s) 193.03
Current children cumulated vsize (Kb) 14048

[startup+400.046 s]
Raw data (loadavg): 1.24 1.15 1.05 2/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) R 20982 20982 9854 0 -1 0 1166 0 0 0 10234 9580 0 0 16 0 1 0 1788079184 12206080 1136 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2980 1136 413 48 0 2932 0
[pid=20985] vsize: 11920
Current children cumulated CPU time (s) 198.17
Current children cumulated vsize (Kb) 14048

[startup+410.047 s]
Raw data (loadavg): 1.28 1.16 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1172 0 0 0 10523 9811 0 0 15 0 1 0 1788079184 12206080 1142 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2980 1142 413 48 0 2932 0
[pid=20985] vsize: 11920
Current children cumulated CPU time (s) 203.37
Current children cumulated vsize (Kb) 14048

[startup+420.047 s]
Raw data (loadavg): 1.23 1.16 1.05 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1175 0 0 0 10711 10067 0 0 15 0 1 0 1788079184 12206080 1145 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2980 1145 413 48 0 2932 0
[pid=20985] vsize: 11920
Current children cumulated CPU time (s) 207.81
Current children cumulated vsize (Kb) 14048

[startup+430.048 s]
Raw data (loadavg): 1.28 1.17 1.06 2/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) R 20982 20982 9854 0 -1 0 1177 0 0 0 10972 10308 0 0 16 0 1 0 1788079184 12271616 1147 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2996 1147 413 48 0 2948 0
[pid=20985] vsize: 11984
Current children cumulated CPU time (s) 212.83
Current children cumulated vsize (Kb) 14112

[startup+440.049 s]
Raw data (loadavg): 1.23 1.16 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1182 0 0 0 11250 10540 0 0 16 0 1 0 1788079184 12271616 1152 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2996 1152 413 48 0 2948 0
[pid=20985] vsize: 11984
Current children cumulated CPU time (s) 217.93
Current children cumulated vsize (Kb) 14112

[startup+450.051 s]
Raw data (loadavg): 1.20 1.16 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1187 0 0 0 11553 10766 0 0 15 0 1 0 1788079184 12271616 1157 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2996 1157 413 48 0 2948 0
[pid=20985] vsize: 11984
Current children cumulated CPU time (s) 223.22
Current children cumulated vsize (Kb) 14112

[startup+460.052 s]
Raw data (loadavg): 1.17 1.15 1.06 2/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) R 20982 20982 9854 0 -1 0 1188 0 0 0 11818 10993 0 0 16 0 1 0 1788079184 12271616 1158 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2996 1158 413 48 0 2948 0
[pid=20985] vsize: 11984
Current children cumulated CPU time (s) 228.14
Current children cumulated vsize (Kb) 14112

[startup+470.051 s]
Raw data (loadavg): 1.14 1.15 1.05 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1192 0 0 0 12110 11222 0 0 16 0 1 0 1788079184 12271616 1162 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 2996 1162 413 48 0 2948 0
[pid=20985] vsize: 11984
Current children cumulated CPU time (s) 233.35
Current children cumulated vsize (Kb) 14112

[startup+480.053 s]
Raw data (loadavg): 1.20 1.16 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1194 0 0 0 12390 11454 0 0 16 0 1 0 1788079184 12271616 1164 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2996 1164 413 48 0 2948 0
[pid=20985] vsize: 11984
Current children cumulated CPU time (s) 238.47
Current children cumulated vsize (Kb) 14112

[startup+490.055 s]
Raw data (loadavg): 1.17 1.15 1.06 2/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) R 20982 20982 9854 0 -1 0 1196 0 0 0 12588 11708 0 0 16 0 1 0 1788079184 12271616 1166 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20985/statm): 2996 1166 413 48 0 2948 0
[pid=20985] vsize: 11984
Current children cumulated CPU time (s) 242.99
Current children cumulated vsize (Kb) 14112

[startup+500.056 s]
Raw data (loadavg): 1.22 1.16 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1198 0 0 0 12837 11961 0 0 15 0 1 0 1788079184 12341248 1168 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3013 1168 413 48 0 2965 0
[pid=20985] vsize: 12052
Current children cumulated CPU time (s) 248.01
Current children cumulated vsize (Kb) 14180

[startup+510.056 s]
Raw data (loadavg): 1.19 1.16 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1202 0 0 0 13124 12196 0 0 15 0 1 0 1788079184 12341248 1172 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3013 1172 413 48 0 2965 0
[pid=20985] vsize: 12052
Current children cumulated CPU time (s) 253.23
Current children cumulated vsize (Kb) 14180

[startup+520.056 s]
Raw data (loadavg): 1.16 1.15 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1204 0 0 0 13412 12420 0 0 16 0 1 0 1788079184 12341248 1174 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3013 1174 413 48 0 2965 0
[pid=20985] vsize: 12052
Current children cumulated CPU time (s) 258.35
Current children cumulated vsize (Kb) 14180

[startup+530.057 s]
Raw data (loadavg): 1.13 1.14 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1213 0 0 0 13690 12658 0 0 16 0 1 0 1788079184 12341248 1183 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3013 1183 413 48 0 2965 0
[pid=20985] vsize: 12052
Current children cumulated CPU time (s) 263.51
Current children cumulated vsize (Kb) 14180

[startup+540.058 s]
Raw data (loadavg): 1.19 1.16 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1215 0 0 0 13965 12886 0 0 16 0 1 0 1788079184 12341248 1185 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3013 1185 413 48 0 2965 0
[pid=20985] vsize: 12052
Current children cumulated CPU time (s) 268.54
Current children cumulated vsize (Kb) 14180

[startup+550.06 s]
Raw data (loadavg): 1.16 1.15 1.06 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1218 0 0 0 14227 13126 0 0 15 0 1 0 1788079184 12341248 1188 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3013 1188 413 48 0 2965 0
[pid=20985] vsize: 12052
Current children cumulated CPU time (s) 273.56
Current children cumulated vsize (Kb) 14180

[startup+560.06 s]
Raw data (loadavg): 1.21 1.16 1.07 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1225 0 0 0 14486 13362 0 0 15 0 1 0 1788079184 12341248 1195 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3013 1195 413 48 0 2965 0
[pid=20985] vsize: 12052
Current children cumulated CPU time (s) 278.51
Current children cumulated vsize (Kb) 14180

[startup+570.061 s]
Raw data (loadavg): 1.26 1.17 1.07 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1227 0 0 0 14671 13619 0 0 15 0 1 0 1788079184 12414976 1197 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3031 1197 413 48 0 2983 0
[pid=20985] vsize: 12124
Current children cumulated CPU time (s) 282.93
Current children cumulated vsize (Kb) 14252

[startup+580.062 s]
Raw data (loadavg): 1.22 1.17 1.07 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1231 0 0 0 14950 13850 0 0 16 0 1 0 1788079184 12414976 1201 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3031 1201 413 48 0 2983 0
[pid=20985] vsize: 12124
Current children cumulated CPU time (s) 288.03
Current children cumulated vsize (Kb) 14252

[startup+590.063 s]
Raw data (loadavg): 1.18 1.16 1.07 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1235 0 0 0 15241 14077 0 0 15 0 1 0 1788079184 12414976 1205 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3031 1205 413 48 0 2983 0
[pid=20985] vsize: 12124
Current children cumulated CPU time (s) 293.21
Current children cumulated vsize (Kb) 14252

[startup+600.065 s]
Raw data (loadavg): 1.23 1.17 1.07 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1240 0 0 0 15542 14306 0 0 16 0 1 0 1788079184 12414976 1210 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3031 1210 413 48 0 2983 0
[pid=20985] vsize: 12124
Current children cumulated CPU time (s) 298.51
Current children cumulated vsize (Kb) 14252

[startup+610.065 s]
Raw data (loadavg): 1.19 1.16 1.07 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1241 0 0 0 15819 14547 0 0 16 0 1 0 1788079184 12414976 1211 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3031 1211 413 48 0 2983 0
[pid=20985] vsize: 12124
Current children cumulated CPU time (s) 303.69
Current children cumulated vsize (Kb) 14252

[startup+620.065 s]
Raw data (loadavg): 1.24 1.18 1.08 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1257 0 0 0 16144 14773 0 0 15 0 1 0 1788079184 12414976 1227 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3031 1227 413 48 0 2983 0
[pid=20985] vsize: 12124
Current children cumulated CPU time (s) 309.2
Current children cumulated vsize (Kb) 14252

[startup+630.067 s]
Raw data (loadavg): 1.27 1.19 1.08 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1258 0 0 0 16376 15024 0 0 15 0 1 0 1788079184 12414976 1228 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3031 1228 413 48 0 2983 0
[pid=20985] vsize: 12124
Current children cumulated CPU time (s) 314.03
Current children cumulated vsize (Kb) 14252

[startup+640.068 s]
Raw data (loadavg): 1.23 1.18 1.08 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1261 0 0 0 16596 15264 0 0 15 0 1 0 1788079184 12505088 1231 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3053 1231 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 318.63
Current children cumulated vsize (Kb) 14340

[startup+650.069 s]
Raw data (loadavg): 1.27 1.19 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1265 0 0 0 16869 15497 0 0 16 0 1 0 1788079184 12505088 1235 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3053 1235 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 323.69
Current children cumulated vsize (Kb) 14340

[startup+660.069 s]
Raw data (loadavg): 1.23 1.18 1.08 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1269 0 0 0 17169 15724 0 0 16 0 1 0 1788079184 12505088 1239 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3053 1239 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 328.96
Current children cumulated vsize (Kb) 14340

[startup+670.07 s]
Raw data (loadavg): 1.27 1.19 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1270 0 0 0 17435 15962 0 0 15 0 1 0 1788079184 12505088 1240 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3053 1240 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 334
Current children cumulated vsize (Kb) 14340

[startup+680.071 s]
Raw data (loadavg): 1.22 1.18 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1271 0 0 0 17718 16188 0 0 15 0 1 0 1788079184 12505088 1241 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3053 1241 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (Kb) 14340

[startup+690.072 s]
Raw data (loadavg): 1.19 1.18 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1274 0 0 0 17993 16417 0 0 16 0 1 0 1788079184 12505088 1244 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3053 1244 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 344.13
Current children cumulated vsize (Kb) 14340

[startup+700.073 s]
Raw data (loadavg): 1.24 1.19 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1277 0 0 0 18279 16651 0 0 16 0 1 0 1788079184 12505088 1247 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3053 1247 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 349.33
Current children cumulated vsize (Kb) 14340

[startup+710.074 s]
Raw data (loadavg): 1.20 1.18 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1278 0 0 0 18582 16870 0 0 16 0 1 0 1788079184 12505088 1248 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3053 1248 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 354.55
Current children cumulated vsize (Kb) 14340

[startup+720.075 s]
Raw data (loadavg): 1.24 1.19 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1281 0 0 0 18736 17146 0 0 15 0 1 0 1788079184 12505088 1251 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3053 1251 413 48 0 3005 0
[pid=20985] vsize: 12212
Current children cumulated CPU time (s) 358.85
Current children cumulated vsize (Kb) 14340

[startup+730.076 s]
Raw data (loadavg): 1.21 1.18 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1283 0 0 0 19000 17397 0 0 16 0 1 0 1788079184 12578816 1253 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3071 1253 413 48 0 3023 0
[pid=20985] vsize: 12284
Current children cumulated CPU time (s) 364
Current children cumulated vsize (Kb) 14412

[startup+740.077 s]
Raw data (loadavg): 1.25 1.19 1.10 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1353 0 0 0 19294 17625 0 0 15 0 1 0 1788079184 12578816 1323 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20985/statm): 3071 1323 413 48 0 3023 0
[pid=20985] vsize: 12284
Current children cumulated CPU time (s) 369.22
Current children cumulated vsize (Kb) 14412

[startup+750.078 s]
Raw data (loadavg): 1.21 1.19 1.09 1/57 20985
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) S 20981 20982 9854 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788079177 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20982/statm): 532 242 485 147 0 385 0
[pid=20982] vsize: 2128
Raw data (/proc/20985/stat): 20985 (vallst) T 20982 20982 9854 0 -1 0 1417 0 0 0 19625 17843 0 0 15 0 1 0 1788079184 12578816 1387 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20985/statm): 3071 1387 413 48 0 3023 0
[pid=20985] vsize: 12284
Current children cumulated CPU time (s) 374.71
Current children cumulated vsize (Kb) 14412
One traced child (pid=20985) exited with status: 1
New process pid=20986
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
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 tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh.model
One traced child (pid=20986) exited with status: 0
New process pid=20987
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
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 tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
open syscall for file /tmp/vallst_var_map
One traced child (pid=20987) exited with status: 0
New process pid=20988
New process pid=20989
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
execve syscall for /usr/bin/wc executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=20989) exited with status: 0
One traced child (pid=20988) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=20990
New process pid=20991
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
execve syscall for /bin/sed executable
execve syscall for /usr/bin/tail executable
open syscall for file /etc/ld.so.preload
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libc.so.6
open syscall for file mmx/libm.so.6
open syscall for file libc.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
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 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/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
One traced child (pid=20990) exited with status: 0
One traced child (pid=20991) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model

[startup+760.079 s]
Raw data (loadavg): 1.18 1.18 1.09 1/56 20991
Raw data (/proc/20982/stat): 20982 (vallstSAT2005PB) T 20981 20982 9854 0 -1 0 441 2520 0 0 110 67 19870 17993 17 0 1 0 1788079177 2179072 249 4294967295 134512640 135087896 3221224496 3221221192 1074788809 0 0 5 1132560122 3222434794 0 0 17 0 0 0
Raw data (/proc/20982/statm): 532 249 485 147 0 385 0
[pid=20982] vsize: 2128
Current children cumulated CPU time (s) 380.4
Current children cumulated vsize (Kb) 2128
New process pid=20992
New process pid=20993
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
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 /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/21244/stat
open syscall for file /proc/21244/status
open syscall for file /proc/21244/cmdline
open syscall for file /proc/21244/environ
open syscall for file /proc/22265/stat
open syscall for file /proc/22265/status
open syscall for file /proc/22265/cmdline
open syscall for file /proc/22265/environ
open syscall for file /proc/22292/stat
open syscall for file /proc/22292/status
open syscall for file /proc/22292/cmdline
open syscall for file /proc/22292/environ
open syscall for file /proc/22316/stat
open syscall for file /proc/22316/status
open syscall for file /proc/22316/cmdline
open syscall for file /proc/22316/environ
open syscall for file /proc/1196/stat
open syscall for file /proc/1196/status
open syscall for file /proc/1196/cmdline
open syscall for file /proc/1196/environ
open syscall for file /proc/32112/stat
open syscall for file /proc/32112/status
open syscall for file /proc/32112/cmdline
open syscall for file /proc/32112/environ
open syscall for file /proc/23586/stat
open syscall for file /proc/23586/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/23586/cmdline
open syscall for file /proc/23586/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/9855/stat
open syscall for file /proc/9855/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/9855/cmdline
open syscall for file /proc/9855/environ
open syscall for file /proc/9864/stat
open syscall for file /proc/9864/status
open syscall for file /proc/9864/cmdline
open syscall for file /proc/9864/environ
open syscall for file /proc/20945/stat
open syscall for file /proc/20945/status
open syscall for file /proc/20945/cmdline
open syscall for file /proc/20945/environ
open syscall for file /proc/20981/stat
open syscall for file /proc/20981/status
open syscall for file /proc/20981/cmdline
open syscall for file /proc/20981/environ
open syscall for file /proc/20982/stat
open syscall for file /proc/20982/status
open syscall for file /proc/20982/cmdline
open syscall for file /proc/20982/environ
open syscall for file /proc/20992/stat
open syscall for file /proc/20992/status
open syscall for file /proc/20992/cmdline
open syscall for file /proc/20992/environ
open syscall for file /proc/20993/stat
open syscall for file /proc/20993/status
open syscall for file /proc/20993/cmdline
open syscall for file /proc/20993/environ
One traced child (pid=20992) exited with status: 0
One traced child (pid=20993) exited with status: 0
New process pid=20994
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/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 tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
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 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/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=20994) exited with status: 0
New process pid=20995
execve syscall for /bin/rm executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file .
open syscall for file .
One traced child (pid=20995) exited with status: 0
One traced child (pid=20982) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 761.494
CPU time (s): 381.08
CPU user time (s): 200.196
CPU system time (s): 180.885
CPU usage (%): 50.0437
Max. virtual memory (cumulated for all children) (Kb): 14412

Verifier Data

Verifier:	OK	0