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-12,16.opb
MD5SUM41edd2db35f2c8eb6d4b1f0a68a60338
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 benchmark9.11861
Number of variables4662
Total number of constraints36387
Number of constraints which are clauses30696
Number of constraints which are cardinality constraints (but not clauses)5613
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint1
Maximum length of a constraint29

Trace number 3607

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-19 02:30:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7419 boxname=wulflinc10 idbench=387 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  41edd2db35f2c8eb6d4b1f0a68a60338  /oldhome/oroussel/tmp/wulflinc10/normalized-ppp:1-12,16.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc10/normalized-ppp:1-12,16.opb 0
IDLAUNCH: 7419
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        909680 kB
Buffers:         35944 kB
Cached:          62020 kB
SwapCached:        228 kB
Active:          68296 kB
Inactive:        32584 kB
HighTotal:      131008 kB
HighFree:        65212 kB
LowTotal:       903652 kB
LowFree:        844468 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18432 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 02:42:50 (client local time) WITH STATUS 10 IN 365.616 SECONDS
stats: 7419 0 365.616 10

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 9275104;  #end-nodes: 243751;
#proof improvement attempts: 0;  #restarts: 1112
Current batch, end-nodes: 200 / 358 (358)
#axs: 31899, #non-axs: 1701
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: 4389  (#equs: 0)
Time taken: 6 min, 3 sec
times:
0m0.019s 0m0.015s
3m18.105s 2m45.037s
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 -v4609 -v4610  v4611 -v4612 -v4613 -v4614 -v4615  v4616 -v4617 -v4618 -v4619 -v4620  v4621 -v4622 -v4623 -v4624 -v4625 -v4626 -v4627 -v4628 -v4629  v4630 -v4631 -v4632  v4633 -v4634 -v4635 -v4636 -v4637 -v4638 -v4639 -v4640 -v4641 -v4642 -v4643  v4644 -v4645  v4646 -v4647 -v4648 -v4649 -v4650 -v4651 -v4652 -v4653 -v4654  v4655 -v4656 -v4657 -v4658  v4659 -v4660 -v4661 -v4662 
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/2434/stat): 2434 (vallstSAT2005PB) R 2433 2434 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788120229 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2434/statm): 174 3 169 147 0 27 0
[pid=2434] 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=2435
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=2435) exited with status: 0
New process pid=2436
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=2436) exited with status: 0
New process pid=2437
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/wulflinc10/normalized-ppp:1-12,16.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 869 0 0 0 212 250 0 0 15 0 1 0 1788120236 5652480 839 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 1380 839 413 48 0 1332 0
[pid=2437] vsize: 5520
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (Kb) 7648

[startup+20.0033 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1038 0 0 0 479 489 0 0 15 0 1 0 1788120236 12075008 1008 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 2948 1008 413 48 0 2900 0
[pid=2437] vsize: 11792
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (Kb) 13920

[startup+30.0039 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1041 0 0 0 760 708 0 0 16 0 1 0 1788120236 12075008 1011 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 2948 1011 413 48 0 2900 0
[pid=2437] vsize: 11792
Current children cumulated CPU time (s) 14.71
Current children cumulated vsize (Kb) 13920

[startup+40.0045 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1044 0 0 0 1039 932 0 0 16 0 1 0 1788120236 12075008 1014 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 2948 1014 413 48 0 2900 0
[pid=2437] vsize: 11792
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (Kb) 13920

[startup+50.005 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1045 0 0 0 1302 1162 0 0 15 0 1 0 1788120236 12075008 1015 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 2948 1015 413 48 0 2900 0
[pid=2437] vsize: 11792
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (Kb) 13920

[startup+60.0056 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1045 0 0 0 1452 1419 0 0 15 0 1 0 1788120236 12079104 1015 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 2949 1015 413 48 0 2901 0
[pid=2437] vsize: 11796
Current children cumulated CPU time (s) 28.74
Current children cumulated vsize (Kb) 13924

[startup+70.0062 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1045 0 0 0 1737 1646 0 0 15 0 1 0 1788120236 12079104 1015 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 2949 1015 413 48 0 2901 0
[pid=2437] vsize: 11796
Current children cumulated CPU time (s) 33.86
Current children cumulated vsize (Kb) 13924

[startup+80.0067 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1051 0 0 0 2036 1875 0 0 16 0 1 0 1788120236 12165120 1021 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 2970 1021 413 48 0 2922 0
[pid=2437] vsize: 11880
Current children cumulated CPU time (s) 39.14
Current children cumulated vsize (Kb) 14008

[startup+90.0083 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1053 0 0 0 2333 2104 0 0 15 0 1 0 1788120236 12165120 1023 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 2970 1023 413 48 0 2922 0
[pid=2437] vsize: 11880
Current children cumulated CPU time (s) 44.4
Current children cumulated vsize (Kb) 14008

[startup+100.009 s]
Raw data (loadavg): 1.17 1.06 1.01 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1058 0 0 0 2626 2336 0 0 16 0 1 0 1788120236 12165120 1028 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 2970 1028 413 48 0 2922 0
[pid=2437] vsize: 11880
Current children cumulated CPU time (s) 49.65
Current children cumulated vsize (Kb) 14008

[startup+110.009 s]
Raw data (loadavg): 1.21 1.07 1.01 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1060 0 0 0 2763 2625 0 0 15 0 1 0 1788120236 12230656 1030 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 2986 1030 413 48 0 2938 0
[pid=2437] vsize: 11944
Current children cumulated CPU time (s) 53.91
Current children cumulated vsize (Kb) 14072

[startup+120.01 s]
Raw data (loadavg): 1.18 1.07 1.01 2/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) R 2434 2434 22582 0 -1 0 1073 0 0 0 3074 2843 0 0 16 0 1 0 1788120236 12230656 1043 4294967295 134512640 134702520 3221223968 3221171724 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2437/statm): 2986 1043 413 48 0 2938 0
[pid=2437] vsize: 11944
Current children cumulated CPU time (s) 59.2
Current children cumulated vsize (Kb) 14072

[startup+130.01 s]
Raw data (loadavg): 1.23 1.08 1.02 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1080 0 0 0 3368 3067 0 0 15 0 1 0 1788120236 12230656 1050 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 2986 1050 413 48 0 2938 0
[pid=2437] vsize: 11944
Current children cumulated CPU time (s) 64.38
Current children cumulated vsize (Kb) 14072

[startup+140.011 s]
Raw data (loadavg): 1.20 1.08 1.02 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1087 0 0 0 3661 3292 0 0 15 0 1 0 1788120236 12308480 1057 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3005 1057 413 48 0 2957 0
[pid=2437] vsize: 12020
Current children cumulated CPU time (s) 69.56
Current children cumulated vsize (Kb) 14148

[startup+150.012 s]
Raw data (loadavg): 1.32 1.11 1.03 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1093 0 0 0 3973 3517 0 0 16 0 1 0 1788120236 12308480 1063 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3005 1063 413 48 0 2957 0
[pid=2437] vsize: 12020
Current children cumulated CPU time (s) 74.93
Current children cumulated vsize (Kb) 14148

[startup+160.011 s]
Raw data (loadavg): 1.35 1.12 1.03 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1095 0 0 0 4119 3789 0 0 16 0 1 0 1788120236 12308480 1065 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3005 1065 413 48 0 2957 0
[pid=2437] vsize: 12020
Current children cumulated CPU time (s) 79.11
Current children cumulated vsize (Kb) 14148

[startup+170.012 s]
Raw data (loadavg): 1.30 1.12 1.03 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1103 0 0 0 4428 4024 0 0 15 0 1 0 1788120236 12308480 1073 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3005 1073 413 48 0 2957 0
[pid=2437] vsize: 12020
Current children cumulated CPU time (s) 84.55
Current children cumulated vsize (Kb) 14148

[startup+180.012 s]
Raw data (loadavg): 1.32 1.13 1.03 2/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) R 2434 2434 22582 0 -1 0 1112 0 0 0 4734 4251 0 0 15 0 1 0 1788120236 12308480 1082 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3005 1082 413 48 0 2957 0
[pid=2437] vsize: 12020
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (Kb) 14148

[startup+190.013 s]
Raw data (loadavg): 1.35 1.14 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1120 0 0 0 5037 4470 0 0 15 0 1 0 1788120236 12390400 1090 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3025 1090 413 48 0 2977 0
[pid=2437] vsize: 12100
Current children cumulated CPU time (s) 95.1
Current children cumulated vsize (Kb) 14228

[startup+200.013 s]
Raw data (loadavg): 1.30 1.14 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1128 0 0 0 5322 4694 0 0 15 0 1 0 1788120236 12390400 1098 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3025 1098 413 48 0 2977 0
[pid=2437] vsize: 12100
Current children cumulated CPU time (s) 100.19
Current children cumulated vsize (Kb) 14228

[startup+210.014 s]
Raw data (loadavg): 1.33 1.15 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1130 0 0 0 5552 4932 0 0 15 0 1 0 1788120236 12390400 1100 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3025 1100 413 48 0 2977 0
[pid=2437] vsize: 12100
Current children cumulated CPU time (s) 104.87
Current children cumulated vsize (Kb) 14228

[startup+220.015 s]
Raw data (loadavg): 1.28 1.14 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1133 0 0 0 5753 5196 0 0 15 0 1 0 1788120236 12390400 1103 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3025 1103 413 48 0 2977 0
[pid=2437] vsize: 12100
Current children cumulated CPU time (s) 109.52
Current children cumulated vsize (Kb) 14228

[startup+230.015 s]
Raw data (loadavg): 1.24 1.14 1.04 2/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1139 0 0 0 6063 5419 0 0 16 0 1 0 1788120236 12390400 1109 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3025 1109 413 48 0 2977 0
[pid=2437] vsize: 12100
Current children cumulated CPU time (s) 114.85
Current children cumulated vsize (Kb) 14228

[startup+240.017 s]
Raw data (loadavg): 1.27 1.15 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1142 0 0 0 6369 5646 0 0 15 0 1 0 1788120236 12484608 1112 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3048 1112 413 48 0 3000 0
[pid=2437] vsize: 12192
Current children cumulated CPU time (s) 120.18
Current children cumulated vsize (Kb) 14320

[startup+250.017 s]
Raw data (loadavg): 1.23 1.14 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1145 0 0 0 6653 5877 0 0 15 0 1 0 1788120236 12484608 1115 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3048 1115 413 48 0 3000 0
[pid=2437] vsize: 12192
Current children cumulated CPU time (s) 125.33
Current children cumulated vsize (Kb) 14320

[startup+260.018 s]
Raw data (loadavg): 1.20 1.14 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1148 0 0 0 6931 6108 0 0 15 0 1 0 1788120236 12484608 1118 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3048 1118 413 48 0 3000 0
[pid=2437] vsize: 12192
Current children cumulated CPU time (s) 130.42
Current children cumulated vsize (Kb) 14320

[startup+270.019 s]
Raw data (loadavg): 1.16 1.14 1.04 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1155 0 0 0 7185 6350 0 0 15 0 1 0 1788120236 12484608 1125 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3048 1125 413 48 0 3000 0
[pid=2437] vsize: 12192
Current children cumulated CPU time (s) 135.38
Current children cumulated vsize (Kb) 14320

[startup+280.02 s]
Raw data (loadavg): 1.22 1.15 1.05 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1157 0 0 0 7391 6603 0 0 15 0 1 0 1788120236 12484608 1127 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3048 1127 413 48 0 3000 0
[pid=2437] vsize: 12192
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 14320

[startup+290.022 s]
Raw data (loadavg): 1.26 1.16 1.05 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1162 0 0 0 7702 6832 0 0 15 0 1 0 1788120236 12484608 1132 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3048 1132 413 48 0 3000 0
[pid=2437] vsize: 12192
Current children cumulated CPU time (s) 145.37
Current children cumulated vsize (Kb) 14320

[startup+300.022 s]
Raw data (loadavg): 1.22 1.15 1.05 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1171 0 0 0 8008 7044 0 0 16 0 1 0 1788120236 12484608 1141 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3048 1141 413 48 0 3000 0
[pid=2437] vsize: 12192
Current children cumulated CPU time (s) 150.55
Current children cumulated vsize (Kb) 14320

[startup+310.023 s]
Raw data (loadavg): 1.18 1.15 1.05 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1174 0 0 0 8317 7270 0 0 16 0 1 0 1788120236 12587008 1144 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3073 1144 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 155.9
Current children cumulated vsize (Kb) 14420

[startup+320.024 s]
Raw data (loadavg): 1.16 1.14 1.05 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1175 0 0 0 8608 7505 0 0 15 0 1 0 1788120236 12587008 1145 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3073 1145 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 161.16
Current children cumulated vsize (Kb) 14420

[startup+330.025 s]
Raw data (loadavg): 1.21 1.15 1.05 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1178 0 0 0 8882 7747 0 0 16 0 1 0 1788120236 12587008 1148 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3073 1148 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 166.32
Current children cumulated vsize (Kb) 14420

[startup+340.025 s]
Raw data (loadavg): 1.33 1.18 1.06 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1181 0 0 0 9058 7989 0 0 15 0 1 0 1788120236 12587008 1151 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3073 1151 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 170.5
Current children cumulated vsize (Kb) 14420

[startup+350.026 s]
Raw data (loadavg): 1.36 1.19 1.07 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1188 0 0 0 9327 8213 0 0 15 0 1 0 1788120236 12587008 1158 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3073 1158 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 175.43
Current children cumulated vsize (Kb) 14420

[startup+360.026 s]
Raw data (loadavg): 1.30 1.18 1.06 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1196 0 0 0 9642 8439 0 0 15 0 1 0 1788120236 12587008 1166 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3073 1166 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 180.84
Current children cumulated vsize (Kb) 14420

[startup+370.027 s]
Raw data (loadavg): 1.25 1.18 1.06 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1199 0 0 0 9942 8664 0 0 15 0 1 0 1788120236 12587008 1169 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3073 1169 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 186.09
Current children cumulated vsize (Kb) 14420

[startup+380.028 s]
Raw data (loadavg): 1.29 1.19 1.07 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1201 0 0 0 10230 8888 0 0 15 0 1 0 1788120236 12587008 1171 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3073 1171 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 191.21
Current children cumulated vsize (Kb) 14420

[startup+390.029 s]
Raw data (loadavg): 1.25 1.18 1.07 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1205 0 0 0 10534 9109 0 0 15 0 1 0 1788120236 12587008 1175 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3073 1175 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 196.46
Current children cumulated vsize (Kb) 14420

[startup+400.03 s]
Raw data (loadavg): 1.29 1.19 1.07 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1210 0 0 0 10730 9367 0 0 15 0 1 0 1788120236 12587008 1180 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3073 1180 413 48 0 3025 0
[pid=2437] vsize: 12292
Current children cumulated CPU time (s) 201
Current children cumulated vsize (Kb) 14420

[startup+410.03 s]
Raw data (loadavg): 1.33 1.20 1.08 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1213 0 0 0 10997 9602 0 0 15 0 1 0 1788120236 12664832 1183 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3092 1183 413 48 0 3044 0
[pid=2437] vsize: 12368
Current children cumulated CPU time (s) 206.02
Current children cumulated vsize (Kb) 14496

[startup+420.031 s]
Raw data (loadavg): 1.27 1.19 1.08 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1220 0 0 0 11309 9829 0 0 15 0 1 0 1788120236 12664832 1190 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3092 1190 413 48 0 3044 0
[pid=2437] vsize: 12368
Current children cumulated CPU time (s) 211.41
Current children cumulated vsize (Kb) 14496

[startup+430.031 s]
Raw data (loadavg): 1.31 1.20 1.08 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1220 0 0 0 11592 10065 0 0 15 0 1 0 1788120236 12664832 1190 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3092 1190 413 48 0 3044 0
[pid=2437] vsize: 12368
Current children cumulated CPU time (s) 216.6
Current children cumulated vsize (Kb) 14496

[startup+440.033 s]
Raw data (loadavg): 1.26 1.20 1.08 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1225 0 0 0 11903 10284 0 0 15 0 1 0 1788120236 12664832 1195 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3092 1195 413 48 0 3044 0
[pid=2437] vsize: 12368
Current children cumulated CPU time (s) 221.9
Current children cumulated vsize (Kb) 14496

[startup+450.034 s]
Raw data (loadavg): 1.29 1.20 1.08 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1225 0 0 0 12193 10513 0 0 15 0 1 0 1788120236 12664832 1195 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3092 1195 413 48 0 3044 0
[pid=2437] vsize: 12368
Current children cumulated CPU time (s) 227.09
Current children cumulated vsize (Kb) 14496

[startup+460.034 s]
Raw data (loadavg): 1.25 1.20 1.08 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1232 0 0 0 12531 10724 0 0 15 0 1 0 1788120236 12664832 1202 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3092 1202 413 48 0 3044 0
[pid=2437] vsize: 12368
Current children cumulated CPU time (s) 232.58
Current children cumulated vsize (Kb) 14496

[startup+470.036 s]
Raw data (loadavg): 1.36 1.22 1.09 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1234 0 0 0 12674 10997 0 0 15 0 1 0 1788120236 12808192 1204 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3127 1204 413 48 0 3079 0
[pid=2437] vsize: 12508
Current children cumulated CPU time (s) 236.74
Current children cumulated vsize (Kb) 14636

[startup+480.036 s]
Raw data (loadavg): 1.31 1.22 1.09 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1239 0 0 0 12990 11225 0 0 16 0 1 0 1788120236 12734464 1209 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3109 1209 413 48 0 3061 0
[pid=2437] vsize: 12436
Current children cumulated CPU time (s) 242.18
Current children cumulated vsize (Kb) 14564

[startup+490.038 s]
Raw data (loadavg): 1.34 1.22 1.09 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1250 0 0 0 13298 11455 0 0 15 0 1 0 1788120236 12734464 1220 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3109 1220 413 48 0 3061 0
[pid=2437] vsize: 12436
Current children cumulated CPU time (s) 247.56
Current children cumulated vsize (Kb) 14564

[startup+500.039 s]
Raw data (loadavg): 1.37 1.23 1.10 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1253 0 0 0 13606 11682 0 0 15 0 1 0 1788120236 12734464 1223 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3109 1223 413 48 0 3061 0
[pid=2437] vsize: 12436
Current children cumulated CPU time (s) 252.91
Current children cumulated vsize (Kb) 14564

[startup+510.04 s]
Raw data (loadavg): 1.39 1.24 1.10 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1255 0 0 0 13946 11890 0 0 15 0 1 0 1788120236 12734464 1225 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3109 1225 413 48 0 3061 0
[pid=2437] vsize: 12436
Current children cumulated CPU time (s) 258.39
Current children cumulated vsize (Kb) 14564

[startup+520.04 s]
Raw data (loadavg): 1.41 1.25 1.10 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1261 0 0 0 14271 12104 0 0 15 0 1 0 1788120236 12734464 1231 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3109 1231 413 48 0 3061 0
[pid=2437] vsize: 12436
Current children cumulated CPU time (s) 263.78
Current children cumulated vsize (Kb) 14564

[startup+530.041 s]
Raw data (loadavg): 1.43 1.26 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1263 0 0 0 14438 12360 0 0 15 0 1 0 1788120236 12734464 1233 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3109 1233 413 48 0 3061 0
[pid=2437] vsize: 12436
Current children cumulated CPU time (s) 268.01
Current children cumulated vsize (Kb) 14564

[startup+540.042 s]
Raw data (loadavg): 1.36 1.25 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1264 0 0 0 14699 12594 0 0 15 0 1 0 1788120236 12808192 1234 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3127 1234 413 48 0 3079 0
[pid=2437] vsize: 12508
Current children cumulated CPU time (s) 272.96
Current children cumulated vsize (Kb) 14636

[startup+550.042 s]
Raw data (loadavg): 1.38 1.26 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1265 0 0 0 15034 12805 0 0 15 0 1 0 1788120236 12808192 1235 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3127 1235 413 48 0 3079 0
[pid=2437] vsize: 12508
Current children cumulated CPU time (s) 278.42
Current children cumulated vsize (Kb) 14636

[startup+560.043 s]
Raw data (loadavg): 1.32 1.25 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1281 0 0 0 15358 13023 0 0 15 0 1 0 1788120236 12808192 1251 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3127 1251 413 48 0 3079 0
[pid=2437] vsize: 12508
Current children cumulated CPU time (s) 283.84
Current children cumulated vsize (Kb) 14636

[startup+570.043 s]
Raw data (loadavg): 1.43 1.27 1.12 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1285 0 0 0 15680 13231 0 0 15 0 1 0 1788120236 12808192 1255 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3127 1255 413 48 0 3079 0
[pid=2437] vsize: 12508
Current children cumulated CPU time (s) 289.14
Current children cumulated vsize (Kb) 14636

[startup+580.044 s]
Raw data (loadavg): 1.36 1.26 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1286 0 0 0 15975 13461 0 0 15 0 1 0 1788120236 12808192 1256 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3127 1256 413 48 0 3079 0
[pid=2437] vsize: 12508
Current children cumulated CPU time (s) 294.39
Current children cumulated vsize (Kb) 14636

[startup+590.045 s]
Raw data (loadavg): 1.31 1.25 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1289 0 0 0 16298 13678 0 0 15 0 1 0 1788120236 12808192 1259 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3127 1259 413 48 0 3079 0
[pid=2437] vsize: 12508
Current children cumulated CPU time (s) 299.79
Current children cumulated vsize (Kb) 14636

[startup+600.047 s]
Raw data (loadavg): 1.26 1.25 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1291 0 0 0 16444 13943 0 0 15 0 1 0 1788120236 12877824 1261 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3144 1261 413 48 0 3096 0
[pid=2437] vsize: 12576
Current children cumulated CPU time (s) 303.9
Current children cumulated vsize (Kb) 14704

[startup+610.048 s]
Raw data (loadavg): 1.22 1.24 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1298 0 0 0 16765 14160 0 0 16 0 1 0 1788120236 12877824 1268 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3144 1268 413 48 0 3096 0
[pid=2437] vsize: 12576
Current children cumulated CPU time (s) 309.28
Current children cumulated vsize (Kb) 14704

[startup+620.048 s]
Raw data (loadavg): 1.26 1.24 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1303 0 0 0 17097 14381 0 0 15 0 1 0 1788120236 12877824 1273 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3144 1273 413 48 0 3096 0
[pid=2437] vsize: 12576
Current children cumulated CPU time (s) 314.81
Current children cumulated vsize (Kb) 14704

[startup+630.049 s]
Raw data (loadavg): 1.22 1.24 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1303 0 0 0 17378 14608 0 0 16 0 1 0 1788120236 12877824 1273 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3144 1273 413 48 0 3096 0
[pid=2437] vsize: 12576
Current children cumulated CPU time (s) 319.89
Current children cumulated vsize (Kb) 14704

[startup+640.049 s]
Raw data (loadavg): 1.26 1.24 1.11 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1307 0 0 0 17688 14827 0 0 16 0 1 0 1788120236 12877824 1277 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3144 1277 413 48 0 3096 0
[pid=2437] vsize: 12576
Current children cumulated CPU time (s) 325.18
Current children cumulated vsize (Kb) 14704

[startup+650.05 s]
Raw data (loadavg): 1.30 1.25 1.12 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1311 0 0 0 17996 15055 0 0 15 0 1 0 1788120236 12877824 1281 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3144 1281 413 48 0 3096 0
[pid=2437] vsize: 12576
Current children cumulated CPU time (s) 330.54
Current children cumulated vsize (Kb) 14704

[startup+660.05 s]
Raw data (loadavg): 1.33 1.26 1.12 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1316 0 0 0 18293 15286 0 0 16 0 1 0 1788120236 12877824 1286 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3144 1286 413 48 0 3096 0
[pid=2437] vsize: 12576
Current children cumulated CPU time (s) 335.82
Current children cumulated vsize (Kb) 14704

[startup+670.051 s]
Raw data (loadavg): 1.27 1.25 1.12 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1321 0 0 0 18522 15527 0 0 15 0 1 0 1788120236 13012992 1291 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2437/statm): 3177 1291 413 48 0 3129 0
[pid=2437] vsize: 12708
Current children cumulated CPU time (s) 340.52
Current children cumulated vsize (Kb) 14836

[startup+680.052 s]
Raw data (loadavg): 1.23 1.24 1.12 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1324 0 0 0 18756 15759 0 0 15 0 1 0 1788120236 12976128 1294 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3168 1294 413 48 0 3120 0
[pid=2437] vsize: 12672
Current children cumulated CPU time (s) 345.18
Current children cumulated vsize (Kb) 14800

[startup+690.053 s]
Raw data (loadavg): 1.20 1.23 1.11 2/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) R 2434 2434 22582 0 -1 0 1325 0 0 0 19076 15977 0 0 16 0 1 0 1788120236 12976128 1295 4294967295 134512640 134702520 3221223968 3221223484 1074652315 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3168 1295 413 48 0 3120 0
[pid=2437] vsize: 12672
Current children cumulated CPU time (s) 350.56
Current children cumulated vsize (Kb) 14800

[startup+700.054 s]
Raw data (loadavg): 1.32 1.26 1.12 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1329 0 0 0 19394 16195 0 0 15 0 1 0 1788120236 12976128 1299 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3168 1299 413 48 0 3120 0
[pid=2437] vsize: 12672
Current children cumulated CPU time (s) 355.92
Current children cumulated vsize (Kb) 14800

[startup+710.054 s]
Raw data (loadavg): 1.34 1.26 1.13 1/57 2437
Raw data (/proc/2434/stat): 2434 (vallstSAT2005PB) S 2433 2434 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1788120229 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2434/statm): 532 242 485 147 0 385 0
[pid=2434] vsize: 2128
Raw data (/proc/2437/stat): 2437 (vallst) T 2434 2434 22582 0 -1 0 1360 0 0 0 19697 16409 0 0 15 0 1 0 1788120236 12976128 1330 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2437/statm): 3168 1330 413 48 0 3120 0
[pid=2437] vsize: 12672
Current children cumulated CPU time (s) 361.09
Current children cumulated vsize (Kb) 14800
One traced child (pid=2437) exited with status: 1
New process pid=2438
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=2438) exited with status: 0
New process pid=2439
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=2439) exited with status: 0
New process pid=2440
New process pid=2441
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=2441) exited with status: 0
One traced child (pid=2440) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=2442
New process pid=2443
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
execve syscall for /usr/bin/tail executable
execve syscall for /bin/sed 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 /etc/ld.so.preload
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file mmx/libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file libm.so.6
open syscall for file i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.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/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /lib/tls/libc.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=2442) exited with status: 0
One traced child (pid=2443) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=2444
New process pid=2445
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/13967/stat
open syscall for file /proc/13967/status
open syscall for file /proc/13967/cmdline
open syscall for file /proc/13967/environ
open syscall for file /proc/9077/stat
open syscall for file /proc/9077/status
open syscall for file /proc/9077/cmdline
open syscall for file /proc/9077/environ
open syscall for file /proc/9104/stat
open syscall for file /proc/9104/status
open syscall for file /proc/9104/cmdline
open syscall for file /proc/9104/environ
open syscall for file /proc/9128/stat
open syscall for file /proc/9128/status
open syscall for file /proc/9128/cmdline
open syscall for file /proc/9128/environ
open syscall for file /proc/17043/stat
open syscall for file /proc/17043/status
open syscall for file /proc/17043/cmdline
open syscall for file /proc/17043/environ
open syscall for file /proc/17049/stat
open syscall for file /proc/17049/status
open syscall for file /proc/17049/cmdline
open syscall for file /proc/17049/environ
open syscall for file /proc/2284/stat
open syscall for file /proc/2284/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/2284/cmdline
open syscall for file /proc/2284/environ
open syscall for file /proc/2319/stat
open syscall for file /proc/2319/status
open syscall for file /proc/2319/cmdline
open syscall for file /proc/2319/environ
open syscall for file /proc/22582/stat
open syscall for file /proc/22582/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/22582/cmdline
open syscall for file /proc/22582/environ
open syscall for file /proc/22583/stat
open syscall for file /proc/22583/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/22583/cmdline
open syscall for file /proc/22583/environ
open syscall for file /proc/22592/stat
open syscall for file /proc/22592/status
open syscall for file /proc/22592/cmdline
open syscall for file /proc/22592/environ
open syscall for file /proc/2397/stat
open syscall for file /proc/2397/status
open syscall for file /proc/2397/cmdline
open syscall for file /proc/2397/environ
open syscall for file /proc/2433/stat
open syscall for file /proc/2433/status
open syscall for file /proc/2433/cmdline
open syscall for file /proc/2433/environ
open syscall for file /proc/2434/stat
open syscall for file /proc/2434/status
open syscall for file /proc/2434/cmdline
open syscall for file /proc/2434/environ
open syscall for file /proc/2444/stat
open syscall for file /proc/2444/status
open syscall for file /proc/2444/cmdline
open syscall for file /proc/2444/environ
open syscall for file /proc/2445/stat
open syscall for file /proc/2445/status
open syscall for file /proc/2445/cmdline
open syscall for file /proc/2445/environ
One traced child (pid=2444) exited with status: 0
One traced child (pid=2445) exited with status: 0
New process pid=2446
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=2446) exited with status: 0
New process pid=2447
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=2447) exited with status: 0
One traced child (pid=2434) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 718.389
CPU time (s): 365.616
CPU user time (s): 199.537
CPU system time (s): 166.08
CPU usage (%): 50.8939
Max. virtual memory (cumulated for all children) (Kb): 14836

Verifier Data

Verifier:	OK	0