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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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 benchmark209.173
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 5126

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        877088 kB
Buffers:         37868 kB
Cached:          89848 kB
SwapCached:        736 kB
Active:          70484 kB
Inactive:        59828 kB
HighTotal:      131008 kB
HighFree:        37492 kB
LowTotal:       903652 kB
LowFree:        839596 kB
SwapTotal:     2097892 kB
SwapFree:      2096652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            21368 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:56:38 (client local time) WITH STATUS 30 IN 209.173 SECONDS
stats: 914 0 209.173 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.202
c After prepocess the problem consists of 195 variables and 133 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 2700 @ 0.211 @ #Dec. 32
c NEW SOLUTION FOUND: 2675 @ 0.211 @ #Dec. 33
c NEW SOLUTION FOUND: 2674 @ 0.211 @ #Dec. 36
c NEW SOLUTION FOUND: 2662 @ 0.212 @ #Dec. 36
c NEW SOLUTION FOUND: 2650 @ 0.212 @ #Dec. 38
c NEW SOLUTION FOUND: 2602 @ 0.217 @ #Dec. 49
c NEW SOLUTION FOUND: 2595 @ 0.223 @ #Dec. 69
c NEW SOLUTION FOUND: 2575 @ 0.254 @ #Dec. 158
c NEW SOLUTION FOUND: 2565 @ 0.255 @ #Dec. 163
c NEW SOLUTION FOUND: 2552 @ 0.256 @ #Dec. 166
c NEW SOLUTION FOUND: 2540 @ 0.256 @ #Dec. 167
c NEW SOLUTION FOUND: 2362 @ 0.307 @ #Dec. 272
c NEW SOLUTION FOUND: 2355 @ 0.311 @ #Dec. 287
c NEW SOLUTION FOUND: 2349 @ 0.312 @ #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.397 @ #Dec. 493
c NEW SOLUTION FOUND: 2279 @ 0.414 @ #Dec. 532
c NEW SOLUTION FOUND: 2267 @ 0.478 @ #Dec. 652
c NEW SOLUTION FOUND: 2259 @ 0.588 @ #Dec. 869
c NEW SOLUTION FOUND: 2247 @ 0.653 @ #Dec. 1043
c NEW SOLUTION FOUND: 2235 @ 0.72 @ #Dec. 1220
c NEW SOLUTION FOUND: 2231 @ 0.856 @ #Dec. 1445
c NEW SOLUTION FOUND: 2219 @ 0.858 @ #Dec. 1449
c Restart #1 #Var: 195 #Dec: 1697 LB: 0 @ 0.994
c NEW SOLUTION FOUND: 2208 @ 1.068 @ #Dec. 1858
c NEW SOLUTION FOUND: 2203 @ 1.08 @ #Dec. 1886
c NEW SOLUTION FOUND: 2023 @ 1.137 @ #Dec. 2009
c NEW SOLUTION FOUND: 1999 @ 1.139 @ #Dec. 2015
c NEW SOLUTION FOUND: 1994 @ 1.149 @ #Dec. 2044
c NEW SOLUTION FOUND: 1991 @ 1.159 @ #Dec. 2080
c NEW SOLUTION FOUND: 1979 @ 1.161 @ #Dec. 2085
c NEW SOLUTION FOUND: 1974 @ 1.197 @ #Dec. 2161
c Restart #2 #Var: 195 #Dec: 2652 LB: 0 @ 1.489
c NEW SOLUTION FOUND: 1972 @ 1.621 @ #Dec. 2964
c NEW SOLUTION FOUND: 1957 @ 1.7 @ #Dec. 3125
c NEW SOLUTION FOUND: 1954 @ 1.703 @ #Dec. 3143
c NEW SOLUTION FOUND: 1950 @ 2.174 @ #Dec. 3966
c NEW SOLUTION FOUND: 1942 @ 2.19 @ #Dec. 4001
c NEW SOLUTION FOUND: 1940 @ 2.194 @ #Dec. 4006
c NEW SOLUTION FOUND: 1930 @ 2.196 @ #Dec. 4011
c NEW SOLUTION FOUND: 1922 @ 2.309 @ #Dec. 4180
c NEW SOLUTION FOUND: 1912 @ 2.313 @ #Dec. 4188
c NEW SOLUTION FOUND: 1902 @ 2.354 @ #Dec. 4251
c NEW SOLUTION FOUND: 1892 @ 2.359 @ #Dec. 4262
c NEW SOLUTION FOUND: 1882 @ 2.465 @ #Dec. 4421
c NEW SOLUTION FOUND: 1874 @ 2.502 @ #Dec. 4479
c NEW SOLUTION FOUND: 1864 @ 2.505 @ #Dec. 4483
c NEW SOLUTION FOUND: 1854 @ 2.557 @ #Dec. 4570
c NEW SOLUTION FOUND: 1844 @ 2.56 @ #Dec. 4577
c Restart #3 #Var: 195 #Dec: 5387 LB: 0 @ 3.3
c NEW SOLUTION FOUND: 1842 @ 3.538 @ #Dec. 5792
c NEW SOLUTION FOUND: 1830 @ 3.621 @ #Dec. 6034
c NEW SOLUTION FOUND: 1813 @ 3.652 @ #Dec. 6125
c NEW SOLUTION FOUND: 1800 @ 3.653 @ #Dec. 6130
c NEW SOLUTION FOUND: 1788 @ 3.654 @ #Dec. 6134
c NEW SOLUTION FOUND: 1780 @ 3.704 @ #Dec. 6305
c NEW SOLUTION FOUND: 1768 @ 3.728 @ #Dec. 6353
c Restart #4 #Var: 195 #Dec: 7570 LB: 0 @ 4.565
c Restart #5 #Var: 195 #Dec: 9009 LB: 0 @ 6.047
c Restart #6 #Var: 195 #Dec: 11627 LB: 0 @ 8.665
c Restart #7 #Var: 195 #Dec: 14694 LB: 0 @ 12.62
c NEW SOLUTION FOUND: 1766 @ 14.739 @ #Dec. 15849
c NEW SOLUTION FOUND: 1754 @ 14.739 @ #Dec. 15852
c Restart #8 #Var: 195 #Dec: 17678 LB: 0 @ 20.667
c Restart #9 #Var: 195 #Dec: 20166 LB: 0 @ 27.161
c Restart #10 #Var: 195 #Dec: 22589 LB: 0 @ 30.01
c Restart #11 #Var: 195 #Dec: 25467 LB: 0 @ 39.367
c NEW SOLUTION FOUND: 1746 @ 43.429 @ #Dec. 28149
c NEW SOLUTION FOUND: 1744 @ 43.471 @ #Dec. 28198
c NEW SOLUTION FOUND: 1734 @ 43.474 @ #Dec. 28203
c NEW SOLUTION FOUND: 1726 @ 44.095 @ #Dec. 28823
c NEW SOLUTION FOUND: 1724 @ 44.125 @ #Dec. 28861
c NEW SOLUTION FOUND: 1714 @ 44.127 @ #Dec. 28865
c Restart #12 #Var: 195 #Dec: 31789 LB: 0 @ 48.035
c Restart #13 #Var: 195 #Dec: 35188 LB: 0 @ 53.009
c Restart #14 #Var: 195 #Dec: 38466 LB: 0 @ 71.027
c Restart #15 #Var: 195 #Dec: 42727 LB: 0 @ 78.025
c CHANGE to LPR mode... 	UB: 1714	MIS: 0	LPR: 1395 (0.065)	Diff: 0
c Restart #0 #Var: 195 #Dec: 46305 LB: 0 @ 106.17
c NEW SOLUTION FOUND: 1656 @ 108.64 @ #Dec. 46347
c NEW SOLUTION FOUND: 1651 @ 108.69 @ #Dec. 46347
c NEW SOLUTION FOUND: 1641 @ 110.36 @ #Dec. 46395
c NEW SOLUTION FOUND: 1595 @ 116.83 @ #Dec. 46512
c NEW SOLUTION FOUND: 1571 @ 116.89 @ #Dec. 46512
c NEW SOLUTION FOUND: 1561 @ 120.28 @ #Dec. 46579
c Restart #1 #Var: 195 #Dec: 46782 LB: 1395 @ 148.68
c NEW SOLUTION FOUND: 1559 @ 153.03 @ #Dec. 46846
c NEW SOLUTION FOUND: 1557 @ 153.26 @ #Dec. 46856
c NEW SOLUTION FOUND: 1547 @ 153.28 @ #Dec. 46856
c NEW SOLUTION FOUND: 1535 @ 154.72 @ #Dec. 46887
c NEW SOLUTION FOUND: 1533 @ 171.61 @ #Dec. 47031
c NEW SOLUTION FOUND: 1523 @ 171.65 @ #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: 209.12 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/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853645914 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 107 3 90 68 0 39 0
[pid=3986] 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/wulflinc24/normalized-mps-v2-13-7-p0201.opb

[startup+10.0025 s]
Raw data (loadavg): 0.88 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 6018 0 0 0 912 39 0 0 25 0 1 0 1853645914 27701248 5929 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 6763 5929 1116 68 0 6695 0
[pid=3986] vsize: 27052
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (Kb) 27052

[startup+20.0032 s]
Raw data (loadavg): 0.90 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 7657 0 0 0 1879 55 0 0 25 0 1 0 1853645914 34459648 7568 4294967295 134512640 134736556 3221224560 3221223084 134536623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 8413 7568 1116 68 0 8345 0
[pid=3986] vsize: 33652
Current children cumulated CPU time (s) 19.34
Current children cumulated vsize (Kb) 33652

[startup+30.0039 s]
Raw data (loadavg): 0.91 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 9294 0 0 0 2847 67 0 0 25 0 1 0 1853645914 41078784 9205 4294967295 134512640 134736556 3221224560 3221223056 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 10029 9205 1116 68 0 9961 0
[pid=3986] vsize: 40116
Current children cumulated CPU time (s) 29.14
Current children cumulated vsize (Kb) 40116

[startup+40.0046 s]
Raw data (loadavg): 0.92 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 10385 0 0 0 3822 77 0 0 25 0 1 0 1853645914 45670400 10296 4294967295 134512640 134736556 3221224560 3221223184 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 11150 10296 1116 68 0 11082 0
[pid=3986] vsize: 44600
Current children cumulated CPU time (s) 38.99
Current children cumulated vsize (Kb) 44600

[startup+50.0053 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 13391 0 0 0 4776 97 0 0 25 0 1 0 1853645914 57982976 13301 4294967295 134512640 134736556 3221224560 3221223248 134605561 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 14156 13301 1116 68 0 14088 0
[pid=3986] vsize: 56624
Current children cumulated CPU time (s) 48.73
Current children cumulated vsize (Kb) 56624

[startup+60.006 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 15137 0 0 0 5747 111 0 0 25 0 1 0 1853645914 65146880 15047 4294967295 134512640 134736556 3221224560 3221223184 134528720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 15905 15047 1116 68 0 15837 0
[pid=3986] vsize: 63620
Current children cumulated CPU time (s) 58.58
Current children cumulated vsize (Kb) 63620

[startup+70.0077 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) T 3985 3986 20728 0 -1 0 15859 0 0 0 6733 117 0 0 25 0 1 0 1853645914 67993600 15769 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/3986/statm): 16600 15769 1116 68 0 16532 0
[pid=3986] vsize: 66400
Current children cumulated CPU time (s) 68.5
Current children cumulated vsize (Kb) 66400

[startup+80.0084 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 17551 0 0 0 7703 132 0 0 25 0 1 0 1853645914 75018240 17461 4294967295 134512640 134736556 3221224560 3221223028 134536049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 18315 17461 1116 68 0 18247 0
[pid=3986] vsize: 73260
Current children cumulated CPU time (s) 78.35
Current children cumulated vsize (Kb) 73260

[startup+90.0091 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 18270 0 0 0 8691 139 0 0 25 0 1 0 1853645914 77860864 18180 4294967295 134512640 134736556 3221224560 3221223120 134524350 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 19009 18180 1116 68 0 18941 0
[pid=3986] vsize: 76036
Current children cumulated CPU time (s) 88.3
Current children cumulated vsize (Kb) 76036

[startup+100.009 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 19086 0 0 0 9678 145 0 0 25 0 1 0 1853645914 81244160 18996 4294967295 134512640 134736556 3221224560 3221223248 134529155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 19835 18996 1116 68 0 19767 0
[pid=3986] vsize: 79340
Current children cumulated CPU time (s) 98.23
Current children cumulated vsize (Kb) 79340

[startup+110.009 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 21496 0 0 0 10649 158 0 0 25 0 1 0 1853645914 88158208 20715 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 21523 20715 1116 68 0 21455 0
[pid=3986] vsize: 86092
Current children cumulated CPU time (s) 108.07
Current children cumulated vsize (Kb) 86092

[startup+120.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 23765 0 0 0 11548 192 0 0 25 0 1 0 1853645914 88682496 20809 4294967295 134512640 134736556 3221224560 3221221404 1077386340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 21651 20809 1116 68 0 21583 0
[pid=3986] vsize: 86604
Current children cumulated CPU time (s) 117.4
Current children cumulated vsize (Kb) 86604

[startup+130.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 26728 0 0 0 12463 221 0 0 25 0 1 0 1853645914 88784896 20869 4294967295 134512640 134736556 3221224560 3221222340 1077378596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 21676 20869 1116 68 0 21608 0
[pid=3986] vsize: 86704
Current children cumulated CPU time (s) 126.84
Current children cumulated vsize (Kb) 86704

[startup+140.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 29843 0 0 0 13392 245 0 0 25 0 1 0 1853645914 89456640 20976 4294967295 134512640 134736556 3221224560 3221220420 1074786528 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 21840 20976 1116 68 0 21772 0
[pid=3986] vsize: 87360
Current children cumulated CPU time (s) 136.37
Current children cumulated vsize (Kb) 87360

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 32713 0 0 0 14325 269 0 0 25 0 1 0 1853645914 89407488 21021 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 21828 21021 1116 68 0 21760 0
[pid=3986] vsize: 87312
Current children cumulated CPU time (s) 145.94
Current children cumulated vsize (Kb) 87312

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 36189 0 0 0 15229 301 0 0 25 0 1 0 1853645914 91316224 21488 4294967295 134512640 134736556 3221224560 3221222536 1077374625 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 22294 21488 1116 68 0 22226 0
[pid=3986] vsize: 89176
Current children cumulated CPU time (s) 155.3
Current children cumulated vsize (Kb) 89176

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) T 3985 3986 20728 0 -1 0 39203 0 0 0 16160 323 0 0 25 0 1 0 1853645914 91660288 21572 4294967295 134512640 134736556 3221224560 3221222972 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/3986/statm): 22378 21572 1116 68 0 22310 0
[pid=3986] vsize: 89512
Current children cumulated CPU time (s) 164.83
Current children cumulated vsize (Kb) 89512

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 42130 0 0 0 17088 346 0 0 25 0 1 0 1853645914 92028928 21662 4294967295 134512640 134736556 3221224560 3221223168 134682918 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 22468 21662 1116 68 0 22400 0
[pid=3986] vsize: 89872
Current children cumulated CPU time (s) 174.34
Current children cumulated vsize (Kb) 89872

[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 45230 0 0 0 18012 371 0 0 25 0 1 0 1853645914 92323840 21734 4294967295 134512640 134736556 3221224560 3221223168 134682918 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/3986/statm): 22540 21734 1116 68 0 22472 0
[pid=3986] vsize: 90160
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (Kb) 90160

[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) R 3985 3986 20728 0 -1 0 48160 0 0 0 18944 395 0 0 25 0 1 0 1853645914 92602368 21804 4294967295 134512640 134736556 3221224560 3221223168 134682918 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/3986/statm): 22608 21804 1116 68 0 22540 0
[pid=3986] vsize: 90432
Current children cumulated CPU time (s) 193.39
Current children cumulated vsize (Kb) 90432

[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 3986
Raw data (/proc/3986/stat): 3986 (bsolo) T 3985 3986 20728 0 -1 0 50931 0 0 0 19880 418 0 0 25 0 1 0 1853645914 92893184 21868 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/3986/statm): 22679 21868 1116 68 0 22611 0
[pid=3986] vsize: 90716
Current children cumulated CPU time (s) 202.98
Current children cumulated vsize (Kb) 90716
One traced child (pid=3986) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 216.473
CPU time (s): 209.173
CPU user time (s): 204.808
CPU system time (s): 4.36534
CPU usage (%): 96.6277
Max. virtual memory (cumulated for all children) (Kb): 90716

Verifier Data

Verifier:	OK	1523