PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 28544

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        921736 kB
Buffers:          1412 kB
Cached:          89660 kB
SwapCached:        524 kB
Active:          17812 kB
Inactive:        75572 kB
HighTotal:      131008 kB
HighFree:        78624 kB
LowTotal:       903652 kB
LowFree:        843112 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13972 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:15:33 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 12405 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 7195 variables and 958 constraints.
c After prepocess the problem consists of 7170 variables and 930 constraints.
c preprocess terminated 33.999 s
c Initial Lower Bound: 824
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.91 0.95 0.91 2/54 13327
Raw data (stat): 13327 (runsolver) R 13326 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835442896 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 11367 0 0 0 972 26 0 0 25 0 1 0 835442896 50196480 11307 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12255 11307 1111 63 0 12192 0
vsize: 49020
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 11367 0 0 0 1973 26 0 0 25 0 1 0 835442896 50196480 11307 4294967295 134512640 134714540 3221224592 3221222992 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12255 11307 1111 63 0 12192 0
vsize: 49020
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 11367 0 0 0 2973 26 0 0 25 0 1 0 835442896 50196480 11307 4294967295 134512640 134714540 3221224592 3221223072 134536600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12255 11307 1111 63 0 12192 0
vsize: 49020
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 11442 0 0 0 3972 27 0 0 25 0 1 0 835442896 50475008 11382 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12323 11382 1111 63 0 12260 0
vsize: 49292
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 11704 0 0 0 4971 28 0 0 25 0 1 0 835442896 51564544 11644 4294967295 134512640 134714540 3221224592 3221223264 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12589 11644 1111 63 0 12526 0
vsize: 50356
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 11763 0 0 0 5970 28 0 0 25 0 1 0 835442896 51838976 11703 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12656 11703 1111 63 0 12593 0
vsize: 50624
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 11929 0 0 0 6970 29 0 0 25 0 1 0 835442896 52514816 11869 4294967295 134512640 134714540 3221224592 3221223292 134558560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12821 11869 1111 63 0 12758 0
vsize: 51284
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12042 0 0 0 7969 30 0 0 25 0 1 0 835442896 52920320 11982 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12920 11982 1111 63 0 12857 0
vsize: 51680
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12042 0 0 0 8968 31 0 0 25 0 1 0 835442896 52920320 11982 4294967295 134512640 134714540 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12920 11982 1111 63 0 12857 0
vsize: 51680
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12134 0 0 0 9967 32 0 0 25 0 1 0 835442896 53325824 12074 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13019 12074 1111 63 0 12956 0
vsize: 52076
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12257 0 0 0 10966 33 0 0 25 0 1 0 835442896 53866496 12197 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13151 12197 1111 63 0 13088 0
vsize: 52604
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12257 0 0 0 11966 34 0 0 25 0 1 0 835442896 53866496 12197 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13151 12197 1111 63 0 13088 0
vsize: 52604
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12356 0 0 0 12965 35 0 0 25 0 1 0 835442896 54255616 12296 4294967295 134512640 134714540 3221224592 3221223220 134696386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13246 12296 1111 63 0 13183 0
vsize: 52984
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12365 0 0 0 13965 35 0 0 25 0 1 0 835442896 54255616 12305 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13246 12305 1111 63 0 13183 0
vsize: 52984
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12480 0 0 0 14964 36 0 0 25 0 1 0 835442896 54796288 12420 4294967295 134512640 134714540 3221224592 3221223184 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13378 12420 1111 63 0 13315 0
vsize: 53512
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12599 0 0 0 15962 38 0 0 25 0 1 0 835442896 55201792 12539 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13477 12539 1111 63 0 13414 0
vsize: 53908
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12599 0 0 0 16962 39 0 0 25 0 1 0 835442896 55201792 12539 4294967295 134512640 134714540 3221224592 3221223164 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13477 12539 1111 63 0 13414 0
vsize: 53908
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12610 0 0 0 17961 40 0 0 25 0 1 0 835442896 55304192 12550 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13502 12550 1111 63 0 13439 0
vsize: 54008
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12610 0 0 0 18960 41 0 0 25 0 1 0 835442896 55304192 12550 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13502 12550 1111 63 0 13439 0
vsize: 54008
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12610 0 0 0 19960 41 0 0 25 0 1 0 835442896 55304192 12550 4294967295 134512640 134714540 3221224592 3221223344 134592163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13502 12550 1111 63 0 13439 0
vsize: 54008
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12703 0 0 0 20958 43 0 0 25 0 1 0 835442896 55640064 12643 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13584 12643 1111 63 0 13521 0
vsize: 54336
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12756 0 0 0 21958 44 0 0 25 0 1 0 835442896 55869440 12693 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13640 12693 1111 63 0 13577 0
vsize: 54560
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12764 0 0 0 22957 45 0 0 25 0 1 0 835442896 55734272 12679 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13607 12679 1111 63 0 13544 0
vsize: 54428
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 12989 0 0 0 23956 46 0 0 25 0 1 0 835442896 56680448 12904 4294967295 134512640 134714540 3221224592 3221223132 134539262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13838 12904 1111 63 0 13775 0
vsize: 55352
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 13365
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 24954 48 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+260.014 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 13380
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 25954 49 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+270.013 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 13380
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 26953 50 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+280.014 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 13380
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 27953 50 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+290.015 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 13380
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 28951 52 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223296 134556773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+300.014 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 13380
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 29951 53 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223360 134624477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+310.014 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 13380
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 30950 54 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+320.015 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 13380
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 31949 55 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+330.016 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 32948 56 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+340.016 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 33947 58 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223312 134556503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+350.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 34946 58 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+360.018 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13130 0 0 0 35945 60 0 0 25 0 1 0 835442896 57257984 13045 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13045 1111 63 0 13916 0
vsize: 55916
[startup+370.025 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13189 0 0 0 36945 61 0 0 25 0 1 0 835442896 57528320 13104 4294967295 134512640 134714540 3221224592 3221223360 134624477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14045 13104 1111 63 0 13982 0
vsize: 56180
[startup+380.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13259 0 0 0 37945 61 0 0 25 0 1 0 835442896 57798656 13174 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14111 13174 1111 63 0 14048 0
vsize: 56444
[startup+390.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13379 0 0 0 38944 63 0 0 25 0 1 0 835442896 58339328 13294 4294967295 134512640 134714540 3221224592 3221223292 134558607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14243 13294 1111 63 0 14180 0
vsize: 56972
[startup+400.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13439 0 0 0 39943 64 0 0 25 0 1 0 835442896 58609664 13354 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14309 13354 1111 63 0 14246 0
vsize: 57236
[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13636 0 0 0 40942 65 0 0 25 0 1 0 835442896 59420672 13551 4294967295 134512640 134714540 3221224592 3221223328 134695385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14507 13551 1111 63 0 14444 0
vsize: 58028
[startup+420.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13842 0 0 0 41941 66 0 0 25 0 1 0 835442896 60260352 13757 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14712 13757 1111 63 0 14649 0
vsize: 58848
[startup+430.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 13898 0 0 0 42940 67 0 0 25 0 1 0 835442896 60395520 13813 4294967295 134512640 134714540 3221224592 3221223296 134556894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14745 13813 1111 63 0 14682 0
vsize: 58980
[startup+440.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14034 0 0 0 43939 69 0 0 25 0 1 0 835442896 60936192 13949 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14877 13949 1111 63 0 14814 0
vsize: 59508
[startup+450.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14066 0 0 0 44938 70 0 0 25 0 1 0 835442896 61071360 13981 4294967295 134512640 134714540 3221224592 3221223392 134610917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14910 13981 1111 63 0 14847 0
vsize: 59640
[startup+460.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14147 0 0 0 45937 71 0 0 25 0 1 0 835442896 61476864 14062 4294967295 134512640 134714540 3221224592 3221223296 134556763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15009 14062 1111 63 0 14946 0
vsize: 60036
[startup+470.032 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14205 0 0 0 46936 72 0 0 25 0 1 0 835442896 61747200 14120 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15075 14120 1111 63 0 15012 0
vsize: 60300
[startup+480.032 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14278 0 0 0 47936 73 0 0 25 0 1 0 835442896 62017536 14193 4294967295 134512640 134714540 3221224592 3221223276 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15141 14193 1111 63 0 15078 0
vsize: 60564
[startup+490.037 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14345 0 0 0 48935 74 0 0 25 0 1 0 835442896 62287872 14260 4294967295 134512640 134714540 3221224592 3221223312 134556640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15207 14260 1111 63 0 15144 0
vsize: 60828
[startup+500.038 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14345 0 0 0 49935 75 0 0 25 0 1 0 835442896 62287872 14260 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15207 14260 1111 63 0 15144 0
vsize: 60828
[startup+510.038 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14440 0 0 0 50933 76 0 0 25 0 1 0 835442896 62693376 14355 4294967295 134512640 134714540 3221224592 3221223396 134611185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15306 14355 1111 63 0 15243 0
vsize: 61224
[startup+520.053 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14560 0 0 0 51934 77 0 0 25 0 1 0 835442896 63098880 14475 4294967295 134512640 134714540 3221224592 3221223388 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15405 14475 1111 63 0 15342 0
vsize: 61620
[startup+530.055 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14560 0 0 0 52933 78 0 0 25 0 1 0 835442896 63098880 14475 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15405 14475 1111 63 0 15342 0
vsize: 61620
[startup+540.055 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14560 0 0 0 53932 79 0 0 25 0 1 0 835442896 63098880 14475 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15405 14475 1111 63 0 15342 0
vsize: 61620
[startup+550.054 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14621 0 0 0 54930 82 0 0 25 0 1 0 835442896 63369216 14536 4294967295 134512640 134714540 3221224592 3221223276 134553611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15471 14536 1111 63 0 15408 0
vsize: 61884
[startup+560.055 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 55928 84 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223220 134696293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+570.055 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 56927 85 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223328 134556527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+580.055 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13382
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 57927 86 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223196 134536845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+590.055 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 58926 86 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223320 134556493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+600.056 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 59926 87 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223108 134535880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+610.056 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 60925 88 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+620.055 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 61925 89 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+630.055 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14848 0 0 0 62924 89 0 0 25 0 1 0 835442896 64315392 14763 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15702 14763 1111 63 0 15639 0
vsize: 62808
[startup+640.056 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14885 0 0 0 63924 90 0 0 25 0 1 0 835442896 64450560 14800 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15735 14800 1111 63 0 15672 0
vsize: 62940
[startup+650.055 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14961 0 0 0 64922 92 0 0 25 0 1 0 835442896 64856064 14876 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15834 14876 1111 63 0 15771 0
vsize: 63336
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 14993 0 0 0 65921 93 0 0 25 0 1 0 835442896 64991232 14908 4294967295 134512640 134714540 3221224592 3221223216 134696263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15867 14908 1111 63 0 15804 0
vsize: 63468
[startup+670.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15009 0 0 0 66921 93 0 0 25 0 1 0 835442896 64991232 14924 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15867 14924 1111 63 0 15804 0
vsize: 63468
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15398 0 0 0 67920 95 0 0 25 0 1 0 835442896 66441216 15265 4294967295 134512640 134714540 3221224592 3221223248 134543742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16221 15265 1111 63 0 16158 0
vsize: 64884
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15398 0 0 0 68919 95 0 0 25 0 1 0 835442896 66424832 15265 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16217 15265 1111 63 0 16154 0
vsize: 64868
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15398 0 0 0 69918 96 0 0 25 0 1 0 835442896 66424832 15265 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16217 15265 1111 63 0 16154 0
vsize: 64868
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15401 0 0 0 70918 97 0 0 25 0 1 0 835442896 66424832 15268 4294967295 134512640 134714540 3221224592 3221223184 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16217 15268 1111 63 0 16154 0
vsize: 64868
[startup+720.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15408 0 0 0 71917 98 0 0 25 0 1 0 835442896 66424832 15275 4294967295 134512640 134714540 3221224592 3221223340 134536856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16217 15275 1111 63 0 16154 0
vsize: 64868
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15408 0 0 0 72916 99 0 0 25 0 1 0 835442896 66424832 15275 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16217 15275 1111 63 0 16154 0
vsize: 64868
[startup+740.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15408 0 0 0 73916 100 0 0 25 0 1 0 835442896 66424832 15275 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16217 15275 1111 63 0 16154 0
vsize: 64868
[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15512 0 0 0 74915 100 0 0 25 0 1 0 835442896 66830336 15379 4294967295 134512640 134714540 3221224592 3221223408 134610966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16316 15379 1111 63 0 16253 0
vsize: 65264
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15603 0 0 0 75915 101 0 0 25 0 1 0 835442896 67235840 15470 4294967295 134512640 134714540 3221224592 3221223376 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16415 15470 1111 63 0 16352 0
vsize: 65660
[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15623 0 0 0 76914 102 0 0 25 0 1 0 835442896 67284992 15486 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 15486 1111 63 0 16364 0
vsize: 65708
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15729 0 0 0 77913 103 0 0 25 0 1 0 835442896 67678208 15592 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16523 15592 1111 63 0 16460 0
vsize: 66092
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15831 0 0 0 78910 106 0 0 25 0 1 0 835442896 68083712 15694 4294967295 134512640 134714540 3221224592 3221223408 134611108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16622 15694 1111 63 0 16559 0
vsize: 66488
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15909 0 0 0 79910 107 0 0 25 0 1 0 835442896 68489216 15772 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16721 15772 1111 63 0 16658 0
vsize: 66884
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15951 0 0 0 80907 110 0 0 25 0 1 0 835442896 68624384 15814 4294967295 134512640 134714540 3221224592 3221223328 134556745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16754 15814 1111 63 0 16691 0
vsize: 67016
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15951 0 0 0 81906 111 0 0 25 0 1 0 835442896 68624384 15814 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16754 15814 1111 63 0 16691 0
vsize: 67016
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 15951 0 0 0 82905 112 0 0 25 0 1 0 835442896 68624384 15814 4294967295 134512640 134714540 3221224592 3221223264 134553605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16754 15814 1111 63 0 16691 0
vsize: 67016
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16031 0 0 0 83904 113 0 0 25 0 1 0 835442896 68956160 15894 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16835 15894 1111 63 0 16772 0
vsize: 67340
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16031 0 0 0 84903 114 0 0 25 0 1 0 835442896 68956160 15894 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16835 15894 1111 63 0 16772 0
vsize: 67340
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16031 0 0 0 85903 115 0 0 25 0 1 0 835442896 68956160 15894 4294967295 134512640 134714540 3221224592 3221223408 134611672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16835 15894 1111 63 0 16772 0
vsize: 67340
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16031 0 0 0 86902 116 0 0 25 0 1 0 835442896 68956160 15894 4294967295 134512640 134714540 3221224592 3221223336 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16835 15894 1111 63 0 16772 0
vsize: 67340
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16031 0 0 0 87901 116 0 0 25 0 1 0 835442896 68956160 15894 4294967295 134512640 134714540 3221224592 3221223292 134558630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16835 15894 1111 63 0 16772 0
vsize: 67340
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16073 0 0 0 88900 118 0 0 25 0 1 0 835442896 68956160 15907 4294967295 134512640 134714540 3221224592 3221223220 134696288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16835 15907 1111 63 0 16772 0
vsize: 67340
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 89899 120 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 90898 120 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 91897 122 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223360 134624477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 92896 123 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 93895 124 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 94893 126 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223360 134624430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 95892 127 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 96891 129 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16187 0 0 0 97890 129 0 0 25 0 1 0 835442896 69476352 16021 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16962 16021 1111 63 0 16899 0
vsize: 67848
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16205 0 0 0 98889 131 0 0 25 0 1 0 835442896 69611520 16039 4294967295 134512640 134714540 3221224592 3221223376 134558507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16995 16039 1111 63 0 16932 0
vsize: 67980
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16300 0 0 0 99888 132 0 0 25 0 1 0 835442896 70017024 16134 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17094 16134 1111 63 0 17031 0
vsize: 68376
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 100886 134 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223316 134556931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 101885 135 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 102884 136 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 103884 137 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 104884 137 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 105883 138 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223184 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 106882 139 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 107882 139 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 108881 140 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223328 134622749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 109881 140 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 110880 142 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 111879 143 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16349 0 0 0 112879 143 0 0 25 0 1 0 835442896 70152192 16183 4294967295 134512640 134714540 3221224592 3221223296 134556515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16183 1111 63 0 17064 0
vsize: 68508
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16371 0 0 0 113878 145 0 0 25 0 1 0 835442896 70287360 16205 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 16205 1111 63 0 17097 0
vsize: 68640
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16371 0 0 0 114877 146 0 0 25 0 1 0 835442896 70287360 16205 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 16205 1111 63 0 17097 0
vsize: 68640
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16371 0 0 0 115876 146 0 0 25 0 1 0 835442896 70287360 16205 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 16205 1111 63 0 17097 0
vsize: 68640
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16371 0 0 0 116876 147 0 0 25 0 1 0 835442896 70287360 16205 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 16205 1111 63 0 17097 0
vsize: 68640
[startup+1174.87 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 13384
Raw data (stat): 13327 (bsolo_mis) R 13326 4613 4612 0 -1 0 16371 0 0 0 116876 147 0 0 25 0 1 0 835442896 70287360 16205 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 16205 1111 63 0 17097 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.04
CPU user time (s): 1173.53
CPU system time (s): 1.51477
CPU usage (%): 100.015
Max. virtual memory (Kb): 68640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####