PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9513
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 27924

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 23:39:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15226 boxname=wulflinc15 idbench=1172 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 15226
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        822768 kB
Buffers:           436 kB
Cached:         190920 kB
SwapCached:        472 kB
Active:          20412 kB
Inactive:       172828 kB
HighTotal:      131008 kB
HighFree:        47180 kB
LowTotal:       903652 kB
LowFree:        775588 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            12736 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:58:47 (client local time) WITH STATUS 0 IN 1175.85 SECONDS
stats: 15226 7 1175.85 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 228.354 s
c Initial Lower Bound: 297773950
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.63 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.90 0.86 0.85 2/54 370
Raw data (stat): 370 (runsolver) R 369 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776036896 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.92 0.86 0.85 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 20997 0 0 0 956 43 0 0 25 0 1 0 776036896 99409920 20975 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 20975 1111 63 0 24207 0
vsize: 97080
[startup+20.0003 s]
Raw data (loadavg): 0.93 0.87 0.85 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 41707 0 0 0 1918 81 0 0 25 0 1 0 776036896 184213504 41685 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44974 41685 1111 63 0 44911 0
vsize: 179896
[startup+30.0004 s]
Raw data (loadavg): 0.94 0.87 0.85 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 62176 0 0 0 2882 117 0 0 25 0 1 0 776036896 268136448 62154 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65463 62154 1111 63 0 65400 0
vsize: 261852
[startup+40.001 s]
Raw data (loadavg): 0.95 0.88 0.85 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 82085 0 0 0 3848 151 0 0 25 0 1 0 776036896 349659136 82063 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85366 82063 1111 63 0 85303 0
vsize: 341464
[startup+50.0018 s]
Raw data (loadavg): 0.95 0.88 0.85 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 86937 0 0 0 4837 162 0 0 25 0 1 0 776036896 369459200 86915 4294967295 134512640 134714540 3221224592 3221222868 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90200 86915 1111 63 0 90137 0
vsize: 360800
[startup+60.0145 s]
Raw data (loadavg): 0.96 0.88 0.85 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 87981 0 0 0 5835 165 0 0 25 0 1 0 776036896 373792768 87959 4294967295 134512640 134714540 3221224592 3221222896 134566768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91258 87959 1111 63 0 91195 0
vsize: 365032
[startup+70.0145 s]
Raw data (loadavg): 0.97 0.89 0.85 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 88971 0 0 0 6832 168 0 0 25 0 1 0 776036896 377872384 88949 4294967295 134512640 134714540 3221224592 3221222252 1077245923 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92254 88949 1111 63 0 92191 0
vsize: 369016
[startup+80.0174 s]
Raw data (loadavg): 0.97 0.89 0.86 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 90077 0 0 0 7830 171 0 0 25 0 1 0 776036896 382337024 90055 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93344 90055 1111 63 0 93281 0
vsize: 373376
[startup+90.0172 s]
Raw data (loadavg): 0.98 0.89 0.86 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 91234 0 0 0 8826 174 0 0 25 0 1 0 776036896 387207168 91212 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94533 91212 1111 63 0 94470 0
vsize: 378132
[startup+100.018 s]
Raw data (loadavg): 0.98 0.90 0.86 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 9823 178 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+110.02 s]
Raw data (loadavg): 0.98 0.90 0.86 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 10823 178 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223088 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+120.02 s]
Raw data (loadavg): 1.06 0.92 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 11823 178 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+130.021 s]
Raw data (loadavg): 1.05 0.92 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 12822 179 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+140.022 s]
Raw data (loadavg): 1.04 0.92 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 13822 179 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+150.022 s]
Raw data (loadavg): 1.03 0.92 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 14822 179 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+160.022 s]
Raw data (loadavg): 1.03 0.93 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 15822 179 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223036 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+170.022 s]
Raw data (loadavg): 1.02 0.93 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 16822 179 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223036 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+180.023 s]
Raw data (loadavg): 1.02 0.93 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 17822 180 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+190.024 s]
Raw data (loadavg): 1.02 0.93 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 18821 181 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+200.026 s]
Raw data (loadavg): 1.01 0.93 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 19821 181 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+210.028 s]
Raw data (loadavg): 1.01 0.93 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 20820 182 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223060 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+220.028 s]
Raw data (loadavg): 1.01 0.94 0.87 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 92721 0 0 0 21820 182 0 0 25 0 1 0 776036896 383524864 92624 4294967295 134512640 134714540 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+230.028 s]
Raw data (loadavg): 1.01 0.94 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93199 0 0 0 22818 184 0 0 25 0 1 0 776036896 385527808 93102 4294967295 134512640 134714540 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94123 93102 1111 63 0 94060 0
vsize: 376492
[startup+240.029 s]
Raw data (loadavg): 1.00 0.94 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93240 0 0 0 23818 184 0 0 25 0 1 0 776036896 385798144 93143 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94189 93143 1111 63 0 94126 0
vsize: 376756
[startup+250.029 s]
Raw data (loadavg): 1.00 0.94 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93283 0 0 0 24818 185 0 0 25 0 1 0 776036896 385933312 93186 4294967295 134512640 134714540 3221224592 3221223312 134622791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94222 93186 1111 63 0 94159 0
vsize: 376888
[startup+260.03 s]
Raw data (loadavg): 1.00 0.94 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93345 0 0 0 25818 185 0 0 25 0 1 0 776036896 386203648 93248 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94288 93248 1111 63 0 94225 0
vsize: 377152
[startup+270.029 s]
Raw data (loadavg): 1.00 0.94 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93411 0 0 0 26817 185 0 0 25 0 1 0 776036896 386473984 93314 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94354 93314 1111 63 0 94291 0
vsize: 377416
[startup+280.03 s]
Raw data (loadavg): 1.00 0.95 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93477 0 0 0 27817 186 0 0 25 0 1 0 776036896 386744320 93380 4294967295 134512640 134714540 3221224592 3221223364 134624428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94420 93380 1111 63 0 94357 0
vsize: 377680
[startup+290.03 s]
Raw data (loadavg): 1.00 0.95 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93548 0 0 0 28817 186 0 0 25 0 1 0 776036896 387014656 93451 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94486 93451 1111 63 0 94423 0
vsize: 377944
[startup+300.038 s]
Raw data (loadavg): 1.00 0.95 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93643 0 0 0 29817 187 0 0 25 0 1 0 776036896 387424256 93546 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94586 93546 1111 63 0 94523 0
vsize: 378344
[startup+310.046 s]
Raw data (loadavg): 1.00 0.95 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93757 0 0 0 30817 187 0 0 25 0 1 0 776036896 387829760 93660 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94685 93660 1111 63 0 94622 0
vsize: 378740
[startup+320.046 s]
Raw data (loadavg): 1.00 0.95 0.88 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93871 0 0 0 31816 188 0 0 25 0 1 0 776036896 388370432 93774 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94817 93774 1111 63 0 94754 0
vsize: 379268
[startup+330.047 s]
Raw data (loadavg): 1.00 0.95 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 93989 0 0 0 32816 189 0 0 25 0 1 0 776036896 388775936 93892 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94916 93892 1111 63 0 94853 0
vsize: 379664
[startup+340.046 s]
Raw data (loadavg): 1.00 0.95 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 94111 0 0 0 33815 189 0 0 25 0 1 0 776036896 389316608 94014 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95048 94014 1111 63 0 94985 0
vsize: 380192
[startup+350.047 s]
Raw data (loadavg): 1.00 0.95 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 94231 0 0 0 34815 190 0 0 25 0 1 0 776036896 389857280 94134 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95180 94134 1111 63 0 95117 0
vsize: 380720
[startup+360.067 s]
Raw data (loadavg): 1.00 0.95 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 94352 0 0 0 35817 190 0 0 25 0 1 0 776036896 390262784 94255 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95279 94255 1111 63 0 95216 0
vsize: 381116
[startup+370.066 s]
Raw data (loadavg): 1.00 0.95 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 94483 0 0 0 36816 191 0 0 25 0 1 0 776036896 390803456 94386 4294967295 134512640 134714540 3221224592 3221223312 134556870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95411 94386 1111 63 0 95348 0
vsize: 381644
[startup+380.067 s]
Raw data (loadavg): 1.00 0.95 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 94633 0 0 0 37816 191 0 0 25 0 1 0 776036896 391483392 94536 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95577 94536 1111 63 0 95514 0
vsize: 382308
[startup+390.068 s]
Raw data (loadavg): 1.00 0.96 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 94781 0 0 0 38815 192 0 0 25 0 1 0 776036896 392159232 94684 4294967295 134512640 134714540 3221224592 3221223328 134695297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95742 94684 1111 63 0 95679 0
vsize: 382968
[startup+400.068 s]
Raw data (loadavg): 1.00 0.96 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 94929 0 0 0 39815 193 0 0 25 0 1 0 776036896 392699904 94832 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95874 94832 1111 63 0 95811 0
vsize: 383496
[startup+410.068 s]
Raw data (loadavg): 1.00 0.96 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 95087 0 0 0 40814 193 0 0 25 0 1 0 776036896 393388032 94990 4294967295 134512640 134714540 3221224592 3221223376 134558507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96042 94990 1111 63 0 95979 0
vsize: 384168
[startup+420.068 s]
Raw data (loadavg): 1.00 0.96 0.89 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 95273 0 0 0 41814 194 0 0 25 0 1 0 776036896 394063872 95176 4294967295 134512640 134714540 3221224592 3221223464 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96207 95176 1111 63 0 96144 0
vsize: 384828
[startup+430.068 s]
Raw data (loadavg): 1.00 0.96 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 95459 0 0 0 42813 195 0 0 25 0 1 0 776036896 394874880 95362 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96405 95362 1111 63 0 96342 0
vsize: 385620
[startup+440.068 s]
Raw data (loadavg): 1.00 0.96 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 95655 0 0 0 43812 196 0 0 25 0 1 0 776036896 395689984 95558 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96604 95558 1111 63 0 96541 0
vsize: 386416
[startup+450.07 s]
Raw data (loadavg): 1.00 0.96 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 95849 0 0 0 44812 196 0 0 25 0 1 0 776036896 396500992 95752 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96802 95752 1111 63 0 96739 0
vsize: 387208
[startup+460.07 s]
Raw data (loadavg): 1.00 0.96 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 96047 0 0 0 45811 197 0 0 25 0 1 0 776036896 397320192 95950 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97002 95950 1111 63 0 96939 0
vsize: 388008
[startup+470.07 s]
Raw data (loadavg): 1.00 0.96 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 96245 0 0 0 46810 198 0 0 25 0 1 0 776036896 398131200 96148 4294967295 134512640 134714540 3221224592 3221223476 134621571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97200 96148 1111 63 0 97137 0
vsize: 388800
[startup+480.07 s]
Raw data (loadavg): 1.00 0.96 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 96452 0 0 0 47810 199 0 0 25 0 1 0 776036896 398942208 96355 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97398 96355 1111 63 0 97335 0
vsize: 389592
[startup+490.071 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 96650 0 0 0 48809 200 0 0 25 0 1 0 776036896 399753216 96553 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97596 96553 1111 63 0 97533 0
vsize: 390384
[startup+500.071 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 96847 0 0 0 49808 200 0 0 25 0 1 0 776036896 400564224 96750 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97794 96750 1111 63 0 97731 0
vsize: 391176
[startup+510.071 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 97045 0 0 0 50808 201 0 0 25 0 1 0 776036896 401383424 96948 4294967295 134512640 134714540 3221224592 3221223328 134695297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97994 96948 1111 63 0 97931 0
vsize: 391976
[startup+520.071 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 97230 0 0 0 51807 201 0 0 25 0 1 0 776036896 402194432 97133 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98192 97133 1111 63 0 98129 0
vsize: 392768
[startup+530.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 97418 0 0 0 52807 202 0 0 25 0 1 0 776036896 403005440 97321 4294967295 134512640 134714540 3221224592 3221223328 134695289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98390 97321 1111 63 0 98327 0
vsize: 393560
[startup+540.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 97612 0 0 0 53806 203 0 0 25 0 1 0 776036896 403681280 97515 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98555 97515 1111 63 0 98492 0
vsize: 394220
[startup+550.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 97798 0 0 0 54805 204 0 0 25 0 1 0 776036896 404492288 97701 4294967295 134512640 134714540 3221224592 3221223464 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98753 97701 1111 63 0 98690 0
vsize: 395012
[startup+560.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 98013 0 0 0 55805 204 0 0 25 0 1 0 776036896 405458944 97915 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98989 97915 1111 63 0 98926 0
vsize: 395956
[startup+570.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 98218 0 0 0 56804 206 0 0 25 0 1 0 776036896 406286336 98120 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99191 98120 1111 63 0 99128 0
vsize: 396764
[startup+580.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 98423 0 0 0 57803 206 0 0 25 0 1 0 776036896 407248896 98321 4294967295 134512640 134714540 3221224592 3221223408 134611379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99426 98321 1111 63 0 99363 0
vsize: 397704
[startup+590.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 98631 0 0 0 58803 207 0 0 25 0 1 0 776036896 408072192 98529 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99627 98529 1111 63 0 99564 0
vsize: 398508
[startup+600.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 98838 0 0 0 59802 208 0 0 25 0 1 0 776036896 409026560 98736 4294967295 134512640 134714540 3221224592 3221223384 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99860 98736 1111 63 0 99797 0
vsize: 399440
[startup+610.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 99034 0 0 0 60802 208 0 0 25 0 1 0 776036896 409845760 98932 4294967295 134512640 134714540 3221224592 3221223296 134556921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100060 98932 1111 63 0 99997 0
vsize: 400240
[startup+620.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 99231 0 0 0 61801 209 0 0 25 0 1 0 776036896 410669056 99128 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100261 99128 1111 63 0 100198 0
vsize: 401044
[startup+630.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 99422 0 0 0 62804 210 0 0 25 0 1 0 776036896 411361280 99319 4294967295 134512640 134714540 3221224592 3221223392 134622177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100430 99319 1111 63 0 100367 0
vsize: 401720
[startup+640.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 99606 0 0 0 63804 210 0 0 25 0 1 0 776036896 412172288 99503 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100628 99503 1111 63 0 100565 0
vsize: 402512
[startup+650.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 99791 0 0 0 64804 210 0 0 25 0 1 0 776036896 412991488 99687 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100828 99687 1111 63 0 100765 0
vsize: 403312
[startup+660.132 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 99987 0 0 0 65805 211 0 0 25 0 1 0 776036896 413802496 99882 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101026 99882 1111 63 0 100963 0
vsize: 404104
[startup+670.131 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 100184 0 0 0 66805 211 0 0 25 0 1 0 776036896 414638080 100079 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101230 100079 1111 63 0 101167 0
vsize: 404920
[startup+680.132 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 100383 0 0 0 67805 211 0 0 25 0 1 0 776036896 415588352 100276 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101462 100276 1111 63 0 101399 0
vsize: 405848
[startup+690.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 100562 0 0 0 68805 212 0 0 25 0 1 0 776036896 416280576 100455 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101631 100455 1111 63 0 101568 0
vsize: 406524
[startup+700.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 100757 0 0 0 69804 213 0 0 25 0 1 0 776036896 417095680 100649 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101830 100649 1111 63 0 101767 0
vsize: 407320
[startup+710.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 100930 0 0 0 70804 213 0 0 25 0 1 0 776036896 417914880 100822 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102030 100822 1111 63 0 101967 0
vsize: 408120
[startup+720.133 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 101107 0 0 0 71804 214 0 0 25 0 1 0 776036896 418603008 100999 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102198 100999 1111 63 0 102135 0
vsize: 408792
[startup+730.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 101336 0 0 0 72804 214 0 0 25 0 1 0 776036896 419692544 101226 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102464 101226 1111 63 0 102401 0
vsize: 409856
[startup+740.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 101558 0 0 0 73803 214 0 0 25 0 1 0 776036896 420503552 101448 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102662 101448 1111 63 0 102599 0
vsize: 410648
[startup+750.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 101801 0 0 0 74803 215 0 0 25 0 1 0 776036896 421597184 101691 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102929 101691 1111 63 0 102866 0
vsize: 411716
[startup+760.134 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 102054 0 0 0 75803 215 0 0 25 0 1 0 776036896 422690816 101942 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103196 101942 1111 63 0 103133 0
vsize: 412784
[startup+770.134 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 102282 0 0 0 76803 215 0 0 25 0 1 0 776036896 423518208 102170 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103398 102170 1111 63 0 103335 0
vsize: 413592
[startup+780.134 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 102505 0 0 0 77802 216 0 0 25 0 1 0 776036896 424464384 102393 4294967295 134512640 134714540 3221224592 3221223468 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103629 102393 1111 63 0 103566 0
vsize: 414516
[startup+790.133 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 102741 0 0 0 78802 216 0 0 25 0 1 0 776036896 425410560 102628 4294967295 134512640 134714540 3221224592 3221223488 134621561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103860 102628 1111 63 0 103797 0
vsize: 415440
[startup+800.134 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 102972 0 0 0 79802 217 0 0 25 0 1 0 776036896 426356736 102859 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104091 102859 1111 63 0 104028 0
vsize: 416364
[startup+810.134 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 103193 0 0 0 80802 217 0 0 25 0 1 0 776036896 427323392 103080 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104327 103080 1111 63 0 104264 0
vsize: 417308
[startup+820.134 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 103418 0 0 0 81801 218 0 0 25 0 1 0 776036896 428269568 103305 4294967295 134512640 134714540 3221224592 3221223328 134695292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104558 103305 1111 63 0 104495 0
vsize: 418232
[startup+830.135 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 103627 0 0 0 82801 218 0 0 25 0 1 0 776036896 429232128 103513 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104793 103513 1111 63 0 104730 0
vsize: 419172
[startup+840.135 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 103850 0 0 0 83801 219 0 0 25 0 1 0 776036896 430067712 103735 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104997 103735 1111 63 0 104934 0
vsize: 419988
[startup+850.135 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 104092 0 0 0 84801 219 0 0 25 0 1 0 776036896 431034368 103976 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105233 103976 1111 63 0 105170 0
vsize: 420932
[startup+860.135 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 104316 0 0 0 85800 220 0 0 25 0 1 0 776036896 432123904 104200 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105499 104200 1111 63 0 105436 0
vsize: 421996
[startup+870.135 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 104558 0 0 0 86800 220 0 0 25 0 1 0 776036896 433070080 104439 4294967295 134512640 134714540 3221224592 3221223464 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105730 104439 1111 63 0 105667 0
vsize: 422920
[startup+880.135 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 104756 0 0 0 87800 220 0 0 25 0 1 0 776036896 433881088 104637 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105928 104637 1111 63 0 105865 0
vsize: 423712
[startup+890.135 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 104980 0 0 0 88799 221 0 0 25 0 1 0 776036896 434827264 104859 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106159 104859 1111 63 0 106096 0
vsize: 424636
[startup+900.136 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 105185 0 0 0 89799 222 0 0 25 0 1 0 776036896 435785728 105064 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106393 105064 1111 63 0 106330 0
vsize: 425572
[startup+910.135 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 105394 0 0 0 90798 222 0 0 25 0 1 0 776036896 436604928 105273 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106593 105273 1111 63 0 106530 0
vsize: 426372
[startup+920.135 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 105608 0 0 0 91798 223 0 0 25 0 1 0 776036896 437555200 105487 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106825 105487 1111 63 0 106762 0
vsize: 427300
[startup+930.135 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 105834 0 0 0 92798 223 0 0 25 0 1 0 776036896 438370304 105712 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107024 105712 1111 63 0 106961 0
vsize: 428096
[startup+940.135 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 106052 0 0 0 93798 223 0 0 25 0 1 0 776036896 439320576 105930 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107256 105930 1111 63 0 107193 0
vsize: 429024
[startup+950.135 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 106261 0 0 0 94797 224 0 0 25 0 1 0 776036896 440131584 106139 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107454 106139 1111 63 0 107391 0
vsize: 429816
[startup+960.24 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 106464 0 0 0 95808 224 0 0 25 0 1 0 776036896 440942592 106342 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107652 106342 1111 63 0 107589 0
vsize: 430608
[startup+970.242 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 106658 0 0 0 96808 224 0 0 25 0 1 0 776036896 441757696 106536 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107851 106536 1111 63 0 107788 0
vsize: 431404
[startup+980.242 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 106871 0 0 0 97808 225 0 0 25 0 1 0 776036896 442576896 106748 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108051 106748 1111 63 0 107988 0
vsize: 432204
[startup+990.242 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 107071 0 0 0 98807 225 0 0 25 0 1 0 776036896 443400192 106947 4294967295 134512640 134714540 3221224592 3221223404 134622150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108252 106947 1111 63 0 108189 0
vsize: 433008
[startup+1000.24 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 107287 0 0 0 99807 226 0 0 25 0 1 0 776036896 444366848 107161 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108488 107161 1111 63 0 108425 0
vsize: 433952
[startup+1010.24 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 107478 0 0 0 100807 226 0 0 25 0 1 0 776036896 445177856 107352 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108686 107352 1111 63 0 108623 0
vsize: 434744
[startup+1020.24 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 107683 0 0 0 101807 226 0 0 25 0 1 0 776036896 445997056 107556 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108886 107556 1111 63 0 108823 0
vsize: 435544
[startup+1030.24 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 107896 0 0 0 102807 227 0 0 25 0 1 0 776036896 446955520 107768 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109120 107768 1111 63 0 109057 0
vsize: 436480
[startup+1040.24 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 108078 0 0 0 103807 227 0 0 25 0 1 0 776036896 447631360 107950 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109285 107950 1111 63 0 109222 0
vsize: 437140
[startup+1050.24 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 108278 0 0 0 104807 227 0 0 25 0 1 0 776036896 448446464 108150 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109484 108150 1111 63 0 109421 0
vsize: 437936
[startup+1060.24 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 108477 0 0 0 105807 227 0 0 25 0 1 0 776036896 449273856 108348 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109686 108348 1111 63 0 109623 0
vsize: 438744
[startup+1070.24 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 108671 0 0 0 106806 228 0 0 25 0 1 0 776036896 450084864 108542 4294967295 134512640 134714540 3221224592 3221223328 134695322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109884 108542 1111 63 0 109821 0
vsize: 439536
[startup+1080.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 108857 0 0 0 107806 228 0 0 25 0 1 0 776036896 450908160 108727 4294967295 134512640 134714540 3221224592 3221223336 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110085 108727 1111 63 0 110022 0
vsize: 440340
[startup+1090.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 109054 0 0 0 108807 228 0 0 25 0 1 0 776036896 451719168 108923 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110283 108923 1111 63 0 110220 0
vsize: 441132
[startup+1100.25 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 109234 0 0 0 109807 229 0 0 25 0 1 0 776036896 452530176 109103 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110481 109103 1111 63 0 110418 0
vsize: 441924
[startup+1110.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 109419 0 0 0 110807 229 0 0 25 0 1 0 776036896 453206016 109288 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110646 109288 1111 63 0 110583 0
vsize: 442584
[startup+1120.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 109615 0 0 0 111807 229 0 0 25 0 1 0 776036896 454033408 109483 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110848 109483 1111 63 0 110785 0
vsize: 443392
[startup+1130.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 109797 0 0 0 112807 230 0 0 25 0 1 0 776036896 454844416 109665 4294967295 134512640 134714540 3221224592 3221223376 134624391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111046 109665 1111 63 0 110983 0
vsize: 444184
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 109979 0 0 0 113807 230 0 0 25 0 1 0 776036896 455528448 109846 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111213 109846 1111 63 0 111150 0
vsize: 444852
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 110160 0 0 0 114807 231 0 0 25 0 1 0 776036896 456204288 110027 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111378 110027 1111 63 0 111315 0
vsize: 445512
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 110373 0 0 0 115807 231 0 0 25 0 1 0 776036896 457355264 110230 4294967295 134512640 134714540 3221224592 3221223388 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111659 110230 1111 63 0 111596 0
vsize: 446636
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 110567 0 0 0 116806 231 0 0 25 0 1 0 776036896 458174464 110421 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111859 110421 1111 63 0 111796 0
vsize: 447436
[startup+1175.75 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 370
Raw data (stat): 370 (bsolo_mis) R 369 23514 23513 0 -1 0 110567 0 0 0 116806 231 0 0 25 0 1 0 776036896 458174464 110421 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111859 110421 1111 63 0 111796 0
vsize: 0

Child status: 0
Real time (s): 1175.75
CPU time (s): 1175.85
CPU user time (s): 1173.32
CPU system time (s): 2.52661
CPU usage (%): 100.009
Max. virtual memory (Kb): 447436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####