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-10pb.opb
MD5SUM	3da806c3498bf979a43344fcf1dd59e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	70
Optimality of the best value was proved	NO
Number of terms in the objective function	840
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	840
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	840
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.03284
Number of variables	840
Total number of constraints	2528
Number of constraints which are clauses	2504
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	35
Trace number 24319

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 14:24:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2118 boxname=wulflinc31 idbench=236 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3da806c3498bf979a43344fcf1dd59e3  /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-10pb.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-10pb.opb
IDLAUNCH: 2118
/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:        138152 kB
Buffers:         44416 kB
Cached:         817384 kB
SwapCached:        644 kB
Active:         491464 kB
Inactive:       372744 kB
HighTotal:      131008 kB
HighFree:         1092 kB
LowTotal:       903652 kB
LowFree:        137060 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26592 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 14:44:24 (client local time) WITH STATUS 0 IN 1176.57 SECONDS
stats: 2118 7 1176.57 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 840 variables and 2528 constraints.
c After prepocess the problem consists of 700 variables and 2096 constraints.
c preprocess terminated 0.611 s
c Initial Lower Bound: 51
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.53 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.83 0.81 0.90 2/54 30960
Raw data (stat): 30960 (runsolver) R 30959 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 701303149 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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+9.99984 s]
Raw data (loadavg): 0.86 0.82 0.90 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 1635 0 0 0 990 6 0 0 25 0 1 0 701303149 10330112 1609 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2522 1609 1111 63 0 2459 0
vsize: 10088
[startup+19.9998 s]
Raw data (loadavg): 0.88 0.82 0.90 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 1782 0 0 0 1989 6 0 0 25 0 1 0 701303149 10870784 1756 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2654 1756 1111 63 0 2591 0
vsize: 10616
[startup+30.0007 s]
Raw data (loadavg): 0.90 0.83 0.90 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 1988 0 0 0 2988 8 0 0 25 0 1 0 701303149 11816960 1962 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2885 1962 1111 63 0 2822 0
vsize: 11540
[startup+40.0006 s]
Raw data (loadavg): 0.91 0.83 0.90 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2126 0 0 0 3987 9 0 0 25 0 1 0 701303149 12378112 2100 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3022 2100 1111 63 0 2959 0
vsize: 12088
[startup+50.0016 s]
Raw data (loadavg): 0.93 0.84 0.90 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2220 0 0 0 4986 10 0 0 25 0 1 0 701303149 12783616 2194 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3121 2194 1111 63 0 3058 0
vsize: 12484
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.84 0.90 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2306 0 0 0 5985 11 0 0 25 0 1 0 701303149 13053952 2280 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3187 2280 1111 63 0 3124 0
vsize: 12748
[startup+70.0014 s]
Raw data (loadavg): 0.95 0.85 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2413 0 0 0 6985 11 0 0 25 0 1 0 701303149 13467648 2387 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3288 2387 1111 63 0 3225 0
vsize: 13152
[startup+80.0024 s]
Raw data (loadavg): 0.95 0.85 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2576 0 0 0 7985 12 0 0 25 0 1 0 701303149 14143488 2550 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2550 1111 63 0 3390 0
vsize: 13812
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.86 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2797 0 0 0 8984 13 0 0 25 0 1 0 701303149 15155200 2771 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2771 1111 63 0 3637 0
vsize: 14800
[startup+100.002 s]
Raw data (loadavg): 0.97 0.86 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2895 0 0 0 9984 14 0 0 25 0 1 0 701303149 15425536 2869 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2869 1111 63 0 3703 0
vsize: 15064
[startup+110.002 s]
Raw data (loadavg): 0.97 0.86 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3032 0 0 0 10983 15 0 0 25 0 1 0 701303149 16101376 3006 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3931 3006 1111 63 0 3868 0
vsize: 15724
[startup+120.002 s]
Raw data (loadavg): 0.97 0.87 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3195 0 0 0 11981 16 0 0 25 0 1 0 701303149 16777216 3169 4294967295 134512640 134714540 3221221792 3221220512 134556927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4096 3169 1111 63 0 4033 0
vsize: 16384
[startup+130.002 s]
Raw data (loadavg): 0.98 0.87 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3348 0 0 0 12981 17 0 0 25 0 1 0 701303149 17317888 3322 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4228 3322 1111 63 0 4165 0
vsize: 16912
[startup+140.002 s]
Raw data (loadavg): 0.98 0.88 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3606 0 0 0 13979 18 0 0 25 0 1 0 701303149 18399232 3580 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3580 1111 63 0 4429 0
vsize: 17968
[startup+150.003 s]
Raw data (loadavg): 0.98 0.88 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3725 0 0 0 14979 19 0 0 25 0 1 0 701303149 18944000 3699 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4625 3699 1111 63 0 4562 0
vsize: 18500
[startup+160.003 s]
Raw data (loadavg): 0.99 0.88 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3901 0 0 0 15978 20 0 0 25 0 1 0 701303149 19623936 3875 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4791 3875 1111 63 0 4728 0
vsize: 19164
[startup+170.003 s]
Raw data (loadavg): 0.99 0.89 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4035 0 0 0 16977 21 0 0 25 0 1 0 701303149 20164608 4009 4294967295 134512640 134714540 3221221792 3221220592 134622273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4923 4009 1111 63 0 4860 0
vsize: 19692
[startup+180.003 s]
Raw data (loadavg): 0.99 0.89 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4162 0 0 0 17977 21 0 0 25 0 1 0 701303149 20709376 4136 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5056 4136 1111 63 0 4993 0
vsize: 20224
[startup+190.003 s]
Raw data (loadavg): 0.99 0.89 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4288 0 0 0 18976 22 0 0 25 0 1 0 701303149 21258240 4262 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4262 1111 63 0 5127 0
vsize: 20760
[startup+200.004 s]
Raw data (loadavg): 0.99 0.89 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4539 0 0 0 19976 23 0 0 25 0 1 0 701303149 22224896 4513 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5426 4513 1111 63 0 5363 0
vsize: 21704
[startup+210.003 s]
Raw data (loadavg): 0.99 0.90 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4585 0 0 0 20976 23 0 0 25 0 1 0 701303149 22495232 4559 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5492 4559 1111 63 0 5429 0
vsize: 21968
[startup+220.004 s]
Raw data (loadavg): 0.99 0.90 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4592 0 0 0 21975 24 0 0 25 0 1 0 701303149 22495232 4566 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5492 4566 1111 63 0 5429 0
vsize: 21968
[startup+230.004 s]
Raw data (loadavg): 0.99 0.90 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4592 0 0 0 22976 24 0 0 25 0 1 0 701303149 22495232 4566 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5492 4566 1111 63 0 5429 0
vsize: 21968
[startup+240.004 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4592 0 0 0 23976 24 0 0 25 0 1 0 701303149 22495232 4566 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5492 4566 1111 63 0 5429 0
vsize: 21968
[startup+250.004 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4609 0 0 0 24975 24 0 0 25 0 1 0 701303149 22495232 4583 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5492 4583 1111 63 0 5429 0
vsize: 21968
[startup+260.005 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4639 0 0 0 25975 25 0 0 25 0 1 0 701303149 22630400 4613 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5525 4613 1111 63 0 5462 0
vsize: 22100
[startup+270.005 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4639 0 0 0 26975 25 0 0 25 0 1 0 701303149 22630400 4613 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5525 4613 1111 63 0 5462 0
vsize: 22100
[startup+280.005 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4660 0 0 0 27975 25 0 0 25 0 1 0 701303149 22765568 4634 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4634 1111 63 0 5495 0
vsize: 22232
[startup+290.006 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4660 0 0 0 28975 25 0 0 25 0 1 0 701303149 22765568 4634 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4634 1111 63 0 5495 0
vsize: 22232
[startup+300.006 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4662 0 0 0 29976 25 0 0 25 0 1 0 701303149 22765568 4636 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4636 1111 63 0 5495 0
vsize: 22232
[startup+310.006 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4662 0 0 0 30976 25 0 0 25 0 1 0 701303149 22765568 4636 4294967295 134512640 134714540 3221221792 3221220512 134622735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4636 1111 63 0 5495 0
vsize: 22232
[startup+320.006 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4663 0 0 0 31976 25 0 0 25 0 1 0 701303149 22765568 4637 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4637 1111 63 0 5495 0
vsize: 22232
[startup+330.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4677 0 0 0 32976 25 0 0 25 0 1 0 701303149 22765568 4651 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4651 1111 63 0 5495 0
vsize: 22232
[startup+340.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4686 0 0 0 33976 25 0 0 25 0 1 0 701303149 22900736 4660 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4660 1111 63 0 5528 0
vsize: 22364
[startup+350.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4701 0 0 0 34976 26 0 0 25 0 1 0 701303149 22900736 4675 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4675 1111 63 0 5528 0
vsize: 22364
[startup+360.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4707 0 0 0 35976 26 0 0 25 0 1 0 701303149 22900736 4681 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4681 1111 63 0 5528 0
vsize: 22364
[startup+370.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4722 0 0 0 36976 26 0 0 25 0 1 0 701303149 23035904 4696 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5624 4696 1111 63 0 5561 0
vsize: 22496
[startup+380.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4731 0 0 0 37976 26 0 0 25 0 1 0 701303149 23035904 4705 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5624 4705 1111 63 0 5561 0
vsize: 22496
[startup+390.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4751 0 0 0 38976 26 0 0 25 0 1 0 701303149 23171072 4725 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5657 4725 1111 63 0 5594 0
vsize: 22628
[startup+400.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4754 0 0 0 39976 26 0 0 25 0 1 0 701303149 23171072 4728 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5657 4728 1111 63 0 5594 0
vsize: 22628
[startup+410.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4754 0 0 0 40976 26 0 0 25 0 1 0 701303149 23171072 4728 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5657 4728 1111 63 0 5594 0
vsize: 22628
[startup+420.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4772 0 0 0 41977 26 0 0 25 0 1 0 701303149 23171072 4746 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5657 4746 1111 63 0 5594 0
vsize: 22628
[startup+430.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4886 0 0 0 42976 27 0 0 25 0 1 0 701303149 23719936 4859 4294967295 134512640 134714540 3221221792 3221220584 134542401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4859 1111 63 0 5728 0
vsize: 23164
[startup+440.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4957 0 0 0 43976 27 0 0 25 0 1 0 701303149 23990272 4930 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4930 1111 63 0 5794 0
vsize: 23428
[startup+450.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4957 0 0 0 44976 27 0 0 25 0 1 0 701303149 23990272 4930 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4930 1111 63 0 5794 0
vsize: 23428
[startup+460.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4957 0 0 0 45976 28 0 0 25 0 1 0 701303149 23990272 4930 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4930 1111 63 0 5794 0
vsize: 23428
[startup+470.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4963 0 0 0 46976 28 0 0 25 0 1 0 701303149 23990272 4936 4294967295 134512640 134714540 3221221792 3221220572 134543569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4936 1111 63 0 5794 0
vsize: 23428
[startup+480.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4965 0 0 0 47976 28 0 0 25 0 1 0 701303149 23990272 4938 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4938 1111 63 0 5794 0
vsize: 23428
[startup+490.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5061 0 0 0 48975 28 0 0 25 0 1 0 701303149 24395776 5034 4294967295 134512640 134714540 3221221792 3221220396 134536788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5956 5034 1111 63 0 5893 0
vsize: 23824
[startup+500.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5146 0 0 0 49975 29 0 0 25 0 1 0 701303149 24801280 5119 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6055 5119 1111 63 0 5992 0
vsize: 24220
[startup+510.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5210 0 0 0 50975 29 0 0 25 0 1 0 701303149 25075712 5183 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6122 5183 1111 63 0 6059 0
vsize: 24488
[startup+520.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5323 0 0 0 51975 29 0 0 25 0 1 0 701303149 25481216 5296 4294967295 134512640 134714540 3221221792 3221220508 134558608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6221 5296 1111 63 0 6158 0
vsize: 24884
[startup+530.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5403 0 0 0 52975 29 0 0 25 0 1 0 701303149 25751552 5376 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6287 5376 1111 63 0 6224 0
vsize: 25148
[startup+540.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5430 0 0 0 53975 30 0 0 25 0 1 0 701303149 25886720 5403 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6320 5403 1111 63 0 6257 0
vsize: 25280
[startup+550.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5473 0 0 0 54975 30 0 0 25 0 1 0 701303149 26157056 5446 4294967295 134512640 134714540 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6386 5446 1111 63 0 6323 0
vsize: 25544
[startup+560.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5548 0 0 0 55975 31 0 0 25 0 1 0 701303149 26427392 5521 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5521 1111 63 0 6389 0
vsize: 25808
[startup+570.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5608 0 0 0 56974 31 0 0 25 0 1 0 701303149 26697728 5581 4294967295 134512640 134714540 3221221792 3221220552 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6518 5581 1111 63 0 6455 0
vsize: 26072
[startup+580.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5692 0 0 0 57974 32 0 0 25 0 1 0 701303149 26968064 5665 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6584 5665 1111 63 0 6521 0
vsize: 26336
[startup+590.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5743 0 0 0 58974 32 0 0 25 0 1 0 701303149 27238400 5716 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5716 1111 63 0 6587 0
vsize: 26600
[startup+600.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5756 0 0 0 59974 32 0 0 25 0 1 0 701303149 27238400 5729 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5729 1111 63 0 6587 0
vsize: 26600
[startup+610.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5792 0 0 0 60973 33 0 0 25 0 1 0 701303149 27373568 5765 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6683 5765 1111 63 0 6620 0
vsize: 26732
[startup+620.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5898 0 0 0 61973 33 0 0 25 0 1 0 701303149 27881472 5871 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6807 5871 1111 63 0 6744 0
vsize: 27228
[startup+630.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5943 0 0 0 62973 34 0 0 25 0 1 0 701303149 28016640 5916 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6840 5916 1111 63 0 6777 0
vsize: 27360
[startup+640.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5948 0 0 0 63973 34 0 0 25 0 1 0 701303149 28016640 5921 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6840 5921 1111 63 0 6777 0
vsize: 27360
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5967 0 0 0 64973 34 0 0 25 0 1 0 701303149 28151808 5939 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6873 5939 1111 63 0 6810 0
vsize: 27492
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5984 0 0 0 65973 34 0 0 25 0 1 0 701303149 28151808 5956 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6873 5956 1111 63 0 6810 0
vsize: 27492
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5987 0 0 0 66973 34 0 0 25 0 1 0 701303149 28286976 5959 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6906 5959 1111 63 0 6843 0
vsize: 27624
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5989 0 0 0 67974 34 0 0 25 0 1 0 701303149 28286976 5961 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6906 5961 1111 63 0 6843 0
vsize: 27624
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6017 0 0 0 68974 34 0 0 25 0 1 0 701303149 28286976 5989 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6906 5989 1111 63 0 6843 0
vsize: 27624
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6021 0 0 0 69974 34 0 0 25 0 1 0 701303149 28422144 5993 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6939 5993 1111 63 0 6876 0
vsize: 27756
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6025 0 0 0 70974 34 0 0 25 0 1 0 701303149 28422144 5997 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6939 5997 1111 63 0 6876 0
vsize: 27756
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6033 0 0 0 71974 34 0 0 25 0 1 0 701303149 28422144 6005 4294967295 134512640 134714540 3221221792 3221220584 134622385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6005 1111 63 0 6876 0
vsize: 27756
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6049 0 0 0 72974 34 0 0 25 0 1 0 701303149 28422144 6021 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6021 1111 63 0 6876 0
vsize: 27756
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6051 0 0 0 73974 35 0 0 25 0 1 0 701303149 28557312 6023 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6023 1111 63 0 6909 0
vsize: 27888
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6054 0 0 0 74974 35 0 0 25 0 1 0 701303149 28557312 6026 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6026 1111 63 0 6909 0
vsize: 27888
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6065 0 0 0 75974 35 0 0 25 0 1 0 701303149 28557312 6037 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6037 1111 63 0 6909 0
vsize: 27888
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6068 0 0 0 76974 35 0 0 25 0 1 0 701303149 28557312 6040 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6040 1111 63 0 6909 0
vsize: 27888
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6075 0 0 0 77974 35 0 0 25 0 1 0 701303149 28557312 6047 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6047 1111 63 0 6909 0
vsize: 27888
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6081 0 0 0 78974 35 0 0 25 0 1 0 701303149 28557312 6053 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6053 1111 63 0 6909 0
vsize: 27888
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6086 0 0 0 79974 35 0 0 25 0 1 0 701303149 28692480 6058 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7005 6058 1111 63 0 6942 0
vsize: 28020
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6086 0 0 0 80974 36 0 0 25 0 1 0 701303149 28692480 6058 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7005 6058 1111 63 0 6942 0
vsize: 28020
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6088 0 0 0 81974 36 0 0 25 0 1 0 701303149 28692480 6060 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7005 6060 1111 63 0 6942 0
vsize: 28020
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6169 0 0 0 82974 36 0 0 25 0 1 0 701303149 28962816 6141 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7071 6141 1111 63 0 7008 0
vsize: 28284
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6311 0 0 0 83973 37 0 0 25 0 1 0 701303149 29650944 6283 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7239 6283 1111 63 0 7176 0
vsize: 28956
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6322 0 0 0 84973 37 0 0 25 0 1 0 701303149 29650944 6294 4294967295 134512640 134714540 3221221792 3221220600 134622628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7239 6294 1111 63 0 7176 0
vsize: 28956
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6366 0 0 0 85973 37 0 0 25 0 1 0 701303149 29786112 6337 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7272 6337 1111 63 0 7209 0
vsize: 29088
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6411 0 0 0 86973 38 0 0 25 0 1 0 701303149 30056448 6382 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7338 6382 1111 63 0 7275 0
vsize: 29352
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6477 0 0 0 87973 38 0 0 25 0 1 0 701303149 30330880 6448 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6448 1111 63 0 7342 0
vsize: 29620
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6577 0 0 0 88973 38 0 0 25 0 1 0 701303149 30736384 6548 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7504 6548 1111 63 0 7441 0
vsize: 30016
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6763 0 0 0 89972 39 0 0 25 0 1 0 701303149 31551488 6734 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7703 6734 1111 63 0 7640 0
vsize: 30812
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6922 0 0 0 90972 40 0 0 25 0 1 0 701303149 32108544 6893 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7839 6893 1111 63 0 7776 0
vsize: 31356
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7044 0 0 0 91971 41 0 0 25 0 1 0 701303149 32649216 7015 4294967295 134512640 134714540 3221221792 3221220504 134543141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7971 7015 1111 63 0 7908 0
vsize: 31884
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7233 0 0 0 92970 42 0 0 25 0 1 0 701303149 33460224 7204 4294967295 134512640 134714540 3221221792 3221220576 134558518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8169 7204 1111 63 0 8106 0
vsize: 32676
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7426 0 0 0 93970 42 0 0 25 0 1 0 701303149 34271232 7397 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7397 1111 63 0 8304 0
vsize: 33468
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7559 0 0 0 94970 43 0 0 25 0 1 0 701303149 34816000 7530 4294967295 134512640 134714540 3221221792 3221220512 134556775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8500 7530 1111 63 0 8437 0
vsize: 34000
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7663 0 0 0 95969 44 0 0 25 0 1 0 701303149 35221504 7634 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8599 7634 1111 63 0 8536 0
vsize: 34396
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7804 0 0 0 96968 44 0 0 25 0 1 0 701303149 35762176 7775 4294967295 134512640 134714540 3221221792 3221220456 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8731 7775 1111 63 0 8668 0
vsize: 34924
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7938 0 0 0 97969 44 0 0 25 0 1 0 701303149 36438016 7909 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8896 7909 1111 63 0 8833 0
vsize: 35584
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8029 0 0 0 98968 45 0 0 25 0 1 0 701303149 36708352 8000 4294967295 134512640 134714540 3221221792 3221220576 134622290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8962 8000 1111 63 0 8899 0
vsize: 35848
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8048 0 0 0 99968 45 0 0 25 0 1 0 701303149 36843520 8019 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8995 8019 1111 63 0 8932 0
vsize: 35980
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8087 0 0 0 100968 45 0 0 25 0 1 0 701303149 36978688 8058 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9028 8058 1111 63 0 8965 0
vsize: 36112
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8129 0 0 0 101968 45 0 0 25 0 1 0 701303149 37113856 8100 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9061 8100 1111 63 0 8998 0
vsize: 36244
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8213 0 0 0 102968 45 0 0 25 0 1 0 701303149 37523456 8184 4294967295 134512640 134714540 3221221792 3221220592 134622417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9161 8184 1111 63 0 9098 0
vsize: 36644
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8257 0 0 0 103968 46 0 0 25 0 1 0 701303149 37658624 8228 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9194 8228 1111 63 0 9131 0
vsize: 36776
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8290 0 0 0 104968 46 0 0 25 0 1 0 701303149 37793792 8261 4294967295 134512640 134714540 3221221792 3221220592 134622358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9227 8261 1111 63 0 9164 0
vsize: 36908
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8333 0 0 0 105968 46 0 0 25 0 1 0 701303149 38064128 8304 4294967295 134512640 134714540 3221221792 3221220560 134624477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9293 8304 1111 63 0 9230 0
vsize: 37172
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8356 0 0 0 106968 46 0 0 25 0 1 0 701303149 38064128 8327 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9293 8327 1111 63 0 9230 0
vsize: 37172
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8365 0 0 0 107968 46 0 0 25 0 1 0 701303149 38199296 8336 4294967295 134512640 134714540 3221221792 3221220664 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8336 1111 63 0 9263 0
vsize: 37304
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 108968 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8338 1111 63 0 9263 0
vsize: 37304
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 109969 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8338 1111 63 0 9263 0
vsize: 37304
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 110969 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8338 1111 63 0 9263 0
vsize: 37304
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 111969 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8338 1111 63 0 9263 0
vsize: 37304
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8368 0 0 0 112969 46 0 0 25 0 1 0 701303149 38199296 8339 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8339 1111 63 0 9263 0
vsize: 37304
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8368 0 0 0 113969 46 0 0 25 0 1 0 701303149 38199296 8339 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8339 1111 63 0 9263 0
vsize: 37304
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8370 0 0 0 114969 46 0 0 25 0 1 0 701303149 38199296 8341 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8341 1111 63 0 9263 0
vsize: 37304
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8371 0 0 0 115970 46 0 0 25 0 1 0 701303149 38199296 8342 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8342 1111 63 0 9263 0
vsize: 37304
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8375 0 0 0 116970 46 0 0 25 0 1 0 701303149 38199296 8346 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8346 1111 63 0 9263 0
vsize: 37304
[startup+1176.43 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 30960
Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8375 0 0 0 116970 46 0 0 25 0 1 0 701303149 38199296 8346 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8346 1111 63 0 9263 0
vsize: 0

Child status: 0
Real time (s): 1176.43
CPU time (s): 1176.57
CPU user time (s): 1176.09
CPU system time (s): 0.485926
CPU usage (%): 100.012
Max. virtual memory (Kb): 37304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####