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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb
MD5SUM	6cda2e87049e07c7829c58ae7ae8c049
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1152
Optimality of the best value was proved	NO
Number of terms in the objective function	3600
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	188743500
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	188743500
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	6100
Total number of constraints	3706
Number of constraints which are clauses	600
Number of constraints which are cardinality constraints (but not clauses)	1020
Number of constraints which are nor clauses,nor cardinality constraints	2086
Minimum length of a constraint	1
Maximum length of a constraint	300
Trace number 25276

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 04:36:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19529 boxname=wulflinc31 idbench=1503 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6cda2e87049e07c7829c58ae7ae8c049  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos11.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos11.opb
IDLAUNCH: 19529
/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:        859356 kB
Buffers:         15664 kB
Cached:         137560 kB
SwapCached:        932 kB
Active:          74700 kB
Inactive:        81840 kB
HighTotal:      131008 kB
HighFree:         8316 kB
LowTotal:       903652 kB
LowFree:        851040 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13156 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 04:55:58 (client local time) WITH STATUS 0 IN 1192.37 SECONDS
stats: 19529 7 1192.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 6100 variables and 3042 constraints.
c After prepocess the problem consists of 5640 variables and 3002 constraints.
c preprocess terminated 16.319 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1192.3 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): 1.13 1.03 1.01 2/55 2420
Raw data (stat): 2420 (runsolver) R 2419 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 775539474 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.9999 s]
Raw data (loadavg): 1.11 1.03 1.01 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 12746 0 0 0 968 28 0 0 25 0 1 0 775539474 55914496 12707 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12707 1111 63 0 13588 0
vsize: 54604
[startup+20.0008 s]
Raw data (loadavg): 1.09 1.03 1.01 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 13529 0 0 0 1965 31 0 0 25 0 1 0 775539474 59088896 13490 4294967295 134512640 134714540 3221221776 3221220528 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13490 1111 63 0 14363 0
vsize: 57704
[startup+30.0007 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 13529 0 0 0 2965 32 0 0 25 0 1 0 775539474 59088896 13490 4294967295 134512640 134714540 3221221776 3221220480 134556775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13490 1111 63 0 14363 0
vsize: 57704
[startup+40.0007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 13529 0 0 0 3964 33 0 0 25 0 1 0 775539474 59088896 13490 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13490 1111 63 0 14363 0
vsize: 57704
[startup+50.0016 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 13529 0 0 0 4963 33 0 0 25 0 1 0 775539474 59088896 13490 4294967295 134512640 134714540 3221221776 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13490 1111 63 0 14363 0
vsize: 57704
[startup+60.0015 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 13529 0 0 0 5962 35 0 0 25 0 1 0 775539474 59088896 13490 4294967295 134512640 134714540 3221221776 3221220500 134625302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13490 1111 63 0 14363 0
vsize: 57704
[startup+70.0024 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 13529 0 0 0 6961 36 0 0 25 0 1 0 775539474 59088896 13490 4294967295 134512640 134714540 3221221776 3221220472 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13490 1111 63 0 14363 0
vsize: 57704
[startup+80.0024 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 14334 0 0 0 7958 39 0 0 25 0 1 0 775539474 62361600 14295 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15225 14295 1111 63 0 15162 0
vsize: 60900
[startup+90.0023 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 15124 0 0 0 8956 42 0 0 25 0 1 0 775539474 65605632 15085 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16017 15085 1111 63 0 15954 0
vsize: 64068
[startup+100.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 15971 0 0 0 9952 45 0 0 25 0 1 0 775539474 69152768 15932 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16883 15932 1111 63 0 16820 0
vsize: 67532
[startup+110.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 16426 0 0 0 10951 47 0 0 25 0 1 0 775539474 71045120 16387 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16387 1111 63 0 17282 0
vsize: 69380
[startup+120.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 16681 0 0 0 11950 48 0 0 25 0 1 0 775539474 72126464 16642 4294967295 134512640 134714540 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17609 16642 1111 63 0 17546 0
vsize: 70436
[startup+130.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 16820 0 0 0 12949 49 0 0 25 0 1 0 775539474 72646656 16781 4294967295 134512640 134714540 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17736 16781 1111 63 0 17673 0
vsize: 70944
[startup+140.005 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 17046 0 0 0 13948 50 0 0 25 0 1 0 775539474 73592832 17007 4294967295 134512640 134714540 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17967 17007 1111 63 0 17904 0
vsize: 71868
[startup+150.006 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 17531 0 0 0 14947 52 0 0 25 0 1 0 775539474 75800576 17485 4294967295 134512640 134714540 3221221776 3221220560 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17485 1111 63 0 18443 0
vsize: 74024
[startup+160.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 17882 0 0 0 15946 53 0 0 25 0 1 0 775539474 77287424 17836 4294967295 134512640 134714540 3221221776 3221220572 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18869 17836 1111 63 0 18806 0
vsize: 75476
[startup+170.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 18162 0 0 0 16944 55 0 0 25 0 1 0 775539474 78368768 18116 4294967295 134512640 134714540 3221221776 3221220460 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19133 18116 1111 63 0 19070 0
vsize: 76532
[startup+180.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 18395 0 0 0 17944 56 0 0 25 0 1 0 775539474 79314944 18349 4294967295 134512640 134714540 3221221776 3221220460 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19364 18349 1111 63 0 19301 0
vsize: 77456
[startup+190.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 18542 0 0 0 18943 57 0 0 25 0 1 0 775539474 80011264 18495 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19534 18495 1111 63 0 19471 0
vsize: 78136
[startup+200.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 18789 0 0 0 19942 58 0 0 25 0 1 0 775539474 81100800 18739 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19800 18739 1111 63 0 19737 0
vsize: 79200
[startup+210.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 18969 0 0 0 20941 59 0 0 25 0 1 0 775539474 81776640 18919 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19965 18919 1111 63 0 19902 0
vsize: 79860
[startup+220.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 19278 0 0 0 21939 61 0 0 25 0 1 0 775539474 82993152 19228 4294967295 134512640 134714540 3221221776 3221220372 134543734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20262 19228 1111 63 0 20199 0
vsize: 81048
[startup+230.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 19637 0 0 0 22937 64 0 0 25 0 1 0 775539474 84480000 19587 4294967295 134512640 134714540 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20625 19587 1111 63 0 20562 0
vsize: 82500
[startup+240.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 19928 0 0 0 23936 65 0 0 25 0 1 0 775539474 85696512 19878 4294967295 134512640 134714540 3221221776 3221220472 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20922 19878 1111 63 0 20859 0
vsize: 83688
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 20151 0 0 0 24935 66 0 0 25 0 1 0 775539474 86642688 20100 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21153 20100 1111 63 0 21090 0
vsize: 84612
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 20359 0 0 0 25934 67 0 0 25 0 1 0 775539474 87457792 20308 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21352 20308 1111 63 0 21289 0
vsize: 85408
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 20479 0 0 0 26933 68 0 0 25 0 1 0 775539474 87998464 20428 4294967295 134512640 134714540 3221221776 3221220368 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21484 20428 1111 63 0 21421 0
vsize: 85936
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21089 0 0 0 27932 69 0 0 25 0 1 0 775539474 90857472 20992 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22182 20992 1111 63 0 22119 0
vsize: 88728
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21124 0 0 0 28932 70 0 0 25 0 1 0 775539474 90992640 21027 4294967295 134512640 134714540 3221221776 3221220608 134623286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22215 21027 1111 63 0 22152 0
vsize: 88860
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21282 0 0 0 29931 71 0 0 25 0 1 0 775539474 91668480 21185 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22380 21185 1111 63 0 22317 0
vsize: 89520
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21343 0 0 0 30930 71 0 0 25 0 1 0 775539474 91938816 21246 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22446 21246 1111 63 0 22383 0
vsize: 89784
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21535 0 0 0 31930 72 0 0 25 0 1 0 775539474 92614656 21438 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22611 21438 1111 63 0 22548 0
vsize: 90444
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21637 0 0 0 32928 74 0 0 25 0 1 0 775539474 93020160 21540 4294967295 134512640 134714540 3221221776 3221220168 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22710 21540 1111 63 0 22647 0
vsize: 90840
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21655 0 0 0 33928 74 0 0 25 0 1 0 775539474 93155328 21558 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22743 21558 1111 63 0 22680 0
vsize: 90972
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21655 0 0 0 34928 74 0 0 25 0 1 0 775539474 93155328 21558 4294967295 134512640 134714540 3221221776 3221220552 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22743 21558 1111 63 0 22680 0
vsize: 90972
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21655 0 0 0 35928 75 0 0 25 0 1 0 775539474 93155328 21558 4294967295 134512640 134714540 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22743 21558 1111 63 0 22680 0
vsize: 90972
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 21820 0 0 0 36927 76 0 0 25 0 1 0 775539474 93827072 21723 4294967295 134512640 134714540 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22907 21723 1111 63 0 22844 0
vsize: 91628
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 22035 0 0 0 37926 77 0 0 25 0 1 0 775539474 94773248 21938 4294967295 134512640 134714540 3221221776 3221220496 134556884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23138 21938 1111 63 0 23075 0
vsize: 92552
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 22265 0 0 0 38925 79 0 0 25 0 1 0 775539474 95584256 22168 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23336 22168 1111 63 0 23273 0
vsize: 93344
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 22515 0 0 0 39924 79 0 0 25 0 1 0 775539474 96628736 22418 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23591 22418 1111 63 0 23528 0
vsize: 94364
[startup+410.014 s]
Raw data (loadavg): 1.08 1.02 1.01 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 22576 0 0 0 40924 79 0 0 25 0 1 0 775539474 96899072 22479 4294967295 134512640 134714540 3221221776 3221220308 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23657 22479 1111 63 0 23594 0
vsize: 94628
[startup+420.014 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 22658 0 0 0 41924 80 0 0 25 0 1 0 775539474 97165312 22561 4294967295 134512640 134714540 3221221776 3221220496 134625095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23722 22561 1111 63 0 23659 0
vsize: 94888
[startup+430.014 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 22952 0 0 0 42922 81 0 0 25 0 1 0 775539474 98381824 22855 4294967295 134512640 134714540 3221221776 3221220592 134610886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24019 22855 1111 63 0 23956 0
vsize: 96076
[startup+440.015 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 23048 0 0 0 43922 82 0 0 25 0 1 0 775539474 98766848 22951 4294967295 134512640 134714540 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24113 22951 1111 63 0 24050 0
vsize: 96452
[startup+450.015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 23332 0 0 0 44921 84 0 0 25 0 1 0 775539474 99979264 23235 4294967295 134512640 134714540 3221221776 3221220504 134535787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24409 23235 1111 63 0 24346 0
vsize: 97636
[startup+460.015 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 23534 0 0 0 45920 85 0 0 25 0 1 0 775539474 100773888 23437 4294967295 134512640 134714540 3221221776 3221220284 134535978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24603 23437 1111 63 0 24540 0
vsize: 98412
[startup+470.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 23748 0 0 0 46919 86 0 0 25 0 1 0 775539474 101588992 23649 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24802 23649 1111 63 0 24739 0
vsize: 99208
[startup+480.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 23989 0 0 0 47919 86 0 0 25 0 1 0 775539474 102535168 23890 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25033 23890 1111 63 0 24970 0
vsize: 100132
[startup+490.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24099 0 0 0 48918 87 0 0 25 0 1 0 775539474 103075840 24000 4294967295 134512640 134714540 3221221776 3221220536 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24000 1111 63 0 25102 0
vsize: 100660
[startup+500.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 49919 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+510.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 50919 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+520.016 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 51919 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+530.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 52919 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+540.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 53919 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 54919 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 55919 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 56920 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 57920 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 58920 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 59920 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24113 0 0 0 60920 87 0 0 25 0 1 0 775539474 103075840 24014 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24014 1111 63 0 25102 0
vsize: 100660
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24188 0 0 0 61920 87 0 0 25 0 1 0 775539474 103346176 24087 4294967295 134512640 134714540 3221221776 3221220180 134697231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25231 24087 1111 63 0 25168 0
vsize: 100924
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24473 0 0 0 62920 88 0 0 25 0 1 0 775539474 104579072 24370 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25532 24370 1111 63 0 25469 0
vsize: 102128
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 24819 0 0 0 63919 89 0 0 25 0 1 0 775539474 105930752 24714 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25862 24714 1111 63 0 25799 0
vsize: 103448
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25006 0 0 0 64918 90 0 0 25 0 1 0 775539474 106741760 24898 4294967295 134512640 134714540 3221221776 3221220512 134535853 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26060 24898 1111 63 0 25997 0
vsize: 104240
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 65918 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 66918 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+680.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 67919 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 68919 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 69919 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 70919 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 71919 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 72920 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 73920 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 74920 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220576 134622593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 75920 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 76920 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 77920 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 78921 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 79921 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 80921 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 81921 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220564 134622602 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 82921 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 83921 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 84922 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 85922 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 86922 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 87922 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 88922 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 89923 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 90923 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 91923 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 92923 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 93923 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25073 0 0 0 94923 90 0 0 25 0 1 0 775539474 107012096 24965 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26126 24965 1111 63 0 26063 0
vsize: 104504
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25148 0 0 0 95923 91 0 0 25 0 1 0 775539474 107282432 25040 4294967295 134512640 134714540 3221221776 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26192 25040 1111 63 0 26129 0
vsize: 104768
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25308 0 0 0 96921 92 0 0 25 0 1 0 775539474 107958272 25200 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26357 25200 1111 63 0 26294 0
vsize: 105428
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25455 0 0 0 97921 93 0 0 25 0 1 0 775539474 108498944 25347 4294967295 134512640 134714540 3221221776 3221220568 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26489 25347 1111 63 0 26426 0
vsize: 105956
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25629 0 0 0 98920 94 0 0 25 0 1 0 775539474 109309952 25518 4294967295 134512640 134714540 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26687 25518 1111 63 0 26624 0
vsize: 106748
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25715 0 0 0 99920 94 0 0 25 0 1 0 775539474 109699072 25603 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26782 25603 1111 63 0 26719 0
vsize: 107128
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25852 0 0 0 100920 95 0 0 25 0 1 0 775539474 110239744 25740 4294967295 134512640 134714540 3221221776 3221220392 134536749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26914 25740 1111 63 0 26851 0
vsize: 107656
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25928 0 0 0 101920 95 0 0 25 0 1 0 775539474 110510080 25816 4294967295 134512640 134714540 3221221776 3221220488 134543181 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26980 25816 1111 63 0 26917 0
vsize: 107920
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 25952 0 0 0 102920 95 0 0 25 0 1 0 775539474 110678016 25837 4294967295 134512640 134714540 3221221776 3221220416 134696083 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27021 25837 1111 63 0 26958 0
vsize: 108084
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26206 0 0 0 103919 97 0 0 25 0 1 0 775539474 111624192 26091 4294967295 134512640 134714540 3221221776 3221220452 134553609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27252 26091 1111 63 0 27189 0
vsize: 109008
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26459 0 0 0 104918 98 0 0 25 0 1 0 775539474 112705536 26342 4294967295 134512640 134714540 3221221776 3221220536 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27516 26342 1111 63 0 27453 0
vsize: 110064
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26649 0 0 0 105917 99 0 0 25 0 1 0 775539474 113520640 26532 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27715 26532 1111 63 0 27652 0
vsize: 110860
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 106917 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220492 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 107917 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 108917 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 109917 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 110917 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 111917 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 112918 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 113918 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 114918 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 115918 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 116919 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 117919 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 118919 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 111092
[startup+1192.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2420
Raw data (stat): 2420 (bsolo_mis) R 2419 7876 7672 0 -1 0 26711 0 0 0 118919 99 0 0 25 0 1 0 775539474 113758208 26594 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26594 1111 63 0 27710 0
vsize: 0

Child status: 0
Real time (s): 1192.22
CPU time (s): 1192.37
CPU user time (s): 1191.32
CPU system time (s): 1.04784
CPU usage (%): 100.013
Max. virtual memory (Kb): 111092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####