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-hanoi4.opb
MD5SUMed8ba7dc95c95dfab9760b508b0ba8ab
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 718
Optimality of the best value was proved YES
Number of terms in the objective function 1436
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 1436
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1436
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark1.02284
Number of variables1436
Total number of constraints5652
Number of constraints which are clauses5652
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 constraint7

Trace number 1825

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-18 17:06:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7161 boxname=wulflinc17 idbench=129 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ed8ba7dc95c95dfab9760b508b0ba8ab  /oldhome/oroussel/tmp/wulflinc17/normalized-hanoi4.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc17/normalized-hanoi4.opb 0
IDLAUNCH: 7161
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        938724 kB
Buffers:         23432 kB
Cached:          45752 kB
SwapCached:        516 kB
Active:          23424 kB
Inactive:        48188 kB
HighTotal:      131008 kB
HighFree:        81284 kB
LowTotal:       903652 kB
LowFree:        857440 kB
SwapTotal:     2097892 kB
SwapFree:      2096672 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18640 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 17:07:04 (client local time) WITH STATUS 30 IN 14.9497 SECONDS
stats: 7161 0 14.9497 30

Solver Data

1:
seed: 0
Nr of vars set: 244  (#equs: 0)
Nr of vars set: 544  (#equs: 264)
#decisions: 7763;  #end-nodes: 3995;
#proof improvement attempts: 0;  #restarts: 10
Current batch, end-nodes: 1054 / 1537 (82)
#axs: 5667, #non-axs: 2059
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:  717 (718:>=*);
#decisions: 1613;  #end-nodes: 1100;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1100 / 1571 (80)
#axs: 5667, #non-axs: 2415
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:) 717 (718:>=*)

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: 671  (#equs: 264)
Time taken in seconds: 14
times:
0m0.022s 0m0.011s
0m11.976s 0m2.096s
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 
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/25440/stat): 25440 (vallstSAT2005PB) R 25439 25440 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842950955 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25440/statm): 174 3 169 147 0 27 0
[pid=25440] 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=25441
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=25441) exited with status: 0
New process pid=25442
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=25442) exited with status: 0
New process pid=25443
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/wulflinc17/normalized-hanoi4.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0044 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 25443
Raw data (/proc/25440/stat): 25440 (vallstSAT2005PB) S 25439 25440 19316 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1842950955 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25440/statm): 532 242 485 147 0 385 0
[pid=25440] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) T 25440 25440 19316 0 -1 0 332 0 0 0 598 131 0 0 19 0 1 0 1842950963 2555904 302 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/25443/statm): 624 302 413 48 0 576 0
[pid=25443] vsize: 2496
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (Kb) 4624
One traced child (pid=25443) exited with status: 0
New process pid=25444
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=25444) exited with status: 0
New process pid=25445
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=25445) exited with status: 0
New process pid=25446
New process pid=25447
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=25447) exited with status: 0
One traced child (pid=25446) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=25448
New process pid=25449
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 /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 /etc/ld.so.preload
open syscall for file /oldhome/oroussel/lib/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 /etc/ld.so.cache
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 /lib/tls/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/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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
One traced child (pid=25448) exited with status: 0
One traced child (pid=25449) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=25450
New process pid=25451
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/32036/stat
open syscall for file /proc/32036/status
open syscall for file /proc/32036/cmdline
open syscall for file /proc/32036/environ
open syscall for file /proc/1866/stat
open syscall for file /proc/1866/status
open syscall for file /proc/1866/cmdline
open syscall for file /proc/1866/environ
open syscall for file /proc/1893/stat
open syscall for file /proc/1893/status
open syscall for file /proc/1893/cmdline
open syscall for file /proc/1893/environ
open syscall for file /proc/1917/stat
open syscall for file /proc/1917/status
open syscall for file /proc/1917/cmdline
open syscall for file /proc/1917/environ
open syscall for file /proc/12510/stat
open syscall for file /proc/12510/status
open syscall for file /proc/12510/cmdline
open syscall for file /proc/12510/environ
open syscall for file /proc/16403/stat
open syscall for file /proc/16403/status
open syscall for file /proc/16403/cmdline
open syscall for file /proc/16403/environ
open syscall for file /proc/31159/stat
open syscall for file /proc/31159/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/31159/cmdline
open syscall for file /proc/31159/environ
open syscall for file /proc/31194/stat
open syscall for file /proc/31194/status
open syscall for file /proc/31194/cmdline
open syscall for file /proc/31194/environ
open syscall for file /proc/19316/stat
open syscall for file /proc/19316/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/19316/cmdline
open syscall for file /proc/19316/environ
open syscall for file /proc/19317/stat
open syscall for file /proc/19317/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/19317/cmdline
open syscall for file /proc/19317/environ
open syscall for file /proc/19326/stat
open syscall for file /proc/19326/status
open syscall for file /proc/19326/cmdline
open syscall for file /proc/19326/environ
open syscall for file /proc/25403/stat
open syscall for file /proc/25403/status
open syscall for file /proc/25403/cmdline
open syscall for file /proc/25403/environ
open syscall for file /proc/25439/stat
open syscall for file /proc/25439/status
open syscall for file /proc/25439/cmdline
open syscall for file /proc/25439/environ
open syscall for file /proc/25440/stat
open syscall for file /proc/25440/status
open syscall for file /proc/25440/cmdline
open syscall for file /proc/25440/environ
open syscall for file /proc/25450/stat
open syscall for file /proc/25450/status
open syscall for file /proc/25450/cmdline
open syscall for file /proc/25450/environ
open syscall for file /proc/25451/stat
open syscall for file /proc/25451/status
open syscall for file /proc/25451/cmdline
open syscall for file /proc/25451/environ
One traced child (pid=25450) exited with status: 0
One traced child (pid=25451) exited with status: 0
New process pid=25452
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=25452) exited with status: 0
New process pid=25453
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=25453) exited with status: 0
One traced child (pid=25440) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 19.9329
CPU time (s): 14.9497
CPU user time (s): 12.4471
CPU system time (s): 2.50262
CPU usage (%): 75.0004
Max. virtual memory (cumulated for all children) (Kb): 4624

Verifier Data

Verifier:	OK	718