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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUM430910c9a5d64dfdcfdaccb49935c3d0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1931
Optimality of the best value was proved YES
Number of terms in the objective function 3862
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3862
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3862
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark38.2312
Number of variables3862
Total number of constraints16399
Number of constraints which are clauses16399
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint8

Trace number 1831

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-18 17:07:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7162 boxname=wulflinc5 idbench=130 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  430910c9a5d64dfdcfdaccb49935c3d0  /oldhome/oroussel/tmp/wulflinc5/normalized-hanoi5.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc5/normalized-hanoi5.opb 0
IDLAUNCH: 7162
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        924936 kB
Buffers:         33264 kB
Cached:          52588 kB
SwapCached:        780 kB
Active:          56692 kB
Inactive:        31916 kB
HighTotal:      131008 kB
HighFree:        74676 kB
LowTotal:       903652 kB
LowFree:        850260 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15488 kB
Committed_AS:    64284 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:11:52 (client local time) WITH STATUS 30 IN 251.837 SECONDS
stats: 7162 0 251.837 30

Solver Data

1:
seed: 0
Nr of vars set: 710  (#equs: 0)
Nr of vars set: 1228  (#equs: 611)
#decisions: 248818;  #end-nodes: 112276;
#proof improvement attempts: 0;  #restarts: 402
Current batch, end-nodes: 13730 / 14773 (180)
#axs: 16413, #non-axs: 25943
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)
Model found with constant:  1930 (1931:>=*);
#decisions: 20881;  #end-nodes: 14518;
#proof improvement attempts: 0;  #restarts: 11
Current batch, end-nodes: 3981 / 4463 (82)
#axs: 16413, #non-axs: 30452
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
Model found with constant:
  (pushed:) 1930 (1931:>=*)

With an increment of the last pushed constant, a proof of false was found.
result: proof of false found (0)
seed: 0
Nr of vars set: 1922  (#equs: 733)
Time taken: 4 min, 9 sec
times:
0m0.017s 0m0.019s
3m53.607s 0m16.188s
v  x1 -x2 -x3  x4 -x5  x6 -x7  x8 -x9  x10 -x11  x12 -x13  x14 -x15  x16 -x17  x18 -x19  x20 -x21  x22 -x23  x24 -x25  x26  x27 -x28  x29 -x30 -x31  x32 -x33  x34 -x35  x36  x37 -x38 -x39  x40 -x41  x42 -x43  x44 -x45  x46 -x47  x48 -x49  x50 -x51  x52 -x53  x54  x55 -x56 -x57  x58 -x59  x60 -x61  x62 -x63  x64 -x65  x66 -x67  x68 -x69  x70 -x71  x72  x73 -x74 -x75  x76 -x77  x78 -x79  x80 -x81  x82 -x83  x84 -x85  x86 -x87  x88 -x89  x90  x91 -x92 -x93  x94 -x95  x96  x97 -x98 -x99  x100 -x101  x102 -x103  x104 -x105  x106 -x107  x108 -x109  x110 -x111  x112  x113 -x114  x115 -x116 -x117  x118 -x119  x120 -x121  x122  x123 -x124 -x125  x126 -x127  x128 -x129  x130 -x131  x132 -x133  x134 -x135  x136 -x137  x138  x139 -x140 -x141  x142 -x143  x144 -x145  x146 -x147  x148 -x149  x150 -x151  x152 -x153  x154  x155 -x156 -x157  x158 -x159  x160 -x161  x162 -x163  x164 -x165  x166 -x167  x168 -x169  x170  x171 -x172 -x173  x174 -x175  x176 -x177  x178 -x179  x180 -x181  x182 -x183  x184 -x185  x186  x187 -x188 -x189  x190 -x191  x192  x193 -x194 -x195  x196 -x197  x198 -x199  x200 -x201  x202 -x203  x204 -x205  x206 -x207  x208 -x209  x210 -x211  x212 -x213  x214 -x215  x216 -x217  x218 -x219  x220 -x221  x222 -x223  x224  x225 -x226 -x227  x228 -x229  x230  x231 -x232  x233 -x234 -x235  x236 -x237  x238 -x239  x240 -x241  x242 -x243  x244 -x245  x246  x247 -x248 -x249  x250 -x251  x252 -x253  x254 -x255  x256  x257 -x258 -x259  x260 -x261  x262 -x263  x264 -x265  x266 -x267  x268 -x269  x270 -x271  x272 -x273  x274  x275 -x276 -x277  x278 -x279  x280 -x281  x282 -x283  x284 -x285  x286 -x287  x288 -x289  x290 -x291  x292  x293 -x294 -x295  x296 -x297  x298 -x299  x300  x301 -x302 -x303  x304 -x305  x306 -x307  x308 -x309  x310 -x311  x312 -x313  x314  x315 -x316  x317 -x318  x319 -x320 -x321  x322 -x323  x324  x325 -x326  x327 -x328  x329 -x330 -x331  x332 -x333  x334 -x335  x336 -x337  x338 -x339  x340 -x341  x342 -x343  x344 -x345  x346 -x347  x348 -x349  x350 -x351  x352 -x353  x354 -x355  x356 -x357  x358 -x359  x360 -x361  x362 -x363  x364 -x365  x366 -x367  x368  x369 -x370 -x371  x372 -x373  x374 -x375  x376 -x377  x378  x379 -x380 -x381  x382 -x383  x384 -x385  x386 -x387  x388 -x389  x390 -x391  x392 -x393  x394 -x395  x396  x397 -x398 -x399  x400 -x401  x402 -x403  x404 -x405  x406 -x407  x408 -x409  x410 -x411  x412 -x413  x414  x415 -x416 -x417  x418 -x419  x420 -x421  x422 -x423  x424 -x425  x426 -x427  x428 -x429  x430 -x431  x432  x433 -x434 -x435  x436  x437 -x438 -x439  x440  x441 -x442 -x443  x444 -x445  x446 -x447  x448 -x449  x450  x451 -x452 -x453  x454 -x455  x456 -x457  x458 -x459  x460 -x461  x462 -x463  x464 -x465  x466 -x467  x468 -x469  x470 -x471  x472  x473 -x474 -x475  x476 -x477  x478 -x479  x480 -x481  x482 -x483  x484 -x485  x486 -x487  x488 -x489  x490  x491 -x492 -x493  x494  x495 -x496 -x497  x498 -x499  x500 -x501  x502 -x503  x504 -x505  x506 -x507  x508  x509 -x510 -x511  x512 -x513  x514 -x515  x516 -x517  x518  x519 -x520 -x521  x522 -x523  x524 -x525  x526 -x527  x528 -x529  x530 -x531  x532 -x533  x534 -x535  x536  x537 -x538 -x539  x540 -x541  x542 -x543  x544 -x545  x546  x547 -x548 -x549  x550 -x551  x552 -x553  x554 -x555  x556 -x557  x558  x559 -x560 -x561  x562  x563 -x564  x565 -x566 -x567  x568  x569 -x570 -x571  x572 -x573  x574 -x575  x576 -x577  x578  x579 -x580  x581 -x582 -x583  x584 -x585  x586 -x587  x588 -x589  x590 -x591  x592 -x593  x594 -x595  x596 -x597  x598 -x599  x600 -x601  x602 -x603  x604 -x605  x606 -x607  x608 -x609  x610 -x611  x612  x613 -x614 -x615  x616 -x617  x618 -x619  x620 -x621  x622 -x623  x624 -x625  x626 -x627  x628 -x629  x630  x631 -x632 -x633  x634 -x635  x636 -x637  x638 -x639  x640  x641 -x642 -x643  x644 -x645  x646 -x647  x648 -x649  x650 -x651  x652 -x653  x654 -x655  x656 -x657  x658  x659 -x660 -x661  x662 -x663  x664  x665 -x666 -x667  x668 -x669  x670 -x671  x672 -x673  x674 -x675  x676 -x677  x678 -x679  x680  x681 -x682  x683 -x684  x685 -x686 -x687  x688 -x689  x690 -x691  x692 -x693  x694 -x695  x696  x697 -x698 -x699  x700 -x701  x702  x703 -x704 -x705  x706 -x707  x708 -x709  x710 -x711  x712 -x713  x714 -x715  x716 -x717  x718 -x719  x720  x721 -x722 -x723  x724 -x725  x726  x727 -x728 -x729  x730 -x731  x732 -x733  x734 -x735  x736 -x737  x738 -x739  x740 -x741  x742 -x743  x744 -x745  x746 -x747  x748 -x749  x750 -x751  x752  x753 -x754 -x755  x756 -x757  x758 -x759  x760 -x761  x762  x763 -x764 -x765  x766 -x767  x768 -x769  x770 -x771  x772 -x773  x774 -x775  x776 -x777  x778 -x779  x780  x781 -x782 -x783  x784 -x785  x786 -x787  x788 -x789  x790 -x791  x792 -x793  x794 -x795  x796  x797 -x798 -x799  x800 -x801  x802  x803 -x804  x805 -x806 -x807  x808 -x809  x810 -x811  x812  x813 -x814  x815 -x816  x817 -x818 -x819  x820 -x821  x822 -x823  x824 -x825  x826 -x827  x828 -x829  x830 -x831  x832 -x833  x834 -x835  x836 -x837  x838 -x839  x840 -x841  x842 -x843  x844 -x845  x846 -x847  x848  x849 -x850 -x851  x852 -x853  x854 -x855  x856 -x857  x858 -x859  x860 -x861  x862 -x863  x864 -x865  x866 -x867  x868 -x869  x870 -x871  x872 -x873  x874  x875 -x876 -x877  x878 -x879  x880 -x881  x882 -x883  x884  x885 -x886 -x887  x888 -x889  x890 -x891  x892 -x893  x894 -x895  x896 -x897  x898 -x899  x900 -x901  x902  x903 -x904 -x905  x906 -x907  x908 -x909  x910 -x911  x912  x913 -x914 -x915  x916 -x917  x918 -x919  x920 -x921  x922 -x923  x924  x925 -x926 -x927  x928 -x929  x930  x931 -x932 -x933  x934 -x935  x936 -x937  x938  x939 -x940 -x941  x942 -x943  x944 -x945  x946 -x947  x948 -x949  x950 -x951  x952 -x953  x954 -x955  x956  x957 -x958 -x959  x960 -x961  x962 -x963  x964 -x965  x966 -x967  x968 -x969  x970  x971 -x972 -x973  x974 -x975  x976 -x977  x978 -x979  x980 -x981  x982 -x983  x984 -x985  x986 -x987  x988 -x989  x990 -x991  x992 -x993  x994 -x995  x996  x997 -x998  x999 -x1000 -x1001  x1002 -x1003  x1004 -x1005  x1006 -x1007  x1008 -x1009  x1010  x1011 -x1012 -x1013  x1014 -x1015  x1016 -x1017  x1018 -x1019  x1020 -x1021  x1022 -x1023  x1024  x1025 -x1026 -x1027  x1028 -x1029  x1030 -x1031  x1032 -x1033  x1034 -x1035  x1036  x1037 -x1038 -x1039  x1040 -x1041  x1042 -x1043  x1044 -x1045  x1046  x1047 -x1048 -x1049  x1050 -x1051  x1052  x1053 -x1054  x1055 -x1056  x1057 -x1058 -x1059  x1060 -x1061  x1062 -x1063  x1064 -x1065  x1066  x1067 -x1068  x1069 -x1070 -x1071  x1072 -x1073  x1074 -x1075  x1076 -x1077  x1078 -x1079  x1080 -x1081  x1082 -x1083  x1084 -x1085  x1086 -x1087  x1088 -x1089  x1090 -x1091  x1092  x1093 -x1094 -x1095  x1096 -x1097  x1098 -x1099  x1100 -x1101  x1102 -x1103  x1104 -x1105  x1106 -x1107  x1108 -x1109  x1110 -x1111  x1112 -x1113  x1114 -x1115  x1116 -x1117  x1118  x1119 -x1120 -x1121  x1122 -x1123  x1124 -x1125  x1126 -x1127  x1128 -x1129  x1130 -x1131  x1132  x1133 -x1134 -x1135  x1136 -x1137  x1138 -x1139  x1140 -x1141  x1142 -x1143  x1144 -x1145  x1146  x1147 -x1148 -x1149  x1150 -x1151  x1152  x1153 -x1154 -x1155  x1156 -x1157  x1158 -x1159  x1160 -x1161  x1162 -x1163  x1164 -x1165  x1166 -x1167  x1168  x1169 -x1170  x1171 -x1172 -x1173  x1174 -x1175  x1176  x1177 -x1178 -x1179  x1180 -x1181  x1182 -x1183  x1184 -x1185  x1186 -x1187  x1188 -x1189  x1190  x1191 -x1192  x1193 -x1194 -x1195  x1196 -x1197  x1198 -x1199  x1200 -x1201  x1202 -x1203  x1204 -x1205  x1206 -x1207  x1208  x1209 -x1210 -x1211  x1212 -x1213  x1214 -x1215  x1216 -x1217  x1218  x1219 -x1220 -x1221  x1222 -x1223  x1224 -x1225  x1226 -x1227  x1228 -x1229  x1230 -x1231  x1232 -x1233  x1234 -x1235  x1236 -x1237  x1238 -x1239  x1240  x1241 -x1242 -x1243  x1244 -x1245  x1246 -x1247  x1248 -x1249  x1250 -x1251  x1252 -x1253  x1254  x1255 -x1256 -x1257  x1258 -x1259  x1260 -x1261  x1262 -x1263  x1264 -x1265  x1266 -x1267  x1268  x1269 -x1270 -x1271  x1272 -x1273  x1274 -x1275  x1276  x1277 -x1278 -x1279  x1280 -x1281  x1282 -x1283  x1284 -x1285  x1286 -x1287  x1288 -x1289  x1290  x1291 -x1292  x1293 -x1294  x1295 -x1296 -x1297  x1298 -x1299  x1300  x1301 -x1302  x1303 -x1304  x1305 -x1306 -x1307  x1308 -x1309  x1310 -x1311  x1312 -x1313  x1314 -x1315  x1316 -x1317  x1318 -x1319  x1320 -x1321  x1322 -x1323  x1324 -x1325  x1326 -x1327  x1328 -x1329  x1330 -x1331  x1332 -x1333  x1334 -x1335  x1336 -x1337  x1338 -x1339  x1340  x1341 -x1342 -x1343  x1344 -x1345  x1346 -x1347  x1348 -x1349  x1350 -x1351  x1352 -x1353  x1354 -x1355  x1356 -x1357  x1358 -x1359  x1360 -x1361  x1362  x1363 -x1364 -x1365  x1366 -x1367  x1368 -x1369  x1370 -x1371  x1372 -x1373  x1374 -x1375  x1376  x1377 -x1378 -x1379  x1380 -x1381  x1382 -x1383  x1384 -x1385  x1386 -x1387  x1388 -x1389  x1390  x1391 -x1392 -x1393  x1394 -x1395  x1396 -x1397  x1398 -x1399  x1400  x1401 -x1402 -x1403  x1404 -x1405  x1406 -x1407  x1408 -x1409  x1410 -x1411  x1412  x1413 -x1414 -x1415  x1416  x1417 -x1418  x1419 -x1420 -x1421  x1422 -x1423  x1424 -x1425  x1426  x1427 -x1428 -x1429  x1430 -x1431  x1432  x1433 -x1434 -x1435  x1436 -x1437  x1438 -x1439  x1440 -x1441  x1442 -x1443  x1444 -x1445  x1446 -x1447  x1448 -x1449  x1450 -x1451  x1452 -x1453  x1454 -x1455  x1456 -x1457  x1458 -x1459  x1460 -x1461  x1462  x1463 -x1464 -x1465  x1466 -x1467  x1468 -x1469  x1470  x1471 -x1472 -x1473  x1474 -x1475  x1476  x1477 -x1478 -x1479  x1480 -x1481  x1482 -x1483  x1484 -x1485  x1486 -x1487  x1488 -x1489  x1490 -x1491  x1492 -x1493  x1494 -x1495  x1496 -x1497  x1498  x1499 -x1500 -x1501  x1502 -x1503  x1504 -x1505  x1506 -x1507  x1508 -x1509  x1510 -x1511  x1512  x1513 -x1514 -x1515  x1516 -x1517  x1518 -x1519  x1520 -x1521  x1522 -x1523  x1524 -x1525  x1526 -x1527  x1528 -x1529  x1530  x1531 -x1532 -x1533  x1534  x1535 -x1536 -x1537  x1538  x1539 -x1540 -x1541  x1542 -x1543  x1544  x1545 -x1546 -x1547  x1548 -x1549  x1550 -x1551  x1552 -x1553  x1554 -x1555  x1556 -x1557  x1558 -x1559  x1560 -x1561  x1562 -x1563  x1564 -x1565  x1566 -x1567  x1568 -x1569  x1570  x1571 -x1572  x1573 -x1574 -x1575  x1576 -x1577  x1578 -x1579  x1580 -x1581  x1582 -x1583  x1584  x1585 -x1586 -x1587  x1588 -x1589  x1590 -x1591  x1592 -x1593  x1594 -x1595  x1596 -x1597  x1598  x1599 -x1600 -x1601  x1602 -x1603  x1604 -x1605  x1606 -x1607  x1608 -x1609  x1610 -x1611  x1612 -x1613  x1614 -x1615  x1616 -x1617  x1618 -x1619  x1620  x1621 -x1622 -x1623  x1624 -x1625  x1626 -x1627  x1628 -x1629  x1630 -x1631  x1632 -x1633  x1634  x1635 -x1636 -x1637  x1638 -x1639  x1640  x1641 -x1642 -x1643  x1644 -x1645  x1646 -x1647  x1648 -x1649  x1650 -x1651  x1652 -x1653  x1654 -x1655  x1656  x1657 -x1658  x1659 -x1660  x1661 -x1662 -x1663  x1664 -x1665  x1666 -x1667  x1668 -x1669  x1670 -x1671  x1672  x1673 -x1674 -x1675  x1676 -x1677  x1678 -x1679  x1680 -x1681  x1682 -x1683  x1684 -x1685  x1686 -x1687  x1688 -x1689  x1690 -x1691  x1692 -x1693  x1694  x1695 -x1696  x1697 -x1698 -x1699  x1700 -x1701  x1702  x1703 -x1704 -x1705  x1706 -x1707  x1708 -x1709  x1710 -x1711  x1712 -x1713  x1714 -x1715  x1716 -x1717  x1718 -x1719  x1720  x1721 -x1722 -x1723  x1724 -x1725  x1726 -x1727  x1728 -x1729  x1730 -x1731  x1732 -x1733  x1734 -x1735  x1736 -x1737  x1738 -x1739  x1740 -x1741  x1742  x1743 -x1744 -x1745  x1746 -x1747  x1748 -x1749  x1750 -x1751  x1752 -x1753  x1754 -x1755  x1756  x1757 -x1758 -x1759  x1760 -x1761  x1762 -x1763  x1764 -x1765  x1766 -x1767  x1768  x1769 -x1770 -x1771  x1772 -x1773  x1774 -x1775  x1776 -x1777  x1778  x1779 -x1780  x1781 -x1782 -x1783  x1784 -x1785  x1786  x1787 -x1788  x1789 -x1790  x1791 -x1792  x1793 -x1794 -x1795  x1796 -x1797  x1798 -x1799  x1800 -x1801  x1802 -x1803  x1804 -x1805  x1806 -x1807  x1808 -x1809  x1810 -x1811  x1812 -x1813  x1814 -x1815  x1816 -x1817  x1818 -x1819  x1820 -x1821  x1822 -x1823  x1824  x1825 -x1826 -x1827  x1828 -x1829  x1830 -x1831  x1832 -x1833  x1834 -x1835  x1836 -x1837  x1838 -x1839  x1840 -x1841  x1842  x1843 -x1844 -x1845  x1846 -x1847  x1848 -x1849  x1850 -x1851  x1852 -x1853  x1854 -x1855  x1856 -x1857  x1858 -x1859  x1860 -x1861  x1862 -x1863  x1864  x1865 -x1866 -x1867  x1868 -x1869  x1870 -x1871  x1872 -x1873  x1874 -x1875  x1876 -x1877  x1878  x1879 -x1880 -x1881  x1882 -x1883  x1884 -x1885  x1886 -x1887  x1888 -x1889  x1890 -x1891  x1892 -x1893  x1894 -x1895  x1896  x1897 -x1898 -x1899  x1900  x1901 -x1902 -x1903  x1904 -x1905  x1906 -x1907  x1908  x1909 -x1910 -x1911  x1912 -x1913  x1914  x1915 -x1916 -x1917  x1918 -x1919  x1920 -x1921  x1922 -x1923  x1924 -x1925  x1926 -x1927  x1928 -x1929  x1930 -x1931  x1932 -x1933  x1934 -x1935  x1936  x1937 -x1938 -x1939  x1940 -x1941  x1942 -x1943  x1944 -x1945  x1946  x1947 -x1948 -x1949  x1950 -x1951  x1952 -x1953  x1954 -x1955  x1956 -x1957  x1958 -x1959  x1960 -x1961  x1962 -x1963  x1964  x1965 -x1966 -x1967  x1968 -x1969  x1970 -x1971  x1972 -x1973  x1974 -x1975  x1976 -x1977  x1978 -x1979  x1980 -x1981  x1982 -x1983  x1984 -x1985  x1986  x1987 -x1988 -x1989  x1990  x1991 -x1992 -x1993  x1994 -x1995  x1996 -x1997  x1998 -x1999  x2000 -x2001  x2002 -x2003  x2004  x2005 -x2006 -x2007  x2008 -x2009  x2010 -x2011  x2012 -x2013  x2014  x2015 -x2016 -x2017  x2018 -x2019  x2020 -x2021  x2022  x2023 -x2024 -x2025  x2026 -x2027  x2028 -x2029  x2030  x2031 -x2032  x2033 -x2034 -x2035  x2036 -x2037  x2038 -x2039  x2040 -x2041  x2042 -x2043  x2044 -x2045  x2046 -x2047  x2048 -x2049  x2050  x2051 -x2052  x2053 -x2054 -x2055  x2056 -x2057  x2058 -x2059  x2060 -x2061  x2062 -x2063  x2064 -x2065  x2066 -x2067  x2068  x2069 -x2070 -x2071  x2072 -x2073  x2074 -x2075  x2076 -x2077  x2078 -x2079  x2080 -x2081  x2082 -x2083  x2084 -x2085  x2086  x2087 -x2088 -x2089  x2090 -x2091  x2092 -x2093  x2094 -x2095  x2096 -x2097  x2098 -x2099  x2100 -x2101  x2102 -x2103  x2104 -x2105  x2106 -x2107  x2108  x2109 -x2110 -x2111  x2112 -x2113  x2114 -x2115  x2116 -x2117  x2118 -x2119  x2120 -x2121  x2122 -x2123  x2124 -x2125  x2126  x2127 -x2128  x2129 -x2130 -x2131  x2132 -x2133  x2134 -x2135  x2136 -x2137  x2138 -x2139  x2140 -x2141  x2142 -x2143  x2144  x2145 -x2146  x2147 -x2148 -x2149  x2150 -x2151  x2152  x2153 -x2154 -x2155  x2156 -x2157  x2158 -x2159  x2160 -x2161  x2162 -x2163  x2164 -x2165  x2166 -x2167  x2168  x2169 -x2170 -x2171  x2172 -x2173  x2174  x2175 -x2176 -x2177  x2178 -x2179  x2180 -x2181  x2182 -x2183  x2184  x2185 -x2186 -x2187  x2188 -x2189  x2190 -x2191  x2192 -x2193  x2194  x2195 -x2196 -x2197  x2198 -x2199  x2200 -x2201  x2202 -x2203  x2204 -x2205  x2206 -x2207  x2208  x2209 -x2210 -x2211  x2212 -x2213  x2214 -x2215  x2216 -x2217  x2218 -x2219  x2220 -x2221  x2222 -x2223  x2224 -x2225  x2226 -x2227  x2228 -x2229  x2230  x2231 -x2232 -x2233  x2234 -x2235  x2236 -x2237  x2238 -x2239  x2240 -x2241  x2242 -x2243  x2244 -x2245  x2246 -x2247  x2248  x2249 -x2250 -x2251  x2252  x2253 -x2254 -x2255  x2256 -x2257  x2258 -x2259  x2260 -x2261  x2262 -x2263  x2264 -x2265  x2266  x2267 -x2268  x2269 -x2270  x2271 -x2272 -x2273  x2274 -x2275  x2276  x2277 -x2278  x2279 -x2280  x2281 -x2282 -x2283  x2284 -x2285  x2286 -x2287  x2288 -x2289  x2290 -x2291  x2292 -x2293  x2294 -x2295  x2296 -x2297  x2298 -x2299  x2300 -x2301  x2302 -x2303  x2304 -x2305  x2306 -x2307  x2308 -x2309  x2310 -x2311  x2312 -x2313  x2314 -x2315  x2316  x2317 -x2318 -x2319  x2320 -x2321  x2322 -x2323  x2324 -x2325  x2326 -x2327  x2328 -x2329  x2330  x2331 -x2332 -x2333  x2334 -x2335  x2336 -x2337  x2338 -x2339  x2340 -x2341  x2342 -x2343  x2344 -x2345  x2346 -x2347  x2348 -x2349  x2350 -x2351  x2352  x2353 -x2354 -x2355  x2356 -x2357  x2358 -x2359  x2360 -x2361  x2362 -x2363  x2364 -x2365  x2366 -x2367  x2368 -x2369  x2370  x2371 -x2372 -x2373  x2374 -x2375  x2376 -x2377  x2378 -x2379  x2380  x2381 -x2382 -x2383  x2384 -x2385  x2386 -x2387  x2388  x2389 -x2390 -x2391  x2392  x2393 -x2394 -x2395  x2396 -x2397  x2398 -x2399  x2400 -x2401  x2402  x2403 -x2404 -x2405  x2406 -x2407  x2408 -x2409  x2410 -x2411  x2412 -x2413  x2414 -x2415  x2416  x2417 -x2418 -x2419  x2420 -x2421  x2422 -x2423  x2424 -x2425  x2426 -x2427  x2428 -x2429  x2430 -x2431  x2432 -x2433  x2434 -x2435  x2436 -x2437  x2438  x2439 -x2440 -x2441  x2442 -x2443  x2444 -x2445  x2446  x2447 -x2448 -x2449  x2450 -x2451  x2452 -x2453  x2454 -x2455  x2456  x2457 -x2458 -x2459  x2460 -x2461  x2462 -x2463  x2464 -x2465  x2466 -x2467  x2468 -x2469  x2470 -x2471  x2472 -x2473  x2474  x2475 -x2476 -x2477  x2478 -x2479  x2480 -x2481  x2482 -x2483  x2484 -x2485  x2486 -x2487  x2488 -x2489  x2490 -x2491  x2492  x2493 -x2494 -x2495  x2496 -x2497  x2498  x2499 -x2500 -x2501  x2502 -x2503  x2504 -x2505  x2506 -x2507  x2508 -x2509  x2510  x2511 -x2512 -x2513  x2514  x2515 -x2516  x2517 -x2518 -x2519  x2520  x2521 -x2522 -x2523  x2524 -x2525  x2526 -x2527  x2528 -x2529  x2530  x2531 -x2532  x2533 -x2534 -x2535  x2536 -x2537  x2538 -x2539  x2540 -x2541  x2542 -x2543  x2544 -x2545  x2546 -x2547  x2548 -x2549  x2550 -x2551  x2552 -x2553  x2554 -x2555  x2556 -x2557  x2558 -x2559  x2560  x2561 -x2562 -x2563  x2564 -x2565  x2566 -x2567  x2568 -x2569  x2570 -x2571  x2572 -x2573  x2574 -x2575  x2576 -x2577  x2578  x2579 -x2580 -x2581  x2582 -x2583  x2584 -x2585  x2586 -x2587  x2588 -x2589  x2590 -x2591  x2592 -x2593  x2594 -x2595  x2596  x2597 -x2598 -x2599  x2600 -x2601  x2602 -x2603  x2604 -x2605  x2606 -x2607  x2608 -x2609  x2610 -x2611  x2612 -x2613  x2614  x2615 -x2616  x2617 -x2618 -x2619  x2620 -x2621  x2622 -x2623  x2624 -x2625  x2626 -x2627  x2628 -x2629  x2630 -x2631  x2632  x2633 -x2634  x2635 -x2636  x2637 -x2638 -x2639  x2640 -x2641  x2642 -x2643  x2644 -x2645  x2646 -x2647  x2648  x2649 -x2650 -x2651  x2652 -x2653  x2654  x2655 -x2656 -x2657  x2658 -x2659  x2660 -x2661  x2662 -x2663  x2664 -x2665  x2666 -x2667  x2668 -x2669  x2670 -x2671  x2672  x2673 -x2674 -x2675  x2676 -x2677  x2678  x2679 -x2680 -x2681  x2682 -x2683  x2684 -x2685  x2686 -x2687  x2688 -x2689  x2690 -x2691  x2692 -x2693  x2694 -x2695  x2696 -x2697  x2698 -x2699  x2700  x2701 -x2702 -x2703  x2704 -x2705  x2706 -x2707  x2708 -x2709  x2710 -x2711  x2712 -x2713  x2714 -x2715  x2716 -x2717  x2718  x2719 -x2720 -x2721  x2722 -x2723  x2724 -x2725  x2726 -x2727  x2728 -x2729  x2730 -x2731  x2732 -x2733  x2734 -x2735  x2736  x2737 -x2738 -x2739  x2740 -x2741  x2742 -x2743  x2744  x2745 -x2746 -x2747  x2748 -x2749  x2750 -x2751  x2752 -x2753  x2754  x2755 -x2756  x2757 -x2758 -x2759  x2760 -x2761  x2762  x2763 -x2764  x2765 -x2766  x2767 -x2768  x2769 -x2770 -x2771  x2772 -x2773  x2774 -x2775  x2776 -x2777  x2778 -x2779  x2780 -x2781  x2782 -x2783  x2784 -x2785  x2786 -x2787  x2788 -x2789  x2790 -x2791  x2792 -x2793  x2794 -x2795  x2796 -x2797  x2798 -x2799  x2800  x2801 -x2802 -x2803  x2804 -x2805  x2806 -x2807  x2808 -x2809  x2810 -x2811  x2812 -x2813  x2814 -x2815  x2816 -x2817  x2818 -x2819  x2820 -x2821  x2822  x2823 -x2824 -x2825  x2826 -x2827  x2828 -x2829  x2830 -x2831  x2832 -x2833  x2834 -x2835  x2836 -x2837  x2838 -x2839  x2840  x2841 -x2842 -x2843  x2844 -x2845  x2846 -x2847  x2848 -x2849  x2850 -x2851  x2852 -x2853  x2854 -x2855  x2856 -x2857  x2858  x2859 -x2860 -x2861  x2862 -x2863  x2864  x2865 -x2866 -x2867  x2868 -x2869  x2870 -x2871  x2872 -x2873  x2874 -x2875  x2876  x2877 -x2878 -x2879  x2880 -x2881  x2882  x2883 -x2884  x2885 -x2886 -x2887  x2888 -x2889  x2890  x2891 -x2892 -x2893  x2894 -x2895  x2896 -x2897  x2898 -x2899  x2900  x2901 -x2902 -x2903  x2904 -x2905  x2906 -x2907  x2908 -x2909  x2910 -x2911  x2912 -x2913  x2914 -x2915  x2916 -x2917  x2918 -x2919  x2920 -x2921  x2922  x2923 -x2924 -x2925  x2926 -x2927  x2928 -x2929  x2930 -x2931  x2932 -x2933  x2934 -x2935  x2936 -x2937  x2938 -x2939  x2940 -x2941  x2942 -x2943  x2944  x2945 -x2946 -x2947  x2948 -x2949  x2950  x2951 -x2952 -x2953  x2954 -x2955  x2956 -x2957  x2958  x2959 -x2960 -x2961  x2962 -x2963  x2964 -x2965  x2966 -x2967  x2968 -x2969  x2970 -x2971  x2972 -x2973  x2974 -x2975  x2976 -x2977  x2978 -x2979  x2980  x2981 -x2982 -x2983  x2984 -x2985  x2986 -x2987  x2988 -x2989  x2990 -x2991  x2992  x2993 -x2994 -x2995  x2996 -x2997  x2998  x2999 -x3000 -x3001  x3002 -x3003  x3004  x3005 -x3006 -x3007  x3008  x3009 -x3010 -x3011  x3012 -x3013  x3014 -x3015  x3016 -x3017  x3018  x3019 -x3020  x3021 -x3022 -x3023  x3024 -x3025  x3026 -x3027  x3028 -x3029  x3030 -x3031  x3032 -x3033  x3034 -x3035  x3036 -x3037  x3038 -x3039  x3040 -x3041  x3042 -x3043  x3044  x3045 -x3046 -x3047  x3048 -x3049  x3050 -x3051  x3052 -x3053  x3054 -x3055  x3056 -x3057  x3058 -x3059  x3060 -x3061  x3062 -x3063  x3064 -x3065  x3066  x3067 -x3068 -x3069  x3070 -x3071  x3072 -x3073  x3074 -x3075  x3076 -x3077  x3078 -x3079  x3080  x3081 -x3082 -x3083  x3084 -x3085  x3086 -x3087  x3088 -x3089  x3090 -x3091  x3092 -x3093  x3094 -x3095  x3096 -x3097  x3098 -x3099  x3100 -x3101  x3102  x3103 -x3104  x3105 -x3106 -x3107  x3108 -x3109  x3110 -x3111  x3112 -x3113  x3114 -x3115  x3116 -x3117  x3118 -x3119  x3120  x3121 -x3122  x3123 -x3124 -x3125  x3126 -x3127  x3128 -x3129  x3130 -x3131  x3132 -x3133  x3134 -x3135  x3136 -x3137  x3138 -x3139  x3140 -x3141  x3142  x3143 -x3144 -x3145  x3146 -x3147  x3148 -x3149  x3150 -x3151  x3152  x3153 -x3154 -x3155  x3156 -x3157  x3158 -x3159  x3160  x3161 -x3162 -x3163  x3164 -x3165  x3166 -x3167  x3168 -x3169  x3170 -x3171  x3172 -x3173  x3174  x3175 -x3176 -x3177  x3178 -x3179  x3180 -x3181  x3182 -x3183  x3184 -x3185  x3186 -x3187  x3188  x3189 -x3190 -x3191  x3192 -x3193  x3194 -x3195  x3196 -x3197  x3198 -x3199  x3200 -x3201  x3202  x3203 -x3204 -x3205  x3206 -x3207  x3208 -x3209  x3210 -x3211  x3212 -x3213  x3214 -x3215  x3216 -x3217  x3218 -x3219  x3220 -x3221  x3222 -x3223  x3224  x3225 -x3226 -x3227  x3228  x3229 -x3230 -x3231  x3232 -x3233  x3234 -x3235  x3236 -x3237  x3238 -x3239  x3240 -x3241  x3242  x3243 -x3244  x3245 -x3246  x3247 -x3248 -x3249  x3250 -x3251  x3252  x3253 -x3254  x3255 -x3256  x3257 -x3258 -x3259  x3260 -x3261  x3262 -x3263  x3264 -x3265  x3266 -x3267  x3268 -x3269  x3270 -x3271  x3272 -x3273  x3274 -x3275  x3276 -x3277  x3278 -x3279  x3280 -x3281  x3282 -x3283  x3284 -x3285  x3286 -x3287  x3288 -x3289  x3290 -x3291  x3292 -x3293  x3294 -x3295  x3296  x3297 -x3298 -x3299  x3300 -x3301  x3302 -x3303  x3304 -x3305  x3306 -x3307  x3308 -x3309  x3310  x3311 -x3312 -x3313  x3314 -x3315  x3316 -x3317  x3318 -x3319  x3320 -x3321  x3322 -x3323  x3324  x3325 -x3326 -x3327  x3328 -x3329  x3330 -x3331  x3332 -x3333  x3334 -x3335  x3336 -x3337  x3338 -x3339  x3340 -x3341  x3342 -x3343  x3344 -x3345  x3346  x3347 -x3348 -x3349  x3350 -x3351  x3352  x3353 -x3354 -x3355  x3356 -x3357  x3358 -x3359  x3360 -x3361  x3362 -x3363  x3364  x3365 -x3366 -x3367  x3368  x3369 -x3370  x3371 -x3372 -x3373  x3374 -x3375  x3376 -x3377  x3378  x3379 -x3380 -x3381  x3382 -x3383  x3384  x3385 -x3386 -x3387  x3388 -x3389  x3390 -x3391  x3392 -x3393  x3394 -x3395  x3396 -x3397  x3398 -x3399  x3400 -x3401  x3402 -x3403  x3404 -x3405  x3406 -x3407  x3408 -x3409  x3410 -x3411  x3412 -x3413  x3414 -x3415  x3416 -x3417  x3418  x3419 -x3420 -x3421  x3422  x3423 -x3424 -x3425  x3426 -x3427  x3428  x3429 -x3430 -x3431  x3432 -x3433  x3434 -x3435  x3436 -x3437  x3438 -x3439  x3440 -x3441  x3442 -x3443  x3444 -x3445  x3446  x3447 -x3448 -x3449  x3450 -x3451  x3452 -x3453  x3454 -x3455  x3456 -x3457  x3458 -x3459  x3460 -x3461  x3462 -x3463  x3464 -x3465  x3466 -x3467  x3468  x3469 -x3470 -x3471  x3472 -x3473  x3474 -x3475  x3476 -x3477  x3478  x3479 -x3480 -x3481  x3482 -x3483  x3484 -x3485  x3486  x3487 -x3488 -x3489  x3490  x3491 -x3492 -x3493  x3494 -x3495  x3496  x3497 -x3498 -x3499  x3500 -x3501  x3502 -x3503  x3504 -x3505  x3506 -x3507  x3508 -x3509  x3510 -x3511  x3512 -x3513  x3514  x3515 -x3516  x3517 -x3518 -x3519  x3520 -x3521  x3522 -x3523  x3524 -x3525  x3526 -x3527  x3528 -x3529  x3530 -x3531  x3532 -x3533  x3534 -x3535  x3536 -x3537  x3538 -x3539  x3540  x3541 -x3542 -x3543  x3544 -x3545  x3546 -x3547  x3548 -x3549  x3550  x3551 -x3552 -x3553  x3554 -x3555  x3556 -x3557  x3558 -x3559  x3560 -x3561  x3562 -x3563  x3564 -x3565  x3566 -x3567  x3568  x3569 -x3570 -x3571  x3572 -x3573  x3574 -x3575  x3576 -x3577  x3578 -x3579  x3580 -x3581  x3582 -x3583  x3584 -x3585  x3586 -x3587  x3588 -x3589  x3590  x3591 -x3592  x3593 -x3594 -x3595  x3596 -x3597  x3598 -x3599  x3600 -x3601  x3602 -x3603  x3604 -x3605  x3606 -x3607  x3608  x3609 -x3610  x3611 -x3612  x3613 -x3614 -x3615  x3616 -x3617  x3618 -x3619  x3620 -x3621  x3622 -x3623  x3624  x3625 -x3626 -x3627  x3628 -x3629  x3630 -x3631  x3632 -x3633  x3634 -x3635  x3636 -x3637  x3638  x3639 -x3640 -x3641  x3642 -x3643  x3644 -x3645  x3646 -x3647  x3648  x3649 -x3650 -x3651  x3652 -x3653  x3654  x3655 -x3656 -x3657  x3658 -x3659  x3660 -x3661  x3662 -x3663  x3664 -x3665  x3666 -x3667  x3668 -x3669  x3670 -x3671  x3672  x3673 -x3674 -x3675  x3676 -x3677  x3678 -x3679  x3680 -x3681  x3682 -x3683  x3684 -x3685  x3686 -x3687  x3688 -x3689  x3690  x3691 -x3692 -x3693  x3694 -x3695  x3696 -x3697  x3698 -x3699  x3700 -x3701  x3702 -x3703  x3704 -x3705  x3706 -x3707  x3708 -x3709  x3710 -x3711  x3712  x3713 -x3714 -x3715  x3716 -x3717  x3718 -x3719  x3720 -x3721  x3722 -x3723  x3724  x3725 -x3726 -x3727  x3728 -x3729  x3730  x3731 -x3732  x3733 -x3734 -x3735  x3736 -x3737  x3738 -x3739  x3740  x3741 -x3742  x3743 -x3744  x3745 -x3746 -x3747  x3748 -x3749  x3750 -x3751  x3752 -x3753  x3754 -x3755  x3756 -x3757  x3758 -x3759  x3760 -x3761  x3762 -x3763  x3764 -x3765  x3766 -x3767  x3768 -x3769  x3770 -x3771  x3772 -x3773  x3774 -x3775  x3776  x3777 -x3778 -x3779  x3780 -x3781  x3782 -x3783  x3784 -x3785  x3786 -x3787  x3788 -x3789  x3790 -x3791  x3792 -x3793  x3794  x3795 -x3796 -x3797  x3798 -x3799  x3800 -x3801  x3802 -x3803  x3804 -x3805  x3806 -x3807  x3808 -x3809  x3810 -x3811  x3812  x3813 -x3814 -x3815  x3816 -x3817  x3818 -x3819  x3820 -x3821  x3822 -x3823  x3824 -x3825  x3826 -x3827  x3828 -x3829  x3830 -x3831  x3832 -x3833  x3834  x3835 -x3836 -x3837  x3838 -x3839  x3840 -x3841  x3842 -x3843  x3844  x3845 -x3846 -x3847  x3848 -x3849  x3850 -x3851  x3852  x3853 -x3854 -x3855  x3856 -x3857  x3858 -x3859  x3860 -x3861  x3862 
s OPTIMUM FOUND

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/8300/stat): 8300 (vallstSAT2005PB) R 8299 8300 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784706004 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8300/statm): 174 3 169 147 0 27 0
[pid=8300] 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=8301
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=8301) exited with status: 0
New process pid=8302
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=8302) exited with status: 0
New process pid=8303
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/wulflinc5/normalized-hanoi5.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 610 0 0 0 592 133 0 0 17 0 1 0 1784706013 3993600 573 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8303/statm): 975 573 413 48 0 927 0
[pid=8303] vsize: 3900
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (Kb) 6028

[startup+20.0055 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 611 0 0 0 1199 262 0 0 17 0 1 0 1784706013 3997696 574 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 976 574 413 48 0 928 0
[pid=8303] vsize: 3904
Current children cumulated CPU time (s) 14.63
Current children cumulated vsize (Kb) 6032

[startup+30.0063 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 706 0 0 0 1935 343 0 0 22 0 1 0 1784706013 6897664 669 4294967295 134512640 134702520 3221223968 3221222804 134549015 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 1684 669 413 48 0 1636 0
[pid=8303] vsize: 6736
Current children cumulated CPU time (s) 22.8
Current children cumulated vsize (Kb) 8864

[startup+40.007 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 788 0 0 0 2743 412 0 0 22 0 1 0 1784706013 7409664 751 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 1809 751 413 48 0 1761 0
[pid=8303] vsize: 7236
Current children cumulated CPU time (s) 31.57
Current children cumulated vsize (Kb) 9364

[startup+50.0087 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 858 0 0 0 3527 484 0 0 19 0 1 0 1784706013 7548928 821 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 1843 821 413 48 0 1795 0
[pid=8303] vsize: 7372
Current children cumulated CPU time (s) 40.13
Current children cumulated vsize (Kb) 9500

[startup+60.0085 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 858 0 0 0 4198 593 0 0 19 0 1 0 1784706013 7548928 821 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8303/statm): 1843 821 413 48 0 1795 0
[pid=8303] vsize: 7372
Current children cumulated CPU time (s) 47.93
Current children cumulated vsize (Kb) 9500

[startup+70.0092 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 861 0 0 0 4943 678 0 0 21 0 1 0 1784706013 7528448 824 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 1838 824 413 48 0 1790 0
[pid=8303] vsize: 7352
Current children cumulated CPU time (s) 56.23
Current children cumulated vsize (Kb) 9480

[startup+80.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 897 0 0 0 5776 732 0 0 25 0 1 0 1784706013 7532544 860 4294967295 134512640 134702520 3221223968 3221221004 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 1839 860 413 48 0 1791 0
[pid=8303] vsize: 7356
Current children cumulated CPU time (s) 65.1
Current children cumulated vsize (Kb) 9484

[startup+90.0107 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 960 0 0 0 6643 778 0 0 22 0 1 0 1784706013 8044544 923 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 1964 923 413 48 0 1916 0
[pid=8303] vsize: 7856
Current children cumulated CPU time (s) 74.23
Current children cumulated vsize (Kb) 9984

[startup+100.011 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 960 0 0 0 7347 882 0 0 20 0 1 0 1784706013 8044544 923 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8303/statm): 1964 923 413 48 0 1916 0
[pid=8303] vsize: 7856
Current children cumulated CPU time (s) 82.31
Current children cumulated vsize (Kb) 9984

[startup+110.012 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 963 0 0 0 8074 971 0 0 17 0 1 0 1784706013 8044544 926 4294967295 134512640 134702520 3221223968 3221223248 134557232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8303/statm): 1964 926 413 48 0 1916 0
[pid=8303] vsize: 7856
Current children cumulated CPU time (s) 90.47
Current children cumulated vsize (Kb) 9984

[startup+120.013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 974 0 0 0 8921 1025 0 0 25 0 1 0 1784706013 8044544 937 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 1964 937 413 48 0 1916 0
[pid=8303] vsize: 7856
Current children cumulated CPU time (s) 99.48
Current children cumulated vsize (Kb) 9984

[startup+130.014 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1217 0 0 0 9826 1059 0 0 25 0 1 0 1784706013 8183808 1180 4294967295 134512640 134702520 3221223968 3221126784 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8303/statm): 1998 1180 413 48 0 1950 0
[pid=8303] vsize: 7992
Current children cumulated CPU time (s) 108.87
Current children cumulated vsize (Kb) 10120

[startup+140.015 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 1277 0 0 0 10711 1100 0 0 25 0 1 0 1784706013 8183808 1240 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 1998 1240 413 48 0 1950 0
[pid=8303] vsize: 7992
Current children cumulated CPU time (s) 118.13
Current children cumulated vsize (Kb) 10120

[startup+150.016 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 1288 0 0 0 11487 1178 0 0 17 0 1 0 1784706013 8318976 1251 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2031 1251 413 48 0 1983 0
[pid=8303] vsize: 8124
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (Kb) 10252

[startup+160.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1288 0 0 0 12246 1263 0 0 21 0 1 0 1784706013 8318976 1251 4294967295 134512640 134702520 3221223968 3221223248 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 2031 1251 413 48 0 1983 0
[pid=8303] vsize: 8124
Current children cumulated CPU time (s) 135.11
Current children cumulated vsize (Kb) 10252

[startup+170.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1288 0 0 0 13120 1307 0 0 25 0 1 0 1784706013 8318976 1251 4294967295 134512640 134702520 3221223968 3221223248 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 2031 1251 413 48 0 1983 0
[pid=8303] vsize: 8124
Current children cumulated CPU time (s) 144.29
Current children cumulated vsize (Kb) 10252

[startup+180.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1298 0 0 0 14028 1338 0 0 25 0 1 0 1784706013 8318976 1261 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2031 1261 413 48 0 1983 0
[pid=8303] vsize: 8124
Current children cumulated CPU time (s) 153.68
Current children cumulated vsize (Kb) 10252

[startup+190.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1332 0 0 0 14932 1369 0 0 25 0 1 0 1784706013 8691712 1295 4294967295 134512640 134702520 3221223968 3221223248 134552673 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 2122 1295 413 48 0 2074 0
[pid=8303] vsize: 8488
Current children cumulated CPU time (s) 163.03
Current children cumulated vsize (Kb) 10616

[startup+200.021 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 1366 0 0 0 15781 1420 0 0 22 0 1 0 1784706013 8826880 1329 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2155 1329 413 48 0 2107 0
[pid=8303] vsize: 8620
Current children cumulated CPU time (s) 172.03
Current children cumulated vsize (Kb) 10748

[startup+210.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1366 0 0 0 16566 1497 0 0 23 0 1 0 1784706013 8826880 1329 4294967295 134512640 134702520 3221223968 3221222864 134553952 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 2155 1329 413 48 0 2107 0
[pid=8303] vsize: 8620
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (Kb) 10748

[startup+220.022 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) T 8300 8300 824 0 -1 0 1369 0 0 0 17438 1542 0 0 25 0 1 0 1784706013 8826880 1332 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2155 1332 413 48 0 2107 0
[pid=8303] vsize: 8620
Current children cumulated CPU time (s) 189.82
Current children cumulated vsize (Kb) 10748

[startup+230.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1656 0 0 0 18368 1568 0 0 25 0 1 0 1784706013 8962048 1619 4294967295 134512640 134702520 3221223968 3221223248 134553324 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 2188 1619 413 48 0 2140 0
[pid=8303] vsize: 8752
Current children cumulated CPU time (s) 199.38
Current children cumulated vsize (Kb) 10880

[startup+240.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1870 0 0 0 19326 1582 0 0 25 0 1 0 1784706013 9101312 1833 4294967295 134512640 134702520 3221223968 3221223248 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2222 1833 413 48 0 2174 0
[pid=8303] vsize: 8888
Current children cumulated CPU time (s) 209.1
Current children cumulated vsize (Kb) 11016

[startup+250.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1879 0 0 0 20303 1590 0 0 25 0 1 0 1784706013 9101312 1842 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2222 1842 413 48 0 2174 0
[pid=8303] vsize: 8888
Current children cumulated CPU time (s) 218.95
Current children cumulated vsize (Kb) 11016

[startup+260.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1901 0 0 0 21280 1600 0 0 25 0 1 0 1784706013 9101312 1864 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8303/statm): 2222 1864 413 48 0 2174 0
[pid=8303] vsize: 8888
Current children cumulated CPU time (s) 228.82
Current children cumulated vsize (Kb) 11016

[startup+270.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1922 0 0 0 22252 1609 0 0 25 0 1 0 1784706013 9101312 1885 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2222 1885 413 48 0 2174 0
[pid=8303] vsize: 8888
Current children cumulated CPU time (s) 238.63
Current children cumulated vsize (Kb) 11016

[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8303
Raw data (/proc/8300/stat): 8300 (vallstSAT2005PB) S 8299 8300 824 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784706004 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8300/statm): 532 242 485 147 0 385 0
[pid=8300] vsize: 2128
Raw data (/proc/8303/stat): 8303 (vallst) R 8300 8300 824 0 -1 0 1940 0 0 0 23233 1616 0 0 25 0 1 0 1784706013 9101312 1903 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8303/statm): 2222 1903 413 48 0 2174 0
[pid=8303] vsize: 8888
Current children cumulated CPU time (s) 248.51
Current children cumulated vsize (Kb) 11016
One traced child (pid=8303) exited with status: 0
New process pid=8304
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=8304) exited with status: 0
New process pid=8305
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=8305) exited with status: 0
New process pid=8306
New process pid=8307
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=8307) exited with status: 0
One traced child (pid=8306) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=8308
New process pid=8309
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
execve syscall for /bin/sed executable
execve syscall for /usr/bin/tail executable
open syscall for file /etc/ld.so.preload
open syscall for file 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 /etc/ld.so.preload
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.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/libc.so.6
open syscall for file /etc/ld.so.cache
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 /lib/tls/libc.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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
One traced child (pid=8308) exited with status: 0
One traced child (pid=8309) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=8310
New process pid=8311
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/8263/stat
open syscall for file /proc/8263/status
open syscall for file /proc/8263/cmdline
open syscall for file /proc/8263/environ
open syscall for file /proc/8299/stat
open syscall for file /proc/8299/status
open syscall for file /proc/8299/cmdline
open syscall for file /proc/8299/environ
open syscall for file /proc/8300/stat
open syscall for file /proc/8300/status
open syscall for file /proc/8300/cmdline
open syscall for file /proc/8300/environ
open syscall for file /proc/8310/stat
open syscall for file /proc/8310/status
open syscall for file /proc/8310/cmdline
open syscall for file /proc/8310/environ
open syscall for file /proc/8311/stat
open syscall for file /proc/8311/status
open syscall for file /proc/8311/cmdline
open syscall for file /proc/8311/environ
One traced child (pid=8310) exited with status: 0
One traced child (pid=8311) exited with status: 0
New process pid=8312
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=8312) exited with status: 0
New process pid=8313
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=8313) exited with status: 0
One traced child (pid=8300) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 285.101
CPU time (s): 251.837
CPU user time (s): 234.826
CPU system time (s): 17.0104
CPU usage (%): 88.3324
Max. virtual memory (cumulated for all children) (Kb): 11016

Verifier Data

Verifier:	OK	1931