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/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 26646

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 16:30:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12262 boxname=wulflinc2 idbench=944 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 12262
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        811092 kB
Buffers:         33604 kB
Cached:         169656 kB
SwapCached:        876 kB
Active:          68992 kB
Inactive:       136864 kB
HighTotal:      131008 kB
HighFree:        11900 kB
LowTotal:       903652 kB
LowFree:        799192 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12144 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:49:51 (client local time) WITH STATUS 10 IN 1175.94 SECONDS
stats: 12262 0 1175.94 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 60 variables and 30 constraints.
c After prepocess the problem consists of 60 variables and 30 constraints.
c preprocess terminated 0.111 s
c Initial Lower Bound: -9280
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -1685 @ 0.12
c NEW SOLUTION FOUND: -1756 @ 0.122
c NEW SOLUTION FOUND: -2268 @ 0.131
c NEW SOLUTION FOUND: -2326 @ 0.132
c NEW SOLUTION FOUND: -2346 @ 0.135
c NEW SOLUTION FOUND: -2353 @ 0.138
c NEW SOLUTION FOUND: -2381 @ 0.14
c NEW SOLUTION FOUND: -2401 @ 0.143
c NEW SOLUTION FOUND: -2408 @ 0.144
c NEW SOLUTION FOUND: -2439 @ 0.148
c NEW SOLUTION FOUND: -2446 @ 0.151
c NEW SOLUTION FOUND: -2466 @ 0.155
c NEW SOLUTION FOUND: -2473 @ 0.158
c NEW SOLUTION FOUND: -2474 @ 0.163
c NEW SOLUTION FOUND: -2476 @ 0.177
c NEW SOLUTION FOUND: -2490 @ 0.179
c NEW SOLUTION FOUND: -2497 @ 0.183
c NEW SOLUTION FOUND: -2515 @ 0.189
c NEW SOLUTION FOUND: -2589 @ 0.19
c NEW SOLUTION FOUND: -2603 @ 0.195
c NEW SOLUTION FOUND: -2609 @ 0.198
c NEW SOLUTION FOUND: -2668 @ 0.201
c NEW SOLUTION FOUND: -2674 @ 0.205
c NEW SOLUTION FOUND: -2690 @ 0.23
c NEW SOLUTION FOUND: -2697 @ 0.238
c NEW SOLUTION FOUND: -2777 @ 0.255
c NEW SOLUTION FOUND: -2798 @ 0.256
c NEW SOLUTION FOUND: -3189 @ 0.257
c NEW SOLUTION FOUND: -3253 @ 0.258
c NEW SOLUTION FOUND: -3280 @ 0.261
c NEW SOLUTION FOUND: -3345 @ 0.265
c NEW SOLUTION FOUND: -3367 @ 0.277
c NEW SOLUTION FOUND: -3394 @ 0.281
c NEW SOLUTION FOUND: -3400 @ 0.288
c NEW SOLUTION FOUND: -3402 @ 0.294
c NEW SOLUTION FOUND: -3404 @ 0.301
c NEW SOLUTION FOUND: -3431 @ 0.304
c NEW SOLUTION FOUND: -3441 @ 0.596
c NEW SOLUTION FOUND: -3449 @ 0.614
c NEW SOLUTION FOUND: -3454 @ 0.742
c NEW SOLUTION FOUND: -3480 @ 0.746
c NEW SOLUTION FOUND: -3485 @ 0.771
c NEW SOLUTION FOUND: -3487 @ 0.781
c NEW SOLUTION FOUND: -3501 @ 0.791
c NEW SOLUTION FOUND: -3513 @ 1.091
c NEW SOLUTION FOUND: -3534 @ 1.138
c NEW SOLUTION FOUND: -3545 @ 1.903
c NEW SOLUTION FOUND: -3546 @ 1.93
c NEW SOLUTION FOUND: -3572 @ 1.934
c NEW SOLUTION FOUND: -3577 @ 2.737
c NEW SOLUTION FOUND: -3588 @ 2.826
c NEW SOLUTION FOUND: -3594 @ 2.866
c NEW SOLUTION FOUND: -3596 @ 3.795
c NEW SOLUTION FOUND: -3608 @ 4.522
c NEW SOLUTION FOUND: -3609 @ 4.57
c NEW SOLUTION FOUND: -3626 @ 4.616
c NEW SOLUTION FOUND: -3633 @ 4.628
c NEW SOLUTION FOUND: -3634 @ 4.657
c NEW SOLUTION FOUND: -3641 @ 4.673
c NEW SOLUTION FOUND: -3657 @ 4.681
c NEW SOLUTION FOUND: -3667 @ 6.201
c NEW SOLUTION FOUND: -3685 @ 6.206
c NEW SOLUTION FOUND: -3692 @ 6.207
c NEW SOLUTION FOUND: -3718 @ 6.208
c NEW SOLUTION FOUND: -3723 @ 6.4
c NEW SOLUTION FOUND: -3741 @ 6.421
c NEW SOLUTION FOUND: -3743 @ 6.579
c NEW SOLUTION FOUND: -3774 @ 6.609
c NEW SOLUTION FOUND: -3799 @ 6.627
c NEW SOLUTION FOUND: -3802 @ 6.672
c NEW SOLUTION FOUND: -3819 @ 6.692
c NEW SOLUTION FOUND: -3827 @ 6.693
c NEW SOLUTION FOUND: -3843 @ 6.871
c NEW SOLUTION FOUND: -3851 @ 6.875
c NEW SOLUTION FOUND: -3880 @ 6.997
c NEW SOLUTION FOUND: -3928 @ 7.035
c NEW SOLUTION FOUND: -3930 @ 7.237
c NEW SOLUTION FOUND: -3953 @ 7.285
c NEW SOLUTION FOUND: -3973 @ 7.288
c NEW SOLUTION FOUND: -3975 @ 7.292
c NEW SOLUTION FOUND: -3981 @ 7.294
c NEW SOLUTION FOUND: -3993 @ 7.542
c NEW SOLUTION FOUND: -4032 @ 7.66
c NEW SOLUTION FOUND: -4040 @ 7.662
c NEW SOLUTION FOUND: -4043 @ 8.643
c NEW SOLUTION FOUND: -4051 @ 8.87
c NEW SOLUTION FOUND: -4060 @ 8.94
c NEW SOLUTION FOUND: -4068 @ 8.941
c NEW SOLUTION FOUND: -4103 @ 8.943
c NEW SOLUTION FOUND: -4117 @ 9.417
c NEW SOLUTION FOUND: -4125 @ 15.163
c NEW SOLUTION FOUND: -4126 @ 15.635
c NEW SOLUTION FOUND: -4144 @ 15.682
c NEW SOLUTION FOUND: -4153 @ 20.187
c NEW SOLUTION FOUND: -4173 @ 20.202
c NEW SOLUTION FOUND: -4175 @ 22.953
c NEW SOLUTION FOUND: -4188 @ 25.758
c NEW SOLUTION FOUND: -4200 @ 29.521
c NEW SOLUTION FOUND: -4218 @ 29.524
c NEW SOLUTION FOUND: -4243 @ 29.54
c NEW SOLUTION FOUND: -4281 @ 29.552
c NEW SOLUTION FOUND: -4302 @ 29.59
c NEW SOLUTION FOUND: -4313 @ 30.131
c NEW SOLUTION FOUND: -4339 @ 30.447
c NEW SOLUTION FOUND: -4341 @ 30.455
c NEW SOLUTION FOUND: -4366 @ 30.488
c NEW SOLUTION FOUND: -4392 @ 30.53
c NEW SOLUTION FOUND: -4399 @ 30.668
c NEW SOLUTION FOUND: -4452 @ 31.068
c NEW SOLUTION FOUND: -4458 @ 31.117
c NEW SOLUTION FOUND: -4471 @ 35.122
c NEW SOLUTION FOUND: -4497 @ 35.134
c NEW SOLUTION FOUND: -4506 @ 37.015
c NEW SOLUTION FOUND: -4528 @ 37.1
c NEW SOLUTION FOUND: -4529 @ 44.663
c NEW SOLUTION FOUND: -4562 @ 44.837
c NEW SOLUTION FOUND: -4584 @ 44.951
c NEW SOLUTION FOUND: -4606 @ 94.239
c NEW SOLUTION FOUND: -4612 @ 94.356
c NEW SOLUTION FOUND: -4616 @ 94.389
c NEW SOLUTION FOUND: -4634 @ 94.39
c NEW SOLUTION FOUND: -4646 @ 165.083
c NEW SOLUTION FOUND: -4688 @ 165.792
c NEW SOLUTION FOUND: -4692 @ 165.861
c NEW SOLUTION FOUND: -4697 @ 182.217
c NEW SOLUTION FOUND: -4735 @ 182.627
c NEW SOLUTION FOUND: -4788 @ 192.292
c NEW SOLUTION FOUND: -4800 @ 192.422
c NEW SOLUTION FOUND: -4846 @ 192.429
c NEW SOLUTION FOUND: -4870 @ 192.429
c NEW SOLUTION FOUND: -4903 @ 192.434
c NEW SOLUTION FOUND: -4940 @ 192.456
c NEW SOLUTION FOUND: -4942 @ 192.798
c NEW SOLUTION FOUND: -4973 @ 192.8
c NEW SOLUTION FOUND: -4997 @ 192.95
c NEW SOLUTION FOUND: -5028 @ 193.111
c NEW SOLUTION FOUND: -5050 @ 193.178
c NEW SOLUTION FOUND: -5089 @ 193.288
c NEW SOLUTION FOUND: -5098 @ 198.931
c NEW SOLUTION FOUND: -5105 @ 199.391
c NEW SOLUTION FOUND: -5161 @ 199.392
c NEW SOLUTION FOUND: -5165 @ 199.395
c NEW SOLUTION FOUND: -5186 @ 199.4
c NEW SOLUTION FOUND: -5215 @ 199.401
c NEW SOLUTION FOUND: -5233 @ 199.596
c NEW SOLUTION FOUND: -5243 @ 199.628
c NEW SOLUTION FOUND: -5268 @ 199.636
c NEW SOLUTION FOUND: -5289 @ 207.211
c NEW SOLUTION FOUND: -5299 @ 207.258
c NEW SOLUTION FOUND: -5320 @ 232.061
c NEW SOLUTION FOUND: -5323 @ 232.694
c NEW SOLUTION FOUND: -5338 @ 232.744
c NEW SOLUTION FOUND: -5344 @ 241.911
c NEW SOLUTION FOUND: -5357 @ 241.914
c NEW SOLUTION FOUND: -5369 @ 241.927
c NEW SOLUTION FOUND: -5387 @ 241.928
c NEW SOLUTION FOUND: -5397 @ 241.966
c NEW SOLUTION FOUND: -5408 @ 259.934
c NEW SOLUTION FOUND: -5419 @ 260.956
c NEW SOLUTION FOUND: -5435 @ 661.822
c NEW SOLUTION FOUND: -5439 @ 662.309
c NEW SOLUTION FOUND: -5451 @ 662.321
c NEW SOLUTION FOUND: -5457 @ 662.812
c NEW SOLUTION FOUND: -5458 @ 662.815
c NEW SOLUTION FOUND: -5473 @ 663.033
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 Y13_bit0 -Y14_bit0 -Y15_bit0 Y16_bit0 Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 Y25_bit0 -Y26_bit0 Y27_bit0 Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 
c Exit Code: 10
c Total time: 1175.56 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.76 0.92 0.97 2/54 595
Raw data (stat): 595 (runsolver) R 594 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773472227 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.0001 s]
Raw data (loadavg): 0.80 0.92 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 13730 0 0 0 966 32 0 0 25 0 1 0 773472227 61333504 13543 4294967295 134512640 134714540 3221224592 3221223156 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14974 13543 1111 63 0 14911 0
vsize: 59896
[startup+20.0018 s]
Raw data (loadavg): 0.83 0.92 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 23659 0 0 0 1943 55 0 0 25 0 1 0 773472227 103792640 23194 4294967295 134512640 134714540 3221224592 3221223052 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25340 23194 1111 63 0 25277 0
vsize: 101360
[startup+30.002 s]
Raw data (loadavg): 0.85 0.92 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 31905 0 0 0 2914 74 0 0 25 0 1 0 773472227 136781824 31330 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33394 31330 1111 63 0 33331 0
vsize: 133576
[startup+40.0016 s]
Raw data (loadavg): 0.88 0.93 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 36560 0 0 0 3904 84 0 0 25 0 1 0 773472227 155099136 35871 4294967295 134512640 134714540 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37866 35871 1111 63 0 37803 0
vsize: 151464
[startup+50.0023 s]
Raw data (loadavg): 0.89 0.93 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 38720 0 0 0 4899 89 0 0 25 0 1 0 773472227 163680256 38022 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39961 38022 1111 63 0 39898 0
vsize: 159844
[startup+60.0023 s]
Raw data (loadavg): 0.91 0.93 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 38721 0 0 0 5899 89 0 0 25 0 1 0 773472227 163680256 38023 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39961 38023 1111 63 0 39898 0
vsize: 159844
[startup+70.0027 s]
Raw data (loadavg): 0.92 0.93 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 38722 0 0 0 6900 89 0 0 25 0 1 0 773472227 163680256 38024 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39961 38024 1111 63 0 39898 0
vsize: 159844
[startup+80.0037 s]
Raw data (loadavg): 0.93 0.93 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 38724 0 0 0 7900 89 0 0 25 0 1 0 773472227 163680256 38026 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39961 38026 1111 63 0 39898 0
vsize: 159844
[startup+90.0035 s]
Raw data (loadavg): 0.94 0.93 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 41238 0 0 0 8895 93 0 0 25 0 1 0 773472227 175435776 39219 4294967295 134512640 134714540 3221224592 3221222888 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42831 39220 1111 63 0 42768 0
vsize: 171324
[startup+100.004 s]
Raw data (loadavg): 0.95 0.94 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 44732 0 0 0 9887 102 0 0 25 0 1 0 773472227 188387328 42239 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45993 42239 1111 63 0 45930 0
vsize: 183972
[startup+110.004 s]
Raw data (loadavg): 0.96 0.94 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 44732 0 0 0 10886 102 0 0 25 0 1 0 773472227 188387328 42239 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45993 42239 1111 63 0 45930 0
vsize: 183972
[startup+120.006 s]
Raw data (loadavg): 0.96 0.94 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 46608 0 0 0 11882 107 0 0 25 0 1 0 773472227 195665920 43951 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47770 43951 1111 63 0 47707 0
vsize: 191080
[startup+130.006 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 46608 0 0 0 12882 107 0 0 25 0 1 0 773472227 195665920 43951 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47770 43951 1111 63 0 47707 0
vsize: 191080
[startup+140.006 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 46609 0 0 0 13882 107 0 0 25 0 1 0 773472227 195665920 43952 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47770 43952 1111 63 0 47707 0
vsize: 191080
[startup+150.007 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 47466 0 0 0 14880 109 0 0 25 0 1 0 773472227 198897664 44718 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48559 44718 1111 63 0 48496 0
vsize: 194236
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 48325 0 0 0 15878 112 0 0 25 0 1 0 773472227 202199040 45495 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49365 45495 1111 63 0 49302 0
vsize: 197460
[startup+170.007 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 49224 0 0 0 16875 115 0 0 25 0 1 0 773472227 205635584 46312 4294967295 134512640 134714540 3221224592 3221223320 134622876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50204 46312 1111 63 0 50141 0
vsize: 200816
[startup+180.007 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 49894 0 0 0 17873 117 0 0 25 0 1 0 773472227 208338944 46982 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50864 46982 1111 63 0 50801 0
vsize: 203456
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 53120 0 0 0 18866 125 0 0 25 0 1 0 773472227 220618752 50044 4294967295 134512640 134714540 3221224592 3221223148 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53862 50044 1111 63 0 53799 0
vsize: 215448
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 57833 0 0 0 19854 136 0 0 25 0 1 0 773472227 238977024 54575 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58344 54575 1111 63 0 58281 0
vsize: 233376
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 60616 0 0 0 20848 143 0 0 25 0 1 0 773472227 249692160 57112 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60960 57112 1111 63 0 60897 0
vsize: 243840
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 61537 0 0 0 21845 145 0 0 25 0 1 0 773472227 253206528 58033 4294967295 134512640 134714540 3221224592 3221223184 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61818 58034 1111 63 0 61755 0
vsize: 247272
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 62610 0 0 0 22843 148 0 0 25 0 1 0 773472227 257552384 59056 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62879 59056 1111 63 0 62816 0
vsize: 251516
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 65850 0 0 0 23834 157 0 0 25 0 1 0 773472227 269553664 62002 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65809 62002 1111 63 0 65746 0
vsize: 263236
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 68762 0 0 0 24828 163 0 0 25 0 1 0 773472227 281014272 64750 4294967295 134512640 134714540 3221224592 3221223208 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68607 64750 1111 63 0 68544 0
vsize: 274428
[startup+260.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 74065 0 0 0 25814 177 0 0 25 0 1 0 773472227 301076480 69907 4294967295 134512640 134714540 3221224592 3221223372 134543569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73505 69907 1111 63 0 73442 0
vsize: 294020
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 81254 0 0 0 26797 194 0 0 25 0 1 0 773472227 329228288 74828 4294967295 134512640 134714540 3221224592 3221223200 134535146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80378 74832 1111 63 0 80315 0
vsize: 321512
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 88023 0 0 0 27783 209 0 0 25 0 1 0 773472227 353927168 79555 4294967295 134512640 134714540 3221224592 3221223072 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86408 79555 1111 63 0 86345 0
vsize: 345632
[startup+290.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 93837 0 0 0 28769 224 0 0 25 0 1 0 773472227 376016896 84721 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91801 84721 1111 63 0 91738 0
vsize: 367204
[startup+300.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 97409 0 0 0 29760 233 0 0 25 0 1 0 773472227 389615616 87878 4294967295 134512640 134714540 3221224592 3221223296 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95121 87878 1111 63 0 95058 0
vsize: 380484
[startup+310.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 102649 0 0 0 30746 247 0 0 25 0 1 0 773472227 409559040 92630 4294967295 134512640 134714540 3221224592 3221223148 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99990 92630 1111 63 0 99927 0
vsize: 399960
[startup+320.02 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 107076 0 0 0 31735 259 0 0 25 0 1 0 773472227 426639360 96886 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104160 96886 1111 63 0 104097 0
vsize: 416640
[startup+330.02 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 112326 0 0 0 32721 272 0 0 25 0 1 0 773472227 446873600 101812 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109100 101812 1111 63 0 109037 0
vsize: 436400
[startup+340.02 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 115175 0 0 0 33715 279 0 0 25 0 1 0 773472227 457666560 104499 4294967295 134512640 134714540 3221224592 3221223392 134622163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111735 104499 1111 63 0 111672 0
vsize: 446940
[startup+350.02 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 119443 0 0 0 34705 289 0 0 25 0 1 0 773472227 474140672 108605 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115757 108605 1111 63 0 115694 0
vsize: 463028
[startup+360.02 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 124394 0 0 0 35692 302 0 0 25 0 1 0 773472227 493080576 113150 4294967295 134512640 134714540 3221224592 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120381 113150 1111 63 0 120318 0
vsize: 481524
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 125195 0 0 0 36691 304 0 0 25 0 1 0 773472227 496054272 113951 4294967295 134512640 134714540 3221224592 3221223052 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121107 113951 1111 63 0 121044 0
vsize: 484428
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 131273 0 0 0 37677 317 0 0 25 0 1 0 773472227 518742016 119769 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126646 119769 1111 63 0 126583 0
vsize: 506584
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 133782 0 0 0 38671 323 0 0 25 0 1 0 773472227 528453632 122116 4294967295 134512640 134714540 3221224592 3221222872 1077377368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129017 122117 1111 63 0 128954 0
vsize: 516068
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 137627 0 0 0 39664 331 0 0 25 0 1 0 773472227 543166464 125799 4294967295 134512640 134714540 3221224592 3221223464 134536894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132609 125799 1111 63 0 132546 0
vsize: 530436
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 141568 0 0 0 40653 342 0 0 25 0 1 0 773472227 558440448 129740 4294967295 134512640 134714540 3221224592 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136338 129740 1111 63 0 136275 0
vsize: 545352
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 144152 0 0 0 41647 348 0 0 25 0 1 0 773472227 567312384 131870 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138504 131870 1111 63 0 138441 0
vsize: 554016
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 146011 0 0 0 42643 353 0 0 25 0 1 0 773472227 574476288 133729 4294967295 134512640 134714540 3221224592 3221223280 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140253 133729 1111 63 0 140190 0
vsize: 561012
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 148700 0 0 0 43636 360 0 0 25 0 1 0 773472227 584749056 136418 4294967295 134512640 134714540 3221224592 3221223392 134622163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142761 136418 1111 63 0 142698 0
vsize: 571044
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 152004 0 0 0 44628 368 0 0 25 0 1 0 773472227 597655552 139713 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145912 139713 1111 63 0 145849 0
vsize: 583648
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 164552 0 0 0 45605 391 0 0 25 0 1 0 773472227 642953216 146061 4294967295 134512640 134714540 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156971 146061 1111 63 0 156908 0
vsize: 627884
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 166166 0 0 0 46600 396 0 0 25 0 1 0 773472227 649170944 147675 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158489 147676 1111 63 0 158426 0
vsize: 633956
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 169209 0 0 0 47593 404 0 0 25 0 1 0 773472227 660443136 150074 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161241 150074 1111 63 0 161178 0
vsize: 644964
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 173857 0 0 0 48582 415 0 0 25 0 1 0 773472227 675704832 153562 4294967295 134512640 134714540 3221224592 3221223124 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164967 153562 1111 63 0 164904 0
vsize: 659868
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 179461 0 0 0 49566 431 0 0 25 0 1 0 773472227 697155584 158844 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170204 158844 1111 63 0 170141 0
vsize: 680816
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 182150 0 0 0 50559 438 0 0 25 0 1 0 773472227 707547136 161371 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172741 161371 1111 63 0 172678 0
vsize: 690964
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 183605 0 0 0 51556 442 0 0 25 0 1 0 773472227 713224192 162826 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174127 162826 1111 63 0 174064 0
vsize: 696508
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 186972 0 0 0 52548 449 0 0 25 0 1 0 773472227 725868544 165709 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177214 165709 1111 63 0 177151 0
vsize: 708856
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 189234 0 0 0 53543 455 0 0 25 0 1 0 773472227 734167040 167327 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179240 167327 1111 63 0 179177 0
vsize: 716960
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 194208 0 0 0 54531 467 0 0 25 0 1 0 773472227 752697344 171335 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183764 171335 1111 63 0 183701 0
vsize: 735056
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 196327 0 0 0 55526 472 0 0 25 0 1 0 773472227 760942592 173454 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185777 173454 1111 63 0 185714 0
vsize: 743108
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 198572 0 0 0 56518 480 0 0 25 0 1 0 773472227 769437696 175537 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187851 175537 1111 63 0 187788 0
vsize: 751404
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 199622 0 0 0 57517 482 0 0 25 0 1 0 773472227 773627904 176587 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188874 176587 1111 63 0 188811 0
vsize: 755496
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 204025 0 0 0 58505 493 0 0 25 0 1 0 773472227 789860352 180024 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192837 180024 1111 63 0 192774 0
vsize: 771348
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 207418 0 0 0 59498 501 0 0 25 0 1 0 773472227 802541568 182689 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195933 182689 1111 63 0 195870 0
vsize: 783732
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 207418 0 0 0 60499 501 0 0 25 0 1 0 773472227 802541568 182689 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195933 182689 1111 63 0 195870 0
vsize: 783732
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 207418 0 0 0 61499 501 0 0 25 0 1 0 773472227 802541568 182689 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195933 182689 1111 63 0 195870 0
vsize: 783732
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 209919 0 0 0 62491 508 0 0 25 0 1 0 773472227 811941888 184706 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198228 184706 1111 63 0 198165 0
vsize: 792912
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 211045 0 0 0 63488 512 0 0 25 0 1 0 773472227 816091136 185510 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199241 185510 1111 63 0 199178 0
vsize: 796964
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 212089 0 0 0 64484 516 0 0 25 0 1 0 773472227 820146176 186554 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200231 186554 1111 63 0 200168 0
vsize: 800924
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 214187 0 0 0 65479 521 0 0 25 0 1 0 773472227 828235776 188490 4294967295 134512640 134714540 3221224592 3221223408 134622645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202206 188490 1111 63 0 202143 0
vsize: 808824
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 215087 0 0 0 66476 524 0 0 25 0 1 0 773472227 831750144 189390 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203064 189390 1111 63 0 203001 0
vsize: 812256
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 215087 0 0 0 67476 524 0 0 25 0 1 0 773472227 831750144 189390 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203064 189390 1111 63 0 203001 0
vsize: 812256
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 215087 0 0 0 68476 524 0 0 25 0 1 0 773472227 831750144 189390 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203064 189390 1111 63 0 203001 0
vsize: 812256
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 215087 0 0 0 69476 524 0 0 25 0 1 0 773472227 831750144 189390 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203064 189390 1111 63 0 203001 0
vsize: 812256
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 215089 0 0 0 70477 524 0 0 25 0 1 0 773472227 831750144 189392 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203064 189392 1111 63 0 203001 0
vsize: 812256
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 216212 0 0 0 71473 527 0 0 25 0 1 0 773472227 836075520 190515 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 204120 190515 1111 63 0 204057 0
vsize: 816480
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 217646 0 0 0 72469 531 0 0 25 0 1 0 773472227 841621504 191949 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205474 191949 1111 63 0 205411 0
vsize: 821896
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 217646 0 0 0 73470 531 0 0 25 0 1 0 773472227 841621504 191949 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205474 191949 1111 63 0 205411 0
vsize: 821896
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 217646 0 0 0 74470 531 0 0 25 0 1 0 773472227 841621504 191949 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205474 191949 1111 63 0 205411 0
vsize: 821896
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 217646 0 0 0 75470 531 0 0 25 0 1 0 773472227 841621504 191949 4294967295 134512640 134714540 3221224592 3221223400 134622628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205474 191949 1111 63 0 205411 0
vsize: 821896
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 217646 0 0 0 76470 531 0 0 25 0 1 0 773472227 841621504 191949 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205474 191949 1111 63 0 205411 0
vsize: 821896
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 217646 0 0 0 77470 531 0 0 25 0 1 0 773472227 841621504 191949 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205474 191949 1111 63 0 205411 0
vsize: 821896
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219428 0 0 0 78466 536 0 0 25 0 1 0 773472227 848515072 193731 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207157 193731 1111 63 0 207094 0
vsize: 828628
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219428 0 0 0 79466 536 0 0 25 0 1 0 773472227 848515072 193731 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207157 193731 1111 63 0 207094 0
vsize: 828628
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219428 0 0 0 80466 536 0 0 25 0 1 0 773472227 848515072 193731 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207157 193731 1111 63 0 207094 0
vsize: 828628
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219428 0 0 0 81466 536 0 0 25 0 1 0 773472227 848515072 193731 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207157 193731 1111 63 0 207094 0
vsize: 828628
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219428 0 0 0 82466 536 0 0 25 0 1 0 773472227 848515072 193731 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207157 193731 1111 63 0 207094 0
vsize: 828628
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219428 0 0 0 83467 536 0 0 25 0 1 0 773472227 848515072 193731 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207157 193731 1111 63 0 207094 0
vsize: 828628
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219510 0 0 0 84466 537 0 0 25 0 1 0 773472227 848785408 193813 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193813 1111 63 0 207160 0
vsize: 828892
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219510 0 0 0 85467 537 0 0 25 0 1 0 773472227 848785408 193813 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193813 1111 63 0 207160 0
vsize: 828892
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219510 0 0 0 86467 537 0 0 25 0 1 0 773472227 848785408 193813 4294967295 134512640 134714540 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193813 1111 63 0 207160 0
vsize: 828892
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219510 0 0 0 87467 537 0 0 25 0 1 0 773472227 848785408 193813 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193813 1111 63 0 207160 0
vsize: 828892
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219510 0 0 0 88467 537 0 0 25 0 1 0 773472227 848785408 193813 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193813 1111 63 0 207160 0
vsize: 828892
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219511 0 0 0 89467 537 0 0 25 0 1 0 773472227 848785408 193814 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193814 1111 63 0 207160 0
vsize: 828892
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219511 0 0 0 90468 537 0 0 25 0 1 0 773472227 848785408 193814 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193814 1111 63 0 207160 0
vsize: 828892
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219511 0 0 0 91468 537 0 0 25 0 1 0 773472227 848785408 193814 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193814 1111 63 0 207160 0
vsize: 828892
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219511 0 0 0 92468 537 0 0 25 0 1 0 773472227 848785408 193814 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207223 193814 1111 63 0 207160 0
vsize: 828892
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219572 0 0 0 93468 537 0 0 25 0 1 0 773472227 849055744 193875 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193875 1111 63 0 207226 0
vsize: 829156
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219572 0 0 0 94468 537 0 0 25 0 1 0 773472227 849055744 193875 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193875 1111 63 0 207226 0
vsize: 829156
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219572 0 0 0 95468 537 0 0 25 0 1 0 773472227 849055744 193875 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193875 1111 63 0 207226 0
vsize: 829156
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219572 0 0 0 96468 537 0 0 25 0 1 0 773472227 849055744 193875 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193875 1111 63 0 207226 0
vsize: 829156
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219572 0 0 0 97468 537 0 0 25 0 1 0 773472227 849055744 193875 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193875 1111 63 0 207226 0
vsize: 829156
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219574 0 0 0 98469 537 0 0 25 0 1 0 773472227 849055744 193877 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193877 1111 63 0 207226 0
vsize: 829156
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219574 0 0 0 99469 537 0 0 25 0 1 0 773472227 849055744 193877 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193877 1111 63 0 207226 0
vsize: 829156
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219574 0 0 0 100469 537 0 0 25 0 1 0 773472227 849055744 193877 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193877 1111 63 0 207226 0
vsize: 829156
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219574 0 0 0 101469 537 0 0 25 0 1 0 773472227 849055744 193877 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207289 193877 1111 63 0 207226 0
vsize: 829156
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219797 0 0 0 102469 537 0 0 25 0 1 0 773472227 850001920 194100 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207520 194100 1111 63 0 207457 0
vsize: 830080
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219797 0 0 0 103469 537 0 0 25 0 1 0 773472227 850001920 194100 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207520 194100 1111 63 0 207457 0
vsize: 830080
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219797 0 0 0 104469 537 0 0 25 0 1 0 773472227 850001920 194100 4294967295 134512640 134714540 3221224592 3221223376 134622539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207520 194100 1111 63 0 207457 0
vsize: 830080
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219799 0 0 0 105469 537 0 0 25 0 1 0 773472227 850001920 194102 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207520 194102 1111 63 0 207457 0
vsize: 830080
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219799 0 0 0 106470 537 0 0 25 0 1 0 773472227 850001920 194102 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207520 194102 1111 63 0 207457 0
vsize: 830080
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219799 0 0 0 107470 537 0 0 25 0 1 0 773472227 850001920 194102 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207520 194102 1111 63 0 207457 0
vsize: 830080
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 219799 0 0 0 108470 537 0 0 25 0 1 0 773472227 850001920 194102 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207520 194102 1111 63 0 207457 0
vsize: 830080
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 220556 0 0 0 109468 540 0 0 25 0 1 0 773472227 852975616 194859 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208246 194859 1111 63 0 208183 0
vsize: 832984
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 220556 0 0 0 110468 540 0 0 25 0 1 0 773472227 852975616 194859 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208246 194859 1111 63 0 208183 0
vsize: 832984
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 220556 0 0 0 111468 540 0 0 25 0 1 0 773472227 852975616 194859 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208246 194859 1111 63 0 208183 0
vsize: 832984
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 221540 0 0 0 112465 543 0 0 25 0 1 0 773472227 856760320 195843 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209170 195843 1111 63 0 209107 0
vsize: 836680
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 221540 0 0 0 113466 543 0 0 25 0 1 0 773472227 856760320 195843 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209170 195843 1111 63 0 209107 0
vsize: 836680
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 221540 0 0 0 114466 543 0 0 25 0 1 0 773472227 856760320 195843 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209170 195843 1111 63 0 209107 0
vsize: 836680
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 222530 0 0 0 115463 546 0 0 25 0 1 0 773472227 860545024 196833 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210094 196833 1111 63 0 210031 0
vsize: 840376
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 222531 0 0 0 116463 546 0 0 25 0 1 0 773472227 860545024 196834 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210094 196834 1111 63 0 210031 0
vsize: 840376
[startup+1175.87 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 595
Raw data (stat): 595 (bsolo_mis) R 594 31399 31398 0 -1 0 222531 0 0 0 116463 546 0 0 25 0 1 0 773472227 860545024 196834 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210094 196834 1111 63 0 210031 0
vsize: 0

Child status: 10
Real time (s): 1175.87
CPU time (s): 1175.94
CPU user time (s): 1170.1
CPU system time (s): 5.83211
CPU usage (%): 100.005
Max. virtual memory (Kb): 840376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-5473
#### END VERIFIER DATA ####