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/miplib3/normalized-mps-v2-20-10-p0201.opb
MD5SUM8c361d02d5162bb0b133ab6ed38f9294
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 benchmark212.013
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 1265

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-18 14:41:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=652 boxname=wulflinc23 idbench=652 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 652
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        913652 kB
Buffers:         34248 kB
Cached:          59520 kB
SwapCached:        820 kB
Active:          61504 kB
Inactive:        34928 kB
HighTotal:      131008 kB
HighFree:        70000 kB
LowTotal:       903652 kB
LowFree:        843652 kB
SwapTotal:     2097136 kB
SwapFree:      2095864 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            18908 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 14:45:11 (client local time) WITH STATUS 30 IN 212.013 SECONDS
stats: 652 0 212.013 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.193
c After prepocess the problem consists of 195 variables and 133 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 2700 @ 0.202 @ #Dec. 32
c NEW SOLUTION FOUND: 2675 @ 0.203 @ #Dec. 33
c NEW SOLUTION FOUND: 2674 @ 0.204 @ #Dec. 36
c NEW SOLUTION FOUND: 2662 @ 0.204 @ #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.216 @ #Dec. 69
c NEW SOLUTION FOUND: 2575 @ 0.249 @ #Dec. 158
c NEW SOLUTION FOUND: 2565 @ 0.251 @ #Dec. 163
c NEW SOLUTION FOUND: 2552 @ 0.252 @ #Dec. 166
c NEW SOLUTION FOUND: 2540 @ 0.253 @ #Dec. 167
c NEW SOLUTION FOUND: 2362 @ 0.3 @ #Dec. 272
c NEW SOLUTION FOUND: 2355 @ 0.306 @ #Dec. 287
c NEW SOLUTION FOUND: 2349 @ 0.307 @ #Dec. 290
c NEW SOLUTION FOUND: 2324 @ 0.309 @ #Dec. 296
c NEW SOLUTION FOUND: 2312 @ 0.334 @ #Dec. 369
c NEW SOLUTION FOUND: 2300 @ 0.338 @ #Dec. 381
c NEW SOLUTION FOUND: 2291 @ 0.401 @ #Dec. 493
c NEW SOLUTION FOUND: 2279 @ 0.421 @ #Dec. 532
c NEW SOLUTION FOUND: 2267 @ 0.49 @ #Dec. 652
c NEW SOLUTION FOUND: 2259 @ 0.597 @ #Dec. 869
c NEW SOLUTION FOUND: 2247 @ 0.666 @ #Dec. 1043
c NEW SOLUTION FOUND: 2235 @ 0.734 @ #Dec. 1220
c NEW SOLUTION FOUND: 2231 @ 0.862 @ #Dec. 1445
c NEW SOLUTION FOUND: 2219 @ 0.864 @ #Dec. 1449
c Restart #1 #Var: 195 #Dec: 1697 LB: 0 @ 1.001
c NEW SOLUTION FOUND: 2208 @ 1.075 @ #Dec. 1858
c NEW SOLUTION FOUND: 2203 @ 1.088 @ #Dec. 1886
c NEW SOLUTION FOUND: 2023 @ 1.143 @ #Dec. 2009
c NEW SOLUTION FOUND: 1999 @ 1.145 @ #Dec. 2015
c NEW SOLUTION FOUND: 1994 @ 1.155 @ #Dec. 2044
c NEW SOLUTION FOUND: 1991 @ 1.163 @ #Dec. 2080
c NEW SOLUTION FOUND: 1979 @ 1.165 @ #Dec. 2085
c NEW SOLUTION FOUND: 1974 @ 1.202 @ #Dec. 2161
c Restart #2 #Var: 195 #Dec: 2652 LB: 0 @ 1.497
c NEW SOLUTION FOUND: 1972 @ 1.629 @ #Dec. 2964
c NEW SOLUTION FOUND: 1957 @ 1.709 @ #Dec. 3125
c NEW SOLUTION FOUND: 1954 @ 1.712 @ #Dec. 3143
c NEW SOLUTION FOUND: 1950 @ 2.191 @ #Dec. 3966
c NEW SOLUTION FOUND: 1942 @ 2.208 @ #Dec. 4001
c NEW SOLUTION FOUND: 1940 @ 2.212 @ #Dec. 4006
c NEW SOLUTION FOUND: 1930 @ 2.213 @ #Dec. 4011
c NEW SOLUTION FOUND: 1922 @ 2.326 @ #Dec. 4180
c NEW SOLUTION FOUND: 1912 @ 2.33 @ #Dec. 4188
c NEW SOLUTION FOUND: 1902 @ 2.375 @ #Dec. 4251
c NEW SOLUTION FOUND: 1892 @ 2.38 @ #Dec. 4262
c NEW SOLUTION FOUND: 1882 @ 2.481 @ #Dec. 4421
c NEW SOLUTION FOUND: 1874 @ 2.522 @ #Dec. 4479
c NEW SOLUTION FOUND: 1864 @ 2.525 @ #Dec. 4483
c NEW SOLUTION FOUND: 1854 @ 2.58 @ #Dec. 4570
c NEW SOLUTION FOUND: 1844 @ 2.582 @ #Dec. 4577
c Restart #3 #Var: 195 #Dec: 5387 LB: 0 @ 3.307
c NEW SOLUTION FOUND: 1842 @ 3.549 @ #Dec. 5792
c NEW SOLUTION FOUND: 1830 @ 3.637 @ #Dec. 6034
c NEW SOLUTION FOUND: 1813 @ 3.669 @ #Dec. 6125
c NEW SOLUTION FOUND: 1800 @ 3.669 @ #Dec. 6130
c NEW SOLUTION FOUND: 1788 @ 3.669 @ #Dec. 6134
c NEW SOLUTION FOUND: 1780 @ 3.721 @ #Dec. 6305
c NEW SOLUTION FOUND: 1768 @ 3.746 @ #Dec. 6353
c Restart #4 #Var: 195 #Dec: 7570 LB: 0 @ 4.624
c Restart #5 #Var: 195 #Dec: 9009 LB: 0 @ 6.137
c Restart #6 #Var: 195 #Dec: 11627 LB: 0 @ 8.8
c Restart #7 #Var: 195 #Dec: 14694 LB: 0 @ 12.745
c NEW SOLUTION FOUND: 1766 @ 14.89 @ #Dec. 15849
c NEW SOLUTION FOUND: 1754 @ 14.892 @ #Dec. 15852
c Restart #8 #Var: 195 #Dec: 17678 LB: 0 @ 20.826
c Restart #9 #Var: 195 #Dec: 20166 LB: 0 @ 27.383
c Restart #10 #Var: 195 #Dec: 22589 LB: 0 @ 30.283
c Restart #11 #Var: 195 #Dec: 25467 LB: 0 @ 39.822
c NEW SOLUTION FOUND: 1746 @ 43.975 @ #Dec. 28149
c NEW SOLUTION FOUND: 1744 @ 44.016 @ #Dec. 28198
c NEW SOLUTION FOUND: 1734 @ 44.018 @ #Dec. 28203
c NEW SOLUTION FOUND: 1726 @ 44.637 @ #Dec. 28823
c NEW SOLUTION FOUND: 1724 @ 44.669 @ #Dec. 28861
c NEW SOLUTION FOUND: 1714 @ 44.671 @ #Dec. 28865
c Restart #12 #Var: 195 #Dec: 31789 LB: 0 @ 48.653
c Restart #13 #Var: 195 #Dec: 35188 LB: 0 @ 53.758
c Restart #14 #Var: 195 #Dec: 38466 LB: 0 @ 72.181
c Restart #15 #Var: 195 #Dec: 42727 LB: 0 @ 79.225
c CHANGE to LPR mode... 	UB: 1714	MIS: 0	LPR: 1395 (0.068)	Diff: 0
c Restart #0 #Var: 195 #Dec: 46305 LB: 0 @ 107.8
c NEW SOLUTION FOUND: 1656 @ 110.3 @ #Dec. 46347
c NEW SOLUTION FOUND: 1651 @ 110.35 @ #Dec. 46347
c NEW SOLUTION FOUND: 1641 @ 112.03 @ #Dec. 46395
c NEW SOLUTION FOUND: 1595 @ 118.6 @ #Dec. 46512
c NEW SOLUTION FOUND: 1571 @ 118.66 @ #Dec. 46512
c NEW SOLUTION FOUND: 1561 @ 122.1 @ #Dec. 46579
c Restart #1 #Var: 195 #Dec: 46782 LB: 1395 @ 150.78
c NEW SOLUTION FOUND: 1559 @ 155.2 @ #Dec. 46846
c NEW SOLUTION FOUND: 1557 @ 155.43 @ #Dec. 46856
c NEW SOLUTION FOUND: 1547 @ 155.45 @ #Dec. 46856
c NEW SOLUTION FOUND: 1535 @ 156.91 @ #Dec. 46887
c NEW SOLUTION FOUND: 1533 @ 174.03 @ #Dec. 47031
c NEW SOLUTION FOUND: 1523 @ 174.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: 211.96 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/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842065410 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 107 3 90 68 0 39 0
[pid=8385] 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/wulflinc23/normalized-mps-v2-20-10-p0201.opb

[startup+10.0028 s]
Raw data (loadavg): 0.93 1.03 1.03 1/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) T 8384 8385 5299 0 -1 0 6009 0 0 0 909 44 0 0 25 0 1 0 1842065410 27701248 5920 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8385/statm): 6763 5920 1116 68 0 6695 0
[pid=8385] vsize: 27052
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (Kb) 27052

[startup+20.0035 s]
Raw data (loadavg): 0.94 1.02 1.03 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 7640 0 0 0 1873 61 0 0 25 0 1 0 1842065410 34324480 7551 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 8380 7551 1116 68 0 8312 0
[pid=8385] vsize: 33520
Current children cumulated CPU time (s) 19.34
Current children cumulated vsize (Kb) 33520

[startup+30.0041 s]
Raw data (loadavg): 0.95 1.02 1.03 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 9169 0 0 0 2844 73 0 0 25 0 1 0 1842065410 40673280 9080 4294967295 134512640 134736556 3221224560 3221223200 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 9930 9080 1116 68 0 9862 0
[pid=8385] vsize: 39720
Current children cumulated CPU time (s) 29.17
Current children cumulated vsize (Kb) 39720

[startup+40.0048 s]
Raw data (loadavg): 0.96 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 10351 0 0 0 3817 85 0 0 25 0 1 0 1842065410 45400064 10262 4294967295 134512640 134736556 3221224560 3221223100 134550916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 11084 10262 1116 68 0 11016 0
[pid=8385] vsize: 44336
Current children cumulated CPU time (s) 39.02
Current children cumulated vsize (Kb) 44336

[startup+50.0064 s]
Raw data (loadavg): 0.96 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 13316 0 0 0 4772 105 0 0 25 0 1 0 1842065410 57577472 13226 4294967295 134512640 134736556 3221224560 3221223092 134536600 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 14057 13226 1116 68 0 13989 0
[pid=8385] vsize: 56228
Current children cumulated CPU time (s) 48.77
Current children cumulated vsize (Kb) 56228

[startup+60.0071 s]
Raw data (loadavg): 0.97 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 15072 0 0 0 5743 119 0 0 25 0 1 0 1842065410 64876544 14982 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 15839 14982 1116 68 0 15771 0
[pid=8385] vsize: 63356
Current children cumulated CPU time (s) 58.62
Current children cumulated vsize (Kb) 63356

[startup+70.0077 s]
Raw data (loadavg): 0.97 1.02 1.02 1/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) T 8384 8385 5299 0 -1 0 15756 0 0 0 6728 126 0 0 25 0 1 0 1842065410 67588096 15666 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8385/statm): 16501 15666 1116 68 0 16433 0
[pid=8385] vsize: 66004
Current children cumulated CPU time (s) 68.54
Current children cumulated vsize (Kb) 66004

[startup+80.0083 s]
Raw data (loadavg): 0.98 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 17347 0 0 0 7693 143 0 0 25 0 1 0 1842065410 74072064 17257 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 18084 17257 1116 68 0 18016 0
[pid=8385] vsize: 72336
Current children cumulated CPU time (s) 78.36
Current children cumulated vsize (Kb) 72336

[startup+90.008 s]
Raw data (loadavg): 0.98 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 18190 0 0 0 8677 150 0 0 25 0 1 0 1842065410 77594624 18100 4294967295 134512640 134736556 3221224560 3221223136 134537350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 18944 18100 1116 68 0 18876 0
[pid=8385] vsize: 75776
Current children cumulated CPU time (s) 88.27
Current children cumulated vsize (Kb) 75776

[startup+100.009 s]
Raw data (loadavg): 0.98 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 18974 0 0 0 9666 156 0 0 25 0 1 0 1842065410 80838656 18884 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 19736 18884 1116 68 0 19668 0
[pid=8385] vsize: 78944
Current children cumulated CPU time (s) 98.22
Current children cumulated vsize (Kb) 78944

[startup+110.009 s]
Raw data (loadavg): 0.98 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 21136 0 0 0 10652 165 0 0 25 0 1 0 1842065410 88399872 20711 4294967295 134512640 134736556 3221224560 3221220740 1075115076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 21582 20711 1116 68 0 21514 0
[pid=8385] vsize: 86328
Current children cumulated CPU time (s) 108.17
Current children cumulated vsize (Kb) 86328

[startup+120.009 s]
Raw data (loadavg): 0.99 1.02 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 23536 0 0 0 11554 194 0 0 25 0 1 0 1842065410 88502272 20797 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 21607 20797 1116 68 0 21539 0
[pid=8385] vsize: 86428
Current children cumulated CPU time (s) 117.48
Current children cumulated vsize (Kb) 86428

[startup+130.009 s]
Raw data (loadavg): 0.99 1.01 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) T 8384 8385 5299 0 -1 0 26100 0 0 0 12467 222 0 0 25 0 1 0 1842065410 88944640 20871 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8385/statm): 21715 20871 1116 68 0 21647 0
[pid=8385] vsize: 86860
Current children cumulated CPU time (s) 126.89
Current children cumulated vsize (Kb) 86860

[startup+140.01 s]
Raw data (loadavg): 0.99 1.01 1.02 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 29287 0 0 0 13393 248 0 0 25 0 1 0 1842065410 89104384 20945 4294967295 134512640 134736556 3221224560 3221223152 134682522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8385/statm): 21754 20945 1116 68 0 21686 0
[pid=8385] vsize: 87016
Current children cumulated CPU time (s) 136.41
Current children cumulated vsize (Kb) 87016

[startup+150.011 s]
Raw data (loadavg): 0.99 1.01 1.01 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 32137 0 0 0 14328 269 0 0 25 0 1 0 1842065410 89419776 21019 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 21831 21019 1116 68 0 21763 0
[pid=8385] vsize: 87324
Current children cumulated CPU time (s) 145.97
Current children cumulated vsize (Kb) 87324

[startup+160.01 s]
Raw data (loadavg): 0.99 1.01 1.01 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 35367 0 0 0 15243 298 0 0 19 0 1 0 1842065410 91222016 21463 4294967295 134512640 134736556 3221224560 3221223168 134682904 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 22271 21463 1116 68 0 22203 0
[pid=8385] vsize: 89084
Current children cumulated CPU time (s) 155.41
Current children cumulated vsize (Kb) 89084

[startup+170.01 s]
Raw data (loadavg): 0.99 1.01 1.01 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 38550 0 0 0 16162 326 0 0 25 0 1 0 1842065410 91721728 21557 4294967295 134512640 134736556 3221224560 3221221532 1075110308 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8385/statm): 22393 21557 1116 68 0 22325 0
[pid=8385] vsize: 89572
Current children cumulated CPU time (s) 164.88
Current children cumulated vsize (Kb) 89572

[startup+180.011 s]
Raw data (loadavg): 0.99 1.01 1.01 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 41417 0 0 0 17085 351 0 0 25 0 1 0 1842065410 91951104 21643 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 22449 21643 1116 68 0 22381 0
[pid=8385] vsize: 89796
Current children cumulated CPU time (s) 174.36
Current children cumulated vsize (Kb) 89796

[startup+190.011 s]
Raw data (loadavg): 0.99 1.01 1.01 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 44429 0 0 0 18017 374 0 0 25 0 1 0 1842065410 92569600 21733 4294967295 134512640 134736556 3221224560 3221220544 1075965287 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 22600 21733 1116 68 0 22532 0
[pid=8385] vsize: 90400
Current children cumulated CPU time (s) 183.91
Current children cumulated vsize (Kb) 90400

[startup+200.012 s]
Raw data (loadavg): 0.99 1.01 1.01 2/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) R 8384 8385 5299 0 -1 0 47356 0 0 0 18944 399 0 0 25 0 1 0 1842065410 92532736 21788 4294967295 134512640 134736556 3221224560 3221222624 1074867331 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8385/statm): 22591 21788 1116 68 0 22523 0
[pid=8385] vsize: 90364
Current children cumulated CPU time (s) 193.43
Current children cumulated vsize (Kb) 90364

[startup+210.013 s]
Raw data (loadavg): 0.99 1.01 1.01 1/56 8385
Raw data (/proc/8385/stat): 8385 (bsolo) T 8384 8385 5299 0 -1 0 50191 0 0 0 19880 421 0 0 25 0 1 0 1842065410 92811264 21852 4294967295 134512640 134736556 3221224560 3221221972 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8385/statm): 22659 21852 1116 68 0 22591 0
[pid=8385] vsize: 90636
Current children cumulated CPU time (s) 203.01
Current children cumulated vsize (Kb) 90636
One traced child (pid=8385) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 219.398
CPU time (s): 212.013
CPU user time (s): 207.575
CPU system time (s): 4.43733
CPU usage (%): 96.6338
Max. virtual memory (cumulated for all children) (Kb): 90636

Verifier Data

Verifier:	OK	1523