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/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb
MD5SUM1ae5b04b2d0e1f5ab82e29e98b8350c0
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 43097
Optimality of the best value was proved YES
Number of terms in the objective function 64
Biggest coefficient in the objective function 4718592
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 14745570
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4718592
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 14745570
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark23.3694
Number of variables64
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint12
Maximum length of a constraint64

Trace number 5386

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        908592 kB
Buffers:         18836 kB
Cached:          74420 kB
SwapCached:        856 kB
Active:          23796 kB
Inactive:        72048 kB
HighTotal:      131008 kB
HighFree:        53620 kB
LowTotal:       903652 kB
LowFree:        854972 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            24412 kB
Committed_AS:    64148 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 01:14:35 (client local time) WITH STATUS 30 IN 146.931 SECONDS
stats: 1171 0 146.931 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 64 variables and 6 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.048
c After prepocess the problem consists of 49 variables and 6 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 53248 @ 0.051 @ #Dec. 46
c NEW SOLUTION FOUND: 52224 @ 0.054 @ #Dec. 53
c NEW SOLUTION FOUND: 48128 @ 0.055 @ #Dec. 56
c NEW SOLUTION FOUND: 46080 @ 0.086 @ #Dec. 139
c NEW SOLUTION FOUND: 45568 @ 0.119 @ #Dec. 248
c NEW SOLUTION FOUND: 45312 @ 0.188 @ #Dec. 431
c Restart #1 #Var: 49 #Dec: 641 LB: 0 @ 0.283
c NEW SOLUTION FOUND: 45056 @ 0.307 @ #Dec. 740
c Restart #2 #Var: 49 #Dec: 1164 LB: 0 @ 0.498
c NEW SOLUTION FOUND: 44544 @ 0.613 @ #Dec. 1450
c Restart #3 #Var: 49 #Dec: 2066 LB: 0 @ 0.954
c Restart #4 #Var: 49 #Dec: 2937 LB: 0 @ 1.601
c NEW SOLUTION FOUND: 44192 @ 2.067 @ #Dec. 3506
c Restart #5 #Var: 49 #Dec: 4524 LB: 0 @ 3.156
c Restart #6 #Var: 49 #Dec: 5950 LB: 0 @ 5.132
c NEW SOLUTION FOUND: 44032 @ 6.684 @ #Dec. 7045
c NEW SOLUTION FOUND: 43968 @ 6.69 @ #Dec. 7055
c NEW SOLUTION FOUND: 43616 @ 6.695 @ #Dec. 7062
c NEW SOLUTION FOUND: 43584 @ 10.237 @ #Dec. 8489
c NEW SOLUTION FOUND: 43552 @ 13.576 @ #Dec. 9804
c Restart #7 #Var: 49 #Dec: 11339 LB: 0 @ 17.894
c Restart #8 #Var: 49 #Dec: 13143 LB: 0 @ 23.266
c Restart #9 #Var: 49 #Dec: 15098 LB: 0 @ 26.445
c Restart #10 #Var: 49 #Dec: 18943 LB: 0 @ 37.187
c CHANGE to LPR mode... 	UB: 43552	MIS: 0	LPR: 43094 (0.0095)	Diff: 0
c Restart #0 #Var: 49 #Dec: 21319 LB: 0 @ 40.194
c NEW SOLUTION FOUND: 43543 @ 40.923 @ #Dec. 21358
c NEW SOLUTION FOUND: 43535 @ 41.34 @ #Dec. 21424
c NEW SOLUTION FOUND: 43533 @ 41.543 @ #Dec. 21456
c NEW SOLUTION FOUND: 43525 @ 41.729 @ #Dec. 21489
c NEW SOLUTION FOUND: 43521 @ 42.701 @ #Dec. 21661
c Restart #1 #Var: 49 #Dec: 21860 LB: 43094 @ 44.048
c NEW SOLUTION FOUND: 43472 @ 45.078 @ #Dec. 21944
c NEW SOLUTION FOUND: 43467 @ 45.487 @ #Dec. 22017
c NEW SOLUTION FOUND: 43463 @ 46.357 @ #Dec. 22160
c NEW SOLUTION FOUND: 43461 @ 47.639 @ #Dec. 22378
c NEW SOLUTION FOUND: 43442 @ 48.386 @ #Dec. 22447
c NEW SOLUTION FOUND: 43422 @ 48.626 @ #Dec. 22461
c NEW SOLUTION FOUND: 43417 @ 49.814 @ #Dec. 22551
c NEW SOLUTION FOUND: 43415 @ 52.865 @ #Dec. 22797
c Restart #2 #Var: 49 #Dec: 23198 LB: 43094 @ 57.366
c Restart #3 #Var: 47 #Dec: 23819 LB: 43094 @ 63.433
c NEW SOLUTION FOUND: 43397 @ 65.879 @ #Dec. 24119
c NEW SOLUTION FOUND: 43357 @ 66.567 @ #Dec. 24228
c NEW SOLUTION FOUND: 43356 @ 68.075 @ #Dec. 24431
c NEW SOLUTION FOUND: 43351 @ 68.57 @ #Dec. 24520
c NEW SOLUTION FOUND: 43348 @ 72.653 @ #Dec. 25132
c Restart #4 #Var: 46 #Dec: 26156 LB: 43094 @ 79.609
c Restart #5 #Var: 46 #Dec: 27169 LB: 43094 @ 91.568
c NEW SOLUTION FOUND: 43330 @ 92.286 @ #Dec. 27213
c NEW SOLUTION FOUND: 43325 @ 92.71 @ #Dec. 27284
c NEW SOLUTION FOUND: 43320 @ 92.808 @ #Dec. 27303
c NEW SOLUTION FOUND: 43318 @ 93.363 @ #Dec. 27390
c NEW SOLUTION FOUND: 43317 @ 95.264 @ #Dec. 27677
c NEW SOLUTION FOUND: 43314 @ 98.576 @ #Dec. 28189
c NEW SOLUTION FOUND: 43309 @ 101.06 @ #Dec. 28575
c NEW SOLUTION FOUND: 43305 @ 101.18 @ #Dec. 28595
c NEW SOLUTION FOUND: 43303 @ 101.91 @ #Dec. 28702
c NEW SOLUTION FOUND: 43302 @ 102.21 @ #Dec. 28742
c NEW SOLUTION FOUND: 43300 @ 103.18 @ #Dec. 28898
c NEW SOLUTION FOUND: 43298 @ 103.28 @ #Dec. 28921
c NEW SOLUTION FOUND: 43296 @ 103.36 @ #Dec. 28940
c NEW SOLUTION FOUND: 43232 @ 104.66 @ #Dec. 29108
c NEW SOLUTION FOUND: 43231 @ 104.69 @ #Dec. 29113
c NEW SOLUTION FOUND: 43229 @ 104.69 @ #Dec. 29114
c NEW SOLUTION FOUND: 43228 @ 104.7 @ #Dec. 29117
c NEW SOLUTION FOUND: 43226 @ 104.71 @ #Dec. 29117
c NEW SOLUTION FOUND: 43224 @ 105.17 @ #Dec. 29152
c NEW SOLUTION FOUND: 43223 @ 105.32 @ #Dec. 29168
c NEW SOLUTION FOUND: 43222 @ 106.87 @ #Dec. 29296
c NEW SOLUTION FOUND: 43219 @ 106.87 @ #Dec. 29296
c NEW SOLUTION FOUND: 43216 @ 106.88 @ #Dec. 29296
c NEW SOLUTION FOUND: 43215 @ 106.91 @ #Dec. 29297
c NEW SOLUTION FOUND: 43214 @ 108.17 @ #Dec. 29404
c NEW SOLUTION FOUND: 43212 @ 112.28 @ #Dec. 29814
c NEW SOLUTION FOUND: 43209 @ 116.29 @ #Dec. 30323
c NEW SOLUTION FOUND: 43206 @ 116.33 @ #Dec. 30330
c NEW SOLUTION FOUND: 43205 @ 116.38 @ #Dec. 30340
c NEW SOLUTION FOUND: 43202 @ 116.42 @ #Dec. 30347
c NEW SOLUTION FOUND: 43201 @ 116.69 @ #Dec. 30390
c NEW SOLUTION FOUND: 43198 @ 116.7 @ #Dec. 30393
c NEW SOLUTION FOUND: 43197 @ 116.73 @ #Dec. 30399
c NEW SOLUTION FOUND: 43194 @ 116.73 @ #Dec. 30399
c NEW SOLUTION FOUND: 43193 @ 116.74 @ #Dec. 30401
c NEW SOLUTION FOUND: 43191 @ 121.29 @ #Dec. 30830
c NEW SOLUTION FOUND: 43189 @ 121.31 @ #Dec. 30836
c NEW SOLUTION FOUND: 43183 @ 121.34 @ #Dec. 30840
c NEW SOLUTION FOUND: 43179 @ 121.41 @ #Dec. 30854
c NEW SOLUTION FOUND: 43177 @ 121.47 @ #Dec. 30862
c NEW SOLUTION FOUND: 43171 @ 121.48 @ #Dec. 30862
c NEW SOLUTION FOUND: 43147 @ 123.95 @ #Dec. 31105
c NEW SOLUTION FOUND: 43137 @ 123.98 @ #Dec. 31112
c NEW SOLUTION FOUND: 43131 @ 124 @ #Dec. 31118
c NEW SOLUTION FOUND: 43127 @ 124.03 @ #Dec. 31124
c NEW SOLUTION FOUND: 43125 @ 124.08 @ #Dec. 31134
c NEW SOLUTION FOUND: 43123 @ 124.11 @ #Dec. 31140
c NEW SOLUTION FOUND: 43119 @ 125.56 @ #Dec. 31265
c NEW SOLUTION FOUND: 43111 @ 125.57 @ #Dec. 31266
c NEW SOLUTION FOUND: 43105 @ 125.58 @ #Dec. 31268
c NEW SOLUTION FOUND: 43101 @ 125.61 @ #Dec. 31273
c NEW SOLUTION FOUND: 43100 @ 128.91 @ #Dec. 31597
c NEW SOLUTION FOUND: 43097 @ 138.33 @ #Dec. 32124
s OPTIMUM FOUND
v -VOL1_bit_7 -VOL1_bit_6 VOL1_bit_5 VOL1_bit_4 -VOL1_bit_3 VOL1_bit_2 -VOL1_bit_1 VOL1_bit0 VOL1_bit1 -VOL1_bit2 -VOL1_bit3 -VOL1_bit4 -VOL1_bit5 -VOL1_bit6 -VOL1_bit7 -VOL1_bit8 -VOL1_bit9 -VOL1_bit10 -VOL1_bit11 -VOL1_bit12 VOL2_bit_7 -VOL2_bit_6 -VOL2_bit_5 VOL2_bit_4 -VOL2_bit_3 VOL2_bit_2 -VOL2_bit_1 VOL2_bit0 -VOL2_bit1 VOL2_bit2 VOL2_bit3 -VOL2_bit4 -VOL2_bit5 -VOL2_bit6 -VOL2_bit7 -VOL2_bit8 -VOL2_bit9 -VOL2_bit10 -VOL2_bit11 -VOL2_bit12 -VOL3_bit_7 -VOL3_bit_6 -VOL3_bit_5 -VOL3_bit_4 -VOL3_bit_3 -VOL3_bit_2 -VOL3_bit_1 -VOL3_bit0 VOL3_bit1 VOL3_bit2 VOL3_bit3 VOL3_bit4 -VOL4_bit_7 -VOL4_bit_6 -VOL4_bit_5 -VOL4_bit_4 -VOL4_bit_3 -VOL4_bit_2 -VOL4_bit_1 -VOL4_bit0 -VOL4_bit1 -VOL4_bit2 -VOL4_bit3 -VOL4_bit4 
c Cost: 43097
c Exit Code: 30
c Total time: 146.88 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/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854443505 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23264/statm): 107 3 90 68 0 39 0
[pid=23264] 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/wulflinc18/normalized-mps-v2-13-7-maros.opb

[startup+10.0028 s]
Raw data (loadavg): 0.88 0.97 0.99 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 4977 0 0 0 933 29 0 0 25 0 1 0 1854443505 23486464 4888 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23264/statm): 5734 4888 1116 68 0 5666 0
[pid=23264] vsize: 22936
Current children cumulated CPU time (s) 9.62
Current children cumulated vsize (Kb) 22936

[startup+20.0038 s]
Raw data (loadavg): 0.90 0.97 0.99 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 6947 0 0 0 1904 44 0 0 25 0 1 0 1854443505 31612928 6857 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23264/statm): 7718 6857 1116 68 0 7650 0
[pid=23264] vsize: 30872
Current children cumulated CPU time (s) 19.48
Current children cumulated vsize (Kb) 30872

[startup+30.0047 s]
Raw data (loadavg): 0.91 0.97 0.99 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 9110 0 0 0 2872 60 0 0 25 0 1 0 1854443505 40456192 9020 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 9877 9020 1116 68 0 9809 0
[pid=23264] vsize: 39508
Current children cumulated CPU time (s) 29.32
Current children cumulated vsize (Kb) 39508

[startup+40.0056 s]
Raw data (loadavg): 0.93 0.97 0.99 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 10287 0 0 0 3845 73 0 0 25 0 1 0 1854443505 45326336 10197 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 11066 10197 1116 68 0 10998 0
[pid=23264] vsize: 44264
Current children cumulated CPU time (s) 39.18
Current children cumulated vsize (Kb) 44264

[startup+50.0066 s]
Raw data (loadavg): 0.94 0.97 0.99 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 14590 0 0 0 4585 158 0 0 19 0 1 0 1854443505 53338112 12234 4294967295 134512640 134736556 3221224560 3221221356 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 13022 12234 1116 68 0 12954 0
[pid=23264] vsize: 52088
Current children cumulated CPU time (s) 47.43
Current children cumulated vsize (Kb) 52088

[startup+60.0065 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 17267 0 0 0 5349 231 0 0 20 0 1 0 1854443505 55820288 12842 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23264/statm): 13628 12842 1116 68 0 13560 0
[pid=23264] vsize: 54512
Current children cumulated CPU time (s) 55.8
Current children cumulated vsize (Kb) 54512

[startup+70.0074 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 20311 0 0 0 6070 315 0 0 21 0 1 0 1854443505 58601472 13526 4294967295 134512640 134736556 3221224560 3221223232 134536477 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23264/statm): 14307 13526 1116 68 0 14239 0
[pid=23264] vsize: 57228
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (Kb) 57228

[startup+80.0073 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 23362 0 0 0 6790 401 0 0 19 0 1 0 1854443505 61157376 14146 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23264/statm): 14931 14146 1116 68 0 14863 0
[pid=23264] vsize: 59724
Current children cumulated CPU time (s) 71.91
Current children cumulated vsize (Kb) 59724

[startup+90.0083 s]
Raw data (loadavg): 1.12 1.00 1.00 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 26539 0 0 0 7493 493 0 0 21 0 1 0 1854443505 63655936 14754 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23264/statm): 15541 14754 1116 68 0 15473 0
[pid=23264] vsize: 62164
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (Kb) 62164

[startup+100.008 s]
Raw data (loadavg): 1.10 1.00 1.00 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 29807 0 0 0 8202 584 0 0 20 0 1 0 1854443505 66666496 15476 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 16276 15476 1116 68 0 16208 0
[pid=23264] vsize: 65104
Current children cumulated CPU time (s) 87.86
Current children cumulated vsize (Kb) 65104

[startup+110.008 s]
Raw data (loadavg): 1.08 1.00 1.00 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 33129 0 0 0 8903 671 0 0 17 0 1 0 1854443505 69689344 16233 4294967295 134512640 134736556 3221224560 3221222940 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 17014 16233 1116 68 0 16946 0
[pid=23264] vsize: 68056
Current children cumulated CPU time (s) 95.74
Current children cumulated vsize (Kb) 68056

[startup+120.009 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 37062 0 0 0 9545 780 0 0 17 0 1 0 1854443505 73424896 17139 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 17926 17139 1116 68 0 17858 0
[pid=23264] vsize: 71704
Current children cumulated CPU time (s) 103.25
Current children cumulated vsize (Kb) 71704

[startup+130.01 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 40020 0 0 0 10278 858 0 0 16 0 1 0 1854443505 76197888 17801 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 18603 17801 1116 68 0 18535 0
[pid=23264] vsize: 74412
Current children cumulated CPU time (s) 111.36
Current children cumulated vsize (Kb) 74412

[startup+140.011 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 43657 0 0 0 10936 961 0 0 19 0 1 0 1854443505 79593472 18609 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 19432 18609 1116 68 0 19364 0
[pid=23264] vsize: 77728
Current children cumulated CPU time (s) 118.97
Current children cumulated vsize (Kb) 77728

[startup+150.012 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 47002 0 0 0 11626 1053 0 0 19 0 1 0 1854443505 82681856 19362 4294967295 134512640 134736556 3221224560 3221222908 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/23264/statm): 20186 19362 1116 68 0 20118 0
[pid=23264] vsize: 80744
Current children cumulated CPU time (s) 126.79
Current children cumulated vsize (Kb) 80744

[startup+160.012 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 49347 0 0 0 12413 1116 0 0 16 0 1 0 1854443505 84652032 19874 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/23264/statm): 20667 19874 1116 68 0 20599 0
[pid=23264] vsize: 82668
Current children cumulated CPU time (s) 135.29
Current children cumulated vsize (Kb) 82668

[startup+170.013 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 23264
Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 51344 0 0 0 13215 1177 0 0 15 0 1 0 1854443505 86347776 20303 4294967295 134512640 134736556 3221224560 3221221356 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/23264/statm): 21081 20303 1116 68 0 21013 0
[pid=23264] vsize: 84324
Current children cumulated CPU time (s) 143.92
Current children cumulated vsize (Kb) 84324
One traced child (pid=23264) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 173.232
CPU time (s): 146.931
CPU user time (s): 135.011
CPU system time (s): 11.9192
CPU usage (%): 84.8174
Max. virtual memory (cumulated for all children) (Kb): 84324

Verifier Data

Verifier:	OK	43097