Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb
MD5SUMd28092793cdc5a919be9a0f5974c70fe
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 48000
Optimality of the best value was proved YES
Number of terms in the objective function 489
Biggest coefficient in the objective function 3145728
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 69282750
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 3145728
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 69282750
Number of bits of the biggest sum of numbers27
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark7.66783
Number of variables873
Total number of constraints67
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints43
Minimum length of a constraint1
Maximum length of a constraint100

Trace number 5143

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-19 22:56:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=923 boxname=wulflinc22 idbench=923 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  d28092793cdc5a919be9a0f5974c70fe  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-sample2.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-sample2.opb
IDLAUNCH: 923
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        912076 kB
Buffers:          3708 kB
Cached:          91772 kB
SwapCached:        536 kB
Active:          31636 kB
Inactive:        66496 kB
HighTotal:      131008 kB
HighFree:        38080 kB
LowTotal:       903652 kB
LowFree:        873996 kB
SwapTotal:     2097892 kB
SwapFree:      2096832 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5868 kB
Slab:            18704 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 23:07:43 (client local time) WITH STATUS 30 IN 674.364 SECONDS
stats: 923 0 674.364 30

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 873 variables and 67 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.456
c After prepocess the problem consists of 540 variables and 67 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 540 #Dec: 1765 LB: 0 @ 0.726
c Restart #2 #Var: 540 #Dec: 6738 LB: 0 @ 1.455
c Restart #3 #Var: 540 #Dec: 16409 LB: 0 @ 2.685
c Restart #4 #Var: 540 #Dec: 32383 LB: 0 @ 4.508
c Restart #5 #Var: 540 #Dec: 60856 LB: 0 @ 7.267
c Restart #6 #Var: 477 #Dec: 91476 LB: 0 @ 10.084
c Restart #7 #Var: 477 #Dec: 99254 LB: 0 @ 11.615
c Restart #8 #Var: 477 #Dec: 103875 LB: 0 @ 13.505
c Restart #9 #Var: 477 #Dec: 105715 LB: 0 @ 15.017
c Restart #10 #Var: 477 #Dec: 107996 LB: 0 @ 16.894
c Restart #11 #Var: 477 #Dec: 111913 LB: 0 @ 21.559
c Restart #12 #Var: 477 #Dec: 118947 LB: 0 @ 31.441
c Restart #13 #Var: 477 #Dec: 122381 LB: 0 @ 33.157
c Restart #14 #Var: 477 #Dec: 125209 LB: 0 @ 35.029
c Restart #15 #Var: 477 #Dec: 128615 LB: 0 @ 38.027
c Restart #16 #Var: 477 #Dec: 131938 LB: 0 @ 40.345
c Restart #17 #Var: 477 #Dec: 136088 LB: 0 @ 45.543
c NEW SOLUTION FOUND: 109095 @ 48.251 @ #Dec. 138021
c NEW SOLUTION FOUND: 109079 @ 48.253 @ #Dec. 138022
c NEW SOLUTION FOUND: 109047 @ 48.275 @ #Dec. 138042
c NEW SOLUTION FOUND: 109031 @ 48.279 @ #Dec. 138045
c NEW SOLUTION FOUND: 109015 @ 48.295 @ #Dec. 138056
c NEW SOLUTION FOUND: 108983 @ 48.297 @ #Dec. 138056
c NEW SOLUTION FOUND: 108967 @ 48.375 @ #Dec. 138129
c NEW SOLUTION FOUND: 108951 @ 48.377 @ #Dec. 138131
c NEW SOLUTION FOUND: 108935 @ 48.378 @ #Dec. 138131
c NEW SOLUTION FOUND: 108860 @ 49.487 @ #Dec. 139022
c NEW SOLUTION FOUND: 108852 @ 49.502 @ #Dec. 139024
c NEW SOLUTION FOUND: 108844 @ 49.637 @ #Dec. 139115
c NEW SOLUTION FOUND: 108828 @ 49.729 @ #Dec. 139199
c NEW SOLUTION FOUND: 108812 @ 49.732 @ #Dec. 139200
c NEW SOLUTION FOUND: 108803 @ 49.845 @ #Dec. 139267
c NEW SOLUTION FOUND: 97191 @ 50.1 @ #Dec. 139393
c NEW SOLUTION FOUND: 97175 @ 50.101 @ #Dec. 139393
c NEW SOLUTION FOUND: 96551 @ 50.224 @ #Dec. 139469
c NEW SOLUTION FOUND: 96535 @ 50.225 @ #Dec. 139469
c NEW SOLUTION FOUND: 96423 @ 50.246 @ #Dec. 139475
c NEW SOLUTION FOUND: 96407 @ 50.247 @ #Dec. 139475
c Restart #18 #Var: 477 #Dec: 143917 LB: 0 @ 70.252
c NEW SOLUTION FOUND: 93448 @ 80.368 @ #Dec. 147350
c NEW SOLUTION FOUND: 93444 @ 80.37 @ #Dec. 147352
c NEW SOLUTION FOUND: 93443 @ 80.373 @ #Dec. 147353
c NEW SOLUTION FOUND: 93435 @ 80.378 @ #Dec. 147358
c NEW SOLUTION FOUND: 93427 @ 80.389 @ #Dec. 147363
c NEW SOLUTION FOUND: 93411 @ 80.402 @ #Dec. 147372
c NEW SOLUTION FOUND: 93403 @ 80.408 @ #Dec. 147378
c NEW SOLUTION FOUND: 93395 @ 80.418 @ #Dec. 147383
c NEW SOLUTION FOUND: 93355 @ 80.435 @ #Dec. 147391
c NEW SOLUTION FOUND: 93347 @ 80.446 @ #Dec. 147396
c NEW SOLUTION FOUND: 93339 @ 80.456 @ #Dec. 147402
c NEW SOLUTION FOUND: 93331 @ 80.464 @ #Dec. 147407
c NEW SOLUTION FOUND: 93315 @ 80.476 @ #Dec. 147413
c NEW SOLUTION FOUND: 93307 @ 80.485 @ #Dec. 147419
c NEW SOLUTION FOUND: 93299 @ 80.495 @ #Dec. 147424
c NEW SOLUTION FOUND: 93296 @ 80.522 @ #Dec. 147453
c NEW SOLUTION FOUND: 93295 @ 80.523 @ #Dec. 147453
c NEW SOLUTION FOUND: 93293 @ 80.551 @ #Dec. 147478
c NEW SOLUTION FOUND: 93291 @ 80.603 @ #Dec. 147509
c NEW SOLUTION FOUND: 93284 @ 80.663 @ #Dec. 147576
c NEW SOLUTION FOUND: 93283 @ 80.664 @ #Dec. 147576
c NEW SOLUTION FOUND: 93282 @ 80.672 @ #Dec. 147579
c NEW SOLUTION FOUND: 93281 @ 80.673 @ #Dec. 147579
c NEW SOLUTION FOUND: 93275 @ 80.676 @ #Dec. 147581
c NEW SOLUTION FOUND: 93266 @ 80.683 @ #Dec. 147587
c NEW SOLUTION FOUND: 93265 @ 80.684 @ #Dec. 147587
c NEW SOLUTION FOUND: 93263 @ 80.691 @ #Dec. 147593
c NEW SOLUTION FOUND: 93262 @ 80.693 @ #Dec. 147594
c NEW SOLUTION FOUND: 93261 @ 80.694 @ #Dec. 147594
c NEW SOLUTION FOUND: 93260 @ 80.696 @ #Dec. 147595
c NEW SOLUTION FOUND: 93259 @ 80.697 @ #Dec. 147595
c NEW SOLUTION FOUND: 93257 @ 80.864 @ #Dec. 147737
c NEW SOLUTION FOUND: 93254 @ 80.866 @ #Dec. 147739
c NEW SOLUTION FOUND: 93253 @ 80.867 @ #Dec. 147739
c NEW SOLUTION FOUND: 93247 @ 80.878 @ #Dec. 147751
c NEW SOLUTION FOUND: 93246 @ 80.88 @ #Dec. 147752
c NEW SOLUTION FOUND: 93245 @ 80.881 @ #Dec. 147752
c NEW SOLUTION FOUND: 93241 @ 80.885 @ #Dec. 147757
c NEW SOLUTION FOUND: 93240 @ 80.887 @ #Dec. 147759
c NEW SOLUTION FOUND: 93239 @ 80.888 @ #Dec. 147759
c NEW SOLUTION FOUND: 93237 @ 80.889 @ #Dec. 147760
c NEW SOLUTION FOUND: 93194 @ 80.928 @ #Dec. 147803
c NEW SOLUTION FOUND: 93193 @ 80.929 @ #Dec. 147803
c NEW SOLUTION FOUND: 93189 @ 80.931 @ #Dec. 147806
c NEW SOLUTION FOUND: 93186 @ 80.936 @ #Dec. 147810
c NEW SOLUTION FOUND: 93185 @ 80.936 @ #Dec. 147810
c NEW SOLUTION FOUND: 93183 @ 80.937 @ #Dec. 147813
c NEW SOLUTION FOUND: 93182 @ 80.938 @ #Dec. 147814
c NEW SOLUTION FOUND: 93181 @ 80.939 @ #Dec. 147814
c NEW SOLUTION FOUND: 93180 @ 80.942 @ #Dec. 147816
c NEW SOLUTION FOUND: 93179 @ 80.942 @ #Dec. 147816
c NEW SOLUTION FOUND: 93177 @ 80.944 @ #Dec. 147818
c NEW SOLUTION FOUND: 93175 @ 80.946 @ #Dec. 147820
c NEW SOLUTION FOUND: 93174 @ 80.948 @ #Dec. 147821
c NEW SOLUTION FOUND: 93173 @ 80.949 @ #Dec. 147821
c NEW SOLUTION FOUND: 93162 @ 81.021 @ #Dec. 147893
c NEW SOLUTION FOUND: 93161 @ 81.022 @ #Dec. 147893
c NEW SOLUTION FOUND: 93159 @ 81.024 @ #Dec. 147898
c NEW SOLUTION FOUND: 93158 @ 81.026 @ #Dec. 147902
c NEW SOLUTION FOUND: 93157 @ 81.027 @ #Dec. 147905
c NEW SOLUTION FOUND: 93151 @ 81.03 @ #Dec. 147915
c NEW SOLUTION FOUND: 93150 @ 81.032 @ #Dec. 147916
c NEW SOLUTION FOUND: 93149 @ 81.032 @ #Dec. 147916
c NEW SOLUTION FOUND: 93148 @ 81.036 @ #Dec. 147917
c NEW SOLUTION FOUND: 93147 @ 81.036 @ #Dec. 147917
c NEW SOLUTION FOUND: 93145 @ 81.039 @ #Dec. 147923
c NEW SOLUTION FOUND: 93143 @ 81.041 @ #Dec. 147925
c NEW SOLUTION FOUND: 93142 @ 81.042 @ #Dec. 147926
c NEW SOLUTION FOUND: 93141 @ 81.042 @ #Dec. 147926
c NEW SOLUTION FOUND: 93139 @ 81.083 @ #Dec. 147966
c NEW SOLUTION FOUND: 93136 @ 81.092 @ #Dec. 147973
c NEW SOLUTION FOUND: 93135 @ 81.096 @ #Dec. 147977
c NEW SOLUTION FOUND: 93134 @ 81.097 @ #Dec. 147978
c NEW SOLUTION FOUND: 93133 @ 81.098 @ #Dec. 147978
c NEW SOLUTION FOUND: 93132 @ 81.109 @ #Dec. 147987
c NEW SOLUTION FOUND: 93131 @ 81.11 @ #Dec. 147987
c NEW SOLUTION FOUND: 93130 @ 81.273 @ #Dec. 148122
c NEW SOLUTION FOUND: 93129 @ 81.273 @ #Dec. 148122
c NEW SOLUTION FOUND: 93127 @ 81.274 @ #Dec. 148127
c NEW SOLUTION FOUND: 93126 @ 81.277 @ #Dec. 148128
c NEW SOLUTION FOUND: 93125 @ 81.278 @ #Dec. 148128
c NEW SOLUTION FOUND: 93121 @ 81.282 @ #Dec. 148137
c NEW SOLUTION FOUND: 93120 @ 81.284 @ #Dec. 148139
c NEW SOLUTION FOUND: 93119 @ 81.284 @ #Dec. 148139
c NEW SOLUTION FOUND: 93117 @ 81.286 @ #Dec. 148140
c NEW SOLUTION FOUND: 93116 @ 81.306 @ #Dec. 148149
c NEW SOLUTION FOUND: 93115 @ 81.307 @ #Dec. 148150
c NEW SOLUTION FOUND: 93113 @ 81.329 @ #Dec. 148169
c NEW SOLUTION FOUND: 93110 @ 81.332 @ #Dec. 148171
c NEW SOLUTION FOUND: 93109 @ 81.332 @ #Dec. 148171
c NEW SOLUTION FOUND: 93097 @ 81.347 @ #Dec. 148184
c NEW SOLUTION FOUND: 93096 @ 81.349 @ #Dec. 148186
c NEW SOLUTION FOUND: 93095 @ 81.35 @ #Dec. 148186
c NEW SOLUTION FOUND: 93093 @ 81.351 @ #Dec. 148187
c NEW SOLUTION FOUND: 93082 @ 81.372 @ #Dec. 148200
c NEW SOLUTION FOUND: 93081 @ 81.372 @ #Dec. 148200
c NEW SOLUTION FOUND: 93077 @ 81.374 @ #Dec. 148202
c NEW SOLUTION FOUND: 93068 @ 81.409 @ #Dec. 148234
c NEW SOLUTION FOUND: 93067 @ 81.41 @ #Dec. 148234
c NEW SOLUTION FOUND: 92743 @ 81.477 @ #Dec. 148302
c NEW SOLUTION FOUND: 92742 @ 81.48 @ #Dec. 148303
c NEW SOLUTION FOUND: 92741 @ 81.48 @ #Dec. 148303
c NEW SOLUTION FOUND: 92729 @ 81.487 @ #Dec. 148317
c NEW SOLUTION FOUND: 92728 @ 81.49 @ #Dec. 148319
c NEW SOLUTION FOUND: 92727 @ 81.491 @ #Dec. 148319
c NEW SOLUTION FOUND: 92725 @ 81.492 @ #Dec. 148320
c NEW SOLUTION FOUND: 92722 @ 81.53 @ #Dec. 148363
c NEW SOLUTION FOUND: 92721 @ 81.531 @ #Dec. 148363
c NEW SOLUTION FOUND: 92717 @ 81.533 @ #Dec. 148367
c NEW SOLUTION FOUND: 92714 @ 81.538 @ #Dec. 148371
c NEW SOLUTION FOUND: 92713 @ 81.539 @ #Dec. 148371
c NEW SOLUTION FOUND: 92711 @ 81.54 @ #Dec. 148375
c NEW SOLUTION FOUND: 92710 @ 81.542 @ #Dec. 148376
c NEW SOLUTION FOUND: 92709 @ 81.543 @ #Dec. 148376
c NEW SOLUTION FOUND: 92699 @ 81.551 @ #Dec. 148386
c NEW SOLUTION FOUND: 92698 @ 81.555 @ #Dec. 148389
c NEW SOLUTION FOUND: 92697 @ 81.556 @ #Dec. 148390
c NEW SOLUTION FOUND: 92696 @ 81.557 @ #Dec. 148391
c NEW SOLUTION FOUND: 92695 @ 81.557 @ #Dec. 148391
c NEW SOLUTION FOUND: 92693 @ 81.569 @ #Dec. 148400
c NEW SOLUTION FOUND: 92690 @ 81.571 @ #Dec. 148404
c NEW SOLUTION FOUND: 92689 @ 81.572 @ #Dec. 148405
c NEW SOLUTION FOUND: 92687 @ 81.573 @ #Dec. 148410
c NEW SOLUTION FOUND: 92686 @ 81.575 @ #Dec. 148411
c NEW SOLUTION FOUND: 92685 @ 81.575 @ #Dec. 148411
c NEW SOLUTION FOUND: 92684 @ 81.58 @ #Dec. 148415
c NEW SOLUTION FOUND: 92683 @ 81.583 @ #Dec. 148422
c NEW SOLUTION FOUND: 92681 @ 81.586 @ #Dec. 148428
c NEW SOLUTION FOUND: 92680 @ 81.589 @ #Dec. 148434
c NEW SOLUTION FOUND: 92679 @ 81.59 @ #Dec. 148434
c NEW SOLUTION FOUND: 92677 @ 81.592 @ #Dec. 148439
c NEW SOLUTION FOUND: 92668 @ 81.602 @ #Dec. 148455
c NEW SOLUTION FOUND: 92667 @ 81.604 @ #Dec. 148459
c NEW SOLUTION FOUND: 92663 @ 81.613 @ #Dec. 148481
c NEW SOLUTION FOUND: 92662 @ 81.616 @ #Dec. 148482
c NEW SOLUTION FOUND: 92661 @ 81.617 @ #Dec. 148482
c NEW SOLUTION FOUND: 92607 @ 81.626 @ #Dec. 148501
c NEW SOLUTION FOUND: 92604 @ 81.628 @ #Dec. 148502
c NEW SOLUTION FOUND: 92603 @ 81.63 @ #Dec. 148506
c NEW SOLUTION FOUND: 92599 @ 81.642 @ #Dec. 148529
c NEW SOLUTION FOUND: 92598 @ 81.643 @ #Dec. 148531
c NEW SOLUTION FOUND: 92597 @ 81.643 @ #Dec. 148532
c NEW SOLUTION FOUND: 79947 @ 81.663 @ #Dec. 148547
c NEW SOLUTION FOUND: 78729 @ 81.772 @ #Dec. 148573
c NEW SOLUTION FOUND: 78709 @ 84.032 @ #Dec. 149170
c NEW SOLUTION FOUND: 78704 @ 84.393 @ #Dec. 149259
c NEW SOLUTION FOUND: 78700 @ 85.402 @ #Dec. 149599
c NEW SOLUTION FOUND: 77624 @ 89.568 @ #Dec. 151710
c NEW SOLUTION FOUND: 77620 @ 89.578 @ #Dec. 151712
c NEW SOLUTION FOUND: 77330 @ 90.466 @ #Dec. 152040
c NEW SOLUTION FOUND: 77322 @ 90.471 @ #Dec. 152043
c NEW SOLUTION FOUND: 77320 @ 90.473 @ #Dec. 152043
c NEW SOLUTION FOUND: 77301 @ 90.496 @ #Dec. 152047
c NEW SOLUTION FOUND: 77300 @ 90.511 @ #Dec. 152052
c Restart #19 #Var: 463 #Dec: 155905 LB: 0 @ 105.91
c Restart #20 #Var: 463 #Dec: 160102 LB: 0 @ 110.69
c Restart #21 #Var: 463 #Dec: 166930 LB: 0 @ 116.58
c NEW SOLUTION FOUND: 72960 @ 116.94 @ #Dec. 167076
c NEW SOLUTION FOUND: 71040 @ 117.35 @ #Dec. 167189
c NEW SOLUTION FOUND: 68480 @ 121.87 @ #Dec. 167815
c NEW SOLUTION FOUND: 63360 @ 122.22 @ #Dec. 167862
c NEW SOLUTION FOUND: 61440 @ 122.43 @ #Dec. 167896
c Restart #22 #Var: 463 #Dec: 173169 LB: 0 @ 140.61
c Restart #23 #Var: 463 #Dec: 178563 LB: 0 @ 151.16
c Restart #24 #Var: 463 #Dec: 186282 LB: 0 @ 186.5
c NEW SOLUTION FOUND: 58372 @ 193.74 @ #Dec. 188697
c NEW SOLUTION FOUND: 54919 @ 193.98 @ #Dec. 188716
c NEW SOLUTION FOUND: 54904 @ 226.52 @ #Dec. 195766
c NEW SOLUTION FOUND: 54848 @ 226.53 @ #Dec. 195784
c NEW SOLUTION FOUND: 54799 @ 228.37 @ #Dec. 196213
c NEW SOLUTION FOUND: 54792 @ 228.46 @ #Dec. 196259
c NEW SOLUTION FOUND: 54785 @ 228.56 @ #Dec. 196292
c Restart #25 #Var: 463 #Dec: 204455 LB: 0 @ 243.23
c Restart #26 #Var: 463 #Dec: 210682 LB: 0 @ 252.56
c Restart #27 #Var: 463 #Dec: 216781 LB: 0 @ 262.98
c Restart #28 #Var: 463 #Dec: 223725 LB: 0 @ 332.99
c CHANGE to LPR mode... 	UB: 54785	MIS: 3	LPR: 31616 (0.06525)	Diff: 9.4889e-05
c Restart #0 #Var: 459 #Dec: 231359 LB: 0 @ 383.25
c Restart #1 #Var: 459 #Dec: 231597 LB: 31616 @ 399.13
c Restart #2 #Var: 459 #Dec: 232098 LB: 31616 @ 425.4
c Restart #3 #Var: 455 #Dec: 232719 LB: 31616 @ 453.73
c Restart #4 #Var: 455 #Dec: 233696 LB: 31616 @ 487.14
c NEW SOLUTION FOUND: 54783 @ 495.54 @ #Dec. 233808
c NEW SOLUTION FOUND: 54775 @ 497.13 @ #Dec. 233863
c NEW SOLUTION FOUND: 54765 @ 499 @ #Dec. 233938
c NEW SOLUTION FOUND: 54760 @ 503.14 @ #Dec. 234051
c NEW SOLUTION FOUND: 54755 @ 507.62 @ #Dec. 234168
c NEW SOLUTION FOUND: 54745 @ 507.72 @ #Dec. 234172
c NEW SOLUTION FOUND: 54740 @ 507.78 @ #Dec. 234173
c NEW SOLUTION FOUND: 54720 @ 511.08 @ #Dec. 234253
c NEW SOLUTION FOUND: 54715 @ 521.66 @ #Dec. 234490
c NEW SOLUTION FOUND: 54710 @ 521.74 @ #Dec. 234494
c NEW SOLUTION FOUND: 54705 @ 522.59 @ #Dec. 234523
c NEW SOLUTION FOUND: 54700 @ 522.67 @ #Dec. 234526
c NEW SOLUTION FOUND: 54675 @ 526.94 @ #Dec. 234638
c NEW SOLUTION FOUND: 54670 @ 527.01 @ #Dec. 234642
c NEW SOLUTION FOUND: 54660 @ 527.93 @ #Dec. 234675
c NEW SOLUTION FOUND: 54640 @ 530.52 @ #Dec. 234751
c NEW SOLUTION FOUND: 54560 @ 534.96 @ #Dec. 234866
c NEW SOLUTION FOUND: 54400 @ 544.41 @ #Dec. 235076
c NEW SOLUTION FOUND: 49920 @ 549.68 @ #Dec. 235149
c Restart #5 #Var: 451 #Dec: 236237 LB: 31616 @ 598.83
c NEW SOLUTION FOUND: 48000 @ 638 @ #Dec. 236767
s OPTIMUM FOUND
v -I_0x2e__0x2e__0x2e__0x2e_F01_bit0 -I_0x2e__0x2e__0x2e__0x2e_F02_bit0 I_0x2e__0x2e__0x2e__0x2e_F03_bit0 -I_0x2e_W01W01_bit0 I_0x2e_W02W02_bit0 -I_0x2e_W03W03_bit0 -I_0x2e_D01D01_bit0 I_0x2e_D02D02_bit0 I_0x2e_D03D03_bit0 -F_0x2e_F01W01_bit_7 -F_0x2e_F01W01_bit_6 -F_0x2e_F01W01_bit_5 -F_0x2e_F01W01_bit_4 -F_0x2e_F01W01_bit_3 -F_0x2e_F01W01_bit_2 -F_0x2e_F01W01_bit_1 -F_0x2e_F01W01_bit0 -F_0x2e_F01W01_bit1 -F_0x2e_F01W01_bit2 -F_0x2e_F01W01_bit3 -F_0x2e_F01W01_bit4 -F_0x2e_F01W01_bit5 -F_0x2e_F01W01_bit6 -F_0x2e_F01W01_bit7 -F_0x2e_F01W01_bit8 -F_0x2e_F01W01_bit9 -F_0x2e_F01W01_bit10 -F_0x2e_F01W01_bit11 -F_0x2e_F01W01_bit12 -F_0x2e_F01W02_bit_7 -F_0x2e_F01W02_bit_6 -F_0x2e_F01W02_bit_5 -F_0x2e_F01W02_bit_4 -F_0x2e_F01W02_bit_3 -F_0x2e_F01W02_bit_2 -F_0x2e_F01W02_bit_1 -F_0x2e_F01W02_bit0 -F_0x2e_F01W02_bit1 -F_0x2e_F01W02_bit2 -F_0x2e_F01W02_bit3 -F_0x2e_F01W02_bit4 -F_0x2e_F01W02_bit5 -F_0x2e_F01W02_bit6 -F_0x2e_F01W02_bit7 -F_0x2e_F01W02_bit8 -F_0x2e_F01W02_bit9 -F_0x2e_F01W02_bit10 -F_0x2e_F01W02_bit11 -F_0x2e_F01W02_bit12 -F_0x2e_F02W02_bit_7 -F_0x2e_F02W02_bit_6 -F_0x2e_F02W02_bit_5 -F_0x2e_F02W02_bit_4 -F_0x2e_F02W02_bit_3 -F_0x2e_F02W02_bit_2 -F_0x2e_F02W02_bit_1 -F_0x2e_F02W02_bit0 -F_0x2e_F02W02_bit1 -F_0x2e_F02W02_bit2 -F_0x2e_F02W02_bit3 -F_0x2e_F02W02_bit4 -F_0x2e_F02W02_bit5 -F_0x2e_F02W02_bit6 -F_0x2e_F02W02_bit7 -F_0x2e_F02W02_bit8 -F_0x2e_F02W02_bit9 -F_0x2e_F02W02_bit10 -F_0x2e_F02W02_bit11 -F_0x2e_F02W02_bit12 -F_0x2e_F02W03_bit_7 -F_0x2e_F02W03_bit_6 -F_0x2e_F02W03_bit_5 -F_0x2e_F02W03_bit_4 -F_0x2e_F02W03_bit_3 -F_0x2e_F02W03_bit_2 -F_0x2e_F02W03_bit_1 -F_0x2e_F02W03_bit0 -F_0x2e_F02W03_bit1 -F_0x2e_F02W03_bit2 -F_0x2e_F02W03_bit3 -F_0x2e_F02W03_bit4 -F_0x2e_F02W03_bit5 -F_0x2e_F02W03_bit6 -F_0x2e_F02W03_bit7 -F_0x2e_F02W03_bit8 -F_0x2e_F02W03_bit9 -F_0x2e_F02W03_bit10 -F_0x2e_F02W03_bit11 -F_0x2e_F02W03_bit12 -F_0x2e_F03W01_bit_7 -F_0x2e_F03W01_bit_6 -F_0x2e_F03W01_bit_5 -F_0x2e_F03W01_bit_4 -F_0x2e_F03W01_bit_3 -F_0x2e_F03W01_bit_2 -F_0x2e_F03W01_bit_1 -F_0x2e_F03W01_bit0 -F_0x2e_F03W01_bit1 -F_0x2e_F03W01_bit2 -F_0x2e_F03W01_bit3 -F_0x2e_F03W01_bit4 -F_0x2e_F03W01_bit5 -F_0x2e_F03W01_bit6 -F_0x2e_F03W01_bit7 -F_0x2e_F03W01_bit8 -F_0x2e_F03W01_bit9 -F_0x2e_F03W01_bit10 -F_0x2e_F03W01_bit11 -F_0x2e_F03W01_bit12 -F_0x2e_F03W03_bit_7 -F_0x2e_F03W03_bit_6 -F_0x2e_F03W03_bit_5 -F_0x2e_F03W03_bit_4 -F_0x2e_F03W03_bit_3 -F_0x2e_F03W03_bit_2 -F_0x2e_F03W03_bit_1 -F_0x2e_F03W03_bit0 -F_0x2e_F03W03_bit1 -F_0x2e_F03W03_bit2 -F_0x2e_F03W03_bit3 -F_0x2e_F03W03_bit4 -F_0x2e_F03W03_bit5 -F_0x2e_F03W03_bit6 -F_0x2e_F03W03_bit7 -F_0x2e_F03W03_bit8 -F_0x2e_F03W03_bit9 -F_0x2e_F03W03_bit10 -F_0x2e_F03W03_bit11 -F_0x2e_F03W03_bit12 -F_0x2e_W01D02_bit_7 -F_0x2e_W01D02_bit_6 -F_0x2e_W01D02_bit_5 -F_0x2e_W01D02_bit_4 -F_0x2e_W01D02_bit_3 -F_0x2e_W01D02_bit_2 -F_0x2e_W01D02_bit_1 -F_0x2e_W01D02_bit0 -F_0x2e_W01D02_bit1 -F_0x2e_W01D02_bit2 -F_0x2e_W01D02_bit3 -F_0x2e_W01D02_bit4 -F_0x2e_W01D02_bit5 -F_0x2e_W01D02_bit6 -F_0x2e_W01D02_bit7 -F_0x2e_W01D02_bit8 -F_0x2e_W01D02_bit9 -F_0x2e_W01D02_bit10 -F_0x2e_W01D02_bit11 -F_0x2e_W01D02_bit12 -F_0x2e_W01D03_bit_7 -F_0x2e_W01D03_bit_6 -F_0x2e_W01D03_bit_5 -F_0x2e_W01D03_bit_4 -F_0x2e_W01D03_bit_3 -F_0x2e_W01D03_bit_2 -F_0x2e_W01D03_bit_1 -F_0x2e_W01D03_bit0 -F_0x2e_W01D03_bit1 -F_0x2e_W01D03_bit2 -F_0x2e_W01D03_bit3 -F_0x2e_W01D03_bit4 -F_0x2e_W01D03_bit5 -F_0x2e_W01D03_bit6 -F_0x2e_W01D03_bit7 -F_0x2e_W01D03_bit8 -F_0x2e_W01D03_bit9 -F_0x2e_W01D03_bit10 -F_0x2e_W01D03_bit11 -F_0x2e_W01D03_bit12 -F_0x2e_W01D04_bit_7 -F_0x2e_W01D04_bit_6 -F_0x2e_W01D04_bit_5 -F_0x2e_W01D04_bit_4 -F_0x2e_W01D04_bit_3 -F_0x2e_W01D04_bit_2 -F_0x2e_W01D04_bit_1 -F_0x2e_W01D04_bit0 -F_0x2e_W01D04_bit1 -F_0x2e_W01D04_bit2 -F_0x2e_W01D04_bit3 -F_0x2e_W01D04_bit4 -F_0x2e_W01D04_bit5 -F_0x2e_W01D04_bit6 -F_0x2e_W01D04_bit7 -F_0x2e_W01D04_bit8 -F_0x2e_W01D04_bit9 -F_0x2e_W01D04_bit10 -F_0x2e_W01D04_bit11 -F_0x2e_W01D04_bit12 -F_0x2e_W02D01_bit_7 -F_0x2e_W02D01_bit_6 -F_0x2e_W02D01_bit_5 -F_0x2e_W02D01_bit_4 -F_0x2e_W02D01_bit_3 -F_0x2e_W02D01_bit_2 -F_0x2e_W02D01_bit_1 -F_0x2e_W02D01_bit0 -F_0x2e_W02D01_bit1 -F_0x2e_W02D01_bit2 -F_0x2e_W02D01_bit3 -F_0x2e_W02D01_bit4 -F_0x2e_W02D01_bit5 -F_0x2e_W02D01_bit6 -F_0x2e_W02D01_bit7 -F_0x2e_W02D01_bit8 -F_0x2e_W02D01_bit9 -F_0x2e_W02D01_bit10 -F_0x2e_W02D01_bit11 -F_0x2e_W02D01_bit12 -F_0x2e_W02D03_bit_7 -F_0x2e_W02D03_bit_6 -F_0x2e_W02D03_bit_5 -F_0x2e_W02D03_bit_4 -F_0x2e_W02D03_bit_3 -F_0x2e_W02D03_bit_2 -F_0x2e_W02D03_bit_1 F_0x2e_W02D03_bit0 F_0x2e_W02D03_bit1 F_0x2e_W02D03_bit2 F_0x2e_W02D03_bit3 -F_0x2e_W02D03_bit4 -F_0x2e_W02D03_bit5 -F_0x2e_W02D03_bit6 -F_0x2e_W02D03_bit7 -F_0x2e_W02D03_bit8 -F_0x2e_W02D03_bit9 -F_0x2e_W02D03_bit10 -F_0x2e_W02D03_bit11 -F_0x2e_W02D03_bit12 -F_0x2e_W02D04_bit_7 -F_0x2e_W02D04_bit_6 -F_0x2e_W02D04_bit_5 -F_0x2e_W02D04_bit_4 -F_0x2e_W02D04_bit_3 -F_0x2e_W02D04_bit_2 -F_0x2e_W02D04_bit_1 F_0x2e_W02D04_bit0 F_0x2e_W02D04_bit1 F_0x2e_W02D04_bit2 F_0x2e_W02D04_bit3 -F_0x2e_W02D04_bit4 -F_0x2e_W02D04_bit5 -F_0x2e_W02D04_bit6 -F_0x2e_W02D04_bit7 -F_0x2e_W02D04_bit8 -F_0x2e_W02D04_bit9 -F_0x2e_W02D04_bit10 -F_0x2e_W02D04_bit11 -F_0x2e_W02D04_bit12 -F_0x2e_W03D01_bit_7 -F_0x2e_W03D01_bit_6 -F_0x2e_W03D01_bit_5 -F_0x2e_W03D01_bit_4 -F_0x2e_W03D01_bit_3 -F_0x2e_W03D01_bit_2 -F_0x2e_W03D01_bit_1 -F_0x2e_W03D01_bit0 -F_0x2e_W03D01_bit1 -F_0x2e_W03D01_bit2 -F_0x2e_W03D01_bit3 -F_0x2e_W03D01_bit4 -F_0x2e_W03D01_bit5 -F_0x2e_W03D01_bit6 -F_0x2e_W03D01_bit7 -F_0x2e_W03D01_bit8 -F_0x2e_W03D01_bit9 -F_0x2e_W03D01_bit10 -F_0x2e_W03D01_bit11 -F_0x2e_W03D01_bit12 -F_0x2e_W03D02_bit_7 -F_0x2e_W03D02_bit_6 -F_0x2e_W03D02_bit_5 -F_0x2e_W03D02_bit_4 -F_0x2e_W03D02_bit_3 -F_0x2e_W03D02_bit_2 -F_0x2e_W03D02_bit_1 -F_0x2e_W03D02_bit0 -F_0x2e_W03D02_bit1 -F_0x2e_W03D02_bit2 -F_0x2e_W03D02_bit3 -F_0x2e_W03D02_bit4 -F_0x2e_W03D02_bit5 -F_0x2e_W03D02_bit6 -F_0x2e_W03D02_bit7 -F_0x2e_W03D02_bit8 -F_0x2e_W03D02_bit9 -F_0x2e_W03D02_bit10 -F_0x2e_W03D02_bit11 -F_0x2e_W03D02_bit12 -F_0x2e_W03D04_bit_7 -F_0x2e_W03D04_bit_6 -F_0x2e_W03D04_bit_5 -F_0x2e_W03D04_bit_4 -F_0x2e_W03D04_bit_3 -F_0x2e_W03D04_bit_2 -F_0x2e_W03D04_bit_1 -F_0x2e_W03D04_bit0 -F_0x2e_W03D04_bit1 -F_0x2e_W03D04_bit2 -F_0x2e_W03D04_bit3 -F_0x2e_W03D04_bit4 -F_0x2e_W03D04_bit5 -F_0x2e_W03D04_bit6 -F_0x2e_W03D04_bit7 -F_0x2e_W03D04_bit8 -F_0x2e_W03D04_bit9 -F_0x2e_W03D04_bit10 -F_0x2e_W03D04_bit11 -F_0x2e_W03D04_bit12 -F_0x2e_D01C01_bit_7 -F_0x2e_D01C01_bit_6 -F_0x2e_D01C01_bit_5 -F_0x2e_D01C01_bit_4 -F_0x2e_D01C01_bit_3 -F_0x2e_D01C01_bit_2 -F_0x2e_D01C01_bit_1 -F_0x2e_D01C01_bit0 -F_0x2e_D01C01_bit1 -F_0x2e_D01C01_bit2 -F_0x2e_D01C01_bit3 -F_0x2e_D01C01_bit4 -F_0x2e_D01C01_bit5 -F_0x2e_D01C01_bit6 -F_0x2e_D01C01_bit7 -F_0x2e_D01C01_bit8 -F_0x2e_D01C01_bit9 -F_0x2e_D01C01_bit10 -F_0x2e_D01C01_bit11 -F_0x2e_D01C01_bit12 -F_0x2e_D01C03_bit_7 -F_0x2e_D01C03_bit_6 -F_0x2e_D01C03_bit_5 -F_0x2e_D01C03_bit_4 -F_0x2e_D01C03_bit_3 -F_0x2e_D01C03_bit_2 -F_0x2e_D01C03_bit_1 -F_0x2e_D01C03_bit0 -F_0x2e_D01C03_bit1 -F_0x2e_D01C03_bit2 -F_0x2e_D01C03_bit3 -F_0x2e_D01C03_bit4 -F_0x2e_D01C03_bit5 -F_0x2e_D01C03_bit6 -F_0x2e_D01C03_bit7 -F_0x2e_D01C03_bit8 -F_0x2e_D01C03_bit9 -F_0x2e_D01C03_bit10 -F_0x2e_D01C03_bit11 -F_0x2e_D01C03_bit12 -F_0x2e_D02C01_bit_7 -F_0x2e_D02C01_bit_6 -F_0x2e_D02C01_bit_5 -F_0x2e_D02C01_bit_4 -F_0x2e_D02C01_bit_3 -F_0x2e_D02C01_bit_2 -F_0x2e_D02C01_bit_1 -F_0x2e_D02C01_bit0 -F_0x2e_D02C01_bit1 -F_0x2e_D02C01_bit2 -F_0x2e_D02C01_bit3 -F_0x2e_D02C01_bit4 -F_0x2e_D02C01_bit5 -F_0x2e_D02C01_bit6 -F_0x2e_D02C01_bit7 -F_0x2e_D02C01_bit8 -F_0x2e_D02C01_bit9 -F_0x2e_D02C01_bit10 -F_0x2e_D02C01_bit11 -F_0x2e_D02C01_bit12 -F_0x2e_D02C02_bit_7 -F_0x2e_D02C02_bit_6 -F_0x2e_D02C02_bit_5 -F_0x2e_D02C02_bit_4 -F_0x2e_D02C02_bit_3 -F_0x2e_D02C02_bit_2 -F_0x2e_D02C02_bit_1 -F_0x2e_D02C02_bit0 -F_0x2e_D02C02_bit1 -F_0x2e_D02C02_bit2 -F_0x2e_D02C02_bit3 -F_0x2e_D02C02_bit4 -F_0x2e_D02C02_bit5 -F_0x2e_D02C02_bit6 -F_0x2e_D02C02_bit7 -F_0x2e_D02C02_bit8 -F_0x2e_D02C02_bit9 -F_0x2e_D02C02_bit10 -F_0x2e_D02C02_bit11 -F_0x2e_D02C02_bit12 -F_0x2e_D03C01_bit_7 -F_0x2e_D03C01_bit_6 -F_0x2e_D03C01_bit_5 -F_0x2e_D03C01_bit_4 -F_0x2e_D03C01_bit_3 -F_0x2e_D03C01_bit_2 -F_0x2e_D03C01_bit_1 -F_0x2e_D03C01_bit0 -F_0x2e_D03C01_bit1 -F_0x2e_D03C01_bit2 -F_0x2e_D03C01_bit3 -F_0x2e_D03C01_bit4 -F_0x2e_D03C01_bit5 -F_0x2e_D03C01_bit6 -F_0x2e_D03C01_bit7 -F_0x2e_D03C01_bit8 -F_0x2e_D03C01_bit9 -F_0x2e_D03C01_bit10 -F_0x2e_D03C01_bit11 -F_0x2e_D03C01_bit12 -F_0x2e_D03C03_bit_7 -F_0x2e_D03C03_bit_6 -F_0x2e_D03C03_bit_5 -F_0x2e_D03C03_bit_4 -F_0x2e_D03C03_bit_3 -F_0x2e_D03C03_bit_2 -F_0x2e_D03C03_bit_1 -F_0x2e_D03C03_bit0 -F_0x2e_D03C03_bit1 -F_0x2e_D03C03_bit2 -F_0x2e_D03C03_bit3 -F_0x2e_D03C03_bit4 -F_0x2e_D03C03_bit5 -F_0x2e_D03C03_bit6 -F_0x2e_D03C03_bit7 -F_0x2e_D03C03_bit8 -F_0x2e_D03C03_bit9 -F_0x2e_D03C03_bit10 -F_0x2e_D03C03_bit11 -F_0x2e_D03C03_bit12 -F_0x2e_D04C01_bit_7 -F_0x2e_D04C01_bit_6 -F_0x2e_D04C01_bit_5 -F_0x2e_D04C01_bit_4 -F_0x2e_D04C01_bit_3 -F_0x2e_D04C01_bit_2 -F_0x2e_D04C01_bit_1 F_0x2e_D04C01_bit0 F_0x2e_D04C01_bit1 F_0x2e_D04C01_bit2 F_0x2e_D04C01_bit3 -F_0x2e_D04C01_bit4 -F_0x2e_D04C01_bit5 -F_0x2e_D04C01_bit6 -F_0x2e_D04C01_bit7 -F_0x2e_D04C01_bit8 -F_0x2e_D04C01_bit9 -F_0x2e_D04C01_bit10 -F_0x2e_D04C01_bit11 -F_0x2e_D04C01_bit12 -F_0x2e_D04C02_bit_7 -F_0x2e_D04C02_bit_6 -F_0x2e_D04C02_bit_5 -F_0x2e_D04C02_bit_4 -F_0x2e_D04C02_bit_3 -F_0x2e_D04C02_bit_2 -F_0x2e_D04C02_bit_1 -F_0x2e_D04C02_bit0 -F_0x2e_D04C02_bit1 -F_0x2e_D04C02_bit2 -F_0x2e_D04C02_bit3 -F_0x2e_D04C02_bit4 -F_0x2e_D04C02_bit5 -F_0x2e_D04C02_bit6 -F_0x2e_D04C02_bit7 -F_0x2e_D04C02_bit8 -F_0x2e_D04C02_bit9 -F_0x2e_D04C02_bit10 -F_0x2e_D04C02_bit11 -F_0x2e_D04C02_bit12 -F_0x2e_D04C03_bit_7 -F_0x2e_D04C03_bit_6 -F_0x2e_D04C03_bit_5 -F_0x2e_D04C03_bit_4 -F_0x2e_D04C03_bit_3 -F_0x2e_D04C03_bit_2 -F_0x2e_D04C03_bit_1 -F_0x2e_D04C03_bit0 -F_0x2e_D04C03_bit1 -F_0x2e_D04C03_bit2 -F_0x2e_D04C03_bit3 -F_0x2e_D04C03_bit4 -F_0x2e_D04C03_bit5 -F_0x2e_D04C03_bit6 -F_0x2e_D04C03_bit7 -F_0x2e_D04C03_bit8 -F_0x2e_D04C03_bit9 -F_0x2e_D04C03_bit10 -F_0x2e_D04C03_bit11 -F_0x2e_D04C03_bit12 -F_0x2e_D04D04_bit_7 -F_0x2e_D04D04_bit_6 -F_0x2e_D04D04_bit_5 -F_0x2e_D04D04_bit_4 -F_0x2e_D04D04_bit_3 -F_0x2e_D04D04_bit_2 -F_0x2e_D04D04_bit_1 F_0x2e_D04D04_bit0 F_0x2e_D04D04_bit1 F_0x2e_D04D04_bit2 F_0x2e_D04D04_bit3 -F_0x2e_D04D04_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit0 -F_0x2e__0x2e__0x2e__0x2e_F01_bit1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit11 -F_0x2e__0x2e__0x2e__0x2e_F01_bit12 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit0 -F_0x2e__0x2e__0x2e__0x2e_F02_bit1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit11 -F_0x2e__0x2e__0x2e__0x2e_F02_bit12 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_1 F_0x2e__0x2e__0x2e__0x2e_F03_bit0 -F_0x2e__0x2e__0x2e__0x2e_F03_bit1 F_0x2e__0x2e__0x2e__0x2e_F03_bit2 F_0x2e__0x2e__0x2e__0x2e_F03_bit3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit4 F_0x2e__0x2e__0x2e__0x2e_F03_bit5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit11 -F_0x2e__0x2e__0x2e__0x2e_F03_bit12 -F_0x2e_D01C02_bit_7 -F_0x2e_D01C02_bit_6 -F_0x2e_D01C02_bit_5 -F_0x2e_D01C02_bit_4 -F_0x2e_D01C02_bit_3 -F_0x2e_D01C02_bit_2 -F_0x2e_D01C02_bit_1 -F_0x2e_D01C02_bit0 -F_0x2e_D01C02_bit1 -F_0x2e_D01C02_bit2 -F_0x2e_D01C02_bit3 -F_0x2e_D01C02_bit4 -F_0x2e_D01C02_bit5 -F_0x2e_D01C02_bit6 -F_0x2e_D01C02_bit7 -F_0x2e_D01C02_bit8 -F_0x2e_D01C02_bit9 -F_0x2e_D01C02_bit10 -F_0x2e_D01C02_bit11 -F_0x2e_D01C02_bit12 -F_0x2e_D03C02_bit_7 -F_0x2e_D03C02_bit_6 -F_0x2e_D03C02_bit_5 -F_0x2e_D03C02_bit_4 -F_0x2e_D03C02_bit_3 -F_0x2e_D03C02_bit_2 -F_0x2e_D03C02_bit_1 F_0x2e_D03C02_bit0 F_0x2e_D03C02_bit1 F_0x2e_D03C02_bit2 F_0x2e_D03C02_bit3 -F_0x2e_D03C02_bit4 -F_0x2e_D03C02_bit5 -F_0x2e_D03C02_bit6 -F_0x2e_D03C02_bit7 -F_0x2e_D03C02_bit8 -F_0x2e_D03C02_bit9 -F_0x2e_D03C02_bit10 -F_0x2e_D03C02_bit11 -F_0x2e_D03C02_bit12 -F_0x2e_D02C03_bit_7 -F_0x2e_D02C03_bit_6 -F_0x2e_D02C03_bit_5 -F_0x2e_D02C03_bit_4 -F_0x2e_D02C03_bit_3 -F_0x2e_D02C03_bit_2 -F_0x2e_D02C03_bit_1 F_0x2e_D02C03_bit0 F_0x2e_D02C03_bit1 F_0x2e_D02C03_bit2 F_0x2e_D02C03_bit3 -F_0x2e_D02C03_bit4 -F_0x2e_D02C03_bit5 -F_0x2e_D02C03_bit6 -F_0x2e_D02C03_bit7 -F_0x2e_D02C03_bit8 -F_0x2e_D02C03_bit9 -F_0x2e_D02C03_bit10 -F_0x2e_D02C03_bit11 -F_0x2e_D02C03_bit12 -F_0x2e_W01D01_bit_7 -F_0x2e_W01D01_bit_6 -F_0x2e_W01D01_bit_5 -F_0x2e_W01D01_bit_4 -F_0x2e_W01D01_bit_3 -F_0x2e_W01D01_bit_2 -F_0x2e_W01D01_bit_1 -F_0x2e_W01D01_bit0 -F_0x2e_W01D01_bit1 -F_0x2e_W01D01_bit2 -F_0x2e_W01D01_bit3 -F_0x2e_W01D01_bit4 -F_0x2e_W01D01_bit5 -F_0x2e_W01D01_bit6 -F_0x2e_W01D01_bit7 -F_0x2e_W01D01_bit8 -F_0x2e_W01D01_bit9 -F_0x2e_W01D01_bit10 -F_0x2e_W01D01_bit11 -F_0x2e_W01D01_bit12 -F_0x2e_D01D01_bit_7 -F_0x2e_D01D01_bit_6 -F_0x2e_D01D01_bit_5 -F_0x2e_D01D01_bit_4 -F_0x2e_D01D01_bit_3 -F_0x2e_D01D01_bit_2 -F_0x2e_D01D01_bit_1 -F_0x2e_D01D01_bit0 -F_0x2e_D01D01_bit1 -F_0x2e_D01D01_bit2 -F_0x2e_D01D01_bit3 -F_0x2e_D01D01_bit4 -F_0x2e_D01D01_bit5 -F_0x2e_D01D01_bit6 -F_0x2e_D01D01_bit7 -F_0x2e_D01D01_bit8 -F_0x2e_D01D01_bit9 -F_0x2e_D01D01_bit10 -F_0x2e_D01D01_bit11 -F_0x2e_D01D01_bit12 -F_0x2e_W02D02_bit_7 -F_0x2e_W02D02_bit_6 -F_0x2e_W02D02_bit_5 -F_0x2e_W02D02_bit_4 -F_0x2e_W02D02_bit_3 -F_0x2e_W02D02_bit_2 -F_0x2e_W02D02_bit_1 F_0x2e_W02D02_bit0 F_0x2e_W02D02_bit1 F_0x2e_W02D02_bit2 F_0x2e_W02D02_bit3 -F_0x2e_W02D02_bit4 -F_0x2e_W02D02_bit5 -F_0x2e_W02D02_bit6 -F_0x2e_W02D02_bit7 -F_0x2e_W02D02_bit8 -F_0x2e_W02D02_bit9 -F_0x2e_W02D02_bit10 -F_0x2e_W02D02_bit11 -F_0x2e_W02D02_bit12 -F_0x2e_D02D02_bit_7 -F_0x2e_D02D02_bit_6 -F_0x2e_D02D02_bit_5 -F_0x2e_D02D02_bit_4 -F_0x2e_D02D02_bit_3 -F_0x2e_D02D02_bit_2 -F_0x2e_D02D02_bit_1 F_0x2e_D02D02_bit0 F_0x2e_D02D02_bit1 F_0x2e_D02D02_bit2 F_0x2e_D02D02_bit3 -F_0x2e_D02D02_bit4 -F_0x2e_D02D02_bit5 -F_0x2e_D02D02_bit6 -F_0x2e_D02D02_bit7 -F_0x2e_D02D02_bit8 -F_0x2e_D02D02_bit9 -F_0x2e_D02D02_bit10 -F_0x2e_D02D02_bit11 -F_0x2e_D02D02_bit12 -F_0x2e_W03D03_bit_7 -F_0x2e_W03D03_bit_6 -F_0x2e_W03D03_bit_5 -F_0x2e_W03D03_bit_4 -F_0x2e_W03D03_bit_3 -F_0x2e_W03D03_bit_2 -F_0x2e_W03D03_bit_1 -F_0x2e_W03D03_bit0 -F_0x2e_W03D03_bit1 -F_0x2e_W03D03_bit2 -F_0x2e_W03D03_bit3 -F_0x2e_W03D03_bit4 -F_0x2e_W03D03_bit5 -F_0x2e_W03D03_bit6 -F_0x2e_W03D03_bit7 -F_0x2e_W03D03_bit8 -F_0x2e_W03D03_bit9 -F_0x2e_W03D03_bit10 -F_0x2e_W03D03_bit11 -F_0x2e_W03D03_bit12 -F_0x2e_D03D03_bit_7 -F_0x2e_D03D03_bit_6 -F_0x2e_D03D03_bit_5 -F_0x2e_D03D03_bit_4 -F_0x2e_D03D03_bit_3 -F_0x2e_D03D03_bit_2 -F_0x2e_D03D03_bit_1 F_0x2e_D03D03_bit0 F_0x2e_D03D03_bit1 F_0x2e_D03D03_bit2 F_0x2e_D03D03_bit3 -F_0x2e_D03D03_bit4 -F_0x2e_D03D03_bit5 -F_0x2e_D03D03_bit6 -F_0x2e_D03D03_bit7 -F_0x2e_D03D03_bit8 -F_0x2e_D03D03_bit9 -F_0x2e_D03D03_bit10 -F_0x2e_D03D03_bit11 -F_0x2e_D03D03_bit12 -F_0x2e_F01W03_bit_7 -F_0x2e_F01W03_bit_6 -F_0x2e_F01W03_bit_5 -F_0x2e_F01W03_bit_4 -F_0x2e_F01W03_bit_3 -F_0x2e_F01W03_bit_2 -F_0x2e_F01W03_bit_1 -F_0x2e_F01W03_bit0 -F_0x2e_F01W03_bit1 -F_0x2e_F01W03_bit2 -F_0x2e_F01W03_bit3 -F_0x2e_F01W03_bit4 -F_0x2e_F01W03_bit5 -F_0x2e_F01W03_bit6 -F_0x2e_F01W03_bit7 -F_0x2e_F01W03_bit8 -F_0x2e_F01W03_bit9 -F_0x2e_F01W03_bit10 -F_0x2e_F01W03_bit11 -F_0x2e_F01W03_bit12 -F_0x2e_F02W01_bit_7 -F_0x2e_F02W01_bit_6 -F_0x2e_F02W01_bit_5 -F_0x2e_F02W01_bit_4 -F_0x2e_F02W01_bit_3 -F_0x2e_F02W01_bit_2 -F_0x2e_F02W01_bit_1 -F_0x2e_F02W01_bit0 -F_0x2e_F02W01_bit1 -F_0x2e_F02W01_bit2 -F_0x2e_F02W01_bit3 -F_0x2e_F02W01_bit4 -F_0x2e_F02W01_bit5 -F_0x2e_F02W01_bit6 -F_0x2e_F02W01_bit7 -F_0x2e_F02W01_bit8 -F_0x2e_F02W01_bit9 -F_0x2e_F02W01_bit10 -F_0x2e_F02W01_bit11 -F_0x2e_F02W01_bit12 -F_0x2e_F03W02_bit_7 -F_0x2e_F03W02_bit_6 -F_0x2e_F03W02_bit_5 -F_0x2e_F03W02_bit_4 -F_0x2e_F03W02_bit_3 -F_0x2e_F03W02_bit_2 -F_0x2e_F03W02_bit_1 F_0x2e_F03W02_bit0 -F_0x2e_F03W02_bit1 F_0x2e_F03W02_bit2 F_0x2e_F03W02_bit3 -F_0x2e_F03W02_bit4 F_0x2e_F03W02_bit5 -F_0x2e_F03W02_bit6 -F_0x2e_F03W02_bit7 -F_0x2e_F03W02_bit8 -F_0x2e_F03W02_bit9 -F_0x2e_F03W02_bit10 -F_0x2e_F03W02_bit11 -F_0x2e_F03W02_bit12 -I_0x2e_D01C01_bit0 -I_0x2e_D02C01_bit0 -I_0x2e_D03C01_bit0 I_0x2e_D04C01_bit0 -I_0x2e_D01C02_bit0 -I_0x2e_D02C02_bit0 I_0x2e_D03C02_bit0 -I_0x2e_D04C02_bit0 -I_0x2e_D01C03_bit0 I_0x2e_D02C03_bit0 -I_0x2e_D03C03_bit0 -I_0x2e_D04C03_bit0 -F_0x2e_W01W01_bit_7 -F_0x2e_W01W01_bit_6 -F_0x2e_W01W01_bit_5 -F_0x2e_W01W01_bit_4 -F_0x2e_W01W01_bit_3 -F_0x2e_W01W01_bit_2 -F_0x2e_W01W01_bit_1 -F_0x2e_W01W01_bit0 -F_0x2e_W01W01_bit1 -F_0x2e_W01W01_bit2 -F_0x2e_W01W01_bit3 -F_0x2e_W01W01_bit4 -F_0x2e_W01W01_bit5 -F_0x2e_W01W01_bit6 -F_0x2e_W01W01_bit7 -F_0x2e_W01W01_bit8 -F_0x2e_W01W01_bit9 -F_0x2e_W01W01_bit10 -F_0x2e_W01W01_bit11 -F_0x2e_W01W01_bit12 -F_0x2e_W02W02_bit_7 -F_0x2e_W02W02_bit_6 -F_0x2e_W02W02_bit_5 -F_0x2e_W02W02_bit_4 -F_0x2e_W02W02_bit_3 -F_0x2e_W02W02_bit_2 -F_0x2e_W02W02_bit_1 F_0x2e_W02W02_bit0 -F_0x2e_W02W02_bit1 F_0x2e_W02W02_bit2 F_0x2e_W02W02_bit3 -F_0x2e_W02W02_bit4 F_0x2e_W02W02_bit5 -F_0x2e_W02W02_bit6 -F_0x2e_W02W02_bit7 -F_0x2e_W02W02_bit8 -F_0x2e_W02W02_bit9 -F_0x2e_W02W02_bit10 -F_0x2e_W02W02_bit11 -F_0x2e_W02W02_bit12 -F_0x2e_W03W03_bit_7 -F_0x2e_W03W03_bit_6 -F_0x2e_W03W03_bit_5 -F_0x2e_W03W03_bit_4 -F_0x2e_W03W03_bit_3 -F_0x2e_W03W03_bit_2 -F_0x2e_W03W03_bit_1 -F_0x2e_W03W03_bit0 -F_0x2e_W03W03_bit1 -F_0x2e_W03W03_bit2 -F_0x2e_W03W03_bit3 -F_0x2e_W03W03_bit4 -F_0x2e_W03W03_bit5 -F_0x2e_W03W03_bit6 -F_0x2e_W03W03_bit7 -F_0x2e_W03W03_bit8 -F_0x2e_W03W03_bit9 -F_0x2e_W03W03_bit10 -F_0x2e_W03W03_bit11 -F_0x2e_W03W03_bit12 
c Cost: 48000
c Exit Code: 30
c Total time: 674.27 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/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853664840 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 107 3 90 68 0 39 0
[pid=10220] 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/wulflinc22/normalized-mps-v2-13-7-sample2.opb

[startup+10.0032 s]
Raw data (loadavg): 0.93 0.97 0.98 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 1575 0 0 0 714 95 0 0 19 0 1 0 1853664840 9527296 1486 4294967295 134512640 134736556 3221224560 3221223276 134560240 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 2326 1486 1116 68 0 2258 0
[pid=10220] vsize: 9304
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (Kb) 9304

[startup+20.0039 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 7329 0 0 0 1542 163 0 0 25 0 1 0 1853664840 33034240 7240 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10220/statm): 8065 7240 1116 68 0 7997 0
[pid=10220] vsize: 32260
Current children cumulated CPU time (s) 17.05
Current children cumulated vsize (Kb) 32260

[startup+30.0047 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 9506 0 0 0 2494 182 0 0 25 0 1 0 1853664840 42074112 9417 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 10272 9417 1116 68 0 10204 0
[pid=10220] vsize: 41088
Current children cumulated CPU time (s) 26.76
Current children cumulated vsize (Kb) 41088

[startup+40.0044 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 14766 0 0 0 3428 213 0 0 25 0 1 0 1853664840 63565824 14677 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 15519 14677 1116 68 0 15451 0
[pid=10220] vsize: 62076
Current children cumulated CPU time (s) 36.41
Current children cumulated vsize (Kb) 62076

[startup+50.0041 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 19729 0 0 0 4369 242 0 0 25 0 1 0 1853664840 83963904 19640 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 20499 19640 1116 68 0 20431 0
[pid=10220] vsize: 81996
Current children cumulated CPU time (s) 46.11
Current children cumulated vsize (Kb) 81996

[startup+60.0048 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 20712 0 0 0 5342 252 0 0 25 0 1 0 1853664840 87998464 20623 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 21484 20623 1116 68 0 21416 0
[pid=10220] vsize: 85936
Current children cumulated CPU time (s) 55.94
Current children cumulated vsize (Kb) 85936

[startup+70.0055 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 20939 0 0 0 6328 256 0 0 25 0 1 0 1853664840 88805376 20850 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 21681 20850 1116 68 0 21613 0
[pid=10220] vsize: 86724
Current children cumulated CPU time (s) 65.84
Current children cumulated vsize (Kb) 86724

[startup+80.0062 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 21009 0 0 0 7313 262 0 0 25 0 1 0 1853664840 89210880 20920 4294967295 134512640 134736556 3221224560 3221223196 134634092 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 21780 20920 1116 68 0 21712 0
[pid=10220] vsize: 87120
Current children cumulated CPU time (s) 75.75
Current children cumulated vsize (Kb) 87120

[startup+90.0069 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 22131 0 0 0 8289 272 0 0 25 0 1 0 1853664840 93802496 22042 4294967295 134512640 134736556 3221224560 3221223228 134554079 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 22901 22042 1116 68 0 22833 0
[pid=10220] vsize: 91604
Current children cumulated CPU time (s) 85.61
Current children cumulated vsize (Kb) 91604

[startup+100.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 23358 0 0 0 9267 281 0 0 25 0 1 0 1853664840 98766848 23269 4294967295 134512640 134736556 3221224560 3221223048 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 24113 23269 1116 68 0 24045 0
[pid=10220] vsize: 96452
Current children cumulated CPU time (s) 95.48
Current children cumulated vsize (Kb) 96452

[startup+110.007 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 24805 0 0 0 10250 289 0 0 25 0 1 0 1853664840 104706048 24716 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10220/statm): 25563 24716 1116 68 0 25495 0
[pid=10220] vsize: 102252
Current children cumulated CPU time (s) 105.39
Current children cumulated vsize (Kb) 102252

[startup+120.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 29003 0 0 0 11189 319 0 0 25 0 1 0 1853664840 121864192 28914 4294967295 134512640 134736556 3221224560 3221223204 134608262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 29752 28914 1116 68 0 29684 0
[pid=10220] vsize: 119008
Current children cumulated CPU time (s) 115.08
Current children cumulated vsize (Kb) 119008

[startup+130.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 29572 0 0 0 12172 325 0 0 25 0 1 0 1853664840 124297216 29483 4294967295 134512640 134736556 3221224560 3221223152 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 30346 29483 1116 68 0 30278 0
[pid=10220] vsize: 121384
Current children cumulated CPU time (s) 124.97
Current children cumulated vsize (Kb) 121384

[startup+140.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 30777 0 0 0 13155 335 0 0 25 0 1 0 1853664840 129142784 30688 4294967295 134512640 134736556 3221224560 3221223088 134550882 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 31529 30688 1116 68 0 31461 0
[pid=10220] vsize: 126116
Current children cumulated CPU time (s) 134.9
Current children cumulated vsize (Kb) 126116

[startup+150.01 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 31912 0 0 0 14128 346 0 0 25 0 1 0 1853664840 133865472 31823 4294967295 134512640 134736556 3221224560 3221223088 134550732 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 32682 31823 1116 68 0 32614 0
[pid=10220] vsize: 130728
Current children cumulated CPU time (s) 144.74
Current children cumulated vsize (Kb) 130728

[startup+160.011 s]
Raw data (loadavg): 1.08 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 32164 0 0 0 15105 354 0 0 25 0 1 0 1853664840 134942720 32075 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 32945 32075 1116 68 0 32877 0
[pid=10220] vsize: 131780
Current children cumulated CPU time (s) 154.59
Current children cumulated vsize (Kb) 131780

[startup+170.011 s]
Raw data (loadavg): 1.07 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 32685 0 0 0 16078 366 0 0 25 0 1 0 1853664840 136970240 32596 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 33440 32596 1116 68 0 33372 0
[pid=10220] vsize: 133760
Current children cumulated CPU time (s) 164.44
Current children cumulated vsize (Kb) 133760

[startup+180.011 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 32956 0 0 0 17072 369 0 0 25 0 1 0 1853664840 138182656 32867 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 33736 32867 1116 68 0 33668 0
[pid=10220] vsize: 134944
Current children cumulated CPU time (s) 174.41
Current children cumulated vsize (Kb) 134944

[startup+190.011 s]
Raw data (loadavg): 1.05 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33159 0 0 0 18068 371 0 0 25 0 1 0 1853664840 138993664 33070 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 33934 33070 1116 68 0 33866 0
[pid=10220] vsize: 135736
Current children cumulated CPU time (s) 184.39
Current children cumulated vsize (Kb) 135736

[startup+200.011 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33207 0 0 0 19053 376 0 0 25 0 1 0 1853664840 139128832 33118 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 33967 33118 1116 68 0 33899 0
[pid=10220] vsize: 135868
Current children cumulated CPU time (s) 194.29
Current children cumulated vsize (Kb) 135868

[startup+210.011 s]
Raw data (loadavg): 1.03 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33322 0 0 0 20046 378 0 0 25 0 1 0 1853664840 139649024 33233 4294967295 134512640 134736556 3221224560 3221223184 134537444 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 34094 33233 1116 68 0 34026 0
[pid=10220] vsize: 136376
Current children cumulated CPU time (s) 204.24
Current children cumulated vsize (Kb) 136376

[startup+220.012 s]
Raw data (loadavg): 1.03 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33391 0 0 0 21041 381 0 0 25 0 1 0 1853664840 139878400 33302 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 34150 33302 1116 68 0 34082 0
[pid=10220] vsize: 136600
Current children cumulated CPU time (s) 214.22
Current children cumulated vsize (Kb) 136600

[startup+230.013 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 34417 0 0 0 22014 391 0 0 25 0 1 0 1853664840 144072704 34327 4294967295 134512640 134736556 3221224560 3221223184 134544631 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 35174 34327 1116 68 0 35106 0
[pid=10220] vsize: 140696
Current children cumulated CPU time (s) 224.05
Current children cumulated vsize (Kb) 140696

[startup+240.014 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 35144 0 0 0 22994 400 0 0 25 0 1 0 1853664840 147017728 35054 4294967295 134512640 134736556 3221224560 3221223300 134606006 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 35893 35054 1116 68 0 35825 0
[pid=10220] vsize: 143572
Current children cumulated CPU time (s) 233.94
Current children cumulated vsize (Kb) 143572

[startup+250.014 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 36184 0 0 0 23961 415 0 0 25 0 1 0 1853664840 151289856 36094 4294967295 134512640 134736556 3221224560 3221223200 1076648027 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 36936 36094 1116 68 0 36868 0
[pid=10220] vsize: 147744
Current children cumulated CPU time (s) 243.76
Current children cumulated vsize (Kb) 147744

[startup+260.015 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 38033 0 0 0 24921 432 0 0 25 0 1 0 1853664840 158851072 37943 4294967295 134512640 134736556 3221224560 3221222924 1077379908 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 38782 37943 1116 68 0 38714 0
[pid=10220] vsize: 155128
Current children cumulated CPU time (s) 253.53
Current children cumulated vsize (Kb) 155128

[startup+270.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 39999 0 0 0 25884 448 0 0 25 0 1 0 1853664840 166965248 39909 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 40763 39909 1116 68 0 40695 0
[pid=10220] vsize: 163052
Current children cumulated CPU time (s) 263.32
Current children cumulated vsize (Kb) 163052

[startup+280.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 40602 0 0 0 26870 455 0 0 25 0 1 0 1853664840 169390080 40512 4294967295 134512640 134736556 3221224560 3221223224 134694469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 41355 40512 1116 68 0 41287 0
[pid=10220] vsize: 165420
Current children cumulated CPU time (s) 273.25
Current children cumulated vsize (Kb) 165420

[startup+290.017 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 40805 0 0 0 27865 457 0 0 25 0 1 0 1853664840 170201088 40715 4294967295 134512640 134736556 3221224560 3221223168 134524350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 41553 40715 1116 68 0 41485 0
[pid=10220] vsize: 166212
Current children cumulated CPU time (s) 283.22
Current children cumulated vsize (Kb) 166212

[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 41084 0 0 0 28861 458 0 0 25 0 1 0 1853664840 171413504 40994 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 41849 40994 1116 68 0 41781 0
[pid=10220] vsize: 167396
Current children cumulated CPU time (s) 293.19
Current children cumulated vsize (Kb) 167396

[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 41551 0 0 0 29855 461 0 0 25 0 1 0 1853664840 173297664 41461 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 42309 41461 1116 68 0 42241 0
[pid=10220] vsize: 169236
Current children cumulated CPU time (s) 303.16
Current children cumulated vsize (Kb) 169236

[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 41996 0 0 0 30850 464 0 0 25 0 1 0 1853664840 175190016 41906 4294967295 134512640 134736556 3221224560 3221223184 134537450 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 42771 41906 1116 68 0 42703 0
[pid=10220] vsize: 171084
Current children cumulated CPU time (s) 313.14
Current children cumulated vsize (Kb) 171084

[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 42455 0 0 0 31844 467 0 0 25 0 1 0 1853664840 177082368 42365 4294967295 134512640 134736556 3221224560 3221223136 134537363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 43233 42365 1116 68 0 43165 0
[pid=10220] vsize: 172932
Current children cumulated CPU time (s) 323.11
Current children cumulated vsize (Kb) 172932

[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 42894 0 0 0 32839 469 0 0 25 0 1 0 1853664840 178835456 42804 4294967295 134512640 134736556 3221224560 3221223212 134554079 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 43661 42804 1116 68 0 43593 0
[pid=10220] vsize: 174644
Current children cumulated CPU time (s) 333.08
Current children cumulated vsize (Kb) 174644

[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 42939 0 0 0 33829 473 0 0 25 0 1 0 1853664840 178970624 42849 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 43694 42849 1116 68 0 43626 0
[pid=10220] vsize: 174776
Current children cumulated CPU time (s) 343.02
Current children cumulated vsize (Kb) 174776

[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 43152 0 0 0 34819 477 0 0 25 0 1 0 1853664840 179916800 43062 4294967295 134512640 134736556 3221224560 3221223036 134540083 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 43925 43062 1116 68 0 43857 0
[pid=10220] vsize: 175700
Current children cumulated CPU time (s) 352.96
Current children cumulated vsize (Kb) 175700

[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 43846 0 0 0 35806 483 0 0 25 0 1 0 1853664840 182751232 43756 4294967295 134512640 134736556 3221224560 3221223100 134550916 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 44617 43756 1116 68 0 44549 0
[pid=10220] vsize: 178468
Current children cumulated CPU time (s) 362.89
Current children cumulated vsize (Kb) 178468

[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 44539 0 0 0 36793 490 0 0 25 0 1 0 1853664840 185585664 44449 4294967295 134512640 134736556 3221224560 3221222952 1077377398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 45309 44449 1116 68 0 45241 0
[pid=10220] vsize: 181236
Current children cumulated CPU time (s) 372.83
Current children cumulated vsize (Kb) 181236

[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 45137 0 0 0 37781 496 0 0 25 0 1 0 1853664840 188014592 45046 4294967295 134512640 134736556 3221224560 3221223060 134551038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 45902 45046 1116 68 0 45834 0
[pid=10220] vsize: 183608
Current children cumulated CPU time (s) 382.77
Current children cumulated vsize (Kb) 183608

[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 49357 0 0 0 38690 531 0 0 18 0 1 0 1853664840 194461696 46630 4294967295 134512640 134736556 3221224560 3221222500 1077782939 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 47476 46630 1116 68 0 47408 0
[pid=10220] vsize: 189904
Current children cumulated CPU time (s) 392.21
Current children cumulated vsize (Kb) 189904

[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 53185 0 0 0 39580 568 0 0 25 0 1 0 1853664840 196329472 47088 4294967295 134512640 134736556 3221224560 3221223236 134685650 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 47932 47088 1116 68 0 47864 0
[pid=10220] vsize: 191728
Current children cumulated CPU time (s) 401.48
Current children cumulated vsize (Kb) 191728

[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 53817 0 0 0 40543 581 0 0 25 0 1 0 1853664840 196366336 47097 4294967295 134512640 134736556 3221224560 3221223168 134682904 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 47941 47097 1116 68 0 47873 0
[pid=10220] vsize: 191764
Current children cumulated CPU time (s) 411.24
Current children cumulated vsize (Kb) 191764

[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 59025 0 0 0 41383 634 0 0 21 0 1 0 1853664840 197169152 47291 4294967295 134512640 134736556 3221224560 3221222456 1077380592 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48137 47291 1116 68 0 48069 0
[pid=10220] vsize: 192548
Current children cumulated CPU time (s) 420.17
Current children cumulated vsize (Kb) 192548

[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61409 0 0 0 42300 661 0 0 25 0 1 0 1853664840 197693440 47418 4294967295 134512640 134736556 3221224560 3221220476 1074860811 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48265 47418 1116 68 0 48197 0
[pid=10220] vsize: 193060
Current children cumulated CPU time (s) 429.61
Current children cumulated vsize (Kb) 193060

[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61409 0 0 0 43274 671 0 0 25 0 1 0 1853664840 197693440 47418 4294967295 134512640 134736556 3221224560 3221222360 1074138155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48265 47418 1116 68 0 48197 0
[pid=10220] vsize: 193060
Current children cumulated CPU time (s) 439.45
Current children cumulated vsize (Kb) 193060

[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61409 0 0 0 44248 682 0 0 25 0 1 0 1853664840 197693440 47418 4294967295 134512640 134736556 3221224560 3221222908 1077781665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48265 47418 1116 68 0 48197 0
[pid=10220] vsize: 193060
Current children cumulated CPU time (s) 449.3
Current children cumulated vsize (Kb) 193060

[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61412 0 0 0 45233 688 0 0 25 0 1 0 1853664840 197693440 47421 4294967295 134512640 134736556 3221224560 3221223168 134682916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48265 47421 1116 68 0 48197 0
[pid=10220] vsize: 193060
Current children cumulated CPU time (s) 459.21
Current children cumulated vsize (Kb) 193060

[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 61412 0 0 0 46214 694 0 0 25 0 1 0 1853664840 197693440 47421 4294967295 134512640 134736556 3221224560 3221222956 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48265 47421 1116 68 0 48197 0
[pid=10220] vsize: 193060
Current children cumulated CPU time (s) 469.08
Current children cumulated vsize (Kb) 193060

[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 61680 0 0 0 47156 714 0 0 23 0 1 0 1853664840 197693440 47424 4294967295 134512640 134736556 3221224560 3221222972 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48265 47424 1116 68 0 48197 0
[pid=10220] vsize: 193060
Current children cumulated CPU time (s) 478.7
Current children cumulated vsize (Kb) 193060

[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66320 0 0 0 47940 781 0 0 23 0 1 0 1853664840 198053888 47484 4294967295 134512640 134736556 3221224560 3221220716 1075563891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 48353 47484 1116 68 0 48285 0
[pid=10220] vsize: 193412
Current children cumulated CPU time (s) 487.21
Current children cumulated vsize (Kb) 193412

[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 48922 787 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 497.09
Current children cumulated vsize (Kb) 193196

[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 49895 796 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221221856 1074838870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 506.91
Current children cumulated vsize (Kb) 193196

[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 50871 805 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223168 134682918 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 516.76
Current children cumulated vsize (Kb) 193196

[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 66324 0 0 0 51842 815 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222908 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 526.57
Current children cumulated vsize (Kb) 193196

[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 52814 826 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 536.4
Current children cumulated vsize (Kb) 193196

[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66385 0 0 0 53786 836 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 546.22
Current children cumulated vsize (Kb) 193196

[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66385 0 0 0 54774 841 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222912 1074119071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 556.15
Current children cumulated vsize (Kb) 193196

[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 66389 0 0 0 55756 847 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222956 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 566.03
Current children cumulated vsize (Kb) 193196

[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66389 0 0 0 56731 856 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221221632 1074865615 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 575.87
Current children cumulated vsize (Kb) 193196

[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66837 0 0 0 57674 875 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 585.49
Current children cumulated vsize (Kb) 193196

[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 67698 0 0 0 58576 905 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222320 1074050818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 594.81
Current children cumulated vsize (Kb) 193196

[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 68257 0 0 0 59522 921 0 0 25 0 1 0 1853664840 197877760 47459 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48310 47459 1116 68 0 48242 0
[pid=10220] vsize: 193240
Current children cumulated CPU time (s) 604.43
Current children cumulated vsize (Kb) 193240

[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 68671 0 0 0 60483 934 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222336 1075823619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 614.17
Current children cumulated vsize (Kb) 193196

[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 69049 0 2 0 61440 949 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 623.89
Current children cumulated vsize (Kb) 193196

[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 69667 0 2 0 62379 971 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221222496 1074153749 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 633.5
Current children cumulated vsize (Kb) 193196

[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71028 0 2 0 63297 995 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223232 134621862 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 642.92
Current children cumulated vsize (Kb) 193196

[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71297 0 2 0 64269 1003 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 652.72
Current children cumulated vsize (Kb) 193196

[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71566 0 2 0 65241 1013 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223168 134682904 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 662.54
Current children cumulated vsize (Kb) 193196

[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 10220
Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71825 0 2 0 66215 1021 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0
[pid=10220] vsize: 193196
Current children cumulated CPU time (s) 672.36
Current children cumulated vsize (Kb) 193196
One traced child (pid=10220) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 692.059
CPU time (s): 674.364
CPU user time (s): 664.038
CPU system time (s): 10.3254
CPU usage (%): 97.4431
Max. virtual memory (cumulated for all children) (Kb): 193412

Verifier Data

Verifier:	OK	48000