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/miplib3/normalized-mps-v2-20-10-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 28230

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 01:17:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13731 boxname=wulflinc5 idbench=1057 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 13731
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        302712 kB
Buffers:         26356 kB
Cached:         676792 kB
SwapCached:       3780 kB
Active:          37348 kB
Inactive:       671492 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        302460 kB
SwapTotal:     2097136 kB
SwapFree:      2092924 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            17368 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:36:50 (client local time) WITH STATUS 0 IN 1178.2 SECONDS
stats: 13731 7 1178.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 151 constraints.
c preprocess terminated 0.682 s
c Initial Lower Bound: 60
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1178.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.98 2/54 16048
Raw data (stat): 16048 (runsolver) R 16047 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776631116 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.93 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 10450 0 0 0 972 26 0 0 25 0 1 0 776631116 46706688 10413 4294967295 134512640 134714540 3221224592 3221223464 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11403 10413 1111 63 0 11340 0
vsize: 45612
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 13708 0 0 0 1965 33 0 0 25 0 1 0 776631116 60878848 13630 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14863 13630 1111 63 0 14800 0
vsize: 59452
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 14608 0 0 0 2963 35 0 0 25 0 1 0 776631116 64692224 14526 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15794 14526 1111 63 0 15731 0
vsize: 63176
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 17280 0 0 0 3955 44 0 0 25 0 1 0 776631116 75370496 17186 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18401 17186 1111 63 0 18338 0
vsize: 73604
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 18100 0 0 0 4953 46 0 0 25 0 1 0 776631116 78606336 18002 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19191 18002 1111 63 0 19128 0
vsize: 76764
[startup+60.002 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 21347 0 0 0 5946 53 0 0 25 0 1 0 776631116 93700096 21091 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22876 21091 1111 63 0 22813 0
vsize: 91504
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 22225 0 0 0 6944 55 0 0 25 0 1 0 776631116 97214464 21965 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23734 21965 1111 63 0 23671 0
vsize: 94936
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 24587 0 0 0 7938 61 0 0 25 0 1 0 776631116 106549248 24322 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26013 24322 1111 63 0 25950 0
vsize: 104052
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 27301 0 0 0 8932 67 0 0 25 0 1 0 776631116 117596160 27012 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28710 27012 1111 63 0 28647 0
vsize: 114840
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 28168 0 0 0 9931 69 0 0 25 0 1 0 776631116 121114624 27871 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29569 27871 1111 63 0 29506 0
vsize: 118276
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 30304 0 0 0 10926 74 0 0 25 0 1 0 776631116 129662976 30002 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31656 30002 1111 63 0 31593 0
vsize: 126624
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 32613 0 0 0 11920 81 0 0 25 0 1 0 776631116 138911744 32293 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33914 32293 1111 63 0 33851 0
vsize: 135656
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 35223 0 0 0 12913 87 0 0 25 0 1 0 776631116 149278720 34897 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36445 34897 1111 63 0 36382 0
vsize: 145780
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 36073 0 0 0 13911 90 0 0 25 0 1 0 776631116 152768512 35739 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37297 35739 1111 63 0 37234 0
vsize: 149188
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 39874 0 0 0 14904 97 0 0 25 0 1 0 776631116 172261376 39237 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42056 39237 1111 63 0 41993 0
vsize: 168224
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 42162 0 0 0 15898 103 0 0 25 0 1 0 776631116 181493760 41525 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44310 41525 1111 63 0 44247 0
vsize: 177240
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 44871 0 0 0 16891 111 0 0 25 0 1 0 776631116 192561152 44209 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47012 44210 1111 63 0 46949 0
vsize: 188048
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 46027 0 0 0 17888 113 0 0 25 0 1 0 776631116 197124096 45352 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48126 45352 1111 63 0 48063 0
vsize: 192504
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 47988 0 0 0 18883 118 0 0 25 0 1 0 776631116 205295616 47293 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50121 47293 1111 63 0 50058 0
vsize: 200484
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 49311 0 0 0 19881 121 0 0 25 0 1 0 776631116 210698240 48598 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51440 48598 1111 63 0 51377 0
vsize: 205760
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 51338 0 0 0 20875 126 0 0 25 0 1 0 776631116 218939392 50607 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 51338 0 0 0 21876 126 0 0 25 0 1 0 776631116 218939392 50607 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 51338 0 0 0 22876 126 0 0 25 0 1 0 776631116 218939392 50607 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 51338 0 0 0 23876 126 0 0 25 0 1 0 776631116 218939392 50607 4294967295 134512640 134714540 3221224592 3221223388 134536922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 51338 0 0 0 24876 126 0 0 25 0 1 0 776631116 218939392 50607 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 51338 0 0 0 25876 126 0 0 25 0 1 0 776631116 218939392 50607 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 51338 0 0 0 26877 126 0 0 25 0 1 0 776631116 218939392 50607 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 53821 0 0 0 27869 134 0 0 25 0 1 0 776631116 228868096 53063 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55876 53063 1111 63 0 55813 0
vsize: 223504
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 54379 0 0 0 28868 135 0 0 25 0 1 0 776631116 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 54379 0 0 0 29868 135 0 0 25 0 1 0 776631116 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 54379 0 0 0 30868 135 0 0 25 0 1 0 776631116 231165952 53621 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 54379 0 0 0 31870 135 0 0 25 0 1 0 776631116 231165952 53621 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+330.055 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 54379 0 0 0 32874 135 0 0 25 0 1 0 776631116 231165952 53621 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+340.055 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 54379 0 0 0 33874 135 0 0 25 0 1 0 776631116 231165952 53621 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+350.055 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 54379 0 0 0 34874 135 0 0 25 0 1 0 776631116 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+360.055 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 55297 0 0 0 35872 138 0 0 25 0 1 0 776631116 234680320 54539 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57295 54539 1111 63 0 57232 0
vsize: 229180
[startup+370.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 56312 0 0 0 36870 140 0 0 25 0 1 0 776631116 238735360 55554 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58285 55554 1111 63 0 58222 0
vsize: 233140
[startup+380.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 56702 0 0 0 37869 141 0 0 25 0 1 0 776631116 240357376 55944 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58681 55944 1111 63 0 58618 0
vsize: 234724
[startup+390.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 57281 0 0 0 38867 143 0 0 25 0 1 0 776631116 242520064 56523 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59209 56523 1111 63 0 59146 0
vsize: 236836
[startup+400.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 58024 0 0 0 39865 145 0 0 25 0 1 0 776631116 245559296 57257 4294967295 134512640 134714540 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59951 57257 1111 63 0 59888 0
vsize: 239804
[startup+410.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 59085 0 0 0 40864 147 0 0 25 0 1 0 776631116 249815040 58309 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60990 58309 1111 63 0 60927 0
vsize: 243960
[startup+420.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 59558 0 0 0 41863 148 0 0 25 0 1 0 776631116 251707392 58782 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61452 58782 1111 63 0 61389 0
vsize: 245808
[startup+430.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 62448 0 0 0 42855 156 0 0 25 0 1 0 776631116 262471680 61435 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64080 61435 1111 63 0 64017 0
vsize: 256320
[startup+440.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 63702 0 0 0 43853 158 0 0 25 0 1 0 776631116 267538432 62680 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65317 62680 1111 63 0 65254 0
vsize: 261268
[startup+450.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 65822 0 0 0 44847 164 0 0 25 0 1 0 776631116 276250624 64778 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67444 64778 1111 63 0 67381 0
vsize: 269776
[startup+460.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 68195 0 0 0 45841 170 0 0 25 0 1 0 776631116 285548544 67138 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69714 67138 1111 63 0 69651 0
vsize: 278856
[startup+470.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 68394 0 0 0 46841 171 0 0 25 0 1 0 776631116 286359552 67337 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+480.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 68394 0 0 0 47841 171 0 0 25 0 1 0 776631116 286359552 67337 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+490.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 68394 0 0 0 48841 171 0 0 25 0 1 0 776631116 286359552 67337 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+500.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 68394 0 0 0 49842 171 0 0 25 0 1 0 776631116 286359552 67337 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+510.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 68394 0 0 0 50842 171 0 0 25 0 1 0 776631116 286359552 67337 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+520.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 75412 0 0 0 51829 184 0 0 25 0 1 0 776631116 317685760 71454 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77560 71454 1111 63 0 77497 0
vsize: 310240
[startup+530.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 75916 0 0 0 52828 185 0 0 25 0 1 0 776631116 319442944 71958 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+540.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 75916 0 0 0 53828 185 0 0 25 0 1 0 776631116 319442944 71958 4294967295 134512640 134714540 3221224592 3221223320 134622783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+550.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 75916 0 0 0 54828 185 0 0 25 0 1 0 776631116 319442944 71958 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+560.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 75916 0 0 0 55828 185 0 0 25 0 1 0 776631116 319442944 71958 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+570.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 75916 0 0 0 56829 185 0 0 25 0 1 0 776631116 319442944 71958 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+580.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 76482 0 0 0 57827 187 0 0 25 0 1 0 776631116 321740800 72524 4294967295 134512640 134714540 3221224592 3221223404 134622133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78550 72524 1111 63 0 78487 0
vsize: 314200
[startup+590.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 77767 0 0 0 58823 191 0 0 25 0 1 0 776631116 326742016 73809 4294967295 134512640 134714540 3221224592 3221223156 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79771 73809 1111 63 0 79708 0
vsize: 319084
[startup+600.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 78121 0 0 0 59823 191 0 0 25 0 1 0 776631116 328093696 74163 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80101 74163 1111 63 0 80038 0
vsize: 320404
[startup+610.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 78658 0 0 0 60822 192 0 0 25 0 1 0 776631116 330256384 74700 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80629 74700 1111 63 0 80566 0
vsize: 322516
[startup+620.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 79546 0 0 0 61820 195 0 0 25 0 1 0 776631116 333635584 75588 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81454 75588 1111 63 0 81391 0
vsize: 325816
[startup+630.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 80547 0 0 0 62817 197 0 0 25 0 1 0 776631116 337555456 76589 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82411 76589 1111 63 0 82348 0
vsize: 329644
[startup+640.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81113 0 0 0 63815 199 0 0 25 0 1 0 776631116 339853312 77155 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82972 77155 1111 63 0 82909 0
vsize: 331888
[startup+650.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 64816 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+660.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 65816 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+670.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 66816 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+680.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 67816 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+690.061 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 68816 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+700.062 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 69817 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+710.062 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 70817 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+720.062 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 71817 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+730.062 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 72817 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+740.062 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 73817 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+750.063 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 74818 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+760.062 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 75818 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+770.063 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 76818 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+780.064 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 77818 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+790.063 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 78818 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+800.063 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 79818 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+810.064 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 80818 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+820.065 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 81819 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+830.065 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 82819 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+840.064 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 83819 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+850.065 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 84819 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+860.065 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 85819 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+870.066 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 81158 0 0 0 86820 199 0 0 25 0 1 0 776631116 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+880.066 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 83719 0 0 0 87811 206 0 0 25 0 1 0 776631116 349921280 79752 4294967295 134512640 134714540 3221224592 3221223464 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85430 79752 1111 63 0 85367 0
vsize: 341720
[startup+890.066 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 84563 0 0 0 88808 209 0 0 25 0 1 0 776631116 353357824 80514 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86269 80514 1111 63 0 86206 0
vsize: 345076
[startup+900.067 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 86958 0 0 0 89802 215 0 0 25 0 1 0 776631116 362549248 82909 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88513 82909 1111 63 0 88450 0
vsize: 354052
[startup+910.066 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89334 0 0 0 90795 221 0 0 25 0 1 0 776631116 371998720 85190 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90820 85190 1111 63 0 90757 0
vsize: 363280
[startup+920.067 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 91793 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223376 134622501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+930.067 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 92794 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+940.067 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 93794 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+950.068 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 94794 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+960.067 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 95794 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+970.068 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 96794 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+980.068 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 97795 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+990.068 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 98795 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223316 134622728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 99795 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 100795 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1020.07 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 101795 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1030.07 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 102796 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1040.07 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 103796 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1050.07 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 104796 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1060.07 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 105796 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1070.07 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 106796 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1080.07 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 107797 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 108797 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 109797 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1110.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 110797 222 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 111796 223 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 112797 223 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 113797 223 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1150.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 114797 223 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 89634 0 0 0 115797 223 0 0 25 0 1 0 776631116 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 90568 0 0 0 116794 226 0 0 25 0 1 0 776631116 376729600 86424 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91975 86424 1111 63 0 91912 0
vsize: 367900
[startup+1178.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 16048
Raw data (stat): 16048 (bsolo_mis) R 16047 7266 7265 0 -1 0 90568 0 0 0 116794 226 0 0 25 0 1 0 776631116 376729600 86424 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91975 86424 1111 63 0 91912 0
vsize: 0

Child status: 0
Real time (s): 1178.07
CPU time (s): 1178.2
CPU user time (s): 1175.75
CPU system time (s): 2.44663
CPU usage (%): 100.011
Max. virtual memory (Kb): 367900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####