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

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUMffa3a55eb53181880328dd1b84f91e66
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark207.265
Number of variables201
Total number of constraints334
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)227
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 546

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-18 11:19:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=530 boxname=wulflinc31 idbench=530 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 530
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        717552 kB
Buffers:         35284 kB
Cached:         251340 kB
SwapCached:       1016 kB
Active:          92496 kB
Inactive:       196896 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        717300 kB
SwapTotal:     2097892 kB
SwapFree:      2096404 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            22088 kB
Committed_AS:    64340 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 11:22:51 (client local time) WITH STATUS 30 IN 207.265 SECONDS
stats: 530 0 207.265 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.196
c After prepocess the problem consists of 195 variables and 133 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 2700 @ 0.203 @ #Dec. 32
c NEW SOLUTION FOUND: 2675 @ 0.204 @ #Dec. 33
c NEW SOLUTION FOUND: 2674 @ 0.205 @ #Dec. 36
c NEW SOLUTION FOUND: 2662 @ 0.205 @ #Dec. 36
c NEW SOLUTION FOUND: 2650 @ 0.205 @ #Dec. 38
c NEW SOLUTION FOUND: 2602 @ 0.21 @ #Dec. 49
c NEW SOLUTION FOUND: 2595 @ 0.217 @ #Dec. 69
c NEW SOLUTION FOUND: 2575 @ 0.248 @ #Dec. 158
c NEW SOLUTION FOUND: 2565 @ 0.25 @ #Dec. 163
c NEW SOLUTION FOUND: 2552 @ 0.25 @ #Dec. 166
c NEW SOLUTION FOUND: 2540 @ 0.251 @ #Dec. 167
c NEW SOLUTION FOUND: 2362 @ 0.303 @ #Dec. 272
c NEW SOLUTION FOUND: 2355 @ 0.308 @ #Dec. 287
c NEW SOLUTION FOUND: 2349 @ 0.31 @ #Dec. 290
c NEW SOLUTION FOUND: 2324 @ 0.312 @ #Dec. 296
c NEW SOLUTION FOUND: 2312 @ 0.336 @ #Dec. 369
c NEW SOLUTION FOUND: 2300 @ 0.339 @ #Dec. 381
c NEW SOLUTION FOUND: 2291 @ 0.4 @ #Dec. 493
c NEW SOLUTION FOUND: 2279 @ 0.418 @ #Dec. 532
c NEW SOLUTION FOUND: 2267 @ 0.485 @ #Dec. 652
c NEW SOLUTION FOUND: 2259 @ 0.592 @ #Dec. 869
c NEW SOLUTION FOUND: 2247 @ 0.653 @ #Dec. 1043
c NEW SOLUTION FOUND: 2235 @ 0.723 @ #Dec. 1220
c NEW SOLUTION FOUND: 2231 @ 0.854 @ #Dec. 1445
c NEW SOLUTION FOUND: 2219 @ 0.856 @ #Dec. 1449
c Restart #1 #Var: 195 #Dec: 1697 LB: 0 @ 0.985
c NEW SOLUTION FOUND: 2208 @ 1.06 @ #Dec. 1858
c NEW SOLUTION FOUND: 2203 @ 1.074 @ #Dec. 1886
c NEW SOLUTION FOUND: 2023 @ 1.128 @ #Dec. 2009
c NEW SOLUTION FOUND: 1999 @ 1.129 @ #Dec. 2015
c NEW SOLUTION FOUND: 1994 @ 1.139 @ #Dec. 2044
c NEW SOLUTION FOUND: 1991 @ 1.15 @ #Dec. 2080
c NEW SOLUTION FOUND: 1979 @ 1.152 @ #Dec. 2085
c NEW SOLUTION FOUND: 1974 @ 1.188 @ #Dec. 2161
c Restart #2 #Var: 195 #Dec: 2652 LB: 0 @ 1.482
c NEW SOLUTION FOUND: 1972 @ 1.606 @ #Dec. 2964
c NEW SOLUTION FOUND: 1957 @ 1.682 @ #Dec. 3125
c NEW SOLUTION FOUND: 1954 @ 1.686 @ #Dec. 3143
c NEW SOLUTION FOUND: 1950 @ 2.147 @ #Dec. 3966
c NEW SOLUTION FOUND: 1942 @ 2.163 @ #Dec. 4001
c NEW SOLUTION FOUND: 1940 @ 2.167 @ #Dec. 4006
c NEW SOLUTION FOUND: 1930 @ 2.168 @ #Dec. 4011
c NEW SOLUTION FOUND: 1922 @ 2.28 @ #Dec. 4180
c NEW SOLUTION FOUND: 1912 @ 2.285 @ #Dec. 4188
c NEW SOLUTION FOUND: 1902 @ 2.327 @ #Dec. 4251
c NEW SOLUTION FOUND: 1892 @ 2.331 @ #Dec. 4262
c NEW SOLUTION FOUND: 1882 @ 2.431 @ #Dec. 4421
c NEW SOLUTION FOUND: 1874 @ 2.47 @ #Dec. 4479
c NEW SOLUTION FOUND: 1864 @ 2.472 @ #Dec. 4483
c NEW SOLUTION FOUND: 1854 @ 2.522 @ #Dec. 4570
c NEW SOLUTION FOUND: 1844 @ 2.526 @ #Dec. 4577
c Restart #3 #Var: 195 #Dec: 5387 LB: 0 @ 3.246
c NEW SOLUTION FOUND: 1842 @ 3.479 @ #Dec. 5792
c NEW SOLUTION FOUND: 1830 @ 3.561 @ #Dec. 6034
c NEW SOLUTION FOUND: 1813 @ 3.595 @ #Dec. 6125
c NEW SOLUTION FOUND: 1800 @ 3.596 @ #Dec. 6130
c NEW SOLUTION FOUND: 1788 @ 3.597 @ #Dec. 6134
c NEW SOLUTION FOUND: 1780 @ 3.642 @ #Dec. 6305
c NEW SOLUTION FOUND: 1768 @ 3.668 @ #Dec. 6353
c Restart #4 #Var: 195 #Dec: 7570 LB: 0 @ 4.512
c Restart #5 #Var: 195 #Dec: 9009 LB: 0 @ 5.981
c Restart #6 #Var: 195 #Dec: 11627 LB: 0 @ 8.548
c Restart #7 #Var: 195 #Dec: 14694 LB: 0 @ 12.387
c NEW SOLUTION FOUND: 1766 @ 14.462 @ #Dec. 15849
c NEW SOLUTION FOUND: 1754 @ 14.464 @ #Dec. 15852
c Restart #8 #Var: 195 #Dec: 17678 LB: 0 @ 20.275
c Restart #9 #Var: 195 #Dec: 20166 LB: 0 @ 26.716
c Restart #10 #Var: 195 #Dec: 22589 LB: 0 @ 29.569
c Restart #11 #Var: 195 #Dec: 25467 LB: 0 @ 38.922
c NEW SOLUTION FOUND: 1746 @ 43.006 @ #Dec. 28149
c NEW SOLUTION FOUND: 1744 @ 43.046 @ #Dec. 28198
c NEW SOLUTION FOUND: 1734 @ 43.049 @ #Dec. 28203
c NEW SOLUTION FOUND: 1726 @ 43.668 @ #Dec. 28823
c NEW SOLUTION FOUND: 1724 @ 43.698 @ #Dec. 28861
c NEW SOLUTION FOUND: 1714 @ 43.7 @ #Dec. 28865
c Restart #12 #Var: 195 #Dec: 31789 LB: 0 @ 47.609
c Restart #13 #Var: 195 #Dec: 35188 LB: 0 @ 52.566
c Restart #14 #Var: 195 #Dec: 38466 LB: 0 @ 70.325
c Restart #15 #Var: 195 #Dec: 42727 LB: 0 @ 77.206
c CHANGE to LPR mode... 	UB: 1714	MIS: 0	LPR: 1395 (0.065667)	Diff: 0
c Restart #0 #Var: 195 #Dec: 46305 LB: 0 @ 105.11
c NEW SOLUTION FOUND: 1656 @ 107.55 @ #Dec. 46347
c NEW SOLUTION FOUND: 1651 @ 107.6 @ #Dec. 46347
c NEW SOLUTION FOUND: 1641 @ 109.23 @ #Dec. 46395
c NEW SOLUTION FOUND: 1595 @ 115.66 @ #Dec. 46512
c NEW SOLUTION FOUND: 1571 @ 115.72 @ #Dec. 46512
c NEW SOLUTION FOUND: 1561 @ 119.07 @ #Dec. 46579
c Restart #1 #Var: 195 #Dec: 46782 LB: 1395 @ 147.26
c NEW SOLUTION FOUND: 1559 @ 151.59 @ #Dec. 46846
c NEW SOLUTION FOUND: 1557 @ 151.82 @ #Dec. 46856
c NEW SOLUTION FOUND: 1547 @ 151.84 @ #Dec. 46856
c NEW SOLUTION FOUND: 1535 @ 153.27 @ #Dec. 46887
c NEW SOLUTION FOUND: 1533 @ 170.03 @ #Dec. 47031
c NEW SOLUTION FOUND: 1523 @ 170.07 @ #Dec. 47034
s OPTIMUM FOUND
v -C1001_bit0 C1002_bit0 -C1003_bit0 C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 C1057_bit0 -C1058_bit0 C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 C1075_bit0 C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 C1129_bit0 -C1130_bit0 C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 C1147_bit0 C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_bit0 
c Cost: 1523
c Exit Code: 30
c Total time: 207.21 s

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/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840801233 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 107 3 90 68 0 39 0
[pid=11322] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
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/libm.so.6
open syscall for file /lib/tls/libm.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 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/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb

[startup+10.0034 s]
Raw data (loadavg): 0.87 0.95 0.96 2/57 11322
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 6032 0 0 0 915 38 0 0 25 0 1 0 1840801233 27836416 5943 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 6796 5943 1116 68 0 6728 0
[pid=11322] vsize: 27184
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (Kb) 27184

[startup+20.0043 s]
Raw data (loadavg): 0.89 0.95 0.96 2/57 11324
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 7707 0 0 0 1881 53 0 0 25 0 1 0 1840801233 34594816 7618 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11322/statm): 8446 7618 1116 68 0 8378 0
[pid=11322] vsize: 33784
Current children cumulated CPU time (s) 19.34
Current children cumulated vsize (Kb) 33784

[startup+30.0053 s]
Raw data (loadavg): 0.91 0.95 0.96 2/57 11324
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 9439 0 0 0 2849 68 0 0 25 0 1 0 1840801233 41754624 9350 4294967295 134512640 134736556 3221224560 3221223132 134537572 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11322/statm): 10194 9350 1116 68 0 10126 0
[pid=11322] vsize: 40776
Current children cumulated CPU time (s) 29.17
Current children cumulated vsize (Kb) 40776

[startup+40.0062 s]
Raw data (loadavg): 0.92 0.96 0.96 2/57 11324
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 10436 0 0 0 3826 79 0 0 25 0 1 0 1840801233 45805568 10347 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11322/statm): 11183 10347 1116 68 0 11115 0
[pid=11322] vsize: 44732
Current children cumulated CPU time (s) 39.05
Current children cumulated vsize (Kb) 44732

[startup+50.0072 s]
Raw data (loadavg): 0.93 0.96 0.96 2/57 11324
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 13538 0 0 0 4779 99 0 0 20 0 1 0 1840801233 58523648 13448 4294967295 134512640 134736556 3221224560 3221223088 134550721 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 14288 13448 1116 68 0 14220 0
[pid=11322] vsize: 57152
Current children cumulated CPU time (s) 48.78
Current children cumulated vsize (Kb) 57152

[startup+60.0081 s]
Raw data (loadavg): 0.94 0.96 0.96 2/57 11324
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 15191 0 0 0 5749 111 0 0 25 0 1 0 1840801233 65282048 15101 4294967295 134512640 134736556 3221224560 3221223232 134528726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 15938 15101 1116 68 0 15870 0
[pid=11322] vsize: 63752
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (Kb) 63752

[startup+70.009 s]
Raw data (loadavg): 0.95 0.96 0.96 2/57 11324
Raw data (/proc/11322/stat): 11322 (bsolo) T 11321 11322 9102 0 -1 0 15933 0 0 0 6735 117 0 0 25 0 1 0 1840801233 68399104 15843 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11322/statm): 16699 15843 1116 68 0 16631 0
[pid=11322] vsize: 66796
Current children cumulated CPU time (s) 68.52
Current children cumulated vsize (Kb) 66796

[startup+80.0099 s]
Raw data (loadavg): 0.96 0.96 0.96 2/57 11326
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 17621 0 0 0 7703 131 0 0 25 0 1 0 1840801233 75292672 17531 4294967295 134512640 134736556 3221224560 3221223184 134528714 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11322/statm): 18382 17531 1116 68 0 18314 0
[pid=11322] vsize: 73528
Current children cumulated CPU time (s) 78.34
Current children cumulated vsize (Kb) 73528

[startup+90.0109 s]
Raw data (loadavg): 0.96 0.96 0.96 2/57 11326
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 18374 0 0 0 8692 137 0 0 25 0 1 0 1840801233 78401536 18284 4294967295 134512640 134736556 3221224560 3221223116 134537543 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11322/statm): 19141 18284 1116 68 0 19073 0
[pid=11322] vsize: 76564
Current children cumulated CPU time (s) 88.29
Current children cumulated vsize (Kb) 76564

[startup+100.012 s]
Raw data (loadavg): 0.97 0.96 0.96 2/57 11326
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 19152 0 0 0 9678 145 0 0 25 0 1 0 1840801233 81514496 19062 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11322/statm): 19901 19062 1116 68 0 19833 0
[pid=11322] vsize: 79604
Current children cumulated CPU time (s) 98.23
Current children cumulated vsize (Kb) 79604

[startup+110.013 s]
Raw data (loadavg): 0.97 0.96 0.96 2/57 11326
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 21798 0 0 0 10642 158 0 0 25 0 1 0 1840801233 88211456 20728 4294967295 134512640 134736556 3221224560 3221222880 134682706 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 21536 20728 1116 68 0 21468 0
[pid=11322] vsize: 86144
Current children cumulated CPU time (s) 108
Current children cumulated vsize (Kb) 86144

[startup+120.014 s]
Raw data (loadavg): 0.98 0.96 0.96 2/57 11326
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 24067 0 0 0 11537 191 0 0 25 0 1 0 1840801233 88592384 20821 4294967295 134512640 134736556 3221224560 3221222512 1074918607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 21629 20821 1116 68 0 21561 0
[pid=11322] vsize: 86516
Current children cumulated CPU time (s) 117.28
Current children cumulated vsize (Kb) 86516

[startup+130.015 s]
Raw data (loadavg): 0.98 0.96 0.96 2/57 11326
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 27116 0 0 0 12458 218 0 0 25 0 1 0 1840801233 88866816 20889 4294967295 134512640 134736556 3221224560 3221222864 1074115509 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 21696 20889 1116 68 0 21628 0
[pid=11322] vsize: 86784
Current children cumulated CPU time (s) 126.76
Current children cumulated vsize (Kb) 86784

[startup+140.017 s]
Raw data (loadavg): 0.98 0.97 0.96 2/57 11328
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 30224 0 0 0 13382 244 0 0 25 0 1 0 1840801233 89370624 20971 4294967295 134512640 134736556 3221224560 3221221632 1074834428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 21819 20971 1116 68 0 21751 0
[pid=11322] vsize: 87276
Current children cumulated CPU time (s) 136.26
Current children cumulated vsize (Kb) 87276

[startup+150.018 s]
Raw data (loadavg): 0.98 0.97 0.96 2/57 11328
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 33173 0 0 0 14315 268 0 0 25 0 1 0 1840801233 89464832 21032 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 21842 21032 1116 68 0 21774 0
[pid=11322] vsize: 87368
Current children cumulated CPU time (s) 145.83
Current children cumulated vsize (Kb) 87368

[startup+160.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/57 11328
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 36674 0 0 0 15218 298 0 0 25 0 1 0 1840801233 91348992 21494 4294967295 134512640 134736556 3221224560 3221222296 1077410205 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 22302 21494 1116 68 0 22234 0
[pid=11322] vsize: 89208
Current children cumulated CPU time (s) 155.16
Current children cumulated vsize (Kb) 89208

[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/57 11328
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 39657 0 0 0 16146 324 0 0 25 0 1 0 1840801233 91684864 21576 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 22384 21576 1116 68 0 22316 0
[pid=11322] vsize: 89536
Current children cumulated CPU time (s) 164.7
Current children cumulated vsize (Kb) 89536

[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/57 11328
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 42612 0 0 0 17073 348 0 0 25 0 1 0 1840801233 92102656 21674 4294967295 134512640 134736556 3221224560 3221222388 1074143411 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 22486 21674 1116 68 0 22418 0
[pid=11322] vsize: 89944
Current children cumulated CPU time (s) 174.21
Current children cumulated vsize (Kb) 89944

[startup+190.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/57 11328
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 45736 0 0 0 18000 372 0 0 25 0 1 0 1840801233 92405760 21755 4294967295 134512640 134736556 3221224560 3221223168 134682918 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 22560 21755 1116 68 0 22492 0
[pid=11322] vsize: 90240
Current children cumulated CPU time (s) 183.72
Current children cumulated vsize (Kb) 90240

[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/57 11330
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 48645 0 0 0 18932 396 0 0 25 0 1 0 1840801233 92934144 21813 4294967295 134512640 134736556 3221224560 3221221440 1075960390 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 22689 21813 1116 68 0 22621 0
[pid=11322] vsize: 90756
Current children cumulated CPU time (s) 193.28
Current children cumulated vsize (Kb) 90756

[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/57 11330
Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 51383 0 0 0 19864 416 0 0 25 0 1 0 1840801233 92876800 21866 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11322/statm): 22675 21866 1116 68 0 22607 0
[pid=11322] vsize: 90700
Current children cumulated CPU time (s) 202.8
Current children cumulated vsize (Kb) 90700
One traced child (pid=11322) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 214.681
CPU time (s): 207.265
CPU user time (s): 202.985
CPU system time (s): 4.28035
CPU usage (%): 96.5458
Max. virtual memory (cumulated for all children) (Kb): 90756

Verifier Data

Verifier:	OK	1523