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/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUM	4675a5d50c7e04c9a0597ae768da1a88
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4000
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4000
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4000
Total number of constraints	10500
Number of constraints which are clauses	10500
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 23779

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 17:22:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1146 boxname=wulflinc31 idbench=128 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4675a5d50c7e04c9a0597ae768da1a88  /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
IDLAUNCH: 1146
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906548 kB
Buffers:         44548 kB
Cached:          61132 kB
SwapCached:        944 kB
Active:          87168 kB
Inactive:        20980 kB
HighTotal:      131008 kB
HighFree:        68880 kB
LowTotal:       903652 kB
LowFree:        837668 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14404 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 17:41:47 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 1146 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 4000 variables and 10500 constraints.
c After prepocess the problem consists of 4000 variables and 10500 constraints.
c preprocess terminated 2.623 s
c Initial Lower Bound: 993
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.92 0.97 0.96 2/54 5052
Raw data (stat): 5052 (runsolver) R 5051 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659162796 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2457 0 0 0 988 8 0 0 25 0 1 0 659162796 13778944 2424 4294967295 134512640 134714540 3221221792 3221220556 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2424 1111 63 0 3301 0
vsize: 13456
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2464 0 0 0 1988 8 0 0 25 0 1 0 659162796 13778944 2431 4294967295 134512640 134714540 3221221792 3221220488 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2431 1111 63 0 3301 0
vsize: 13456
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2532 0 0 0 2989 8 0 0 25 0 1 0 659162796 14049280 2499 4294967295 134512640 134714540 3221221792 3221220564 134624885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3430 2499 1111 63 0 3367 0
vsize: 13720
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2613 0 0 0 3989 8 0 0 25 0 1 0 659162796 14454784 2580 4294967295 134512640 134714540 3221221792 3221220556 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3529 2580 1111 63 0 3466 0
vsize: 14116
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2723 0 0 0 4989 8 0 0 25 0 1 0 659162796 14860288 2690 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3628 2690 1111 63 0 3565 0
vsize: 14512
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2792 0 0 0 5988 9 0 0 25 0 1 0 659162796 15130624 2759 4294967295 134512640 134714540 3221221792 3221220492 134558630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3694 2759 1111 63 0 3631 0
vsize: 14776
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2846 0 0 0 6988 9 0 0 25 0 1 0 659162796 15400960 2813 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3760 2813 1111 63 0 3697 0
vsize: 15040
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2913 0 0 0 7988 9 0 0 25 0 1 0 659162796 15659008 2880 4294967295 134512640 134714540 3221221792 3221220560 134624986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2880 1111 63 0 3760 0
vsize: 15292
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 2980 0 0 0 8988 10 0 0 25 0 1 0 659162796 15929344 2947 4294967295 134512640 134714540 3221221792 3221220504 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3889 2947 1111 63 0 3826 0
vsize: 15556
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3084 0 0 0 9988 10 0 0 25 0 1 0 659162796 16334848 3051 4294967295 134512640 134714540 3221221792 3221220536 134535691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3051 1111 63 0 3925 0
vsize: 15952
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3153 0 0 0 10988 11 0 0 25 0 1 0 659162796 16605184 3120 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3120 1111 63 0 3991 0
vsize: 16216
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3235 0 0 0 11987 11 0 0 25 0 1 0 659162796 17010688 3202 4294967295 134512640 134714540 3221221792 3221220576 134624874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4153 3202 1111 63 0 4090 0
vsize: 16612
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3317 0 0 0 12987 11 0 0 25 0 1 0 659162796 17281024 3284 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4219 3284 1111 63 0 4156 0
vsize: 16876
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3384 0 0 0 13987 12 0 0 25 0 1 0 659162796 17539072 3351 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3351 1111 63 0 4219 0
vsize: 17128
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3484 0 0 0 14987 12 0 0 25 0 1 0 659162796 17944576 3451 4294967295 134512640 134714540 3221221792 3221220552 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4381 3451 1111 63 0 4318 0
vsize: 17524
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3581 0 0 0 15987 12 0 0 25 0 1 0 659162796 18350080 3548 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4480 3548 1111 63 0 4417 0
vsize: 17920
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3600 0 0 0 16987 12 0 0 25 0 1 0 659162796 18485248 3567 4294967295 134512640 134714540 3221221792 3221220528 134695328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4513 3567 1111 63 0 4450 0
vsize: 18052
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3649 0 0 0 17987 12 0 0 25 0 1 0 659162796 18620416 3616 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3616 1111 63 0 4483 0
vsize: 18184
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3720 0 0 0 18987 12 0 0 25 0 1 0 659162796 19025920 3687 4294967295 134512640 134714540 3221221792 3221220540 134543569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3687 1111 63 0 4582 0
vsize: 18580
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3786 0 0 0 19987 13 0 0 25 0 1 0 659162796 19292160 3753 4294967295 134512640 134714540 3221221792 3221220568 134556737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4710 3753 1111 63 0 4647 0
vsize: 18840
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3840 0 0 0 20987 13 0 0 25 0 1 0 659162796 19427328 3807 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4743 3807 1111 63 0 4680 0
vsize: 18972
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3920 0 0 0 21987 14 0 0 25 0 1 0 659162796 19832832 3887 4294967295 134512640 134714540 3221221792 3221220500 134625112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4842 3887 1111 63 0 4779 0
vsize: 19368
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 3985 0 0 0 22987 14 0 0 25 0 1 0 659162796 20094976 3952 4294967295 134512640 134714540 3221221792 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4906 3952 1111 63 0 4843 0
vsize: 19624
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4035 0 0 0 23987 14 0 0 25 0 1 0 659162796 20230144 4002 4294967295 134512640 134714540 3221221792 3221220512 134625099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4939 4002 1111 63 0 4876 0
vsize: 19756
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4108 0 0 0 24987 14 0 0 25 0 1 0 659162796 20500480 4075 4294967295 134512640 134714540 3221221792 3221220552 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5005 4075 1111 63 0 4942 0
vsize: 20020
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4167 0 0 0 25986 15 0 0 25 0 1 0 659162796 20770816 4134 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4134 1111 63 0 5008 0
vsize: 20284
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4255 0 0 0 26987 15 0 0 25 0 1 0 659162796 21176320 4222 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4222 1111 63 0 5107 0
vsize: 20680
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4282 0 0 0 27987 15 0 0 25 0 1 0 659162796 21311488 4249 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5203 4249 1111 63 0 5140 0
vsize: 20812
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4335 0 0 0 28986 15 0 0 25 0 1 0 659162796 21446656 4302 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4302 1111 63 0 5173 0
vsize: 20944
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4409 0 0 0 29986 16 0 0 25 0 1 0 659162796 21852160 4376 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5335 4376 1111 63 0 5272 0
vsize: 21340
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4438 0 0 0 30986 16 0 0 25 0 1 0 659162796 21839872 4405 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4405 1111 63 0 5269 0
vsize: 21328
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4481 0 0 0 31986 16 0 0 25 0 1 0 659162796 22110208 4448 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4448 1111 63 0 5335 0
vsize: 21592
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4548 0 0 0 32986 16 0 0 25 0 1 0 659162796 22384640 4515 4294967295 134512640 134714540 3221221792 3221220116 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5465 4515 1111 63 0 5402 0
vsize: 21860
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4562 0 0 0 33986 16 0 0 25 0 1 0 659162796 22384640 4529 4294967295 134512640 134714540 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5465 4529 1111 63 0 5402 0
vsize: 21860
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4675 0 0 0 34986 17 0 0 25 0 1 0 659162796 22925312 4642 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5597 4642 1111 63 0 5534 0
vsize: 22388
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4718 0 0 0 35986 17 0 0 25 0 1 0 659162796 23060480 4685 4294967295 134512640 134714540 3221221792 3221220596 134611046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5630 4685 1111 63 0 5567 0
vsize: 22520
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4765 0 0 0 36986 17 0 0 25 0 1 0 659162796 23195648 4732 4294967295 134512640 134714540 3221221792 3221220516 134556757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5663 4732 1111 63 0 5600 0
vsize: 22652
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4801 0 0 0 37986 17 0 0 25 0 1 0 659162796 23330816 4768 4294967295 134512640 134714540 3221221792 3221220512 134556668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5696 4768 1111 63 0 5633 0
vsize: 22784
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4866 0 0 0 38986 17 0 0 25 0 1 0 659162796 23724032 4833 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5792 4833 1111 63 0 5729 0
vsize: 23168
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4918 0 0 0 39986 18 0 0 25 0 1 0 659162796 23851008 4885 4294967295 134512640 134714540 3221221792 3221220432 134696117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5823 4885 1111 63 0 5760 0
vsize: 23292
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 4988 0 0 0 40986 18 0 0 25 0 1 0 659162796 24104960 4955 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 4955 1111 63 0 5822 0
vsize: 23540
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5024 0 0 0 41986 18 0 0 25 0 1 0 659162796 24240128 4991 4294967295 134512640 134714540 3221221792 3221220512 134625099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5918 4991 1111 63 0 5855 0
vsize: 23672
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5103 0 0 0 42986 19 0 0 25 0 1 0 659162796 24645632 5070 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5070 1111 63 0 5954 0
vsize: 24068
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5187 0 0 0 43986 19 0 0 25 0 1 0 659162796 24915968 5154 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6083 5154 1111 63 0 6020 0
vsize: 24332
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5233 0 0 0 44986 19 0 0 25 0 1 0 659162796 25174016 5200 4294967295 134512640 134714540 3221221792 3221220564 134624885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6146 5200 1111 63 0 6083 0
vsize: 24584
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5284 0 0 0 45986 19 0 0 25 0 1 0 659162796 25309184 5251 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5251 1111 63 0 6116 0
vsize: 24716
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5334 0 0 0 46986 19 0 0 25 0 1 0 659162796 25579520 5301 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6245 5301 1111 63 0 6182 0
vsize: 24980
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5371 0 0 0 47986 20 0 0 25 0 1 0 659162796 25714688 5338 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6278 5338 1111 63 0 6215 0
vsize: 25112
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5449 0 0 0 48985 20 0 0 25 0 1 0 659162796 25985024 5416 4294967295 134512640 134714540 3221221792 3221220376 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6344 5416 1111 63 0 6281 0
vsize: 25376
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5501 0 0 0 49986 20 0 0 25 0 1 0 659162796 26255360 5468 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6410 5468 1111 63 0 6347 0
vsize: 25640
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5539 0 0 0 50986 21 0 0 25 0 1 0 659162796 26390528 5506 4294967295 134512640 134714540 3221221792 3221220504 134543154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6443 5506 1111 63 0 6380 0
vsize: 25772
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5589 0 0 0 51986 21 0 0 25 0 1 0 659162796 26660864 5556 4294967295 134512640 134714540 3221221792 3221220552 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6509 5556 1111 63 0 6446 0
vsize: 26036
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5656 0 0 0 52985 21 0 0 25 0 1 0 659162796 26931200 5623 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5623 1111 63 0 6512 0
vsize: 26300
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5730 0 0 0 53985 21 0 0 25 0 1 0 659162796 27205632 5697 4294967295 134512640 134714540 3221221792 3221220576 134558537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6642 5697 1111 63 0 6579 0
vsize: 26568
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5741 0 0 0 54985 21 0 0 25 0 1 0 659162796 27205632 5708 4294967295 134512640 134714540 3221221792 3221220608 134610489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6642 5708 1111 63 0 6579 0
vsize: 26568
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5781 0 0 0 55985 22 0 0 25 0 1 0 659162796 27340800 5748 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6675 5748 1111 63 0 6612 0
vsize: 26700
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5834 0 0 0 56985 22 0 0 25 0 1 0 659162796 27611136 5801 4294967295 134512640 134714540 3221221792 3221220564 134624527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6741 5801 1111 63 0 6678 0
vsize: 26964
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5873 0 0 0 57985 22 0 0 25 0 1 0 659162796 27738112 5840 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6772 5840 1111 63 0 6709 0
vsize: 27088
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5915 0 0 0 58985 23 0 0 25 0 1 0 659162796 28008448 5882 4294967295 134512640 134714540 3221221792 3221220528 134695275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6838 5882 1111 63 0 6775 0
vsize: 27352
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5952 0 0 0 59985 23 0 0 25 0 1 0 659162796 28143616 5919 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6871 5919 1111 63 0 6808 0
vsize: 27484
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 5979 0 0 0 60985 23 0 0 25 0 1 0 659162796 28278784 5946 4294967295 134512640 134714540 3221221792 3221220608 134611080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6904 5946 1111 63 0 6841 0
vsize: 27616
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6005 0 0 0 61985 23 0 0 25 0 1 0 659162796 28278784 5972 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6904 5972 1111 63 0 6841 0
vsize: 27616
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6061 0 0 0 62985 23 0 0 25 0 1 0 659162796 28549120 6028 4294967295 134512640 134714540 3221221792 3221220524 134554938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6970 6028 1111 63 0 6907 0
vsize: 27880
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6075 0 0 0 63985 23 0 0 25 0 1 0 659162796 28549120 6042 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6970 6042 1111 63 0 6907 0
vsize: 27880
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6108 0 0 0 64985 23 0 0 25 0 1 0 659162796 28684288 6075 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7003 6075 1111 63 0 6940 0
vsize: 28012
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6160 0 0 0 65985 24 0 0 25 0 1 0 659162796 28954624 6127 4294967295 134512640 134714540 3221221792 3221220488 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7069 6127 1111 63 0 7006 0
vsize: 28276
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6184 0 0 0 66985 24 0 0 25 0 1 0 659162796 29089792 6151 4294967295 134512640 134714540 3221221792 3221220600 134622348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7102 6151 1111 63 0 7039 0
vsize: 28408
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6249 0 0 0 67984 25 0 0 25 0 1 0 659162796 29364224 6216 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7169 6216 1111 63 0 7106 0
vsize: 28676
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6287 0 0 0 68984 25 0 0 25 0 1 0 659162796 29499392 6254 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7202 6254 1111 63 0 7139 0
vsize: 28808
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6312 0 0 0 69985 25 0 0 25 0 1 0 659162796 29622272 6279 4294967295 134512640 134714540 3221221792 3221220432 134539411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6279 1111 63 0 7169 0
vsize: 28928
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6371 0 0 0 70984 25 0 0 25 0 1 0 659162796 29757440 6338 4294967295 134512640 134714540 3221221792 3221220500 134625147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7265 6338 1111 63 0 7202 0
vsize: 29060
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6372 0 0 0 71985 25 0 0 25 0 1 0 659162796 29892608 6339 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7298 6339 1111 63 0 7235 0
vsize: 29192
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6408 0 0 0 72985 25 0 0 25 0 1 0 659162796 30027776 6375 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6375 1111 63 0 7268 0
vsize: 29324
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6443 0 0 0 73985 25 0 0 25 0 1 0 659162796 30162944 6410 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7364 6410 1111 63 0 7301 0
vsize: 29456
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6484 0 0 0 74985 25 0 0 25 0 1 0 659162796 30298112 6451 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7397 6451 1111 63 0 7334 0
vsize: 29588
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6508 0 0 0 75985 25 0 0 25 0 1 0 659162796 30433280 6475 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7430 6475 1111 63 0 7367 0
vsize: 29720
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6574 0 0 0 76985 26 0 0 25 0 1 0 659162796 30703616 6541 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6541 1111 63 0 7433 0
vsize: 29984
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6637 0 0 0 77985 26 0 0 25 0 1 0 659162796 30969856 6604 4294967295 134512640 134714540 3221221792 3221220544 134558507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6604 1111 63 0 7498 0
vsize: 30244
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6700 0 0 0 78984 27 0 0 25 0 1 0 659162796 31105024 6667 4294967295 134512640 134714540 3221221792 3221220348 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7594 6667 1111 63 0 7531 0
vsize: 30376
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6746 0 0 0 79984 27 0 0 25 0 1 0 659162796 31379456 6713 4294967295 134512640 134714540 3221221792 3221220544 134624488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7661 6713 1111 63 0 7598 0
vsize: 30644
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6790 0 0 0 80985 27 0 0 25 0 1 0 659162796 31514624 6757 4294967295 134512640 134714540 3221221792 3221220576 134528996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7694 6757 1111 63 0 7631 0
vsize: 30776
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6798 0 0 0 81985 27 0 0 25 0 1 0 659162796 31514624 6765 4294967295 134512640 134714540 3221221792 3221220544 134558507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7694 6765 1111 63 0 7631 0
vsize: 30776
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6848 0 0 0 82985 27 0 0 25 0 1 0 659162796 31784960 6815 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7760 6815 1111 63 0 7697 0
vsize: 31040
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6883 0 0 0 83985 27 0 0 25 0 1 0 659162796 31920128 6850 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7793 6850 1111 63 0 7730 0
vsize: 31172
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6919 0 0 0 84985 27 0 0 25 0 1 0 659162796 32055296 6886 4294967295 134512640 134714540 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7826 6886 1111 63 0 7763 0
vsize: 31304
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6933 0 0 0 85985 27 0 0 25 0 1 0 659162796 32190464 6900 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7859 6900 1111 63 0 7796 0
vsize: 31436
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 6997 0 0 0 86985 28 0 0 25 0 1 0 659162796 32325632 6964 4294967295 134512640 134714540 3221221792 3221220608 134611539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7892 6964 1111 63 0 7829 0
vsize: 31568
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7030 0 0 0 87985 28 0 0 25 0 1 0 659162796 32460800 6997 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7925 6997 1111 63 0 7862 0
vsize: 31700
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7062 0 0 0 88985 28 0 0 25 0 1 0 659162796 32595968 7029 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7958 7029 1111 63 0 7895 0
vsize: 31832
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7080 0 0 0 89985 28 0 0 25 0 1 0 659162796 32731136 7047 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7991 7047 1111 63 0 7928 0
vsize: 31964
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7141 0 0 0 90985 28 0 0 25 0 1 0 659162796 33001472 7108 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8057 7108 1111 63 0 7994 0
vsize: 32228
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7170 0 0 0 91985 29 0 0 25 0 1 0 659162796 33136640 7137 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8090 7137 1111 63 0 8027 0
vsize: 32360
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7184 0 0 0 92985 29 0 0 25 0 1 0 659162796 33136640 7151 4294967295 134512640 134714540 3221221792 3221220512 134584802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8090 7151 1111 63 0 8027 0
vsize: 32360
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7225 0 0 0 93985 29 0 0 25 0 1 0 659162796 33271808 7192 4294967295 134512640 134714540 3221221792 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8123 7192 1111 63 0 8060 0
vsize: 32492
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7251 0 0 0 94985 29 0 0 25 0 1 0 659162796 33406976 7218 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8156 7218 1111 63 0 8093 0
vsize: 32624
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7278 0 0 0 95985 29 0 0 25 0 1 0 659162796 33542144 7245 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8189 7245 1111 63 0 8126 0
vsize: 32756
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7278 0 0 0 96985 29 0 0 25 0 1 0 659162796 33542144 7245 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8189 7245 1111 63 0 8126 0
vsize: 32756
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7295 0 0 0 97985 29 0 0 25 0 1 0 659162796 33677312 7262 4294967295 134512640 134714540 3221221792 3221220432 134696083 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8222 7262 1111 63 0 8159 0
vsize: 32888
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7306 0 0 0 98985 29 0 0 25 0 1 0 659162796 33677312 7273 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8222 7273 1111 63 0 8159 0
vsize: 32888
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7306 0 0 0 99986 29 0 0 25 0 1 0 659162796 33677312 7273 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8222 7273 1111 63 0 8159 0
vsize: 32888
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7372 0 0 0 100985 30 0 0 25 0 1 0 659162796 33947648 7339 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8288 7339 1111 63 0 8225 0
vsize: 33152
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7422 0 0 0 101985 30 0 0 25 0 1 0 659162796 34082816 7389 4294967295 134512640 134714540 3221221792 3221220652 134598291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8321 7389 1111 63 0 8258 0
vsize: 33284
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7460 0 0 0 102985 30 0 0 25 0 1 0 659162796 34353152 7427 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8387 7427 1111 63 0 8324 0
vsize: 33548
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7516 0 0 0 103985 30 0 0 25 0 1 0 659162796 34488320 7483 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8420 7483 1111 63 0 8357 0
vsize: 33680
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7561 0 0 0 104985 31 0 0 25 0 1 0 659162796 34758656 7528 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8486 7528 1111 63 0 8423 0
vsize: 33944
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7568 0 0 0 105985 31 0 0 25 0 1 0 659162796 34758656 7535 4294967295 134512640 134714540 3221221792 3221220564 134624527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8486 7535 1111 63 0 8423 0
vsize: 33944
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7582 0 0 0 106985 31 0 0 25 0 1 0 659162796 34758656 7549 4294967295 134512640 134714540 3221221792 3221220588 134695728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8486 7549 1111 63 0 8423 0
vsize: 33944
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7608 0 0 0 107985 32 0 0 25 0 1 0 659162796 34902016 7575 4294967295 134512640 134714540 3221221792 3221220504 134558606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8521 7575 1111 63 0 8458 0
vsize: 34084
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7671 0 0 0 108984 32 0 0 25 0 1 0 659162796 35172352 7638 4294967295 134512640 134714540 3221221792 3221220584 134695724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8587 7638 1111 63 0 8524 0
vsize: 34348
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7711 0 0 0 109984 32 0 0 25 0 1 0 659162796 35307520 7678 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8620 7678 1111 63 0 8557 0
vsize: 34480
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7781 0 0 0 110984 32 0 0 25 0 1 0 659162796 35577856 7748 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8686 7748 1111 63 0 8623 0
vsize: 34744
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7796 0 0 0 111985 32 0 0 25 0 1 0 659162796 35713024 7763 4294967295 134512640 134714540 3221221792 3221220536 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8719 7763 1111 63 0 8656 0
vsize: 34876
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7829 0 0 0 112985 33 0 0 25 0 1 0 659162796 35848192 7796 4294967295 134512640 134714540 3221221792 3221220512 134622764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8752 7796 1111 63 0 8689 0
vsize: 35008
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7829 0 0 0 113985 33 0 0 25 0 1 0 659162796 35848192 7796 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8752 7796 1111 63 0 8689 0
vsize: 35008
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7829 0 0 0 114985 33 0 0 25 0 1 0 659162796 35848192 7796 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8752 7796 1111 63 0 8689 0
vsize: 35008
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7829 0 0 0 115985 33 0 0 25 0 1 0 659162796 35848192 7796 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8752 7796 1111 63 0 8689 0
vsize: 35008
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7860 0 0 0 116985 33 0 0 25 0 1 0 659162796 35983360 7827 4294967295 134512640 134714540 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8785 7827 1111 63 0 8722 0
vsize: 35140
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 5052
Raw data (stat): 5052 (bsolo_mis) R 5051 7876 7672 0 -1 0 7860 0 0 0 116985 33 0 0 25 0 1 0 659162796 35983360 7827 4294967295 134512640 134714540 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8785 7827 1111 63 0 8722 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.09
CPU user time (s): 1174.74
CPU system time (s): 0.349946
CPU usage (%): 100.013
Max. virtual memory (Kb): 35140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####