Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/een/normalized-p0201.opb
MD5SUMff4eb45c2603a47e5b79b2649e926ba4
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 benchmark221.9
Number of variables195
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint65

Trace number 314

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        950792 kB
Buffers:         33368 kB
Cached:          24748 kB
SwapCached:       1044 kB
Active:          53148 kB
Inactive:         7584 kB
HighTotal:      131008 kB
HighFree:       102788 kB
LowTotal:       903652 kB
LowFree:        848004 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            17352 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 09:23:24 (client local time) WITH STATUS 30 IN 221.9 SECONDS
stats: 281 0 221.9 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c	preprocess terminated. Elapsed time: 0.108
c After prepocess the problem consists of 195 variables and 133 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 2422 @ 0.124 @ #Dec. 30
c NEW SOLUTION FOUND: 2410 @ 0.126 @ #Dec. 32
c NEW SOLUTION FOUND: 2374 @ 0.131 @ #Dec. 42
c NEW SOLUTION FOUND: 2362 @ 0.132 @ #Dec. 43
c NEW SOLUTION FOUND: 2355 @ 0.14 @ #Dec. 53
c NEW SOLUTION FOUND: 2336 @ 0.169 @ #Dec. 107
c NEW SOLUTION FOUND: 2324 @ 0.172 @ #Dec. 110
c NEW SOLUTION FOUND: 2312 @ 0.194 @ #Dec. 156
c NEW SOLUTION FOUND: 2300 @ 0.206 @ #Dec. 177
c NEW SOLUTION FOUND: 2291 @ 0.254 @ #Dec. 245
c NEW SOLUTION FOUND: 2279 @ 0.255 @ #Dec. 247
c NEW SOLUTION FOUND: 2267 @ 0.314 @ #Dec. 345
c NEW SOLUTION FOUND: 2259 @ 0.389 @ #Dec. 434
c NEW SOLUTION FOUND: 2235 @ 0.445 @ #Dec. 521
c Restart #1 #Var: 195 #Dec: 738 LB: 0 @ 0.721
c NEW SOLUTION FOUND: 2082 @ 0.83 @ #Dec. 871
c NEW SOLUTION FOUND: 2070 @ 0.831 @ #Dec. 872
c NEW SOLUTION FOUND: 2068 @ 0.993 @ #Dec. 1078
c NEW SOLUTION FOUND: 2058 @ 1.009 @ #Dec. 1106
c NEW SOLUTION FOUND: 2046 @ 1.149 @ #Dec. 1261
c Restart #2 #Var: 195 #Dec: 1675 LB: 0 @ 1.693
c NEW SOLUTION FOUND: 1997 @ 2.694 @ #Dec. 2244
c NEW SOLUTION FOUND: 1982 @ 2.695 @ #Dec. 2246
c NEW SOLUTION FOUND: 1977 @ 2.697 @ #Dec. 2247
c NEW SOLUTION FOUND: 1962 @ 2.698 @ #Dec. 2249
c NEW SOLUTION FOUND: 1952 @ 2.701 @ #Dec. 2254
c NEW SOLUTION FOUND: 1944 @ 2.707 @ #Dec. 2265
c NEW SOLUTION FOUND: 1932 @ 2.715 @ #Dec. 2278
c NEW SOLUTION FOUND: 1922 @ 2.743 @ #Dec. 2330
c NEW SOLUTION FOUND: 1914 @ 2.744 @ #Dec. 2334
c NEW SOLUTION FOUND: 1902 @ 2.748 @ #Dec. 2339
c NEW SOLUTION FOUND: 1887 @ 2.767 @ #Dec. 2372
c NEW SOLUTION FOUND: 1879 @ 2.77 @ #Dec. 2375
c NEW SOLUTION FOUND: 1867 @ 2.772 @ #Dec. 2377
c NEW SOLUTION FOUND: 1843 @ 3.105 @ #Dec. 2821
c NEW SOLUTION FOUND: 1841 @ 3.124 @ #Dec. 2845
c NEW SOLUTION FOUND: 1831 @ 3.146 @ #Dec. 2869
c NEW SOLUTION FOUND: 1821 @ 3.453 @ #Dec. 3165
c NEW SOLUTION FOUND: 1809 @ 3.462 @ #Dec. 3176
c NEW SOLUTION FOUND: 1799 @ 3.477 @ #Dec. 3196
c NEW SOLUTION FOUND: 1789 @ 3.602 @ #Dec. 3382
c NEW SOLUTION FOUND: 1779 @ 3.621 @ #Dec. 3405
c Restart #3 #Var: 195 #Dec: 4064 LB: 0 @ 4.675
c Restart #4 #Var: 195 #Dec: 5271 LB: 0 @ 6.068
c Restart #5 #Var: 195 #Dec: 6577 LB: 0 @ 8.067
c Restart #6 #Var: 195 #Dec: 8395 LB: 0 @ 10.447
c NEW SOLUTION FOUND: 1774 @ 12.03 @ #Dec. 9164
c NEW SOLUTION FOUND: 1761 @ 12.031 @ #Dec. 9166
c NEW SOLUTION FOUND: 1749 @ 12.032 @ #Dec. 9168
c NEW SOLUTION FOUND: 1729 @ 12.138 @ #Dec. 9267
c Restart #7 #Var: 195 #Dec: 11036 LB: 0 @ 14.997
c Restart #8 #Var: 195 #Dec: 13280 LB: 0 @ 18.892
c Restart #9 #Var: 195 #Dec: 15901 LB: 0 @ 23.847
c Restart #10 #Var: 195 #Dec: 18407 LB: 0 @ 29.167
c CHANGE to LPR mode... 	UB: 1729	MIS: 1100	LPR: 1395 (0.081)	Diff: 0.78853
c Restart #0 #Var: 195 #Dec: 21678 LB: 0 @ 35.596
c NEW SOLUTION FOUND: 1675 @ 36.92 @ #Dec. 21691
c NEW SOLUTION FOUND: 1669 @ 37.119 @ #Dec. 21696
c NEW SOLUTION FOUND: 1655 @ 37.634 @ #Dec. 21709
c NEW SOLUTION FOUND: 1645 @ 37.769 @ #Dec. 21714
c NEW SOLUTION FOUND: 1631 @ 38.974 @ #Dec. 21734
c NEW SOLUTION FOUND: 1621 @ 39.055 @ #Dec. 21736
c NEW SOLUTION FOUND: 1611 @ 40.027 @ #Dec. 21748
c NEW SOLUTION FOUND: 1591 @ 40.05 @ #Dec. 21748
c NEW SOLUTION FOUND: 1581 @ 41.471 @ #Dec. 21777
c NEW SOLUTION FOUND: 1577 @ 42.663 @ #Dec. 21816
c NEW SOLUTION FOUND: 1571 @ 45.265 @ #Dec. 21869
c NEW SOLUTION FOUND: 1561 @ 45.316 @ #Dec. 21872
c NEW SOLUTION FOUND: 1547 @ 48.971 @ #Dec. 21935
c NEW SOLUTION FOUND: 1535 @ 52.652 @ #Dec. 21999
c NEW SOLUTION FOUND: 1523 @ 59.165 @ #Dec. 22048
c Restart #1 #Var: 195 #Dec: 22241 LB: 1395 @ 121.04
s OPTIMUM FOUND
v -x0 x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 
c Cost: 1523
c Exit Code: 30
c Total time: 221.85 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/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1781895542 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 107 3 90 68 0 39 0
[pid=31462] 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/wulflinc9/normalized-p0201.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.97 0.91 1/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) T 31461 31462 30740 0 -1 0 7994 0 0 0 926 38 0 0 25 0 1 0 1781895542 36356096 7887 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/31462/statm): 8876 7887 1116 68 0 8808 0
[pid=31462] vsize: 35504
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 35504

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 12150 0 0 0 1886 59 0 0 25 0 1 0 1781895542 53780480 12002 4294967295 134512640 134736556 3221224576 3221223264 134645207 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 13130 12002 1116 68 0 13062 0
[pid=31462] vsize: 52520
Current children cumulated CPU time (s) 19.45
Current children cumulated vsize (Kb) 52520

[startup+30.004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 16373 0 0 0 2847 80 0 0 25 0 1 0 1781895542 71450624 16137 4294967295 134512640 134736556 3221224576 3221223104 134543910 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 17444 16137 1116 68 0 17376 0
[pid=31462] vsize: 69776
Current children cumulated CPU time (s) 29.27
Current children cumulated vsize (Kb) 69776

[startup+40.0047 s]
Raw data (loadavg): 0.96 0.97 0.91 1/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) T 31461 31462 30740 0 -1 0 20741 0 0 0 3789 104 0 0 25 0 1 0 1781895542 85991424 19630 4294967295 134512640 134736556 3221224576 3221221372 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31462/statm): 20994 19630 1116 68 0 20926 0
[pid=31462] vsize: 83976
Current children cumulated CPU time (s) 38.93
Current children cumulated vsize (Kb) 83976

[startup+50.0055 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 24456 0 0 0 4689 138 0 0 25 0 1 0 1781895542 87568384 20009 4294967295 134512640 134736556 3221224576 3221221184 1075968406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 21379 20009 1116 68 0 21311 0
[pid=31462] vsize: 85516
Current children cumulated CPU time (s) 48.27
Current children cumulated vsize (Kb) 85516

[startup+60.0053 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 27423 0 0 0 5606 165 0 0 17 0 1 0 1781895542 88604672 20285 4294967295 134512640 134736556 3221224576 3221223248 134645407 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 21632 20285 1116 68 0 21564 0
[pid=31462] vsize: 86528
Current children cumulated CPU time (s) 57.71
Current children cumulated vsize (Kb) 86528

[startup+70.0061 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 28886 0 0 0 6568 176 0 0 25 0 1 0 1781895542 88821760 20341 4294967295 134512640 134736556 3221224576 3221223172 134682521 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 21685 20341 1116 68 0 21617 0
[pid=31462] vsize: 86740
Current children cumulated CPU time (s) 67.44
Current children cumulated vsize (Kb) 86740

[startup+80.0069 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 30177 0 0 0 7537 185 0 0 25 0 1 0 1781895542 88952832 20376 4294967295 134512640 134736556 3221224576 3221223040 134543923 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 21717 20376 1116 68 0 21649 0
[pid=31462] vsize: 86868
Current children cumulated CPU time (s) 77.22
Current children cumulated vsize (Kb) 86868

[startup+90.0077 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 31448 0 0 0 8506 197 0 0 25 0 1 0 1781895542 89182208 20432 4294967295 134512640 134736556 3221224576 3221223084 134537537 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 21773 20432 1116 68 0 21705 0
[pid=31462] vsize: 87092
Current children cumulated CPU time (s) 87.03
Current children cumulated vsize (Kb) 87092

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 32359 0 0 0 9484 204 0 0 25 0 1 0 1781895542 89432064 20495 4294967295 134512640 134736556 3221224576 3221223264 134645207 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 21834 20495 1116 68 0 21766 0
[pid=31462] vsize: 87336
Current children cumulated CPU time (s) 96.88
Current children cumulated vsize (Kb) 87336

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 33500 0 0 0 10459 212 0 0 25 0 1 0 1781895542 89841664 20544 4294967295 134512640 134736556 3221224576 3221220652 1075964112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 21934 20544 1116 68 0 21866 0
[pid=31462] vsize: 87736
Current children cumulated CPU time (s) 106.71
Current children cumulated vsize (Kb) 87736

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 35302 0 0 0 11422 223 0 0 25 0 1 0 1781895542 90210304 20635 4294967295 134512640 134736556 3221224576 3221220616 1074790419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 22024 20636 1116 68 0 21956 0
[pid=31462] vsize: 88096
Current children cumulated CPU time (s) 116.45
Current children cumulated vsize (Kb) 88096

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 37189 0 0 0 12382 237 0 0 25 0 1 0 1781895542 90939392 20866 4294967295 134512640 134736556 3221224576 3221223320 134644820 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 22202 20866 1116 68 0 22134 0
[pid=31462] vsize: 88808
Current children cumulated CPU time (s) 126.19
Current children cumulated vsize (Kb) 88808

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 38166 0 0 0 13362 242 0 0 22 0 1 0 1781895542 91054080 20897 4294967295 134512640 134736556 3221224576 3221223264 134645269 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 22230 20897 1116 68 0 22162 0
[pid=31462] vsize: 88920
Current children cumulated CPU time (s) 136.04
Current children cumulated vsize (Kb) 88920

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 39485 0 0 0 14334 252 0 0 25 0 1 0 1781895542 91258880 20947 4294967295 134512640 134736556 3221224576 3221223120 134543990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 22280 20947 1116 68 0 22212 0
[pid=31462] vsize: 89120
Current children cumulated CPU time (s) 145.86
Current children cumulated vsize (Kb) 89120

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 40588 0 0 0 15310 259 0 0 25 0 1 0 1781895542 91418624 20988 4294967295 134512640 134736556 3221224576 3221223264 134645207 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 22319 20988 1116 68 0 22251 0
[pid=31462] vsize: 89276
Current children cumulated CPU time (s) 155.69
Current children cumulated vsize (Kb) 89276

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 42012 0 0 0 16278 272 0 0 25 0 1 0 1781895542 91897856 21079 4294967295 134512640 134736556 3221224576 3221220736 1076079476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 22436 21079 1116 68 0 22368 0
[pid=31462] vsize: 89744
Current children cumulated CPU time (s) 165.5
Current children cumulated vsize (Kb) 89744

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 42692 0 0 0 17261 278 0 0 25 0 1 0 1781895542 91844608 21094 4294967295 134512640 134736556 3221224576 3221223344 134644663 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 22423 21094 1116 68 0 22355 0
[pid=31462] vsize: 89692
Current children cumulated CPU time (s) 175.39
Current children cumulated vsize (Kb) 89692

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) T 31461 31462 30740 0 -1 0 43994 0 0 0 18231 289 0 0 25 0 1 0 1781895542 92147712 21163 4294967295 134512640 134736556 3221224576 3221222924 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/31462/statm): 22497 21163 1116 68 0 22429 0
[pid=31462] vsize: 89988
Current children cumulated CPU time (s) 185.2
Current children cumulated vsize (Kb) 89988

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 45623 0 0 0 19191 301 0 0 25 0 1 0 1781895542 92323840 21216 4294967295 134512640 134736556 3221224576 3221223036 134540067 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 22540 21216 1116 68 0 22472 0
[pid=31462] vsize: 90160
Current children cumulated CPU time (s) 194.92
Current children cumulated vsize (Kb) 90160

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 46926 0 0 0 20163 311 0 0 25 0 1 0 1781895542 92581888 21273 4294967295 134512640 134736556 3221224576 3221223052 134536687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/31462/statm): 22603 21273 1116 68 0 22535 0
[pid=31462] vsize: 90412
Current children cumulated CPU time (s) 204.74
Current children cumulated vsize (Kb) 90412

[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31462
Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 48342 0 0 0 21129 323 0 0 25 0 1 0 1781895542 92762112 21318 4294967295 134512640 134736556 3221224576 3221223320 134544456 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/31462/statm): 22647 21318 1116 68 0 22579 0
[pid=31462] vsize: 90588
Current children cumulated CPU time (s) 214.52
Current children cumulated vsize (Kb) 90588
One traced child (pid=31462) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 227.548
CPU time (s): 221.9
CPU user time (s): 218.519
CPU system time (s): 3.38149
CPU usage (%): 97.5178
Max. virtual memory (cumulated for all children) (Kb): 90588

Verifier Data

Verifier:	OK	1523