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/routing/normalized-s4-4-3-7pb.opb
MD5SUM	24909033929a72aa74b2fd8b12f27bce
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	672
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02884
Number of variables	672
Total number of constraints	2030
Number of constraints which are clauses	2006
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 24354

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 19:32:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2181 boxname=wulflinc31 idbench=243 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  24909033929a72aa74b2fd8b12f27bce  /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-7pb.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-7pb.opb
IDLAUNCH: 2181
/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:        136624 kB
Buffers:         45280 kB
Cached:         818084 kB
SwapCached:        644 kB
Active:         492664 kB
Inactive:       373060 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        136288 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26388 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 19:52:12 (client local time) WITH STATUS 0 IN 1179.35 SECONDS
stats: 2181 7 1179.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 672 variables and 2030 constraints.
c After prepocess the problem consists of 560 variables and 1692 constraints.
c preprocess terminated 0.478 s
c Initial Lower Bound: 45
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1179.31 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.88 0.94 0.90 2/54 1883
Raw data (stat): 1883 (runsolver) R 1882 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 703149914 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 1609 0 0 0 991 5 0 0 25 0 1 0 703149914 10194944 1583 4294967295 134512640 134714540 3221221792 3221220512 134622812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2489 1583 1111 63 0 2426 0
vsize: 9956
[startup+20.001 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 1787 0 0 0 1991 6 0 0 25 0 1 0 703149914 11005952 1761 4294967295 134512640 134714540 3221221792 3221220588 134542436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1761 1111 63 0 2624 0
vsize: 10748
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2104 0 0 0 2989 7 0 0 25 0 1 0 703149914 12222464 2078 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2078 1111 63 0 2921 0
vsize: 11936
[startup+40.0019 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2293 0 0 0 3988 8 0 0 25 0 1 0 703149914 13033472 2267 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2267 1111 63 0 3119 0
vsize: 12728
[startup+50.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2378 0 0 0 4988 9 0 0 25 0 1 0 703149914 13303808 2352 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2352 1111 63 0 3185 0
vsize: 12992
[startup+60.003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2560 0 0 0 5987 10 0 0 25 0 1 0 703149914 14139392 2534 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3452 2534 1111 63 0 3389 0
vsize: 13808
[startup+70.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2847 0 0 0 6986 12 0 0 25 0 1 0 703149914 15360000 2821 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3750 2821 1111 63 0 3687 0
vsize: 15000
[startup+80.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3067 0 0 0 7985 12 0 0 25 0 1 0 703149914 16171008 3041 4294967295 134512640 134714540 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3948 3041 1111 63 0 3885 0
vsize: 15792
[startup+90.0048 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3096 0 0 0 8985 12 0 0 25 0 1 0 703149914 16314368 3070 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3983 3070 1111 63 0 3920 0
vsize: 15932
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3181 0 0 0 9985 13 0 0 25 0 1 0 703149914 16719872 3155 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4082 3155 1111 63 0 4019 0
vsize: 16328
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3378 0 0 0 10985 13 0 0 25 0 1 0 703149914 17534976 3352 4294967295 134512640 134714540 3221221792 3221220504 134543130 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4281 3352 1111 63 0 4218 0
vsize: 17124
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3643 0 0 0 11984 14 0 0 25 0 1 0 703149914 18620416 3617 4294967295 134512640 134714540 3221221792 3221220584 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4546 3617 1111 63 0 4483 0
vsize: 18184
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3831 0 0 0 12984 15 0 0 25 0 1 0 703149914 19308544 3805 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4714 3805 1111 63 0 4651 0
vsize: 18856
[startup+140.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4018 0 0 0 13983 16 0 0 25 0 1 0 703149914 20119552 3991 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4912 3991 1111 63 0 4849 0
vsize: 19648
[startup+150.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4257 0 0 0 14982 17 0 0 25 0 1 0 703149914 21102592 4230 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5152 4230 1111 63 0 5089 0
vsize: 20608
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4526 0 0 0 15980 19 0 0 25 0 1 0 703149914 22188032 4499 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5417 4499 1111 63 0 5354 0
vsize: 21668
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4629 0 0 0 16980 19 0 0 25 0 1 0 703149914 22597632 4602 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5517 4602 1111 63 0 5454 0
vsize: 22068
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4692 0 0 0 17980 20 0 0 25 0 1 0 703149914 22867968 4665 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5583 4665 1111 63 0 5520 0
vsize: 22332
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4703 0 0 0 18980 20 0 0 25 0 1 0 703149914 23003136 4676 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5616 4676 1111 63 0 5553 0
vsize: 22464
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4756 0 0 0 19979 21 0 0 25 0 1 0 703149914 23138304 4728 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5649 4728 1111 63 0 5586 0
vsize: 22596
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4765 0 0 0 20979 21 0 0 25 0 1 0 703149914 23281664 4736 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5684 4736 1111 63 0 5621 0
vsize: 22736
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4810 0 0 0 21979 21 0 0 25 0 1 0 703149914 23416832 4780 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5717 4780 1111 63 0 5654 0
vsize: 22868
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4810 0 0 0 22979 21 0 0 25 0 1 0 703149914 23416832 4780 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5717 4780 1111 63 0 5654 0
vsize: 22868
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4820 0 0 0 23980 21 0 0 25 0 1 0 703149914 23416832 4790 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5717 4790 1111 63 0 5654 0
vsize: 22868
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4820 0 0 0 24980 21 0 0 25 0 1 0 703149914 23416832 4790 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5717 4790 1111 63 0 5654 0
vsize: 22868
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4825 0 0 0 25980 21 0 0 25 0 1 0 703149914 23552000 4795 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5750 4795 1111 63 0 5687 0
vsize: 23000
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4825 0 0 0 26980 21 0 0 25 0 1 0 703149914 23552000 4795 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5750 4795 1111 63 0 5687 0
vsize: 23000
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4869 0 0 0 27980 21 0 0 25 0 1 0 703149914 23691264 4839 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5784 4839 1111 63 0 5721 0
vsize: 23136
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4892 0 0 0 28980 22 0 0 25 0 1 0 703149914 23826432 4862 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5817 4862 1111 63 0 5754 0
vsize: 23268
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4913 0 0 0 29980 22 0 0 25 0 1 0 703149914 23826432 4883 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5817 4883 1111 63 0 5754 0
vsize: 23268
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4929 0 0 0 30980 22 0 0 25 0 1 0 703149914 23961600 4899 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5850 4899 1111 63 0 5787 0
vsize: 23400
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4949 0 0 0 31980 22 0 0 25 0 1 0 703149914 23961600 4919 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5850 4919 1111 63 0 5787 0
vsize: 23400
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4952 0 0 0 32980 22 0 0 25 0 1 0 703149914 23961600 4922 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5850 4922 1111 63 0 5787 0
vsize: 23400
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5043 0 0 0 33980 22 0 0 25 0 1 0 703149914 24367104 5013 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5949 5013 1111 63 0 5886 0
vsize: 23796
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5229 0 0 0 34979 24 0 0 25 0 1 0 703149914 25178112 5199 4294967295 134512640 134714540 3221221792 3221220352 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6147 5199 1111 63 0 6084 0
vsize: 24588
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5438 0 0 0 35978 25 0 0 25 0 1 0 703149914 25993216 5408 4294967295 134512640 134714540 3221221792 3221220520 134622755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6346 5408 1111 63 0 6283 0
vsize: 25384
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5697 0 0 0 36977 26 0 0 25 0 1 0 703149914 27066368 5667 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6608 5667 1111 63 0 6545 0
vsize: 26432
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5886 0 0 0 37977 26 0 0 25 0 1 0 703149914 27877376 5855 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6806 5855 1111 63 0 6743 0
vsize: 27224
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5998 0 0 0 38976 27 0 0 25 0 1 0 703149914 28430336 5967 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6941 5967 1111 63 0 6878 0
vsize: 27764
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6029 0 0 0 39976 27 0 0 25 0 1 0 703149914 28565504 5997 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6974 5997 1111 63 0 6911 0
vsize: 27896
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6099 0 0 0 40976 28 0 0 25 0 1 0 703149914 28835840 6067 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7040 6067 1111 63 0 6977 0
vsize: 28160
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6099 0 0 0 41976 28 0 0 25 0 1 0 703149914 28835840 6067 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7040 6067 1111 63 0 6977 0
vsize: 28160
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6111 0 0 0 42976 28 0 0 25 0 1 0 703149914 28835840 6079 4294967295 134512640 134714540 3221221792 3221220520 134622854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7040 6079 1111 63 0 6977 0
vsize: 28160
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6135 0 0 0 43976 28 0 0 25 0 1 0 703149914 28971008 6103 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7073 6103 1111 63 0 7010 0
vsize: 28292
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6187 0 0 0 44976 28 0 0 25 0 1 0 703149914 29245440 6155 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7140 6155 1111 63 0 7077 0
vsize: 28560
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6270 0 0 0 45976 28 0 0 25 0 1 0 703149914 29515776 6238 4294967295 134512640 134714540 3221221792 3221220460 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7206 6238 1111 63 0 7143 0
vsize: 28824
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6349 0 0 0 46976 29 0 0 25 0 1 0 703149914 29925376 6317 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6317 1111 63 0 7243 0
vsize: 29224
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6418 0 0 0 47976 29 0 0 25 0 1 0 703149914 30195712 6386 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7372 6386 1111 63 0 7309 0
vsize: 29488
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6428 0 0 0 48976 29 0 0 25 0 1 0 703149914 30195712 6396 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7372 6396 1111 63 0 7309 0
vsize: 29488
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6444 0 0 0 49976 29 0 0 25 0 1 0 703149914 30330880 6412 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6412 1111 63 0 7342 0
vsize: 29620
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6450 0 0 0 50976 29 0 0 25 0 1 0 703149914 30330880 6418 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6418 1111 63 0 7342 0
vsize: 29620
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6482 0 0 0 51975 30 0 0 25 0 1 0 703149914 30466048 6450 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6450 1111 63 0 7375 0
vsize: 29752
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6517 0 0 0 52975 31 0 0 25 0 1 0 703149914 30601216 6485 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6485 1111 63 0 7408 0
vsize: 29884
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6592 0 0 0 53975 31 0 0 25 0 1 0 703149914 30871552 6560 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6560 1111 63 0 7474 0
vsize: 30148
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6615 0 0 0 54975 31 0 0 25 0 1 0 703149914 31006720 6583 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7570 6583 1111 63 0 7507 0
vsize: 30280
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6660 0 0 0 55975 32 0 0 25 0 1 0 703149914 31141888 6627 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7603 6627 1111 63 0 7540 0
vsize: 30412
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6738 0 0 0 56974 32 0 0 25 0 1 0 703149914 31559680 6705 4294967295 134512640 134714540 3221221792 3221220528 134695261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7705 6705 1111 63 0 7642 0
vsize: 30820
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6765 0 0 0 57974 33 0 0 25 0 1 0 703149914 31694848 6732 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7738 6732 1111 63 0 7675 0
vsize: 30952
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6776 0 0 0 58974 33 0 0 25 0 1 0 703149914 31694848 6743 4294967295 134512640 134714540 3221221792 3221220664 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7738 6743 1111 63 0 7675 0
vsize: 30952
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6809 0 0 0 59974 33 0 0 25 0 1 0 703149914 31830016 6776 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7771 6776 1111 63 0 7708 0
vsize: 31084
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6841 0 0 0 60974 33 0 0 25 0 1 0 703149914 31973376 6808 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7806 6808 1111 63 0 7743 0
vsize: 31224
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6855 0 0 0 61974 33 0 0 25 0 1 0 703149914 31973376 6822 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7806 6822 1111 63 0 7743 0
vsize: 31224
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6885 0 0 0 62974 33 0 0 25 0 1 0 703149914 32108544 6852 4294967295 134512640 134714540 3221221792 3221220456 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7839 6852 1111 63 0 7776 0
vsize: 31356
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6931 0 0 0 63974 34 0 0 25 0 1 0 703149914 32243712 6898 4294967295 134512640 134714540 3221221792 3221220528 134622803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7872 6898 1111 63 0 7809 0
vsize: 31488
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7062 0 0 0 64974 34 0 0 25 0 1 0 703149914 32923648 7029 4294967295 134512640 134714540 3221221792 3221220552 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8038 7029 1111 63 0 7975 0
vsize: 32152
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7112 0 0 0 65974 34 0 0 25 0 1 0 703149914 33058816 7079 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7079 1111 63 0 8008 0
vsize: 32284
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7112 0 0 0 66974 34 0 0 25 0 1 0 703149914 33058816 7079 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7079 1111 63 0 8008 0
vsize: 32284
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7112 0 0 0 67974 34 0 0 25 0 1 0 703149914 33058816 7079 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7079 1111 63 0 8008 0
vsize: 32284
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7112 0 0 0 68974 34 0 0 25 0 1 0 703149914 33058816 7079 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7079 1111 63 0 8008 0
vsize: 32284
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7115 0 0 0 69974 34 0 0 25 0 1 0 703149914 33058816 7082 4294967295 134512640 134714540 3221221792 3221220588 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7082 1111 63 0 8008 0
vsize: 32284
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7115 0 0 0 70974 34 0 0 25 0 1 0 703149914 33058816 7082 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7082 1111 63 0 8008 0
vsize: 32284
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7115 0 0 0 71975 34 0 0 25 0 1 0 703149914 33058816 7082 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7082 1111 63 0 8008 0
vsize: 32284
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7115 0 0 0 72975 34 0 0 25 0 1 0 703149914 33058816 7082 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7082 1111 63 0 8008 0
vsize: 32284
[startup+740.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7124 0 0 0 73975 35 0 0 25 0 1 0 703149914 33058816 7091 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7091 1111 63 0 8008 0
vsize: 32284
[startup+750.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7130 0 0 0 74975 35 0 0 25 0 1 0 703149914 33193984 7097 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7097 1111 63 0 8041 0
vsize: 32416
[startup+760.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7140 0 0 0 75975 35 0 0 25 0 1 0 703149914 33193984 7107 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7107 1111 63 0 8041 0
vsize: 32416
[startup+770.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7155 0 0 0 76975 35 0 0 25 0 1 0 703149914 33193984 7122 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7122 1111 63 0 8041 0
vsize: 32416
[startup+780.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7155 0 0 0 77975 35 0 0 25 0 1 0 703149914 33193984 7122 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7122 1111 63 0 8041 0
vsize: 32416
[startup+790.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7155 0 0 0 78975 35 0 0 25 0 1 0 703149914 33193984 7122 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7122 1111 63 0 8041 0
vsize: 32416
[startup+800.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7168 0 0 0 79975 35 0 0 25 0 1 0 703149914 33329152 7135 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7135 1111 63 0 8074 0
vsize: 32548
[startup+810.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7168 0 0 0 80976 35 0 0 25 0 1 0 703149914 33329152 7135 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7135 1111 63 0 8074 0
vsize: 32548
[startup+820.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7168 0 0 0 81976 35 0 0 25 0 1 0 703149914 33329152 7135 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7135 1111 63 0 8074 0
vsize: 32548
[startup+830.021 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7168 0 0 0 82976 35 0 0 25 0 1 0 703149914 33329152 7135 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7135 1111 63 0 8074 0
vsize: 32548
[startup+840.021 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7183 0 0 0 83976 35 0 0 25 0 1 0 703149914 33329152 7149 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7149 1111 63 0 8074 0
vsize: 32548
[startup+850.021 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7183 0 0 0 84976 35 0 0 25 0 1 0 703149914 33329152 7149 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7149 1111 63 0 8074 0
vsize: 32548
[startup+860.021 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7183 0 0 0 85976 35 0 0 25 0 1 0 703149914 33329152 7149 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7149 1111 63 0 8074 0
vsize: 32548
[startup+870.022 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7190 0 0 0 86976 35 0 0 25 0 1 0 703149914 33464320 7156 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8170 7156 1111 63 0 8107 0
vsize: 32680
[startup+880.022 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7190 0 0 0 87976 35 0 0 25 0 1 0 703149914 33464320 7156 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8170 7156 1111 63 0 8107 0
vsize: 32680
[startup+890.022 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7192 0 0 0 88976 35 0 0 25 0 1 0 703149914 33464320 7158 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8170 7158 1111 63 0 8107 0
vsize: 32680
[startup+900.023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7194 0 0 0 89976 36 0 0 25 0 1 0 703149914 33464320 7160 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8170 7160 1111 63 0 8107 0
vsize: 32680
[startup+910.023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7195 0 0 0 90977 36 0 0 25 0 1 0 703149914 33464320 7161 4294967295 134512640 134714540 3221221792 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8170 7161 1111 63 0 8107 0
vsize: 32680
[startup+920.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7219 0 0 0 91977 36 0 0 25 0 1 0 703149914 33599488 7185 4294967295 134512640 134714540 3221221792 3221220520 134622809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7185 1111 63 0 8140 0
vsize: 32812
[startup+930.024 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7220 0 0 0 92977 36 0 0 25 0 1 0 703149914 33599488 7186 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7186 1111 63 0 8140 0
vsize: 32812
[startup+940.024 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7227 0 0 0 93977 36 0 0 25 0 1 0 703149914 33599488 7193 4294967295 134512640 134714540 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7193 1111 63 0 8140 0
vsize: 32812
[startup+950.023 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7241 0 0 0 94977 36 0 0 25 0 1 0 703149914 33599488 7207 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7207 1111 63 0 8140 0
vsize: 32812
[startup+960.024 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7242 0 0 0 95977 36 0 0 25 0 1 0 703149914 33599488 7208 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7208 1111 63 0 8140 0
vsize: 32812
[startup+970.024 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7253 0 0 0 96977 36 0 0 25 0 1 0 703149914 33734656 7219 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7219 1111 63 0 8173 0
vsize: 32944
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7255 0 0 0 97977 36 0 0 25 0 1 0 703149914 33734656 7221 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7221 1111 63 0 8173 0
vsize: 32944
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7265 0 0 0 98977 36 0 0 25 0 1 0 703149914 33734656 7231 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7231 1111 63 0 8173 0
vsize: 32944
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7280 0 0 0 99978 36 0 0 25 0 1 0 703149914 33734656 7246 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7246 1111 63 0 8173 0
vsize: 32944
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7302 0 0 0 100977 37 0 0 25 0 1 0 703149914 33869824 7268 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8269 7268 1111 63 0 8206 0
vsize: 33076
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7309 0 0 0 101977 37 0 0 25 0 1 0 703149914 33869824 7275 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8269 7275 1111 63 0 8206 0
vsize: 33076
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7322 0 0 0 102978 37 0 0 25 0 1 0 703149914 34004992 7288 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8302 7288 1111 63 0 8239 0
vsize: 33208
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7351 0 0 0 103978 37 0 0 25 0 1 0 703149914 34140160 7317 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8335 7317 1111 63 0 8272 0
vsize: 33340
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7386 0 0 0 104978 37 0 0 25 0 1 0 703149914 34304000 7351 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8375 7351 1111 63 0 8312 0
vsize: 33500
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7390 0 0 0 105978 37 0 0 25 0 1 0 703149914 34304000 7355 4294967295 134512640 134714540 3221221792 3221220592 134622422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8375 7355 1111 63 0 8312 0
vsize: 33500
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7416 0 0 0 106978 38 0 0 25 0 1 0 703149914 34439168 7381 4294967295 134512640 134714540 3221221792 3221220580 134622386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8408 7381 1111 63 0 8345 0
vsize: 33632
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7437 0 0 0 107977 38 0 0 25 0 1 0 703149914 34439168 7402 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8408 7402 1111 63 0 8345 0
vsize: 33632
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7452 0 0 0 108977 38 0 0 25 0 1 0 703149914 34574336 7417 4294967295 134512640 134714540 3221221792 3221220584 134536889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8441 7417 1111 63 0 8378 0
vsize: 33764
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7459 0 0 0 109977 38 0 0 25 0 1 0 703149914 34574336 7424 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8441 7424 1111 63 0 8378 0
vsize: 33764
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7459 0 0 0 110978 38 0 0 25 0 1 0 703149914 34574336 7424 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8441 7424 1111 63 0 8378 0
vsize: 33764
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7488 0 0 0 111978 38 0 0 25 0 1 0 703149914 34709504 7453 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7453 1111 63 0 8411 0
vsize: 33896
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7558 0 0 0 112977 39 0 0 25 0 1 0 703149914 35004416 7522 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8546 7522 1111 63 0 8483 0
vsize: 34184
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7602 0 0 0 113977 39 0 0 25 0 1 0 703149914 35139584 7566 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8579 7566 1111 63 0 8516 0
vsize: 34316
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7671 0 0 0 114977 40 0 0 25 0 1 0 703149914 35409920 7632 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8645 7632 1111 63 0 8582 0
vsize: 34580
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7741 0 0 0 115977 40 0 0 25 0 1 0 703149914 35815424 7702 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8744 7702 1111 63 0 8681 0
vsize: 34976
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7807 0 0 0 116976 40 0 0 25 0 1 0 703149914 35971072 7766 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8782 7766 1111 63 0 8719 0
vsize: 35128
[startup+1179.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7807 0 0 0 116976 40 0 0 25 0 1 0 703149914 35971072 7766 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8782 7766 1111 63 0 8719 0
vsize: 0

Child status: 0
Real time (s): 1179.2
CPU time (s): 1179.35
CPU user time (s): 1178.92
CPU system time (s): 0.425935
CPU usage (%): 100.013
Max. virtual memory (Kb): 35128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####