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-13.opb
MD5SUM4caec1e880871fcef3276cf001aca352
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 104
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 benchmark22.9405
Number of variables4632
Total number of constraints35596
Number of constraints which are clauses29940
Number of constraints which are cardinality constraints (but not clauses)5578
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint1
Maximum length of a constraint29

Trace number 3616

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-19 02:30:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7420 boxname=wulflinc31 idbench=388 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-13.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-13.opb 0
IDLAUNCH: 7420
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        677352 kB
Buffers:         36680 kB
Cached:         289588 kB
SwapCached:       1016 kB
Active:         107364 kB
Inactive:       221620 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        677100 kB
SwapTotal:     2097892 kB
SwapFree:      2096404 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5772 kB
Slab:            22624 kB
Committed_AS:    64340 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 02:43:36 (client local time) WITH STATUS 10 IN 382.675 SECONDS
stats: 7420 0 382.675 10

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 9634915;  #end-nodes: 268353;
#proof improvement attempts: 0;  #restarts: 1179
Current batch, end-nodes: 232 / 374 (374)
#axs: 31138, #non-axs: 3828
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: 4366  (#equs: 0)
Time taken: 6 min, 20 sec
times:
0m0.018s 0m0.013s
3m22.728s 2m57.423s
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 
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/21332/stat): 21332 (vallstSAT2005PB) R 21331 21332 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846272121 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21332/statm): 174 3 169 147 0 27 0
[pid=21332] 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=21333
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=21333) exited with status: 0
New process pid=21334
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=21334) exited with status: 0
New process pid=21335
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/wulflinc31/normalized-ppp:1-13.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 0.93 0.98 0.99 1/58 21335
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 889 0 0 0 215 252 0 0 15 0 1 0 1846272128 5738496 859 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 1401 859 413 48 0 1353 0
[pid=21335] vsize: 5604
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (Kb) 7732

[startup+20.0055 s]
Raw data (loadavg): 1.02 1.00 1.00 1/58 21335
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 984 0 0 0 472 492 0 0 15 0 1 0 1846272128 11808768 954 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2883 954 413 48 0 2835 0
[pid=21335] vsize: 11532
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 13660

[startup+30.0064 s]
Raw data (loadavg): 1.02 1.00 1.00 1/58 21337
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 988 0 0 0 754 722 0 0 15 0 1 0 1846272128 11808768 958 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2883 958 413 48 0 2835 0
[pid=21335] vsize: 11532
Current children cumulated CPU time (s) 14.78
Current children cumulated vsize (Kb) 13660

[startup+40.0074 s]
Raw data (loadavg): 1.09 1.02 1.00 1/58 21337
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 989 0 0 0 1055 955 0 0 16 0 1 0 1846272128 11808768 959 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2883 959 413 48 0 2835 0
[pid=21335] vsize: 11532
Current children cumulated CPU time (s) 20.12
Current children cumulated vsize (Kb) 13660

[startup+50.0093 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 21337
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 995 0 0 0 1284 1203 0 0 15 0 1 0 1846272128 11808768 965 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2883 965 413 48 0 2835 0
[pid=21335] vsize: 11532
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (Kb) 13660

[startup+60.0092 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 21337
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 999 0 0 0 1472 1460 0 0 15 0 1 0 1846272128 11808768 969 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2883 969 413 48 0 2835 0
[pid=21335] vsize: 11532
Current children cumulated CPU time (s) 29.34
Current children cumulated vsize (Kb) 13660

[startup+70.0102 s]
Raw data (loadavg): 1.13 1.03 1.01 1/58 21337
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1008 0 0 0 1750 1686 0 0 16 0 1 0 1846272128 11886592 978 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2902 978 413 48 0 2854 0
[pid=21335] vsize: 11608
Current children cumulated CPU time (s) 34.38
Current children cumulated vsize (Kb) 13736

[startup+80.0111 s]
Raw data (loadavg): 1.11 1.03 1.01 1/58 21337
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1018 0 0 0 2047 1916 0 0 15 0 1 0 1846272128 11886592 988 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2902 988 413 48 0 2854 0
[pid=21335] vsize: 11608
Current children cumulated CPU time (s) 39.65
Current children cumulated vsize (Kb) 13736

[startup+90.012 s]
Raw data (loadavg): 1.17 1.04 1.01 1/58 21339
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1031 0 0 0 2342 2142 0 0 15 0 1 0 1846272128 12029952 1001 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2937 1001 413 48 0 2889 0
[pid=21335] vsize: 11748
Current children cumulated CPU time (s) 44.86
Current children cumulated vsize (Kb) 13876

[startup+100.013 s]
Raw data (loadavg): 1.22 1.06 1.02 1/58 21339
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1036 0 0 0 2578 2391 0 0 15 0 1 0 1846272128 11976704 1006 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2924 1006 413 48 0 2876 0
[pid=21335] vsize: 11696
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (Kb) 13824

[startup+110.014 s]
Raw data (loadavg): 1.27 1.07 1.02 1/58 21339
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1040 0 0 0 2770 2637 0 0 15 0 1 0 1846272128 11976704 1010 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2924 1010 413 48 0 2876 0
[pid=21335] vsize: 11696
Current children cumulated CPU time (s) 54.09
Current children cumulated vsize (Kb) 13824

[startup+120.015 s]
Raw data (loadavg): 1.23 1.07 1.02 1/58 21339
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1045 0 0 0 3049 2877 0 0 15 0 1 0 1846272128 11976704 1015 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2924 1015 413 48 0 2876 0
[pid=21335] vsize: 11696
Current children cumulated CPU time (s) 59.28
Current children cumulated vsize (Kb) 13824

[startup+130.016 s]
Raw data (loadavg): 1.26 1.08 1.02 1/58 21339
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1052 0 0 0 3329 3114 0 0 16 0 1 0 1846272128 11976704 1022 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2924 1022 413 48 0 2876 0
[pid=21335] vsize: 11696
Current children cumulated CPU time (s) 64.45
Current children cumulated vsize (Kb) 13824

[startup+140.018 s]
Raw data (loadavg): 1.22 1.08 1.02 1/58 21339
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1059 0 0 0 3610 3352 0 0 15 0 1 0 1846272128 12058624 1029 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2944 1029 413 48 0 2896 0
[pid=21335] vsize: 11776
Current children cumulated CPU time (s) 69.64
Current children cumulated vsize (Kb) 13904

[startup+150.019 s]
Raw data (loadavg): 1.19 1.08 1.02 1/58 21341
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1072 0 0 0 3893 3586 0 0 15 0 1 0 1846272128 12058624 1042 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2944 1042 413 48 0 2896 0
[pid=21335] vsize: 11776
Current children cumulated CPU time (s) 74.81
Current children cumulated vsize (Kb) 13904

[startup+160.02 s]
Raw data (loadavg): 1.23 1.09 1.03 1/58 21341
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1073 0 0 0 4031 3855 0 0 16 0 1 0 1846272128 12058624 1043 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2944 1043 413 48 0 2896 0
[pid=21335] vsize: 11776
Current children cumulated CPU time (s) 78.88
Current children cumulated vsize (Kb) 13904

[startup+170.02 s]
Raw data (loadavg): 1.20 1.09 1.02 1/58 21341
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1079 0 0 0 4322 4091 0 0 16 0 1 0 1846272128 12058624 1049 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2944 1049 413 48 0 2896 0
[pid=21335] vsize: 11776
Current children cumulated CPU time (s) 84.15
Current children cumulated vsize (Kb) 13904

[startup+180.021 s]
Raw data (loadavg): 1.17 1.08 1.02 1/58 21341
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1087 0 0 0 4626 4309 0 0 15 0 1 0 1846272128 12058624 1057 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2944 1057 413 48 0 2896 0
[pid=21335] vsize: 11776
Current children cumulated CPU time (s) 89.37
Current children cumulated vsize (Kb) 13904

[startup+190.023 s]
Raw data (loadavg): 1.14 1.08 1.02 1/58 21341
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1094 0 0 0 4902 4541 0 0 15 0 1 0 1846272128 12140544 1064 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2964 1064 413 48 0 2916 0
[pid=21335] vsize: 11856
Current children cumulated CPU time (s) 94.45
Current children cumulated vsize (Kb) 13984

[startup+200.024 s]
Raw data (loadavg): 1.20 1.09 1.03 1/58 21341
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1096 0 0 0 5192 4767 0 0 15 0 1 0 1846272128 12140544 1066 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2964 1066 413 48 0 2916 0
[pid=21335] vsize: 11856
Current children cumulated CPU time (s) 99.61
Current children cumulated vsize (Kb) 13984

[startup+210.025 s]
Raw data (loadavg): 1.17 1.09 1.03 1/58 21343
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1098 0 0 0 5400 5021 0 0 15 0 1 0 1846272128 12140544 1068 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2964 1068 413 48 0 2916 0
[pid=21335] vsize: 11856
Current children cumulated CPU time (s) 104.23
Current children cumulated vsize (Kb) 13984

[startup+220.027 s]
Raw data (loadavg): 1.22 1.10 1.03 1/58 21343
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1101 0 0 0 5627 5275 0 0 16 0 1 0 1846272128 12140544 1071 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2964 1071 413 48 0 2916 0
[pid=21335] vsize: 11856
Current children cumulated CPU time (s) 109.04
Current children cumulated vsize (Kb) 13984

[startup+230.028 s]
Raw data (loadavg): 1.19 1.10 1.03 1/58 21343
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1107 0 0 0 5904 5510 0 0 15 0 1 0 1846272128 12140544 1077 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2964 1077 413 48 0 2916 0
[pid=21335] vsize: 11856
Current children cumulated CPU time (s) 114.16
Current children cumulated vsize (Kb) 13984

[startup+240.03 s]
Raw data (loadavg): 1.16 1.10 1.03 1/58 21343
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1117 0 0 0 6199 5737 0 0 15 0 1 0 1846272128 12222464 1087 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2984 1087 413 48 0 2936 0
[pid=21335] vsize: 11936
Current children cumulated CPU time (s) 119.38
Current children cumulated vsize (Kb) 14064

[startup+250.032 s]
Raw data (loadavg): 1.13 1.09 1.03 1/58 21343
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1123 0 0 0 6485 5973 0 0 16 0 1 0 1846272128 12222464 1093 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2984 1093 413 48 0 2936 0
[pid=21335] vsize: 11936
Current children cumulated CPU time (s) 124.6
Current children cumulated vsize (Kb) 14064

[startup+260.032 s]
Raw data (loadavg): 1.18 1.10 1.03 1/58 21343
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1129 0 0 0 6794 6193 0 0 15 0 1 0 1846272128 12222464 1099 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2984 1099 413 48 0 2936 0
[pid=21335] vsize: 11936
Current children cumulated CPU time (s) 129.89
Current children cumulated vsize (Kb) 14064

[startup+270.033 s]
Raw data (loadavg): 1.16 1.10 1.03 1/58 21345
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1130 0 0 0 6942 6461 0 0 15 0 1 0 1846272128 12222464 1100 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 2984 1100 413 48 0 2936 0
[pid=21335] vsize: 11936
Current children cumulated CPU time (s) 134.05
Current children cumulated vsize (Kb) 14064

[startup+280.034 s]
Raw data (loadavg): 1.13 1.10 1.03 1/58 21345
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1133 0 0 0 7238 6681 0 0 16 0 1 0 1846272128 12222464 1103 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2984 1103 413 48 0 2936 0
[pid=21335] vsize: 11936
Current children cumulated CPU time (s) 139.21
Current children cumulated vsize (Kb) 14064

[startup+290.035 s]
Raw data (loadavg): 1.11 1.09 1.03 1/58 21345
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1138 0 0 0 7529 6915 0 0 15 0 1 0 1846272128 12222464 1108 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 2984 1108 413 48 0 2936 0
[pid=21335] vsize: 11936
Current children cumulated CPU time (s) 144.46
Current children cumulated vsize (Kb) 14064

[startup+300.036 s]
Raw data (loadavg): 1.17 1.11 1.03 1/58 21345
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1139 0 0 0 7818 7145 0 0 15 0 1 0 1846272128 12300288 1109 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3003 1109 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 149.65
Current children cumulated vsize (Kb) 14140

[startup+310.037 s]
Raw data (loadavg): 1.15 1.10 1.03 1/58 21345
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1148 0 0 0 8104 7374 0 0 16 0 1 0 1846272128 12300288 1118 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3003 1118 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 154.8
Current children cumulated vsize (Kb) 14140

[startup+320.038 s]
Raw data (loadavg): 1.12 1.10 1.03 1/58 21345
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1151 0 0 0 8372 7614 0 0 16 0 1 0 1846272128 12300288 1121 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3003 1121 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 159.88
Current children cumulated vsize (Kb) 14140

[startup+330.038 s]
Raw data (loadavg): 1.18 1.11 1.04 1/58 21347
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1153 0 0 0 8582 7874 0 0 15 0 1 0 1846272128 12300288 1123 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3003 1123 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 164.58
Current children cumulated vsize (Kb) 14140

[startup+340.04 s]
Raw data (loadavg): 1.23 1.12 1.04 1/58 21347
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1155 0 0 0 8804 8120 0 0 16 0 1 0 1846272128 12300288 1125 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3003 1125 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 169.26
Current children cumulated vsize (Kb) 14140

[startup+350.041 s]
Raw data (loadavg): 1.19 1.12 1.04 1/58 21347
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1163 0 0 0 9103 8347 0 0 15 0 1 0 1846272128 12300288 1133 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3003 1133 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 174.52
Current children cumulated vsize (Kb) 14140

[startup+360.042 s]
Raw data (loadavg): 1.24 1.13 1.04 1/58 21347
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1167 0 0 0 9389 8581 0 0 15 0 1 0 1846272128 12300288 1137 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3003 1137 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 179.72
Current children cumulated vsize (Kb) 14140

[startup+370.044 s]
Raw data (loadavg): 1.20 1.12 1.04 1/58 21347
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1168 0 0 0 9671 8814 0 0 15 0 1 0 1846272128 12300288 1138 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3003 1138 413 48 0 2955 0
[pid=21335] vsize: 12012
Current children cumulated CPU time (s) 184.87
Current children cumulated vsize (Kb) 14140

[startup+380.045 s]
Raw data (loadavg): 1.17 1.12 1.04 1/58 21347
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1172 0 0 0 9975 9039 0 0 15 0 1 0 1846272128 12390400 1142 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3025 1142 413 48 0 2977 0
[pid=21335] vsize: 12100
Current children cumulated CPU time (s) 190.16
Current children cumulated vsize (Kb) 14228

[startup+390.049 s]
Raw data (loadavg): 1.22 1.13 1.05 1/58 21349
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1175 0 0 0 10237 9276 0 0 15 0 1 0 1846272128 12390400 1145 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3025 1145 413 48 0 2977 0
[pid=21335] vsize: 12100
Current children cumulated CPU time (s) 195.15
Current children cumulated vsize (Kb) 14228

[startup+400.05 s]
Raw data (loadavg): 1.18 1.13 1.04 1/58 21349
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1177 0 0 0 10411 9539 0 0 16 0 1 0 1846272128 12390400 1147 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3025 1147 413 48 0 2977 0
[pid=21335] vsize: 12100
Current children cumulated CPU time (s) 199.52
Current children cumulated vsize (Kb) 14228

[startup+410.05 s]
Raw data (loadavg): 1.23 1.14 1.05 1/58 21349
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1183 0 0 0 10710 9765 0 0 15 0 1 0 1846272128 12390400 1153 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3025 1153 413 48 0 2977 0
[pid=21335] vsize: 12100
Current children cumulated CPU time (s) 204.77
Current children cumulated vsize (Kb) 14228

[startup+420.052 s]
Raw data (loadavg): 1.27 1.15 1.05 1/58 21349
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1189 0 0 0 10998 9997 0 0 15 0 1 0 1846272128 12390400 1159 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3025 1159 413 48 0 2977 0
[pid=21335] vsize: 12100
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 14228

[startup+430.053 s]
Raw data (loadavg): 1.23 1.14 1.05 1/58 21349
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1192 0 0 0 11277 10234 0 0 16 0 1 0 1846272128 12390400 1162 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3025 1162 413 48 0 2977 0
[pid=21335] vsize: 12100
Current children cumulated CPU time (s) 215.13
Current children cumulated vsize (Kb) 14228

[startup+440.054 s]
Raw data (loadavg): 1.19 1.14 1.05 1/58 21349
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1195 0 0 0 11574 10464 0 0 15 0 1 0 1846272128 12390400 1165 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3025 1165 413 48 0 2977 0
[pid=21335] vsize: 12100
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (Kb) 14228

[startup+450.055 s]
Raw data (loadavg): 1.16 1.13 1.05 1/58 21351
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1198 0 0 0 11855 10699 0 0 15 0 1 0 1846272128 12472320 1168 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3045 1168 413 48 0 2997 0
[pid=21335] vsize: 12180
Current children cumulated CPU time (s) 225.56
Current children cumulated vsize (Kb) 14308

[startup+460.056 s]
Raw data (loadavg): 1.14 1.13 1.05 1/58 21351
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1200 0 0 0 12084 10953 0 0 15 0 1 0 1846272128 12472320 1170 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3045 1170 413 48 0 2997 0
[pid=21335] vsize: 12180
Current children cumulated CPU time (s) 230.39
Current children cumulated vsize (Kb) 14308

[startup+470.057 s]
Raw data (loadavg): 1.12 1.12 1.05 1/58 21351
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1203 0 0 0 12287 11209 0 0 15 0 1 0 1846272128 12472320 1173 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3045 1173 413 48 0 2997 0
[pid=21335] vsize: 12180
Current children cumulated CPU time (s) 234.98
Current children cumulated vsize (Kb) 14308

[startup+480.058 s]
Raw data (loadavg): 1.10 1.12 1.05 1/58 21351
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1220 0 0 0 12568 11438 0 0 15 0 1 0 1846272128 12472320 1190 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3045 1190 413 48 0 2997 0
[pid=21335] vsize: 12180
Current children cumulated CPU time (s) 240.08
Current children cumulated vsize (Kb) 14308

[startup+490.059 s]
Raw data (loadavg): 1.08 1.12 1.05 2/58 21351
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) R 21332 21332 9102 0 -1 0 1227 0 0 0 12870 11660 0 0 16 0 1 0 1846272128 12472320 1197 4294967295 134512640 134702520 3221223968 3221223552 134558601 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3045 1197 413 48 0 2997 0
[pid=21335] vsize: 12180
Current children cumulated CPU time (s) 245.32
Current children cumulated vsize (Kb) 14308

[startup+500.06 s]
Raw data (loadavg): 1.07 1.11 1.05 1/58 21351
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1229 0 0 0 13169 11889 0 0 15 0 1 0 1846272128 12472320 1199 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3045 1199 413 48 0 2997 0
[pid=21335] vsize: 12180
Current children cumulated CPU time (s) 250.6
Current children cumulated vsize (Kb) 14308

[startup+510.061 s]
Raw data (loadavg): 1.13 1.12 1.05 1/58 21353
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1233 0 0 0 13455 12130 0 0 15 0 1 0 1846272128 12554240 1203 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3065 1203 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 255.87
Current children cumulated vsize (Kb) 14388

[startup+520.062 s]
Raw data (loadavg): 1.18 1.14 1.05 2/58 21353
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) R 21332 21332 9102 0 -1 0 1234 0 0 0 13746 12356 0 0 16 0 1 0 1846272128 12554240 1204 4294967295 134512640 134702520 3221223968 3221103424 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3065 1204 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 261.04
Current children cumulated vsize (Kb) 14388

[startup+530.063 s]
Raw data (loadavg): 1.16 1.13 1.05 1/58 21353
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1237 0 0 0 13906 12617 0 0 16 0 1 0 1846272128 12554240 1207 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3065 1207 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 265.25
Current children cumulated vsize (Kb) 14388

[startup+540.065 s]
Raw data (loadavg): 1.21 1.14 1.06 1/58 21353
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1238 0 0 0 14178 12852 0 0 15 0 1 0 1846272128 12554240 1208 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3065 1208 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 270.32
Current children cumulated vsize (Kb) 14388

[startup+550.067 s]
Raw data (loadavg): 1.25 1.15 1.06 1/58 21353
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1245 0 0 0 14501 13071 0 0 16 0 1 0 1846272128 12554240 1215 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3065 1215 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 275.74
Current children cumulated vsize (Kb) 14388

[startup+560.068 s]
Raw data (loadavg): 1.21 1.15 1.06 1/58 21353
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1249 0 0 0 14796 13301 0 0 15 0 1 0 1846272128 12554240 1219 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3065 1219 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 280.99
Current children cumulated vsize (Kb) 14388

[startup+570.069 s]
Raw data (loadavg): 1.18 1.14 1.06 1/58 21355
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1261 0 0 0 15128 13519 0 0 16 0 1 0 1846272128 12554240 1231 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3065 1231 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 286.49
Current children cumulated vsize (Kb) 14388

[startup+580.07 s]
Raw data (loadavg): 1.22 1.15 1.06 1/58 21355
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1265 0 0 0 15424 13757 0 0 16 0 1 0 1846272128 12554240 1235 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3065 1235 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 291.83
Current children cumulated vsize (Kb) 14388

[startup+590.071 s]
Raw data (loadavg): 1.27 1.16 1.07 1/58 21355
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1265 0 0 0 15629 14010 0 0 15 0 1 0 1846272128 12554240 1235 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3065 1235 413 48 0 3017 0
[pid=21335] vsize: 12260
Current children cumulated CPU time (s) 296.41
Current children cumulated vsize (Kb) 14388

[startup+600.072 s]
Raw data (loadavg): 1.23 1.16 1.07 1/58 21355
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1267 0 0 0 15881 14244 0 0 16 0 1 0 1846272128 12636160 1237 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3085 1237 413 48 0 3037 0
[pid=21335] vsize: 12340
Current children cumulated CPU time (s) 301.27
Current children cumulated vsize (Kb) 14468

[startup+610.073 s]
Raw data (loadavg): 1.27 1.17 1.07 1/58 21355
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1270 0 0 0 16168 14477 0 0 15 0 1 0 1846272128 12636160 1240 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3085 1240 413 48 0 3037 0
[pid=21335] vsize: 12340
Current children cumulated CPU time (s) 306.47
Current children cumulated vsize (Kb) 14468

[startup+620.074 s]
Raw data (loadavg): 1.30 1.18 1.08 1/58 21355
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1274 0 0 0 16461 14710 0 0 15 0 1 0 1846272128 12636160 1244 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3085 1244 413 48 0 3037 0
[pid=21335] vsize: 12340
Current children cumulated CPU time (s) 311.73
Current children cumulated vsize (Kb) 14468

[startup+630.074 s]
Raw data (loadavg): 1.26 1.17 1.08 1/58 21357
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1275 0 0 0 16766 14933 0 0 15 0 1 0 1846272128 12636160 1245 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3085 1245 413 48 0 3037 0
[pid=21335] vsize: 12340
Current children cumulated CPU time (s) 317.01
Current children cumulated vsize (Kb) 14468

[startup+640.076 s]
Raw data (loadavg): 1.22 1.17 1.08 1/58 21357
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1280 0 0 0 17080 15150 0 0 15 0 1 0 1846272128 12636160 1250 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3085 1250 413 48 0 3037 0
[pid=21335] vsize: 12340
Current children cumulated CPU time (s) 322.32
Current children cumulated vsize (Kb) 14468

[startup+650.077 s]
Raw data (loadavg): 1.26 1.18 1.08 1/58 21357
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1283 0 0 0 17392 15374 0 0 15 0 1 0 1846272128 12636160 1253 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3085 1253 413 48 0 3037 0
[pid=21335] vsize: 12340
Current children cumulated CPU time (s) 327.68
Current children cumulated vsize (Kb) 14468

[startup+660.077 s]
Raw data (loadavg): 1.22 1.17 1.08 1/58 21357
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1284 0 0 0 17590 15628 0 0 15 0 1 0 1846272128 12636160 1254 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3085 1254 413 48 0 3037 0
[pid=21335] vsize: 12340
Current children cumulated CPU time (s) 332.2
Current children cumulated vsize (Kb) 14468

[startup+670.079 s]
Raw data (loadavg): 1.18 1.16 1.08 1/58 21357
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1289 0 0 0 17837 15883 0 0 15 0 1 0 1846272128 12722176 1259 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3106 1259 413 48 0 3058 0
[pid=21335] vsize: 12424
Current children cumulated CPU time (s) 337.22
Current children cumulated vsize (Kb) 14552

[startup+680.08 s]
Raw data (loadavg): 1.23 1.18 1.08 1/58 21357
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1293 0 0 0 18130 16113 0 0 15 0 1 0 1846272128 12722176 1263 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3106 1263 413 48 0 3058 0
[pid=21335] vsize: 12424
Current children cumulated CPU time (s) 342.45
Current children cumulated vsize (Kb) 14552

[startup+690.081 s]
Raw data (loadavg): 1.20 1.17 1.08 1/58 21359
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1294 0 0 0 18421 16342 0 0 15 0 1 0 1846272128 12722176 1264 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3106 1264 413 48 0 3058 0
[pid=21335] vsize: 12424
Current children cumulated CPU time (s) 347.65
Current children cumulated vsize (Kb) 14552

[startup+700.082 s]
Raw data (loadavg): 1.17 1.16 1.08 1/58 21359
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1300 0 0 0 18730 16563 0 0 15 0 1 0 1846272128 12722176 1270 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3106 1270 413 48 0 3058 0
[pid=21335] vsize: 12424
Current children cumulated CPU time (s) 352.95
Current children cumulated vsize (Kb) 14552

[startup+710.083 s]
Raw data (loadavg): 1.21 1.17 1.08 1/58 21359
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1304 0 0 0 19048 16777 0 0 15 0 1 0 1846272128 12722176 1274 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3106 1274 413 48 0 3058 0
[pid=21335] vsize: 12424
Current children cumulated CPU time (s) 358.27
Current children cumulated vsize (Kb) 14552

[startup+720.084 s]
Raw data (loadavg): 1.33 1.20 1.09 1/58 21359
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1365 0 0 0 19362 16993 0 0 16 0 1 0 1846272128 12722176 1335 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3106 1335 413 48 0 3058 0
[pid=21335] vsize: 12424
Current children cumulated CPU time (s) 363.57
Current children cumulated vsize (Kb) 14552

[startup+730.085 s]
Raw data (loadavg): 1.36 1.21 1.10 1/58 21359
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1418 0 0 0 19627 17232 0 0 16 0 1 0 1846272128 12722176 1388 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3106 1388 413 48 0 3058 0
[pid=21335] vsize: 12424
Current children cumulated CPU time (s) 368.61
Current children cumulated vsize (Kb) 14552

[startup+740.087 s]
Raw data (loadavg): 1.30 1.20 1.10 1/58 21359
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1420 0 0 0 19837 17480 0 0 15 0 1 0 1846272128 12791808 1390 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21335/statm): 3123 1390 413 48 0 3075 0
[pid=21335] vsize: 12492
Current children cumulated CPU time (s) 373.19
Current children cumulated vsize (Kb) 14620

[startup+750.088 s]
Raw data (loadavg): 1.33 1.21 1.10 1/58 21361
Raw data (/proc/21332/stat): 21332 (vallstSAT2005PB) S 21331 21332 9102 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846272121 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21332/statm): 532 242 485 147 0 385 0
[pid=21332] vsize: 2128
Raw data (/proc/21335/stat): 21335 (vallst) T 21332 21332 9102 0 -1 0 1428 0 0 0 20159 17687 0 0 15 0 1 0 1846272128 12791808 1398 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21335/statm): 3123 1398 413 48 0 3075 0
[pid=21335] vsize: 12492
Current children cumulated CPU time (s) 378.48
Current children cumulated vsize (Kb) 14620
One traced child (pid=21335) exited with status: 1
New process pid=21362
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=21362) exited with status: 0
New process pid=21363
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=21363) exited with status: 0
New process pid=21364
New process pid=21365
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=21365) exited with status: 0
One traced child (pid=21364) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=21366
New process pid=21367
execve syscall for /usr/bin/tail executable
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
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 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 /etc/ld.so.preload
open syscall for file libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.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/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /etc/ld.so.cache
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 /lib/tls/libm.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 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=21366) exited with status: 0
One traced child (pid=21367) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=21368
New process pid=21369
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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/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/31081/stat
open syscall for file /proc/31081/status
open syscall for file /proc/31081/cmdline
open syscall for file /proc/31081/environ
open syscall for file /proc/11861/stat
open syscall for file /proc/11861/status
open syscall for file /proc/11861/cmdline
open syscall for file /proc/11861/environ
open syscall for file /proc/30741/stat
open syscall for file /proc/30741/status
open syscall for file /proc/30741/cmdline
open syscall for file /proc/30741/environ
open syscall for file /proc/30767/stat
open syscall for file /proc/30767/status
open syscall for file /proc/30767/cmdline
open syscall for file /proc/30767/environ
open syscall for file /proc/30794/stat
open syscall for file /proc/30794/status
open syscall for file /proc/30794/cmdline
open syscall for file /proc/30794/environ
open syscall for file /proc/12776/stat
open syscall for file /proc/12776/status
open syscall for file /proc/12776/cmdline
open syscall for file /proc/12776/environ
open syscall for file /proc/12777/stat
open syscall for file /proc/12777/status
open syscall for file /proc/12777/cmdline
open syscall for file /proc/12777/environ
open syscall for file /proc/7700/stat
open syscall for file /proc/7700/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/7700/cmdline
open syscall for file /proc/7700/environ
open syscall for file /proc/7743/stat
open syscall for file /proc/7743/status
open syscall for file /proc/7743/cmdline
open syscall for file /proc/7743/environ
open syscall for file /proc/9102/stat
open syscall for file /proc/9102/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/9102/cmdline
open syscall for file /proc/9102/environ
open syscall for file /proc/9103/stat
open syscall for file /proc/9103/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/9103/cmdline
open syscall for file /proc/9103/environ
open syscall for file /proc/9112/stat
open syscall for file /proc/9112/status
open syscall for file /proc/9112/cmdline
open syscall for file /proc/9112/environ
open syscall for file /proc/21295/stat
open syscall for file /proc/21295/status
open syscall for file /proc/21295/cmdline
open syscall for file /proc/21295/environ
open syscall for file /proc/21331/stat
open syscall for file /proc/21331/status
open syscall for file /proc/21331/cmdline
open syscall for file /proc/21331/environ
open syscall for file /proc/21332/stat
open syscall for file /proc/21332/status
open syscall for file /proc/21332/cmdline
open syscall for file /proc/21332/environ
open syscall for file /proc/21368/stat
open syscall for file /proc/21368/status
open syscall for file /proc/21368/cmdline
open syscall for file /proc/21368/environ
open syscall for file /proc/21369/stat
open syscall for file /proc/21369/status
open syscall for file /proc/21369/cmdline
open syscall for file /proc/21369/environ
One traced child (pid=21368) exited with status: 0
One traced child (pid=21369) exited with status: 0
New process pid=21370
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=21370) exited with status: 0
New process pid=21371
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=21371) exited with status: 0
One traced child (pid=21332) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 757.33
CPU time (s): 382.675
CPU user time (s): 204.196
CPU system time (s): 178.479
CPU usage (%): 50.5295
Max. virtual memory (cumulated for all children) (Kb): 14620

Verifier Data

Verifier:	OK	0